基于BDD的动态故障树优化分析研究
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 引言 | 第7-11页 |
| 第一章 动态建造故障树 | 第11-23页 |
| 第一节 建立故障树的步聚和方法 | 第11-13页 |
| ·建树步骤 | 第11-12页 |
| ·建树方法 | 第12-13页 |
| 第二节 动态建造故障树的设计和实现 | 第13-18页 |
| ·分层建树的思想和实现 | 第13-14页 |
| ·动态建树的思想和实现 | 第14-18页 |
| 第三节 动态建造故障树软件的实现 | 第18-23页 |
| ·软件界面设计 | 第18-20页 |
| ·图元类设计 | 第20页 |
| ·内核程序流程 | 第20-23页 |
| 第二章 故障树与BDD | 第23-30页 |
| 第一节 Shannon分解和BDD | 第23-26页 |
| ·Shannon分解 | 第23-25页 |
| ·二元决策图BDD | 第25-26页 |
| 第二节 基于递归法的故障树向BDD的转化 | 第26-30页 |
| ·规范化故障树 | 第26页 |
| ·获取故障树底事件指标顺序 | 第26页 |
| ·故障树到BDD的递归法 | 第26-30页 |
| 第三章 故障树底事件的最优指标顺序 | 第30-46页 |
| 第一节 指标顺序对转化的影响 | 第30-31页 |
| 第二节 基于结构重要度的故障树底事件指标顺序 | 第31-39页 |
| ·结构重要度 | 第31-34页 |
| ·Birnbaum重要度 | 第34-35页 |
| ·结构重要度和Birnbaum重要度的关系 | 第35-36页 |
| ·基于结构重要度的底事件最优指标顺序的求解实现 | 第36-39页 |
| 第三节 基于神经网络的故障树底事件指标顺序 | 第39-46页 |
| ·神经网络的设计 | 第39-41页 |
| ·神经网络的动量梯度下降BP算法 | 第41-42页 |
| ·仿真和分析 | 第42-46页 |
| 第四章 基于BDD的故障树定性分析 | 第46-54页 |
| 第一节 基于BDD的求单调关联故障树的MCS | 第46-49页 |
| ·割集与最小割集 | 第46页 |
| ·基于BDD的求MCS的算法 | 第46-48页 |
| ·基于BDD的求MCS的计算机实现 | 第48-49页 |
| 第二节 基于BDD的求非单调关联故障树的PIS | 第49-54页 |
| ·基于BDD求PIS的迭代算法的理论依据 | 第49-50页 |
| ·基于BDD求PIS的迭代算法和实现 | 第50-54页 |
| 第五章 基于BDD的故障树定量分析 | 第54-63页 |
| 第一节 基于BDD的故障树顶事件发生概率的计算 | 第54-57页 |
| ·基于布尔代数的顶事件发生概率的计算 | 第54-55页 |
| ·基于BDD的顶事件发生概率的计算方法 | 第55-57页 |
| 第二节 基于BDD的故障树顶事件绝对故障强度 | 第57-62页 |
| ·基于布尔代数的顶事件绝对故障强度的计算 | 第57-58页 |
| ·基于BDD的顶事件绝对故障强度的计算 | 第58-62页 |
| 第三节 定量分析中两种方法的比较 | 第62-63页 |
| 第六章 基于BDD的故障树模块分析法 | 第63-73页 |
| 第一节 故障树的模块分解算法 | 第63-69页 |
| ·故障树的深度优先最左遍历 | 第63-65页 |
| ·故障树的模块分解算法 | 第65-67页 |
| ·故障树模块分解的实现 | 第67-69页 |
| 第二节 基于BDD和模块的故障树分析 | 第69-73页 |
| ·基于BDD和模块的故障树定性分析 | 第69-70页 |
| ·基于BDD和模块的故障树定量分析 | 第70-73页 |
| 第七章 RTA法与RBDA法 | 第73-79页 |
| 第一节 典型系统的FT与RBD的等价关系 | 第73-74页 |
| ·串联系统 | 第73-74页 |
| ·并联系统 | 第74页 |
| 第二节 FTA与RBDA的仿真 | 第74-77页 |
| 第三节 FTA和RBDA的比较 | 第77-79页 |
| 结束语 | 第79-81页 |
| 参考文献 | 第81-84页 |
| 致谢 | 第84-85页 |
