| 致谢 | 第1-6页 |
| 中文摘要 | 第6-8页 |
| ABSTRACT | 第8-12页 |
| 1 引言 | 第12-20页 |
| ·研究背景 | 第12页 |
| ·CTCS-3级地车通信系统 | 第12-17页 |
| ·地车通信系统组成结构 | 第12-14页 |
| ·CTCS-3级地车通信系统QoS对列控系统及铁路运营的影响 | 第14-15页 |
| ·CTCS-3地车通信系统通信失效及安全防护措施 | 第15-17页 |
| ·国内外研究现状及评述 | 第17-18页 |
| ·选题意义 | 第18-19页 |
| ·论文内容与结构 | 第19-20页 |
| 2 CTCS-3级地车通信系统建模与分析方法 | 第20-32页 |
| ·通信系统建模与分析方法综述 | 第20-22页 |
| ·仿真方法 | 第20-21页 |
| ·形式化验证方法 | 第21-22页 |
| ·仿真与模型检验结合的地车通信系统建模与分析方法 | 第22-23页 |
| ·SimEvents仿真与PRISM概率模型检验 | 第23-31页 |
| ·SimEvents仿真 | 第23-27页 |
| ·PRISM概率模型检验 | 第27-31页 |
| ·小结 | 第31-32页 |
| 3 基于SimEvents的地车通信系统的建模和分析 | 第32-58页 |
| ·CTCS-3级地车通信系统 | 第32-37页 |
| ·安全功能模块 | 第32-35页 |
| ·传输功能模块 | 第35-37页 |
| ·基于SimEvents的地车通信系统建模 | 第37-51页 |
| ·基于SimEvents的地车通信系统建模需求分析 | 第37-38页 |
| ·基于SimEvents的地车通信系统模型总体设计 | 第38-39页 |
| ·基于SimEvents的地车通信系统模型详细设计 | 第39-51页 |
| ·基于SimEvents的地车通信系统仿真及分析 | 第51-57页 |
| ·安全连接建立仿真及分析 | 第51-53页 |
| ·无线应用消息传输仿真及分析 | 第53-57页 |
| ·小结 | 第57-58页 |
| 4 基于概率模型检验的地车安全信息传输的建模和分析 | 第58-68页 |
| ·基于PRISM的地车通信系统建模 | 第58-64页 |
| ·基于PRISM的HDLC帧传输建模 | 第58-61页 |
| ·基于PRISM的安全连接建立建模 | 第61-63页 |
| ·无线应用消息传输概率模型 | 第63-64页 |
| ·基于PRISM的地车通信系统分析 | 第64-67页 |
| ·安全连接建立时间分析 | 第64-65页 |
| ·无线应用消息传输延迟时间分析 | 第65-67页 |
| ·小结 | 第67-68页 |
| 5 列控系统应变时间仿真与分析 | 第68-74页 |
| ·列控系统应变时间 | 第68页 |
| ·基于SimEvents的列控系统应变时间分析 | 第68-71页 |
| ·基于PRISM的列控系统应变时间分析 | 第71-73页 |
| ·小结 | 第73-74页 |
| 6 结论和展望 | 第74-76页 |
| ·主要成果 | 第74-75页 |
| ·不足与展望 | 第75-76页 |
| 参考文献 | 第76-80页 |
| 附录A | 第80-84页 |
| 附录B | 第84-86页 |
| 图索引 | 第86-90页 |
| 表索引 | 第90-92页 |
| 作者简历 | 第92-96页 |
| 学位论文数据集 | 第96页 |
