| 摘要 | 第6-7页 |
| Abstract | 第7页 |
| 第1章 绪论 | 第10-16页 |
| 1.1 论文的研究背景及意义 | 第10-11页 |
| 1.2 国内外研究现状 | 第11-14页 |
| 1.2.1 列控系统可靠性分析研究现状 | 第11-12页 |
| 1.2.2 动态故障树研究现状 | 第12-14页 |
| 1.3 研究思路及文章结构 | 第14-16页 |
| 第2章 基础理论 | 第16-29页 |
| 2.1 列控中心概述 | 第16-18页 |
| 2.2 可靠性理论概述 | 第18-24页 |
| 2.2.1 可靠性的定义 | 第18-20页 |
| 2.2.2 可靠性分析方法 | 第20-21页 |
| 2.2.3 可靠性结构 | 第21-24页 |
| 2.3 故障树概述 | 第24-28页 |
| 2.3.1 故障树定义 | 第24-25页 |
| 2.3.2 传统静态故障树的缺点 | 第25-26页 |
| 2.3.3 动态故障树概述 | 第26-28页 |
| 2.4 本章小结 | 第28-29页 |
| 第3章 基于马尔科夫链的动态故障树模型分析 | 第29-54页 |
| 3.1 基于动态故障树的列控中心建模 | 第29-31页 |
| 3.2 列控中心动态故障树的模块化 | 第31-34页 |
| 3.3 列控中心模型静态子树分析 | 第34-40页 |
| 3.3.1 静态子树分析方法 | 第34-36页 |
| 3.3.2 基于BDD的列控中心静态子树分析 | 第36-40页 |
| 3.4 列控中心模型动态子树分析 | 第40-49页 |
| 3.4.1 动态子树定量分析方法 | 第40-46页 |
| 3.4.2 基于Markov方法的列控中心动态子树定量分析 | 第46-48页 |
| 3.4.3 子树模块分析结果合成 | 第48-49页 |
| 3.5 三取二结构建模与求解 | 第49-53页 |
| 3.5.1 三取二冗余的状态转移模型 | 第49-52页 |
| 3.5.2 matlab仿真对比 | 第52-53页 |
| 3.6 本章小结 | 第53-54页 |
| 第4章 基于随机petri网的动态故障树模型分析 | 第54-67页 |
| 4.1 随机Petri网概述 | 第54-55页 |
| 4.2 安全主机单元模型的Petri网转化及仿真分析 | 第55-63页 |
| 4.2.1 列控中心安全主机单元动态故障树建模 | 第55-56页 |
| 4.2.2 常用逻辑门的Petri网转化 | 第56-61页 |
| 4.2.3 动态故障树模型的Petri网转化及仿真 | 第61-63页 |
| 4.3 三取二冗余结构的Petri网建模及仿真 | 第63-65页 |
| 4.4 结论 | 第65页 |
| 4.4.1 仿真结果对比 | 第65页 |
| 4.4.2 Petri网与Markov方法的比较 | 第65页 |
| 4.5 本章小节 | 第65-67页 |
| 结论与展望 | 第67-69页 |
| 致谢 | 第69-70页 |
| 参考文献 | 第70-74页 |
