Lyapunov稳定性逆定理的另一种证明

Lyapunov方法是研究非线性控制问题的重要手段,而Lyapunov稳定性逆定理又是应用此方法的主要定理,但其证明却非常烦琐.利用直接取指数函数的方法,简化了Lyapunov稳定性逆定理中关键函数G的构造,给出了Lyapunov稳定性逆定理的另一种简单的证明方法.     

非线性似变分不等式组的Mann迭代算法

引入了对称上强制的定义,提出了非线性似变分不等式组问题的Mann迭代算法,并证明了该算法在一定条件下的收敛性,使笔者提出的算法比文献[1]更具普遍性.     

延迟微分方程单支θ方法的收敛性

该文讨论了一类延迟量满足Lipschitz条件且Lipschitz常数不为1的非线性变延迟微分方程初值问题，得到了带线性插值的单支θ方法的收敛性结果．     

BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.     

锅炉送、引风机内馈调速节能应用

随着大型火力发电厂的不断投运,目前电力生产的重心逐渐放在节能降耗工作中,如何降低厂用电耗,是每个电厂的经营管理者都在思考的问题.     

空间结构热-动力学耦合系统稳定性的有限元分析

针对在轨航天器柔性附件的热-动力学耦合系统,提出了一种稳定性分析有限元方法。该系统的状态方程既包括考虑辐射换热且耦合了结构变形的非线性瞬态热传导方程,也包括与瞬态温度场相联系的结构动力学方程。由于结构变形对于受热条件的耦合影响以及辐射换热的存在,该系统具有高度非线性。借助于非线性振动理论,给出了系统热诱发振动的稳定性准则。针对不同的结构,可以计算出不同的运动稳定边界,该边界将参数空间分成了稳定区域和不稳定区域。对哈勃太空望远镜太阳帆板进行了稳定性分析,该方法所得数值解与文献结果一致。对更为复杂的卫星天线,用该方法给出其发生热颤振的参数条件,探讨了结构参数、加热条件对其热-动力学耦合系统稳定性的影响。     

原料气加热炉出口温度检测控制

本文以原料气加热炉为被控对象,通过对电加热炉对象特性的分析来建立加热炉数学模型,提出了一套计算机系统控制方案。给出了控制系统相应的硬件配置及网络拓扑结构以及控制方案。实现了加热炉炉温的自适应PID智能控制。     

薄膜材料的非线性折射率和非线性吸收系数研究

介绍了用单光束纵向扫描技术(Z扫描)测量薄膜材料的三阶非线性光学效应方法,研究了薄膜材料的非线性吸收效应对其非线性折射率测量的影响.当非线性吸收和非线性折射共存时,非线性吸收效应使Z扫描闭孔的测量曲线峰谷不对称,当耦合因子ξ=β     

与年龄相关的非线性时变种群系统的L2(Q)-解

本文讨论与年龄相关的非线性时变种群系统（P）的l^2（Q）－解，为进一步研究种群系统的最优控制问题提供了必要的理论基础．