| 致谢 | 第5-6页 |
| 摘要 | 第6-8页 |
| ABSTRACT | 第8-9页 |
| 1 引言 | 第12-22页 |
| 1.1 研究背景 | 第12-15页 |
| 1.1.1 列控系统及其车地通信技术的发展 | 第12-13页 |
| 1.1.2 CBTC系统及其数据通信系统 | 第13-14页 |
| 1.1.3 下一代列控系统及其数据通信技术的优势 | 第14-15页 |
| 1.2 研究意义 | 第15-16页 |
| 1.3 研究现状 | 第16-19页 |
| 1.3.1 列控数据通信技术国内外研究现状 | 第16-17页 |
| 1.3.2 列控数据通信系统可靠性国内外研究现状 | 第17-18页 |
| 1.3.3 车车通信技术国内外研究现状 | 第18-19页 |
| 1.3.4 研究现状总结 | 第19页 |
| 1.4 论文主要框架 | 第19-22页 |
| 2 背景理论研究 | 第22-36页 |
| 2.1 下一代列控系统及其数据通信系统简介 | 第22-23页 |
| 2.2 列控无线通信技术简介 | 第23-30页 |
| 2.2.1 WLAN及其在列控系统中的应用 | 第24-25页 |
| 2.2.2 LTE-M及其在列控系统中的应用 | 第25-28页 |
| 2.2.3 WLAN与LTE-M技术在列控系统中的应用对比 | 第28-30页 |
| 2.3 DSPN理论与仿真工具 | 第30-34页 |
| 2.3.1 DSPN及其规则 | 第30-32页 |
| 2.3.2 仿真工具π-Tool | 第32-34页 |
| 2.4 本章小结 | 第34-36页 |
| 3 下一代列控数据通信系统通信性能测试 | 第36-48页 |
| 3.1 下一代列控对数据通信系统的需求 | 第36-37页 |
| 3.2 基于LTE-M的下一代列控数据通信系统的设计与平台实现 | 第37-39页 |
| 3.3 数据通信系统性能参数测试 | 第39-47页 |
| 3.3.1 传输重传参数测试 | 第39-41页 |
| 3.3.2 中断重连参数测试 | 第41-44页 |
| 3.3.3 越区切换参数测试 | 第44-47页 |
| 3.4 本章小结 | 第47-48页 |
| 4 下一代列控数据通信系统的DSPN建模 | 第48-70页 |
| 4.1 下一代列控数据通信系统通信环节的DSPN建模 | 第48-60页 |
| 4.1.1 传输重传的DSPN建模 | 第48-54页 |
| 4.1.2 中断重连的DSPN建模 | 第54-56页 |
| 4.1.3 越区切换的DSPN建模 | 第56-60页 |
| 4.2 下一代列控数据通信系统通信场景的DSPN建模 | 第60-64页 |
| 4.2.1 车车通信场景的DSPN建模 | 第60-62页 |
| 4.2.2 车地通信场景的DSPN建模 | 第62-64页 |
| 4.3 模型检验与验证 | 第64-69页 |
| 4.3.1 通信环节DSPN模型检验与验证 | 第64-68页 |
| 4.3.2 通信场景DSPN模型检验与验证 | 第68-69页 |
| 4.4 本章小结 | 第69-70页 |
| 5 下一代列控数据通信系统可靠性分析 | 第70-82页 |
| 5.1 基于DSPN的下一代列控数据通信系统可靠性分析 | 第70-78页 |
| 5.1.1 通信环节仿真结果分析 | 第70-74页 |
| 5.1.2 通信场景仿真结果分析 | 第74-78页 |
| 5.2 通信环节参数对系统可靠性影响 | 第78-81页 |
| 5.3 本章小结 | 第81-82页 |
| 6 总结与展望 | 第82-84页 |
| 6.1 论文主要工作总结 | 第82-83页 |
| 6.2 论文下一步展望 | 第83-84页 |
| 参考文献 | 第84-88页 |
| 图索引 | 第88-90页 |
| 表索引 | 第90-92页 |
| 作者简历及攻读硕士/博士学位期间取得的研究成果 | 第92-96页 |
| 学位论文数据集 | 第96页 |
