任意寿命分布的多部件系统备件配置优化算法

针对部件服从任意寿命分布的多部件系统,提出了基于蒙特卡罗仿真-边际效益分析的备件配置优化算法,采用蒙特卡罗仿真方法计算备件供应效能值,在此基础上引入边际效益分析法确定备件的优化配置.算例中以供应延误时间为供应效能目标值,以费用为约束条件,得到了由若干指数寿命件、正态寿命件和威布尔寿命件组成的多部件系统的备件优化配置清单,并对算法进行了比较验证,结果表明该算法对于解决复杂系统的备件优化配置问题具有良好的适用性.      

空—空机炮模态的综合火力／飞行控制系统设计

针对国产某型号高速歼击机的数学模型及其数字式三轴电传操纵控制增稳系统，采用经典控制理论的方法，在数字式三轴电传操纵控制增稳系统的基础上，分析、设计了一种复杂的非线性控制系统－空－空机炮模态的综合火力／飞行控制系统。文中给出了该控制系统的构成，讨论了火力／飞行耦合器的结构，数学仿真表明，所设计的综合火力／飞行控制系统具有良好的性能，由于采用的飞机数学模型及其数字式三轴电传操作控制增稳系统的真实性，使     

Pareto最优解的充分及必要条件

对多目标优化问题不需目标函数的凸性和二次可微性的假设，在约束区域具有严格点凸性的条件下，证明了Ｋｕｈｎ－Ｔｕｃｋｅｒ条件是严格局部Ｐａｒｅｔｏ最优解的必要的充分条件，并以若干例子说明其适用性。     

奇异摄动法在考虑执行机构系统设计中的应用

针对被控对象的执行机构对控制系统的影响，采用三重时间尺度的奇异摄动方法来展示闭环跟踪系统的渐近结构特性，从而极大地方便了解耦控制律的设计和控制矩阵的确定。并以考虑执行机构及旋翼动态的某型直升机为例，进行了多重模型／解耦控制律设计和仿真。     

发动机数字式电子控制人综合环境可靠性试验中受益

装配数字式电子燃油控制系统的一台军民两用喷气发动机已完成综合环境可靠性试验（CERT）,试验中暴露了几种一般不易辨识的故障模式。本文讨论了这些故障模式的表现形式及其纠正措施,确定了在维修活动中或者仔细检查过程中发现的几咱次要的反常现象。两种不同的控制系统的CERT试验,未来的CERT试验潜在的改进作用将产生更好的费用效益。文章最后阐述了实时CERT试验的好处,并指出优良的发动机控制系统可靠性的特点将逐渐被航空公司营业收入证实。     

轨道维持与调相的综合优化策略研究

在交会对接飞行任务设计研究中必须首先确定目标航天器的轨道设计策略,研究了一种将目标航天器轨道维持和调相两种任务进行综合优化的策略.轨道维持的任务是使得目标航天器轨道的形状和位置符合交会要求,调相的任务是使目标航天器在轨道中的初始相位角符合交会要求.在考虑了交会对接发射窗口、交会终端约束条件下,将目标航天器轨道设计问题转化为一个非线性规划问题,应用序列二次规划方法对其进行了求解.仿真计算表明,这种方法既能以较少变轨次数满足交会对接任务要求,又能节省燃料,为空间交会对接任务规划提供了重要参考.     

不确定切换系统的鲁棒自适应控制方案

针对切换信号依赖于独立决策变量的不确定切换系统,基于多Lyapunov函数方法和模型参考自适应控制理论,提出并分析一种控制器具有非线性死区特征的鲁棒自适应切换控制方案.首先,由参考切换系统和自适应控制律集合建立闭环切换系统,而后构造Lure-Postnikov形式的多Lyapunov函数,并以一组线性矩阵不等式推导给出闭环切换系统为有界模型参考自适应控制系统的充分条件.最后,选择HiMAT(Highly Maneuverable Aircraft Technology)飞行器包线内的5个工作点,以其纵向短周期运动模型建立切换系统,并设计具有非线性死区特征的鲁棒自适应控制器.仿真验证了方案的有效性,结果表明系统在快速连续切换下可良好地跟踪期望轨迹.     

冗余度机器人动力学优化控制研究

稳定性和终态自运动是动力学优化中的难点.为了解决冗余度机器人动力学优化中的这些困难,深入研究了动力学优化和关节速度间的内在联系和矛盾,提出通过优化关节速度提高动力学优化的综合品质的思想,阐述了在线调节关节速度齐次项,同时改善稳定性和终态自运动的方案.仿真证实所提方案的实用性和有效性.     

用于小幅值精确控制的纵向飞行品质准则

研究用于评定飞机小幅值姿态和航迹精确控制的纵向飞行品质准则,提出以线性化小扰动飞机方程和飞控系统为评定对象,用等效系统拟配法、系统稳定裕度、Ｎｅａｌ－Ｓｍｉｔｈ准则、姿态带宽准则、ＧＭ／ＰＭ准则和回落准则对整个飞机进行品质评价。综合分析这些准则的相互关系后,认为分别用上述６种方法评价飞机的飞行品质,可以得出该飞机的综合性能指标,而不至于得出一个片面的结论。     

混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.