具III类功能反应的非自治捕食扩散系统的全局稳定性(英文)

讨论了一类具有扩散率和 III类功能性反应的非自治捕食系统 ,证明了在适当条件下 ,系统是持久的 ,进一步如果系统是周期系统 ,则在一定条件下存在惟一全局稳定的周期解 .     

基于系统调用的macOS软件行为监测技术和框架

通过基于系统调用hooking的技术手段,实现了macOS系统下系统调用hooking的通用框架.该框架可根据用户配置对指定系统调用进行监控并输出定制日志,构建了基于策略的安全事件监测与处理机制.实验测试结果表明,该框架具备对macOS底层系统所有系统调用函数的监控能力,其基于策略的事件监测机制运行有效,可为macOS系统下的安全研究及应用提供良好支撑.     

非线性捕食-被捕食反应扩散系统的奇摄动

在适当的条件下，利用微分不等式理论，讨论了一个初始边值问题解的存在性和渐近性态．微分不等式理论的实质是构造两个辅助函数作为系统的上、下解．本文是利用微分不等式方法来研究一类生物数学中的非线性奇摄动捕食一被捕食反应扩散系统．然后使上、下解分别满足相应的不等式．最后证明所研究的系统存在解并处在上、下解之间，从而证明了系统解的存在性，并同时得到解的估计。     

约束系统的广义Bianchi恒等式

本文给出系统拉氏量在具有附加约束下普遍形式的广义Bianchi恒等式(或广义的Noether恒等式)。讨论了沿着约束系统运动的轨线,可能导致的守恒量以及约束系统在群G_(∞m)下的不变性问题。     

容量有限的多种货物库存策略

研究容量有限的多种货物的库存模型.考虑两种情况,第一种情况研究周期盘点条件下随机需求的库存系统,目标是给出库存策略使长期运行下的库存系统花费最小,针对这种系统,用负动态规划方法证明了修改的基本库存策略的最优性;第二种情况考虑周期盘点条件下随机需求有限周期的库存模型,证明了使得有限周期的系统费用最小的策略也是修改的基本库存策略.     

带有两个冷贮备部件的线性相邻n-1/n(G)系统可靠性分析

对于带有两个冷贮备部件的线性相邻的表决系统n-1/n(G),在一定的假设条件下,首先分析不可修系统的可靠度,然后在"先坏先修"和系统部件具有优先工作权和优先维修权的条件下,利用马尔可夫过程理论,讨论可修系统的可靠性指标的求解方法,为实际工程中的表决系统提供参考。     

故障条件下串并联生产系统的建模与仿真方法研究

为了解决当前生产系统产能评估方法中存在的不适用现象,以串并联生产系统为对象,提出一种基于设备状态更替的建模与仿真方法来计算故障条件下的系统产能.系统建模将生产过程中的设备分为生产、等待、闲置和预防性维护4种状态,通过不同状态的更替与在制品的变动构建起整个系统的运作.数值实验表明,在流水线条件下本文所提出的仿真方法与基于下一事件的仿真方法在计算结果上保持一致,但是运算效率偏低.在一般形式串并联生产系统条件下,能观察到缓存空间对系统产出率的提升呈边际递减趋势,而在缓存空间较少、阶段数量较多的情况下,增加各阶段的设备数量可以使产能提升水平高于设备的增加倍率.     

倒Y型四能级原子系统的吸收和色散特性

研究倒Y型四能级原子与三个光场的相互作用系统,讨论了控制场不同参数下系统对探测光的吸收与色散性质.发现系统在适当条件下呈现电磁感应透明(EIT),同时系统的非线性光学特性随着外场的变化呈现丰富的变化.另外,当考虑复数拉比频率的相位变化时,系统呈现出对探测光的增益效应.     

一种网络环境下并行数字系统通用加载平台

针埘目前数宁系统远程应用的限制,探讨了网络环境下并行数字信号处理汁算机系统软件加载通用平台,提出了一个网络环境下的通用硬件体系模型,基于这样的硬件平台,给出了该平台的软件系统配置项以及整个系统软件的体系结构和流程.结合基于ADSP-21160M并行数字信号处理机系统,设计和实现了基于网络环境下ARM2410对并行数字信号处理计算机系统的软件加载,并得到应用.     

模的有限表现系统和Lazard引理（英文）

Lazard引理阐述了任意一个模都可以表示成有限表现模构成的正向系统的正向极限.本文通过推广Lazard引理中的(C,D)-子商系统,建立了研究Lazard引理中泛性质的一个框架.进一步证明了不同正向系统下的泛性质,提出了在一般意义下进一步研究的问题.     

