文摘
英文文摘
声明
第一章绪论
1.1研究背景
1.2国内外研究现状
1.3研究内容
1.4论文组织结构
第二章二元决策图的基本原理
2.1 二元决策图的基本概念
2.2二元决策图的基本操作
2.3二元决策图结构优化与扩展
2.4本章总结
第三章二元决策图的排序优化
3.1 BDD结构与排序
3.2 BDD节点数量排序优化
3.2.1精确排序算法
3.2.2动态启发式排序
3.2.3筛选算法的改进
3.3 BDD路径数量排序优化
3.3.1 BDD节点路径的记录
3.3.2 BDD节点路径改变量的传递
3.3.3最少路径排序优化算法
3.3.4 OSMNP算法试验结果与分析
3.4本章小结
第四章LNPC故障树的转化
4.1故障树的概念和特点
4.2故障树与BDD
4.3故障树向BDD的转化方法
4.4故障树中底事件的排序
4.4.1底事件顺序影响BDD规模
4.4.2结构重要度排序
4.5 LNPC转化方法
4.5.1 LNPC方法的概念描述
4.5.2 LNPC排序策略
4.5.3 LNPC的组合方法
4.5.4 LNPC方法的实现
4.5.5 LNPC实现实例
4.5.6 LNPC的算法分析
4.6本章小结
第五章结论
5.1工作总结
5.2研究展望
参考文献
致谢
攻读学位期间主要的研究成果
中南大学;