故障树分析算法改进研究与实现
| 第一章 绪论 | 第1-10页 |
| §1-1 论文的意义 | 第7-8页 |
| 1-1-1 故障树分析理论的发展状况 | 第7页 |
| 1-1-2 国内外故障树分析软件的发展状况 | 第7-8页 |
| §1-2 本文研究思路和主要工作 | 第8-10页 |
| 1-2-1 本文研究思路 | 第8页 |
| 1-2-2 本文研究过程及主要工作 | 第8-10页 |
| 第二章 故障树分析法(FTA) | 第10-16页 |
| §2-1 故障树分析法的特点与应用范围 | 第10-11页 |
| 2-1-1 故障树分析法的特点 | 第10页 |
| 2-1-2 故障树的应用范围 | 第10-11页 |
| §2-2 名词术语和符号 | 第11-12页 |
| §2-3 逻辑门的使用说明及等价变换 | 第12-14页 |
| §2-4 故障事件的分类 | 第14-15页 |
| §2-5 有关故障树的几个概念 | 第15-16页 |
| 第三章 树的存储方法及遍历 | 第16-19页 |
| §3-1 二叉树 | 第16-17页 |
| 3-1-1 二叉树的定义 | 第16页 |
| 3-1-2 二叉树的表示 | 第16-17页 |
| 3-1-3 二叉树的遍历 | 第17页 |
| §3-2 树的遍历 | 第17-19页 |
| 3-2-1 深度优先遍历 | 第17-18页 |
| 3-2-2 广度优先遍历 | 第18页 |
| 3-3-3 树节点的特征表示 | 第18-19页 |
| 第四章 故障树NP问题的处理 | 第19-27页 |
| §4-1 故障树的NP困难 | 第19-20页 |
| §4-2 故障树的早期不交化 | 第20-22页 |
| 4-2-1 故障树的早期不交化的提出及其根据 | 第20页 |
| 4-2-2 早期不交化的特点 | 第20-21页 |
| 4-2-3 布尔代数简化法进行早期不交化 | 第21-22页 |
| §4-3 故障树的模块化分析及计算机实现 | 第22-27页 |
| 4-3-1 有关模块的概念 | 第22页 |
| 4-3-2 模块分解法示例 | 第22页 |
| 4-3-3 转移事件的处理 | 第22-23页 |
| 4-3-4 模块分解法的计算机实现 | 第23-27页 |
| 第五章 故障树的定性分析及计算机实现 | 第27-37页 |
| §5-1 故障树的定性分析 | 第27-30页 |
| 5-1-1 单调关联故障树的定性分析 | 第27-30页 |
| 5-1-2 非单调关联故障树的定性分析 | 第30页 |
| §5-2 故障树参数间相互转换 | 第30-31页 |
| §5-3 定性分析算法的计算机实现 | 第31-37页 |
| 5-3-1 割集的实现 | 第31-33页 |
| 5-3-2 素数法求最小割集 | 第33页 |
| 5-3-3 队列指针存储法实现割集的过程 | 第33-35页 |
| 5-3-4 二维数组存储法 | 第35-37页 |
| 第六章 故障树的定量分析算法及计算机实现 | 第37-45页 |
| §6-1 化质蕴涵族为不交蕴涵族的几种方法 | 第37-40页 |
| 6-1-1 卡诺图法 | 第37页 |
| 6-1-2 文氏图法 | 第37-38页 |
| 6-1-3 A—G—M法 | 第38-40页 |
| §6-2 晚期不交化 | 第40-43页 |
| 6-2-1 状态空间概念 | 第40页 |
| 6-2-2 cube子集的定义和作用 | 第40-43页 |
| §6-3 晚期不交化的计算机实现 | 第43-45页 |
| 第七章 试验结果 | 第45-48页 |
| 参考文献 | 第48-50页 |
| 致谢 | 第50-51页 |
| 攻读学位期间所取得的相关科研成果 | 第51页 |
