文摘
英文文摘
论文说明:图表目录
声明
致谢
1 综述
1.1 课题研究背景
1.2 基于通信的列车控制系统
1.2.1 CBTC系统概述
1.2.2 CBTC系统通信特点
1.3 松散时间触发机制
1.3.1 TT机制概述
1.3.2 松散时间触发机制
1.4 选题意义与论文结构
2 CBTC通信系统时间触发层的研究
2.1 CBTC系统时间触发层协议需求分析
2.1.1 通信确定性需求的由来
2.1.2 CBTC系统通信网络层次结构
2.2 时间触发层协议设计
2.2.1 时间触发层协议原理
2.2.2 CBTC系统时间触发层协议的设计
2.2.3 CBTC系统时间触发层协议的任务实现
2.2.4 CBTC系统时间触发层协议的定性分析
2.3 小结
3 基于赋时层次有色Petri网的时间触发协议层模型
3.1 赋时层次有色Petri网介绍
3.1.1 CPN基本特性及分析方法
3.1.2 建模工具CPN Tools
3.2 有色Petri网的赋时特性
3.3 时间触发层协议的层次化建模方法
3.4 时间触发层协议的HTCPN模型
3.4.1 CBTC系统上层模型
3.4.2 颜色集的声明
3.3.3 车地通信的HTCPN模型
3.4.4 时间触发层的HTCPN模型
3.4.5 无线信道的HTCPN模型
3.5 小结
4 时间触发层协议的性能分析
4.1 系统模型的分析技术
4.1.1 状态空间分析法
4.1.2 系统性能的仿真分析法
4.2 模型的性质验证与性能仿真分析
4.2.1 车地通信单链路模型的状态空间分析
4.2.2 基于ET机制以太网的多车参与的车地通信模型
4.2.3 基于LTT机制以太网的多车参与的车地通信模型
4.2.4 性能比较分析
4.3 小结
5 总结和展望
参考文献
作者简历