基于确定随机Petri网和蒙特卡洛仿真的动态故障树定量可靠性分析方法研究
| 致谢 | 第5-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-8页 |
| 1 引言 | 第11-19页 |
| 1.1 研究背景 | 第11-12页 |
| 1.2 常用的安全分析方法 | 第12-14页 |
| 1.3 动态故障树分析方法研究现状 | 第14-17页 |
| 1.3.1 解析方法 | 第15-16页 |
| 1.3.2 仿真方法 | 第16-17页 |
| 1.4 研究意义 | 第17页 |
| 1.5 论文内容结构 | 第17-19页 |
| 2 相关基础理论和方法 | 第19-27页 |
| 2.1 故障树基本概念 | 第19-23页 |
| 2.1.1 故障树定义 | 第19-21页 |
| 2.1.2 故障树结构函数 | 第21页 |
| 2.1.3 最小割集 | 第21-22页 |
| 2.1.4 动态故障树特点 | 第22-23页 |
| 2.2 确定随机Petri网 | 第23-25页 |
| 2.2.1 确定随机Petri网概述 | 第23-24页 |
| 2.2.2 形式化定义 | 第24-25页 |
| 2.3 蒙特卡洛仿真 | 第25-26页 |
| 2.3.1 蒙特卡洛仿真概述 | 第25页 |
| 2.3.2 蒙特卡洛仿真主要步骤 | 第25-26页 |
| 2.4 本章小结 | 第26-27页 |
| 3 基于确定随机Petri网和蒙特卡洛仿真的方法 | 第27-56页 |
| 3.1 方法总述 | 第27-28页 |
| 3.2 动态逻辑门预处理 | 第28-38页 |
| 3.2.1 动态逻辑门的确定随机Petri网模型 | 第29-38页 |
| 3.2.2 仿真平台的选择 | 第38页 |
| 3.3 蒙特卡洛仿真 | 第38-49页 |
| 3.3.1 仿真整体思路流程 | 第39-40页 |
| 3.3.2 建立故障树 | 第40-43页 |
| 3.3.3 故障树结构函数生成 | 第43-44页 |
| 3.3.4 故障树结构函数计算 | 第44-46页 |
| 3.3.5 底事件的抽样分类 | 第46-47页 |
| 3.3.6 抽样次数的确定 | 第47-48页 |
| 3.3.7 可靠性指标计算 | 第48-49页 |
| 3.4 仿真实现UML图 | 第49-55页 |
| 3.4.1 仿真类图 | 第50-51页 |
| 3.4.2 仿真时序图 | 第51-55页 |
| 3.5 本章小结 | 第55-56页 |
| 4 算法对比及案例分析 | 第56-84页 |
| 4.1 解析法及其近似算法概述 | 第56-58页 |
| 4.2 动态故障树仿真实例 | 第58-76页 |
| 4.2.1 仿真用例 | 第58-65页 |
| 4.2.2 仿真结果分析 | 第65-76页 |
| 4.3 CBTC系统区域控制器案例 | 第76-83页 |
| 4.4 本章小结 | 第83-84页 |
| 5 结论和展望 | 第84-85页 |
| 5.1 结论 | 第84页 |
| 5.2 展望 | 第84-85页 |
| 参考文献 | 第85-88页 |
| 图索引 | 第88-91页 |
| 表索引 | 第91-92页 |
| 作者简历 | 第92-94页 |
| 学位论文数据集 | 第94页 |
