基于模块化思想的动态故障树分析方法研究
| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 目录 | 第5-7页 |
| 缩略表 | 第7-8页 |
| 1 绪论 | 第8-13页 |
| ·研究背景 | 第8-9页 |
| ·国内外研究现状 | 第9-11页 |
| ·动态故障树分析中存在的主要问题 | 第11-12页 |
| ·本文研究的主要内容 | 第12-13页 |
| 2 故障树分析法概述 | 第13-24页 |
| ·故障树基本知识 | 第13-16页 |
| ·基本定义和符号 | 第13-14页 |
| ·故障树分类 | 第14-15页 |
| ·故障树的建造 | 第15页 |
| ·故障树结构函数 | 第15-16页 |
| ·故障树的定性分析 | 第16-18页 |
| ·故障树的定量分析 | 第18-20页 |
| ·动态故障树的基本原理 | 第20-23页 |
| ·本章小结 | 第23-24页 |
| 3 动态故障树的模块化分解 | 第24-31页 |
| ·动态故障树的预处理 | 第24-26页 |
| ·同类门合并 | 第24-25页 |
| ·早期不交化 | 第25-26页 |
| ·动态故障树的模块分解 | 第26-29页 |
| ·模块分解法的步骤 | 第26页 |
| ·模块搜索算法及实现 | 第26-29页 |
| ·动态故障树模块化结果的合成 | 第29-30页 |
| ·动态故障树故障模式的模块合成 | 第30页 |
| ·动态故障树顶事件故障概率的模块合成 | 第30页 |
| ·动态故障树部件重要度的模块合成 | 第30页 |
| ·本章小结 | 第30-31页 |
| 4 模块子树分析方法研究 | 第31-55页 |
| ·基于BDD的故障树分析 | 第31-40页 |
| ·故障树到BDD的转化 | 第31-36页 |
| ·基于BDD的故障树定性分析 | 第36-37页 |
| ·基于BDD的早期最小化求解PIS的算法 | 第37-39页 |
| ·基于BDD的故障树定量分析 | 第39-40页 |
| ·基于马尔可夫链的故障树分析 | 第40-50页 |
| ·马尔可夫过程 | 第40-42页 |
| ·动态故障树向马尔可夫链的自动转化算法 | 第42-47页 |
| ·基于马尔可夫链的动态故障树定性分析 | 第47页 |
| ·基于马尔可夫链的动态故障树定量分析 | 第47-50页 |
| ·动态故障树分析方法应用研究 | 第50-54页 |
| ·本章小结 | 第54-55页 |
| 5 动态故障树分析平台设计 | 第55-60页 |
| ·动态故障树分析平台的总体结构 | 第55-56页 |
| ·动态故障树分析计算模块设计 | 第56-59页 |
| ·本章小结 | 第59-60页 |
| 6 总结与展望 | 第60-61页 |
| ·本文综述 | 第60页 |
| ·下步研究展望 | 第60-61页 |
| 致谢 | 第61-62页 |
| 参考文献 | 第62-65页 |
