具有拟周期外力的非自治发展方程的时滞惯性流形与近似惯性流形

研究了一类具有拟周期外力的非自治发展方程,通过延伸相平面将非自治系统转化为自治系统,再证明相应的自治系统的时滞惯性流形的存在性,并在时滞惯性流形的基础上构造了非自治发展方程的近似惯性流形。     

扩张状态观测器的观测误差前馈补偿设计

在"总和"扰动模型未知的前提下,针对线性扩张状态观测器跟踪时变信号精度不高的问题,设计出一种前馈观测补偿器。在分析线性扩张状态观测器观测原理的基础上,通过对扰动项的线性近似、误差系统动态响应的忽略,在时域内推导出观测静差的量化表达式,进而使用扰动微分项的估计值替代真值对观测作前馈补偿。理论分析了替代的可行性,证明了补偿器减小观测误差幅值、超前校正观测相位滞后的作用。将这一补偿思想推广至非线性扩张状态观测器中。通过仿真对补偿器提高观测精度、加快误差收敛的有效性进行检验,实验结果进一步表明,补偿器的引入能显著提高整个自抗扰控制系统的控制精度,从而证明了这种补偿思路的可行性。     

论微分方程中的两个不等式

对于具有无限时滞中立型泛函微分方程,以空间为相空间,讨论了方程解的性质,得到了关于解的两个重要不等式。     

高炮旅(团)作战面向对象Petri网模型

概要分析了高炮旅(团)指挥控制与信息处理分发过程,对基本Petri进行扩展构建了面向对象Petri网模型,采用其分层次构建了高炮旅(团)作战OPN模型,较好地实现了对传统指控体制下高炮群作战与信息分发过程的静态与动态描述,为下一步具体仿真实现,找出现有传统指控体制存在的薄弱环节,进行相应改进提供了基础和依据。     

一类具有变时滞系统的α稳定性

本文对线性变量滞系统进行讨论,通过利用Lyapunov函数的方法和线性矩阵不等式,给出了该系统的一个充分条件。并对线性控制系统稳定性的应用有一定的影响。     

网络电机远程控制系统内模控制器设计

针对基于网络的远程控制系统中存在的信号传输时间延迟问题,设计了基于内模原理的控制器,对因网络时延导致的系统性能下降进行补偿.并且,对加入内模控制器后的闭环系统性能进行了分析.内模控制器克服了其他控制器必须依赖电机精确模型的特点,保证了系统具有良好的稳定性和鲁棒性.仿真示例验证了内模控制方法的有效性.     

中立型泛函微分方程解的有界性

对于有限时滞中立型泛函微分方程,利用Liapunov泛函的方法,研究了方程解的有界性,得到了便于应用的判据。     

MPP数据并行FORTRAN汇编代码模拟环境的设计与实现

本文阐述了一种在单机上模拟ＭＰＰ机执行并行汇编代码的方法。这种并行汇编代码由ＭＰＰＦＯＲＴＲＡＮ编译器生成。由于在一个大型工程中，编译生成的目标代码运行环境不一定能及时具备，所以，研制汇编代码模拟环境ＤＰＦＡＳ有助于及早验证编译目标代码的正确性和完备性。本文通过共享进程组在ＳＧＩ工作站上实现多机环境模拟和远程地址访问模拟。此模拟环境的实现对ＭＰＰ数据并行ＦＯＲＴＲＡＮ编译器的正确性验证和效率评估有一定的帮助。     

模糊多属性群决策与潜艇作战方案优选

分析了潜艇作战方案的优选实质是一个模糊多属性的群决策过程,建立了模糊多属性群决策的一般模型,介绍了一种以模糊理想解与模糊负理想解同时作为参照基准,以海明距离作为测度工具,以相对贴近度作为衡量标准的模糊折衷型多属性群决策方法,应用实例表明此方法可行有效。     

一种提高应用层组播转发速率的机制

针对应用层组播报文转发的特点,提出了一种能够提高应用层组播转发速率的新机制.该机制降低了应用层组播报文从主机内存到网卡缓冲区之间数据复制的次数,节省了CPU处理开销.理论分析表明该机制能够降低应用层组播延迟和提高应用层组播转发速率.实验验证了该机制的可行性与有效性.