| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 1 概述 | 第8-14页 |
| 1.1 国内外列控系统发展现状 | 第8-11页 |
| 1.1.1 国外列控系统 | 第8-10页 |
| 1.1.2 国内列控系统 | 第10-11页 |
| 1.2 CTCS-3 级列控系统概述 | 第11-12页 |
| 1.2.1 系统的构成 | 第11页 |
| 1.2.2 研究背景 | 第11-12页 |
| 1.3 国内外研究现状 | 第12页 |
| 1.4 研究的目的和意义 | 第12-13页 |
| 1.5 论文的主要工作及章节安排 | 第13-14页 |
| 2 建模分析方法和分析工具 | 第14-19页 |
| 2.1 Petri网的历史和特点 | 第14页 |
| 2.2 Petri网理论 | 第14-15页 |
| 2.3 随机Petri网 | 第15-17页 |
| 2.3.1 随机Petri网的分析和压缩技术 | 第16页 |
| 2.3.2 随机Petri网在建模过程的优势 | 第16-17页 |
| 2.4 TimeNET分析软件简介 | 第17页 |
| 2.5 本章小结 | 第17-19页 |
| 3 正常运行时列控系统降级情况的建模 | 第19-31页 |
| 3.1 正常运行时列控系统降级情况的建模与仿真 | 第19-21页 |
| 3.1.1 正常运行时列控系统降级场景的相关介绍 | 第19页 |
| 3.1.2 CTCS-3 进入CTCS-2 级 | 第19-21页 |
| 3.2 在CTCS-3 级区域内等级转换 | 第21-22页 |
| 3.3 GSM-R网络介绍和应用背景 | 第22-24页 |
| 3.3.1 正常运行时列控系统降级情况场景 | 第22页 |
| 3.3.2 正常运行时列控系统降级情况场景分析 | 第22-24页 |
| 3.4 正常运行时列控系统降级情况场景的模型设计 | 第24-27页 |
| 3.5 正常运行时列控系统降级情况场景的建模与仿真分析 | 第27-30页 |
| 3.6 本章小结 | 第30-31页 |
| 4 设备故障导致降级情况的建模 | 第31-50页 |
| 4.1 车载设备故障导致CTCS-3 转到CTCS-2 列控系统的建模与仿真 | 第31-40页 |
| 4.1.1 车载设备出现故障导致降级场景的介绍 | 第31-32页 |
| 4.1.2 控车设备故障分析 | 第32-33页 |
| 4.1.3 车载设备出现故障导致降级场景分析 | 第33-34页 |
| 4.1.4 车载设备故障导致车辆在CTCS-3 级控制模式降低为CTCS-2 级的模型设计 | 第34-36页 |
| 4.1.5 车载设备故障导致的等级转换模型仿真分析 | 第36-40页 |
| 4.1.6 小结 | 第40页 |
| 4.2 应答器故障导致CTCS-3 转到CTCS-2 列控系统的建模与仿真 | 第40-50页 |
| 4.2.1 应答器故障导致列控系统降级场景的相关介绍 | 第40页 |
| 4.2.2 应答器故障因素分析 | 第40-41页 |
| 4.2.3 应答器故障导致的等级转换场景分析 | 第41-43页 |
| 4.2.4 地面应答设备故障导致车辆在CTCS-3 级控制模式降低为CTCS-2 级的模型设计 | 第43-45页 |
| 4.2.5 应答器故障导致的等级转换模型仿真分析 | 第45-48页 |
| 4.2.6 小结 | 第48-50页 |
| 5 主要工作和结果 | 第50-51页 |
| 致谢 | 第51-52页 |
| 参考文献 | 第52-55页 |
| 攻读硕士期间的研究成果及参加的科研项目 | 第55页 |
