二元决策图的排序优化及故障树转化方法的研究
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 第一章 绪论 | 第7-12页 |
| ·研究背景 | 第7-8页 |
| ·国内外研究现状 | 第8-10页 |
| ·研究内容 | 第10页 |
| ·论文组织结构 | 第10-12页 |
| 第二章 二元决策图的基本原理 | 第12-22页 |
| ·二元决策图的基本概念 | 第12-14页 |
| ·二元决策图的基本操作 | 第14-18页 |
| ·二元决策图结构优化与扩展 | 第18-21页 |
| ·本章总结 | 第21-22页 |
| 第三章 二元决策图的排序优化 | 第22-37页 |
| ·BDD结构与排序 | 第22-23页 |
| ·BDD节点数量排序优化 | 第23-28页 |
| ·精确排序算法 | 第23-25页 |
| ·动态启发式排序 | 第25-27页 |
| ·筛选算法的改进 | 第27-28页 |
| ·BDD路径数量排序优化 | 第28-35页 |
| ·BDD节点路径的记录 | 第28-30页 |
| ·BDD节点路径改变量的传递 | 第30-31页 |
| ·最少路径排序优化算法 | 第31-33页 |
| ·OSMNP算法试验结果与分析 | 第33-35页 |
| ·本章小结 | 第35-37页 |
| 第四章 LNPC故障树的转化 | 第37-57页 |
| ·故障树的概念和特点 | 第37页 |
| ·故障树与 BDD | 第37-39页 |
| ·故障树向BDD的转化方法 | 第39-43页 |
| ·故障树中底事件的排序 | 第43-45页 |
| ·底事件顺序影响 BDD规模 | 第43-44页 |
| ·结构重要度排序 | 第44-45页 |
| ·LNPC转化方法 | 第45-56页 |
| ·LNPC方法的概念描述 | 第46页 |
| ·LNPC排序策略 | 第46-47页 |
| ·LNPC的组合方法 | 第47页 |
| ·LNPC方法的实现 | 第47-50页 |
| ·LNPC实现实例 | 第50-55页 |
| ·LNPC的算法分析 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 第五章 结论 | 第57-59页 |
| ·工作总结 | 第57-58页 |
| ·研究展望 | 第58-59页 |
| 参考文献 | 第59-64页 |
| 致谢 | 第64-65页 |
| 攻读学位期间主要的研究成果 | 第65页 |