| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 引言 | 第10-15页 |
| ·选题的目的和意义 | 第10页 |
| ·CTCS-3级列控系统概述 | 第10-13页 |
| ·系统介绍 | 第10-12页 |
| ·RBC切换描述 | 第12-13页 |
| ·Petri网建模在铁路上的应用 | 第13-14页 |
| ·论文主要工作 | 第14-15页 |
| 2 Petri网理论及建模工具 | 第15-23页 |
| ·Petri网理论 | 第15-17页 |
| ·Petri网定义 | 第15-16页 |
| ·Petri网性质 | 第16-17页 |
| ·有色Petri网理论 | 第17-19页 |
| ·建模验证工具——CPN tools | 第19-22页 |
| ·分层CPN | 第20-21页 |
| ·层次化建模方法 | 第21页 |
| ·性能分析方法 | 第21页 |
| ·CPN tools建模过程 | 第21-22页 |
| ·本章小结 | 第22-23页 |
| 3 基于CPN的RBC切换过程建模 | 第23-42页 |
| ·GSM-R应用层模型 | 第23-28页 |
| ·GSM-R应用层模型 | 第24-25页 |
| ·GSM-R应用层故障产生模型 | 第25-26页 |
| ·GSM-R应用层故障持续时间模型 | 第26-27页 |
| ·故障发生速率与故障持续时间模型 | 第27-28页 |
| ·无线消息模型 | 第28-32页 |
| ·周期消息模型 | 第28-29页 |
| ·非周期消息模型 | 第29-32页 |
| ·无线通信管理 | 第32-35页 |
| ·建立通信会晤 | 第32-33页 |
| ·终止通信会晤 | 第33-35页 |
| ·RBC切换 | 第35-41页 |
| ·基于一部车载电台的RBC切换 | 第37-39页 |
| ·基于两个车载电台的RBC切换 | 第39-41页 |
| ·本章小结 | 第41-42页 |
| 4 基于CPN模型的RBC切换的仿真、验证方法研究 | 第42-55页 |
| ·基于CPN模型的仿真性能分析 | 第42-54页 |
| ·建立通信会晤的分析与验证 | 第42-44页 |
| ·RBC切换的分析与验证 | 第44-54页 |
| ·本章小结 | 第54-55页 |
| 5 结论与展望 | 第55-57页 |
| ·主要工作与结论 | 第55页 |
| ·下一步研究展望 | 第55-57页 |
| 参考文献 | 第57-60页 |
| 图索引 | 第60-61页 |
| 表索引 | 第61-62页 |
| 作者简历 | 第62-64页 |
| 学位论文数据集 | 第64页 |