基于GSM-R/CTCS的列车控制系统形式化描述和建模

摘要：

GSM-R/CTCS的CTCS4级标准是一种基于移动闭塞系统和无线通信的列车控制系统,该标准的实施能够缩短列车之间的追踪间隔距离,提高区间通过能力,适合各种类型、各种速度的列车使用,其中无线通信是关键技术.考虑GSM-R出现的通信问题,给出Petri网表示的列车与地面设备无线通信模型和系统行为描述.

关键词：中国列车控制系统、铁路无线通信系统、移动闭塞、Petri网、建模

所属期刊栏目：27

分类号：TP393(计算技术、计算机技术)

资助基金：引进国际先进农业科技计划948计划3ZS042-B25-025;教育部重点实验室基金k04109;兰州交通大学校科研和教改项目

在线出版日期：2006-04-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：70-72,91