| 摘要 | 第3-4页 |
| ABSTRACT | 第4-5页 |
| 1 绪论 | 第11-16页 |
| 1.1 FTA 和BDD 的研究背景和主要意义 | 第11-12页 |
| 1.2 国内外研究现状及发展趋势 | 第12-14页 |
| 1.3 论文主要内容及组织结构 | 第14-16页 |
| 2 故障树、SHANNON 分解和 BDD | 第16-29页 |
| 2.1 故障树基本理论 | 第16-23页 |
| 2.2 建立故障树的步骤和方法 | 第23-25页 |
| 2.2.1 建树步骤 | 第23-24页 |
| 2.2.2 建树方法 | 第24-25页 |
| 2.3 SHANNON 分解和二元决策图 | 第25-29页 |
| 2.3.1 Shannon 分解 | 第25-27页 |
| 2.3.2 二元决策图BDD | 第27-28页 |
| 2.3.3 二者之间关系 | 第28-29页 |
| 3 基于 BDD 的故障树的分析 | 第29-36页 |
| 3.1 故障树的简化 | 第29-31页 |
| 3.2 故障树向BDD 的转化 | 第31-34页 |
| 3.2.1 获取 BDD 节点指标值的方法 | 第31-32页 |
| 3.2.2 递归法 | 第32-34页 |
| 3.3 基于BDD 的故障树的定性分析和定量分析 | 第34-36页 |
| 3.3.1 基于 BDD 的故障树的定性分析 | 第34-35页 |
| 3.3.2 基于 BDD 的故障树的定量分析 | 第35-36页 |
| 4 二元决策图排序问题 | 第36-58页 |
| 4.1 底事件排序对BDD 规模的影响 | 第36-38页 |
| 4.2 现有的底事件排序方法 | 第38-46页 |
| 4.2.1 现有的静态底事件排序法 | 第38-42页 |
| 4.2.2 渐进式变量排序法 | 第42-45页 |
| 4.2.3 渐进式变量排序法性能分析 | 第45-46页 |
| 4.3 相邻底事件优先法 | 第46-58页 |
| 4.3.1 原理 | 第46-47页 |
| 4.3.2 步骤分析 | 第47-49页 |
| 4.3.3 举例说明 | 第49-54页 |
| 4.3.4 相邻底事件优先法的计算机实现 | 第54页 |
| 4.3.5 相邻底事件优先法与静态排序法的比较 | 第54-58页 |
| 5 基于 BDD 的故障树模块分析法 | 第58-69页 |
| 5.1 故障树的模块化分析 | 第58-63页 |
| 5.1.1 有关模块的概念 | 第58-59页 |
| 5.1.2 模块化分解 | 第59-63页 |
| 5.2 模块化的相邻底事件优先法 | 第63-67页 |
| 5.3 基于模块和BDD 的故障树定性分析 | 第67-69页 |
| 6 实例——波音707 飞机滑油压力指示和警告系统分析 | 第69-75页 |
| 6.1 实例背景分析 | 第69-70页 |
| 6.2 基于模块化的二元决策图分析 | 第70-75页 |
| 7 总结 | 第75-77页 |
| 7.1 论文研究内容和成果 | 第75-76页 |
| 7.2 论文主要研究成果 | 第76-77页 |
| 参考文献 | 第77-80页 |
| 附录1 | 第80-88页 |
| 附录2 | 第88-90页 |
| 致谢 | 第90-91页 |
| 攻读学位期间发表的学术论文 | 第91-93页 |