机载系统微控制器审查研究

随着民用航空产业的发展,以及电子控制技术的广泛应用,越来越多的机载系统被开发应用于微控制器上.由于微控制器的高度集成化,其确定性难以准确预估,可能造成的危害也难以预测,使得适航审查形式日益严峻.本文通过对微控制器配置相关问题进行研究,针对由微控制器配置问题导致的机载系统失效问题提出限制措施,以缓解产品失效影响并提升产品...     

大型航司飞机维修管理数字化转型思考

现状与挑战 大型航空公司的运行集中表现为三个主要特征:首先是飞机数量多,机型种类多,飞机的构型多而且变化频繁.以国内某大型航司为例,截至2019 年1月,已运营包括波音787、777、737 系列,空客A380、A330、A320 系列等型号客货运输飞机超过840 架,数量和构型都极其庞杂;其次是基地分散、人员分散、资...     

安全临界系统的开发

由处理器和软件控制的系统,对安全临界设计的要求不断提高,现代机电一体化系统要求安全临界设计。嵌入式处理器和其软件是设计一般系统的核心,如四余度数字飞行控制系统、航电系统等,这些系统全部有很严格的安全性和可靠要求。这些系统的故障可能导致死亡甚至于潜在的几百万人的死亡。在软件控制系统中由于故障引发的严重安全事故记录已有很多,而且在增加。把软件引入到传统的电子－机械设备中会如何影响安全？电子技术、软件和系统工程师要对此认真评估,这是最基本的,甚至极端重要的。本文可供现代电传飞机的飞行试验工程师参考。     

基于模型检查的民用飞机飞控系统安全性评估

在以大型民机为代表的安全关键系统研制中,系统复杂度的提升极大地降低了依赖设计人员经验的传统安全性评估手段的效率与有效性,并带来了反复迭代困难等问题,基于模型的安全性评估方法(MBSA)能够显著降低研制过程的分析复杂度,提高安全性评估的工作效率。民机系统安全性评估指南ARP 4761A中也增加了MBSA相关的安全性评估工作。阐述了利用有限状态机与时态逻辑构建形式化安全性模型,开展安全性评估的基本原理,详细的分析过程及定义安全属性的方法,并以某民用飞机为对象,建立飞控系统副翼控制功能的SMV形式化模型,定义了副翼控制功能的形式化安全性需求,给出了基于形式模型的安全性属性验证评估案例,证明了基于形式化方法的安全性评估在民机系统安全性工作中的可行性。     

航天器模型预测控制方法综述

随着人类航天活动的增加,空间任务正朝着需要满足多重约束和高性能的方向发展。模型预测控制（Model predictive control, MPC）得益于其在处理约束优化问题上的能力,近年来已在航天器控制中得到了广泛研究。本文首先回顾了MPC的发展历程,并基于该方法的基本形式,对其在航天器中的应用做了分类研究。然后,针对空间环境中的不确定性,依次总结鲁棒和随机两种MPC方法以及它们在航天器上的应用情况。在此基础上,考虑到航天器的安全性问题,总结现有研究中关于避障和容错的预测控制方法。针对MPC方法计算量大的缺陷,本文也从控制器的求解策略和求解方式出发,梳理了具有高计算效率的模型预测控制方法,包括分散式/分布式方法以及显式方法。最后,根据航天器的当前实际需求和未来发展,为MPC方法在航天器控制中的进一步研究提出了几点建议。     

马尔可夫分析在系统安全性评估中的应用研究

安全性分析是适航符合性验证的重要方法。对马尔可夫分析在系统安全性评估中的应用进行了深入研究,阐明了马尔可夫分析的作用与应用时机,结合功能危险状态“V1速度后起落架无指令收起”分别给出了在初步系统安全性评估与系统安全性评估中进行马尔可夫分析的一般方法,将马尔可夫分析与故障树分析的结论进行了对比,袁明了本文方法的适用性。     

面对接近式威胁的在轨飞行器安全性分析方法

提出了一种针对非合作接近威胁飞行器的安全性分析方法,具备对多脉冲接近的威胁飞行器进行安全性分析的能力,所得结果可对自主规避决策提供支撑。文中给出了安全性分析流程,从能量约束等角度出发,选取脉冲冲量、交会时间以及最小相对距离三种参数作为安全性分析指标;随后对指标标准化,建立了多指标加权综合评价与决策模型。仿真结果表明,在本文模型下,非合作主动接近飞行器施加多脉冲机动变轨对目标器进行接近,其每次脉冲均会在安全性评价值中得到体现,算法可对脉冲真实意图进行准确判断。本文提出的安全性分析方法可推动空间复杂环境下卫星面对各种主动威胁时的安全性分析研究,对未来卫星防护体系及相关技术的研究具有一定参考意义。     

载人运载火箭技术回顾与展望

载人运载火箭是运载火箭家族中一个比较特殊的种类。通过对历史上载人运载火箭发展的简单回顾,总结了载人运载火箭的主要特点。从载人运载火箭总体设计、分系统设计等方面展望了未来载人运载火箭设计需求,供未来载人运载火箭的设计参考。     

潜在通路存在的判定方法研究

为判断给定系统是否存在潜在通路,研究了潜在通路存在的判定方法.用图论模型对电路建模,利用图论的邻接矩阵找到在某一开关组合状态下电源到地的所有路径,通过路径和功能之间的一一对应关系确定电路实现的功能数.提出了一种求短路屏蔽路径数算法,可以求得短路屏蔽的功能数.通过比较在某一开关状态下的设计功能数和实现的功能数,确定是否存在潜在通路以及潜在通路存在数目.仿真实例验证了方法的有效性.     

某型导弹技术准备人因安全性分析

某型导弹技术准备过程具有涉及操作人员多,人员间以及人与设备之间交互多的特点,系统级的安全性分析结果表明,人为致因因素是导致安全问题的重要因素。因此,文章研究了一种基于行为模型的人因安全性分析方法(Extended STPA with Behaviour Model,BME-STPA)。BME-STPA方法基于行为模型思想,对 STPA控制器模型进行扩展,使其更加适用于人为致因因素分析,解决了 STPA方法对人因安全性分析针对性不强的问题,具有较强的可操作性。以导弹加注过程中溢出灌增压作为 BME-STPA的应用案例,证明了该方法的实用性和有效性。