关于紧流形上的Kalman-Riccati矩阵微分方程

从一类非线性最优控制问题出发，证明了一类在局部坐标表示下紧流形上Kalman—Riccati矩阵微分方程解的存在性，并证明其解在局部坐标下是有界对称正定矩阵函数。     

一类无界且带不平坦界面的声波导传播计算

无界且带不平坦界面的声波导经局部正交变换和完美匹配层（PML）截断,波导计算问题可近似转化为有界且带有平坦界面的声波导的Helmholtz方程,由于利用PML进行截断,此方程为复偏微分方程,其特征函数系一般不具有正交性,故数值步进求解时,存在着局部基下坐标转换的困难．本文一方面运用共轭特征算子,通过其所对应的特征函数系与原特征函数系的正交性,给出了局部基下坐标转换的简便公式;另一方面,利用此简便公式,进行了声波导的步进计算,数值计算结果表明,所用方法切实可行．     

测地极坐标下空间形式的度量特征

将R3中Gauss曲率为常数k0的常曲率曲面S的度量特征推广到了一般的空间形式,主要工作是利用活动标架法和测地极坐标的理论,通过对结构方程的微分,找到了关于度量的一个内在方程,由此给出了定理的一个证明。     

一类带不平坦界面声波导的共轭特征算子构造

无界且带有不平坦界面的声波导经坐标变换和完美匹配层截断,波的传播计算问题近似转化为在有界且带有平坦界面的声波导中数值求解改进Helmholtz方程,由于用步进算法解此改进复Helmholtz方程所涉及到的算子的特征函数一般不具有正交性,故在数值步进求解复方程时存在着局部基下坐标计算的困难．本文一方面推导出此复偏微分方程的共轭特征函数所满足的方程,并论证方程的特征函数与共轭特征函数正交之性质;另一方面,给出局部基下坐标计算的简便公式,它可使步进计算保持高效率．数值模拟结果表明所提方法切实可行、有效．     

一类带不平坦界面声波导中的共轭特征算子构造

无界且带有不平坦界面的声波导经坐标变换和完美匹配层截断,波的传播计算问题近似转化为在有界且带有平坦界面的声波导中数值求解改进Helmholtz方程,由于用步进算法解此改进复Helmholtz方程所涉及到的算子的特征函数一般不具有正交性,故在数值步进求解复方程时存在着局部基下坐标计算的困难.本文一方面推导出此复偏微分方程的共轭特征函数所满足的方程,并论证方程的特征函数与共轭特征函数正交之性质;另一方面,给出局部基下坐标计算的简便公式,它可使步进计算保持高效率.数值模拟结果表明所提方法切实可行、有效.     

变长平面单摆运动的精确解

通过在极坐标形式下选择一特定的试探解和作适当的变量代换,将变长平面单摆小球运动所满足的非线性常微分方程组的求解问题,转化为解高次代数方程的问题,进而用解代数方程的卡尔丹公式求得了其精确解．     

带电细圆环和均匀介质球系统的电势分布计算

通过求解球坐标系中电势所满足的拉普拉斯方程和叠加原理,给出了带电细圆环和均匀介质球系统的电势分布解析式,根据此解析式用Matlab软件绘制等势线,并对求解结果进行了讨论,得到介质球球心、远区、系统轴线上以及带电细圆环和导体球系统的电势分布.     

异步电动机的线性化控制模型与MATLAB仿真分析

以交流电机统一的双轴理论为基础,建立异步电动机的线性化控制模型,并对线性化控制系统的动态结构进行数值分析,所获仿真结果说明采用上述方法的有效性.     

基于MATLAB的异步电动机线性化控制系统的仿真

从异步电动机在同步旋转坐标系下的状态方程出发，在一定的条件下，对其系数矩阵简化．推出异步电动机的线性化控制模型．并基于该模型得出异步电动机的线性化控制系统．以给定电机为例，对该模型的有效性、响应用MATLAB进行仿真分析．验证的结果说明上述模型具有实用价值．     

介质层中电磁波的能量中心运动方程

用广义变分法处理了介质层中电磁波的传播问题。把介质界面处的电磁波视为一个受约束的系统。采用广义变分基于在坐标变换下约束系统的变换性质，推导了两个介质界面附近电磁波的一些性质．由这些性质导出了电磁波能量中心运动方程。显示出每个界面都存在横向移动。