| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 1 绪论 | 第9-15页 |
| ·论文研究的背景和意义 | 第9-10页 |
| ·国内外研究现状 | 第10-13页 |
| ·列车运行控制系统研究现状 | 第10-13页 |
| ·CTCS-2 级列车运行控制系统现状分析 | 第13页 |
| ·论文的主要研究内容 | 第13-15页 |
| 2 关键技术介绍 | 第15-25页 |
| ·GSM-R 系统概述 | 第15-17页 |
| ·GSM-R 系统整体结构组成 | 第15-16页 |
| ·GSM-R 工作频率 | 第16页 |
| ·GSM-R 网络接口 | 第16-17页 |
| ·形式化建模技术 | 第17-22页 |
| ·统一建模语言 UML | 第17-20页 |
| ·符号模型检验工具 | 第20-22页 |
| ·机车综合无线通信设备 | 第22-24页 |
| ·语音通话功能 | 第23页 |
| ·调度命令无线传送 | 第23页 |
| ·无线车次号传输 | 第23页 |
| ·列尾风压数据传输 | 第23-24页 |
| ·小结 | 第24-25页 |
| 3 系统建模分析 | 第25-36页 |
| ·CTCS-2 级列控系统建模 | 第25-30页 |
| ·CTCS-2 级列控系统结构 | 第25-27页 |
| ·场景描述 | 第27-28页 |
| ·建立 UML 模型 | 第28-30页 |
| ·模型验证 | 第30-34页 |
| ·SMV 语言的介绍 | 第31-32页 |
| ·SMV 程序设计 | 第32-33页 |
| ·检验 SMV 模型及分析结果 | 第33-34页 |
| ·CTCS-2 级列控系统的安全性分析 | 第34-35页 |
| ·CTCS-2 级列控系统与 CTCS-3 级列控系统安全性对比分析 | 第34-35页 |
| ·CTCS-2 级列控系统的安全性分析 | 第35页 |
| ·小结 | 第35-36页 |
| 4 CTCS-2 级列控车地通信模块的改进设计 | 第36-53页 |
| ·GSM-R 在 CTCS-2 级列车运行控制系统中的应用分析 | 第36-37页 |
| ·基于 GSM-R 车载通信接口总体设计 | 第37-40页 |
| ·串口通信概述 | 第37页 |
| ·Winsock 通信概述 | 第37-38页 |
| ·车地通信系统总体结构设计 | 第38-40页 |
| ·通信协议设计 | 第40-43页 |
| ·数据通信协议设计 | 第40页 |
| ·循环冗余校验算法原理 | 第40-42页 |
| ·循环冗余编码程序设计 | 第42-43页 |
| ·基于 CTCS-2 级列控车载设备的通信接口设计 | 第43-47页 |
| ·LKJ 发送数据接口设计 | 第43-45页 |
| ·CIR 接收及处理数据程序设计 | 第45-47页 |
| ·地面设备数据通信接口设计 | 第47-51页 |
| ·通信服务器接收 GPRS 数据的设计 | 第47-49页 |
| ·信号集中监测系统功能的改进设计 | 第49-50页 |
| ·维修中心系统功能的改进设计 | 第50-51页 |
| ·小结 | 第51-53页 |
| 结论 | 第53-54页 |
| 致谢 | 第54-55页 |
| 参考文献 | 第55-57页 |
| 攻读学位期间的研究成果 | 第57页 |
