考虑失效时序的复杂系统安全性分析方法研究
| 摘要 | 第4-5页 |
| ABSTRACT | 第5页 |
| 注释表 | 第10-11页 |
| 缩略词 | 第11-12页 |
| 第一章 绪论 | 第12-18页 |
| 1.1 选题背景 | 第12-13页 |
| 1.2 研究进展 | 第13-16页 |
| 1.2.1 国外研究进展 | 第14-15页 |
| 1.2.2 国内研究进展 | 第15-16页 |
| 1.3 研究内容 | 第16页 |
| 1.4 论文结构 | 第16-18页 |
| 第二章 复杂系统安全性分析方法评述 | 第18-28页 |
| 2.1 引言 | 第18页 |
| 2.2 复杂系统失效特点 | 第18-19页 |
| 2.3 可考虑失效时序的分析方法 | 第19-27页 |
| 2.3.1 马尔可夫分析法 | 第20-22页 |
| 2.3.2 动态故障树分析法 | 第22-24页 |
| 2.3.3 状态事件故障树 | 第24-25页 |
| 2.3.4 AADL | 第25-26页 |
| 2.3.5 Pandora | 第26-27页 |
| 2.4 本章小结 | 第27-28页 |
| 第三章 考虑失效时序的复杂系统安全性分析方法 | 第28-47页 |
| 3.1 引言 | 第28页 |
| 3.2 分析方法的基本组成及失效时序性描述 | 第28-32页 |
| 3.2.1 基本组成及概念 | 第28-29页 |
| 3.2.2 失效时序关系 | 第29-30页 |
| 3.2.3 失效时序描述方法 | 第30-31页 |
| 3.2.4 系统状态图的分层描述 | 第31-32页 |
| 3.3 时序逻辑约定及语义 | 第32-34页 |
| 3.4 时序逻辑化简规则及证明 | 第34-39页 |
| 3.4.1 布尔逻辑规则 | 第35页 |
| 3.4.2 新的时序逻辑规则 | 第35-39页 |
| 3.5 失效时序关系模型建立 | 第39-41页 |
| 3.5.1 失效时序关系模型形式化定义 | 第39-40页 |
| 3.5.2 失效时序关系模型的描述语言 | 第40-41页 |
| 3.6 最小割序求解 | 第41-46页 |
| 3.6.1 最小割序的求解算法 | 第41-44页 |
| 3.6.2 求解算法的实现 | 第44-46页 |
| 3.7 本章小结 | 第46-47页 |
| 第四章 应用实例分析 | 第47-65页 |
| 4.1 引言 | 第47页 |
| 4.2 系统结构分层及减速功能实现 | 第47-50页 |
| 4.2.1 “减速功能”结构分层框图 | 第47-48页 |
| 4.2.2 机轮刹车功能及原理 | 第48-50页 |
| 4.3 系统失效状态识别 | 第50-51页 |
| 4.4 “减速功能”失效行为描述 | 第51-55页 |
| 4.4.1 状态图层次关系 | 第51-53页 |
| 4.4.2 状态图描述模型 | 第53-55页 |
| 4.5 系统失效时序关系模型的建立 | 第55-58页 |
| 4.6 时序表达式的化简与最小割序求解 | 第58-63页 |
| 4.6.1 算法求解 | 第58-61页 |
| 4.6.2 程序语言实现 | 第61-63页 |
| 4.6.3 与传统方法对比分析 | 第63页 |
| 4.7 本章小结 | 第63-65页 |
| 第五章 总结与展望 | 第65-67页 |
| 5.1 总结 | 第65-66页 |
| 5.2 展望 | 第66-67页 |
| 参考文献 | 第67-71页 |
| 致谢 | 第71-72页 |
| 在学期间的研究成果及发表的学术论文 | 第72-73页 |
| 附录 最小割序求解算法代码（部分） | 第73-78页 |
