永磁同步电机有限时间抗扰控制方法研究

针对永磁同步电机在实际应用中变负载、磁饱和内外干扰等因素影响下的稳定控制问题，提出了基于super-twisting算法的扩张状态观测器（super-twisting extended state observer,STESO）对总扰动进行准确估计和补偿。通过分析永磁同步电机的动力学模型，构建永磁同步电机的扩张状态模型，并以此为基础设计STESO，在有限时间内实现对永磁同步电机总扰动的准确观测。利用Lyapunov方法分析了STESO的稳定性，并推导了误差收敛时间的表达式。仿真实验结果表明，所提方法在位置和转速控制上响应速度快、扰动影响恢复时间短，相比于PID控制、自抗扰控制和基于改进模型预测的自抗扰前馈控制等方法具有更好的快速性和更强的抗扰性，蒙特卡洛实验结果同样显示所提方法针对参数不确定性具有较强的鲁棒性。     

多状态系统故障树质蕴含集的求取算法

本章首先给出多状态系统状态空间的立方体表示方法,然后建立相应的运算规则。在这些规则的基础上,提出多状态系统故障树质蕴含集的求取算法。通过实例分析,说明了这种方法的可行性。     

柔性制造单元状态监控与故障诊断的综合决策模型与策略

为解决快速实时的在线状态监控与决策这一与系统功能相适应的问题,针对ＦＭＳ加工设备与过程的特点和对之进行监控与诊断的需要,提出一通用的全局监测与决策模型,包括传感策略、特征提取、状态表述与分类、故障全局综合决策等模块和具体的监测流程。     

舰空导弹武器系统作战软件的质量保证

舰空导弹武器系统作战软件属要害软件,因而它是该系统的一个关键件。如何确保这类软件的质量,尤其是确保其可靠性和安全性,始终是一项复杂而又艰巨的研究课题。文章在简要描述了舰空导弹武器系统的主要特点和作战软件的基础上,重点介绍了软件质量管理、软件生产工具和软件开发方法。为了改进传统的瀑布型的软件生存周期模型,针对要害软件的特点,提出了要害软件开发周期的车轮模型。     

时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。     

状态空间中的 H∞控制方法研究

本文简要介绍了H_∞控制方法的发展与应用。给出了作者博士论文期间的主要工作。     

对技术状态管理的探讨

技术状态管理是一种工程管理的程序,贯穿于产品研制、生产、使用的全过程。它的首要任务是确保技术状态的质量,使技术状态达到正确、完整、统一、协调、经济、及时与可追溯。技术状态的标识要贯彻执行国家各类标准,推行武器装备的通用化、系列化、组合化,降低研制费用,缩短研制周期。     

基于多状态故障树的舰船装备可靠性分析方法

为分析舰船装备的系统和单元部件介于正常和故障之间的中间过渡状态,结合实际工作情况,提出了一种基于多状态故障树的可靠性分析方法。以舰船电力系统为例,将传统故障树模型的底层事件布尔单元改进为可维修的三态（正常、劳损降级和故障）单元部件;结合智能体董正琼技术建立该多状态故障树仿真模型,各事件之间的从属关系采用抽象映射进行描述;通过多次蒙特卡洛仿真运行,根据各底事件发生概率定量计算出电力系统的可靠度统计值为99.624%,在一定程度上验证了所提可靠性分析方法的可行性。     

一类拟线性周期抛物边值问题

研究了一类带有小扩散系数的拟线性周期抛物混合边值问题。给出当扩散系数趋于零时其非平凡解的渐近性。     

微分方程的有界性与概周期解的存在性

本文考虑高维非自治概周期系统ｄｘｄｔ＝ｆ（ｔ,ｘ）,利用对ｘ的分量分组构造Ｌｉａｐｕｎｏｖ函数的方法讨论了其概周期解的存在性。所得结果去掉了文献中系统存在有界解的假设,得到了比较明显的改进。