| 摘要 | 第5-6页 |
| abstract | 第6-7页 |
| 第一章 绪论 | 第15-21页 |
| 1.1 研究背景及意义 | 第15页 |
| 1.2 安全性、可靠性分析的研究现状 | 第15-18页 |
| 1.3 论文的主要工作 | 第18-20页 |
| 1.4 论文的各章安排 | 第20-21页 |
| 第二章 系统安全性基础理论和技术 | 第21-35页 |
| 2.1 安全性及可靠性相关概念 | 第21-24页 |
| 2.1.1 可靠度和不可靠度 | 第22-23页 |
| 2.1.2 故障概率密度函数 | 第23页 |
| 2.1.3 故障率 | 第23-24页 |
| 2.2 多状态空间下危险引导的多元故障分析方法 | 第24-29页 |
| 2.2.1 状态空间相关概念 | 第24-26页 |
| 2.2.2 危险引导的多元故障分析机制 | 第26-27页 |
| 2.2.3 多故障状态空间下的表格分析方法 | 第27-29页 |
| 2.3 马尔可夫建模与分析技术 | 第29-33页 |
| 2.3.1 马尔可夫过程及分析 | 第29-31页 |
| 2.3.2 马尔可夫模型规模缩减技术 | 第31-32页 |
| 2.3.3 马尔可夫工具 | 第32-33页 |
| 2.4 STATEFLOW可视化建模与仿真环境 | 第33-34页 |
| 2.5 本章小结 | 第34-35页 |
| 第三章 基于故障关系矩阵的故障分析表格自动化生成 | 第35-56页 |
| 3.1 多故障状态空间故障分析机制及表项内在关系 | 第35-41页 |
| 3.1.1 容错行为引导的故障分析层级跳转机制 | 第35-38页 |
| 3.1.2 故障分析的状态合并与截断机制 | 第38页 |
| 3.1.3 多故障状态空间下表格编排的层级机制 | 第38-40页 |
| 3.1.4 表格项的内在关系 | 第40-41页 |
| 3.2 系统框图抽象 | 第41-44页 |
| 3.3 故障关系矩阵定义 | 第44-48页 |
| 3.4 表格自动化生成 | 第48-55页 |
| 3.4.1 MFCSA程序流程 | 第48-50页 |
| 3.4.2 方法验证 | 第50-55页 |
| 3.5 本章小结 | 第55-56页 |
| 第四章 重构策略质量的分析与评价 | 第56-78页 |
| 4.1 基于状态流的分析与评价数据获取方法 | 第56-74页 |
| 4.1.1 研究基础 | 第56页 |
| 4.1.2 设计思想 | 第56-57页 |
| 4.1.3 方法实现 | 第57-65页 |
| 4.1.4 方法验证 | 第65-74页 |
| 4.2 基于安全概率的分析与评价方法 | 第74-77页 |
| 4.2.1 研究基础 | 第74-75页 |
| 4.2.2 设计思想 | 第75页 |
| 4.2.3 方法实现 | 第75-76页 |
| 4.2.4 结果分析 | 第76-77页 |
| 4.3 本章小结 | 第77-78页 |
| 第五章 多故障状态空间自动化安全性分析方案及应用实例 | 第78-99页 |
| 5.1 方案设计 | 第78-79页 |
| 5.2 方案应用及结果分析 | 第79-98页 |
| 5.2.1 系统实例 | 第79-83页 |
| 5.2.2 方案应用 | 第83-98页 |
| 5.2.3 结果分析 | 第98页 |
| 5.3 本章小结 | 第98-99页 |
| 第六章 总结与展望 | 第99-101页 |
| 致谢 | 第101-102页 |
| 参考文献 | 第102-106页 |
| 附录 | 第106-134页 |
| 附录A | 第106-126页 |
| 附录B | 第126-130页 |
| 附录C | 第130-134页 |
| 个人简历及攻硕期间取得的研究成果 | 第134-135页 |