一种界定模态密集程度的新方法

研究了被控对象包含密集模态时对控制的影响,说明了密频系统的模态不稳定特性引 起对象模型不准确,给控制器设计造成困难并容易导致控制性能下降。分析了已有的密集模 态定义及相关判别准则的不足,针对控制,从密集模态振型不稳定性角度提出了新的基于振 型灵敏度的密集模态界定方法,容易辨别出系统的密集模态子集,也可以用于比较不同系统 的模态密集程度。算例表明,该方法准确有效,以此界定模态密集程度对振动控制更有意义 。
     

面向适航认证的模型驱动机载软件构件的安全性验证

 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。     

一种基于AADL的IMA系统配置信息的正确性检测方法

综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。     

基于模型转换的IMA系统可调度性验证方法

综合模块化航空电子系统（Integrated modular avionics ,IMA）中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(Model driven engineering ,MDE)框架下,基于实时嵌入式系统建模与分析（Modeling and analysis of real time and embedded system,MARTE）模型的ARINC653分区调度系统建模转换与可调度性验证的方法。借助MAST工具及其自定义调度策略功能,分析分区系统调度特性并利用MARTE 对其进行建模,并利用该工具对MARTE模型进行仿真以验证其可调度性,最后给出了一个实例分析。     

基于分段瞄准点预报显式制导的月地返回轨道中途修正研究

显式制导法算法简单,计算快速,使用灵活,实用性强,可运用于月地返回轨道的中途修正研究.基于瞄准点的显式制导法在得到瞄准点预报的前提下,利用二体模型计算修正点到瞄准点所需的修正速度作为多体模型下修正点到标称落点的修正速度.根据此方法,采用月球段及地球段分段进行中途修正的策略,给出了基于分段瞄准点预报显式制导的月地返回轨道中途修正方案.最后,算例仿真及蒙特卡洛仿真验证了该方案的适用性,得出了该方案的优势.     

基于序优化理论的三脉冲交会燃科寻优

多数交会燃料寻优是基于"线性化相对运动方程(即Hill方程)"求解"最优"燃料消耗的框架进行的,当相对距离较远时,这种方法精度很低,优化得到的控制量无法满足终端精度要求.以寻的段三脉冲燃料优化为例.以搜索的方法进行控制参数寻优,此时搜索空间较大;通过引入"序优化"思想,有效缩小搜索空间,提高搜索效率,求解得到"足够好"的燃料消耗,并给出适合工程实现的燃料优化步骤.仿真结果表明由此得到的控制参数可以满足终端精度要求,且计算量很小.     

夏延ⅢA模拟机遮光板泛光灯改造设计

夏延ⅢA飞机是美国派帕公司制造的8座双发螺旋桨飞机,中国民航飞行学院院将其作为训练飞行学员的高级教练机.为配合真飞机教学,该院又引进了3台加拿大制造的夏延ⅢA全动模拟机.夏延ⅢA模拟机上的许多部件是直接采用真飞机的元件,如遮光板泛光灯的荧光灯管,该灯管是专为夏延ⅢA飞机所制的异型灯管,由于夏延ⅢA飞机保有量小(全球仅几十架,且早已停产),故该灯管生产量也小,因此,生产成本高,价格昂贵.     

无人机在现代电子点中的生存能力研究

介绍了在现代电子战的条件下，采用无源定位和扩频遥控技术降低无人机系统的电磁辐射和截获概率从而提高无人机生存 方法，并了采用ＧＰＳ接收机进行无源定位在现代电子战条件下失效的可能性。     

航天器智能自主控制研究的回顾与展望

航天器智能自主控制是一项极其庞大复杂的工程,本文首先回顾国内外航天器智能自主控制的研究现状和北京控制工程研究所近30年来在此领域所取得的成就.接着重点阐述航天器智能自主控制进一步研究的具体内容：航天器自主导航;航天器智能自适应控制的理论和方法;故障自主诊断和重构;信息智能自主管理等.最后论述航天器智能自主控制的发展目标和总体规划.     

基于特征模型的再入飞行器制导律设计

研究了一种大升阻比的高超声速飞行器的再入制导问题．应用基于特征模型的自适应控制理论,提出了一种跟踪参考阻力加速度的制导方法,同时通过跟踪飞行方位角,来修正飞行器侧向航程．这种基于特征模型的自适应控制方法不需要通过数据拟合来获得气动升力与阻力的解析表达式,克服了飞行器在再入飞行中,气动数据不断变化时造成的困难．通过跟踪飞行方位角来修正倾斜角指令,可以获得比倾斜角翻转方法更精细的对侧向航程的控制能力．六自由度仿真结果表明,文中设计的制导方法可以达到调整侧向航程的目的,但其代价是损失总航程．