导弹攻击过程的STAMP/STPA任务失效及仿真研究

在采用传统的安全分析方法进行安全性分析时,常常关注系统的组件可靠性,很难避免由于组件交互、软件设计缺陷等引起事故的发生。STAMP把安全问题看作是控制问题,认为事故是由于控制不足导致的。文中以导弹攻击过程为例,建立导弹攻击过程的STAMP模型,采用STPA方法识别了导致导弹攻击任务失效的不安全控制行为,同时进行关键原因分析,最后对其中部分不安全控制行为进行仿真分析,为减少导弹攻击任务失效和导弹设计提供了参考。

基于运行数据的国产民机动态维修任务间隔优化

为了提升国产民机的基于运行数据的计划维修任务间隔优化技术,丰富国产民机维修大纲维修间隔优化理论,针对不同维修任务的部件寿命特点,提出了基于运行数据的最佳失效分布动态维修间隔优化方法。收集相应维修任务的例行检查与非计划检查维修记录;然后结合任务部件的完整失效数据与右删失数据,采用极大似然估计进行置信区间内的失效分布参数拟合,得到维修任务的部件寿命分布函数;结合民航局咨询通告对不同维修任务的可靠度要求,考虑部件的累计飞行小时分析维修任务的动态维修间隔。研究表明在给定维修任务可靠度条件下,动态维修任务的维修间隔可随部件可靠性寿命规律而变化,反映相应部件的寿命特点,有助于在保障任务可靠度的基础上为缩短或延长维修任务间隔提供建议,为维修任务的维修间隔优化提供理论参考。