组合式安全性分析技术在现代机载系统设计中的应用研究

摘要

故障树分析和失效模式与影响分析等传统安全分析技术不能满足现代机载系统失效动态性的描述和分析要求。组合式安全分析技术虽可部分满足描述机载系统失效特性要求，但不能完全体现机载系统的失效特征。在研究现有组合式安全分析技术的基础上，本文利用状态图描述和分析系统失效动态性,以克服现有安全分析技术的弊端。
　　本文首先总结了机载系统的失效特征，介绍了现有的四种组合式安全分析方法。在分析现有四种方法描述机载系统失效特征不足的基础上，借鉴状态图方法描述由失效事件驱动的系统状态转移，以描述机载系统失效的动态性。根据所建立的系统故障状态图，提出了求解系统失效最小割序的方法，首先获得状态转移路径中失效事件的时序关系表达式，然后利用时序化简规则对表达式约简整理，求得最小割序。最后将本文方法用于飞机机轮刹车系统失效动态性描述和分析，将最小割序与传统故障树方法求得的最小割集对比表明，使用最小割序描述系统失效更具准确性。

目录

封面

声明

中文摘要

英文摘要

目录

注释表

缩略词

第一章 绪论

1.1选题背景

1.2 研究进展

1.3 研究内容

1.4 论文结构

第二章 复杂机载系统安全性分析基础

2.1 安全性相关概念

2.2现代机载系统的失效特征

2.3现有组合式安全分析方法

2.4现有组合式安全分析方法的缺陷

2.5 本章小结

第三章 基于状态图的组合式安全分析方法

3.1基于状态图的失效动态性描述

3.2 针对状态图的失效动态性分析

3.3本章小结

第四章 应用示例

4.1系统描述

4.2基于状态图的机轮刹车失效描述

4.3针对状态图的机轮刹车系统失效动态性分析

4.4分析结果的说明

4.5本章小结

第五章 总结与展望

5.1 总结

5.2展望

参考文献

致谢

攻读硕士学位期间发表（录用）论文情况

附录一 时序规则的真值表证明

附录二 失效动态性分析代码