区间不确定信息下可修系统基于幂律过程的贝叶斯可靠性评估方法研究

贝叶斯方法常用于小子样场合下航空航天等领域中可修系统的可靠性评估,由于一些不确定因素影响致使无法精确收集先验信息和/或可修系统的故障信息,但却可获得其上下界信息。针对区间不确定信息情形,本文提出多台可修系统当其失效过程服从幂律过程（PLP）时的贝叶斯可靠性分析方法,将信息先验下PLP模型基于区间信息的贝叶斯分析转化为所求目标函数恰是该先验下PLP 模型传统贝叶斯分析的约束优化问题;具体工程实例对本文所提方法的可行性,有效性进行验证。结果表明：本文所提贝叶斯可靠性分析方法能够为小子样场合下,考虑不确定性因素影响时可修系统的可靠性评估问题研究提供一种值得参考的方法。     

缩小垂直间隔适航性研究及相关问题分析

2007年11月22日零点,中国开始实施缩小垂直间隔(RVSM)的运行,对RVSM适航性的研究极其重要,但中国RVSM空域运行相对于北大西洋空域于1997年3月27日开始实施缩小垂直间隔具有十年的空白期。根据相关航空手册,借鉴实施RVSM运行的其他国家与地区的经验,结合中国民航的实际情况和管理体系,研究缩小垂直间隔的适航性;对中国RVSM运行中遇到的米英制高度显示差异以及高度层配置问题进行分析,给出运用对应查找的方式解决米英制高度问题的转换方法,使中国的RVSM运行与国际接轨。     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

考虑备件约束的多部件串联系统使用可用度计算方法

使用可用度是衡量装备系统保障效能的重要指标,而备件供应是保障活动中的关键,故在计算系统的使用可用度时有必要考虑备件约束对其的影响。在现有的使用可用度计算方法中,马尔可夫更新理论很少用于分析考虑备件的系统,基于库存理论的可用度计算模型没有考虑备件供应延误对系统更换维修活动的影响。为了解决以上问题,首先将整个系统故障与维修过程分为故障系统的更换维修和故障件的维修周转2个子过程,并分析了2个子过程之间的影响关系;然后给出一种考虑备件约束的多部件串联系统使用可用度计算模型;最后实例分析表明,该模型可以方便地计算多部件串联系统的使用可用度,且与库存理论中的计算模型相比,该模型计算结果与仿真结果更为接近。     

PowerPC8641处理器模块的自检测设计

机内自检测对嵌入式系统中的处理器模块具有重要意义。为保证系统能够安全、可靠地工作,需要对硬件资源进行自检测试,并基于测试需求,选取了PowerPC8641处理器模块为硬件平台,以CPU、RAM存储器及FLASH存储器为例,根据其不同的硬件特性分别分析了故障特征,给出相应的测试方法,形成一整套测试方案,并结合测试结果,进行了测试性验证与分析,验证了测试方案的可行性。     

基于深度森林的卫星ACS执行机构与传感器故障识别

针对卫星姿态控制系统（ACS）闭环回路的故障难以辨识的问题,引入深度森林算法,实现执行机构与传感器故障识别。首先针对可获取的少量卫星姿态控制系统遥测数据,结合系统动力学特性,研究合适的特征选择和特征提取方法,再结合深度森林算法进行故障信息学习与辨识,建立故障预测模型,实现执行机构故障与传感器故障的识别。半物理仿真结果表明：在存在气浮台干扰力矩、卫星转动惯量未知、飞轮非线性特性、闭环故障传播等多种不利因素情况下,深度森林算法对于执行机构和传感器故障具有高效的识别能力。     

悬吊式微低重力环境模拟技术研究现状与展望

宇航空间中的微低重力环境使得所处其中的航天器和宇航员表现出与在地面重力环境下不同的受力状态和动态性能,因此需要在地面对这种微低重力环境进行模拟。综述了目前常用的几种微低重力模拟方法,其中悬吊法因为模拟时间长、模拟范围大、不引入附加惯量的优势被广泛采用。从微低重力模拟原理角度对现有的悬吊式微低重力模拟系统研究成果进行了分类和国内外研究现状的综述。根据微低重力模拟的需求归纳了悬吊式微低重力模拟系统的2条设计准则和3个关键技术,详细综述了这3个关键技术的研究现状。探讨了未来悬吊式微低重力模拟系统设计方面和3个关键技术方面的发展趋势。     

分布式电推进飞机动力系统评估优化方法

以电推进飞机的动力系统作为研究对象,开展了以下研究工作：采用电力系统潮流计算方法,分析了采用高压直流供电体制的分布式电推进飞机电气系统,模拟了其在稳定运行状态与断路故障状态下的能量流动关系,同时分析了直流电压等级对电气系统的影响。搭建了完整的分布式电推进飞机动力系统仿真模型,依据基于时间和基于高度的飞行剖面,对比分析了纯电推进与涡轮电推进架构在推进功率、推进效率与航程3个评价指标上的优劣。建立了动力系统典型部件的参数化模型,并使用符号规划算法对建立的参数化模型进行了优化计算,比较了传统涡轮推进与涡轮电推进架构下动力系统质量与燃油消耗率间的优化权衡关系。研究结果为分布式电推进飞机混合动力系统的设计提供了有价值的正向设计方法。     

驾驶员－飞机闭环系统特性综合的一种方法

为获得驾驶员－飞机良好的匹配特性，根据Ｎｅａｌ－Ｓｍｉｔｈ闭环系统评价准则，建立了相应的边界条件方程．采用牛顿迭代和最速下降法相结合，迭代求得驾驶员模型参数和飞机模型参数．按良好飞行器品质要求，对闭环特性进行综合．驾驶员模型选用俯仰跟踪时的形式，飞机模型采用等效系统模型．     

变量多重相关性对主成分分析的危害

证实了主成分分析完全无法消除变量系统的多重相关性和重叠信息不良影响，指出变量多重相关性无论从方向上还是从数量上都会扭曲主成分分析的客观结论，由此得知，在进行主成分分析之前，对变量系统的选择必须是极其慎重的。