| 致谢 | 第5-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7页 |
| 1 引言 | 第10-18页 |
| 1.1 研究背景及意义 | 第10-12页 |
| 1.2 国内外新一代列控系统的研究现状 | 第12-16页 |
| 1.2.1 欧洲NGTC项目 | 第12-13页 |
| 1.2.2 欧洲的Shift~2Rail计划 | 第13-14页 |
| 1.2.3 基于车车通信的列控系统 | 第14-16页 |
| 1.3 论文研究内容与结构 | 第16-18页 |
| 2 有色Petri网理论与建模工具 | 第18-24页 |
| 2.1 Petri网建模理论 | 第18-19页 |
| 2.2 有色Petri网理论 | 第19-21页 |
| 2.3 CPN Tools建模工具 | 第21-24页 |
| 3 基于车车通信的列控系统车载子系统建模分析 | 第24-50页 |
| 3.1 基于车车通信的列控系统基本原理 | 第24-27页 |
| 3.2 基于车车通信的列控系统车载子系统功能需求分析 | 第27-29页 |
| 3.3 车车通信模块建模分析 | 第29-37页 |
| 3.3.1 单车与地面列车管理单元建立通信模型 | 第30-33页 |
| 3.3.2 多车之间的车车通信模型 | 第33-37页 |
| 3.4 行车许可计算模块建模分析 | 第37-41页 |
| 3.5 速度防护模块建模分析 | 第41-48页 |
| 3.6 小结 | 第48-50页 |
| 4 基于车车通信的列控系统车载子系统软件实现 | 第50-64页 |
| 4.1 Visual Studio 2017集成开发环境与C语言简介 | 第50-51页 |
| 4.2 软件总体设计 | 第51-53页 |
| 4.3 各模块功能设计与实现 | 第53-62页 |
| 4.3.1 车车通信功能模块的设计与实现 | 第53-56页 |
| 4.3.2 行车许可计算功能模块的设计与实现 | 第56-59页 |
| 4.3.3 速度防护功能模块的设计与实现 | 第59-62页 |
| 4.4 小结 | 第62-64页 |
| 5 基于车车通信的列控系统车载子系统功能测试 | 第64-78页 |
| 5.1 基于车车通信的列控系统仿真测试平台概述 | 第64-66页 |
| 5.2 车载子系统软件测试环境适配技术 | 第66-71页 |
| 5.2.1 车载子系统软件测试环境适配器简介 | 第66-67页 |
| 5.2.2 输入/输出缓冲队列 | 第67-68页 |
| 5.2.3 HP-Socket高性能网络通信框架 | 第68-71页 |
| 5.3 功能测试结果 | 第71-77页 |
| 5.4 小结 | 第77-78页 |
| 6 总结与展望 | 第78-80页 |
| 参考文献 | 第80-84页 |
| 图索引 | 第84-86页 |
| 表索引 | 第86-88页 |
| 作者简历及攻读硕士学位期间取得的研究成果 | 第88-92页 |
| 学位论文数据集 | 第92页 |