基于动态故障树列车运转制约系统可靠性

致谢5-6

中文摘要6-7

ABSTRACT7-8

1 引言8-15

1.1 探讨背景及作用8-9

1.2 国内外探讨近况9-13

1.2.1 国外列控系统可靠性探讨近况9-11

1.2.2 国内列控系统可靠性探讨近况11-13

1.3 论文的组织结构13-15

2 可靠性论述及仿真基础15-26

2.1 可靠性论述15-20

2.1.1 可靠性常用指标15-17

2.1.2 常用失效分布17-20

2.2 列控系统仿真平台相似度计算20-25

2.2.1 CTCS-3级列控系统概述20-21

2.2.2 CTCS-3级列控系统仿真平台概述21-22

2.2.3 仿真相似度22-24

2.2.4 列控系统仿真平台相似度计算24-25

2.3 本章小结25-26

3 静态故障树浅析及其实现26-35

3.1 静态故障树定性浅析及实现26-31

3.1.1 最小割集浅析26-28

3.1.2 最小路集浅析28-29

3.1.3 定性浅析的实现29-31

3.2 静态故障树定量浅析及实现31-34

3.2.1 顶事件概率计算31-32

3.2.2 重要度浅析32-34

3.2.3 定量浅析的实现34

3.3 本章小结34-35

4 动态故障树浅析及其实现35-49

4.1 动态故障树模块化策略35-38

4.1.1 模块分解策略36-37

4.1.2 模块合成策略37-38

4.2 动态子树浅析策略38-45

4.2.1 动态逻辑门38-41

4.2.2 动态子树的转化41-43

4.2.3 马尔科夫链计算及其实现43-45

4.3 实例浅析45-48

4.3.1 列控系统车地通信子系统45-46

4.3.2 动态故障树浅析46-48

4.4 本章小结48-49

5 列控系统可靠性浅析软件设计与实现49-65

5.1 软件结构及功能设计49-52

5.1.1 整体设计49-50

5.1.2 界面和功能设计50-52

5.2 数据结构及管理52-56

5.2.1 数据结构设计52-55

5.2.2 数据关联联系55

5.2.3 数据管理55-56

5.3 列控系统车地通信可靠性建模56-58

5.3.1 故障树模型的建立与可视化显示56-57

5.3.2 故障树事件属性设置57-58

5.4 列控系统车地通信可靠性浅析58-64

5.4.1 动态子树浅析59-60

5.4.2 静态子树浅析60-62

5.4.3 模块结果合成62-64

5.5 本章小结64-65

6 总结与展望65-67

6.1 本论文的主要工作与结论65-66

6.2 进一步探讨和展望66-67