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

Formal specification and modeling of train control system based on GSM-R/CTCS

作　　者：胡晓辉[1] 周兴社[1] 党建武[2] 

机构地区：[1]西北工业大学计算机科学与工程系,陕西西安7100721 [2]兰州交通大学光电技术与智能控制教育部重点实验室,甘肃兰州730070

出　　处：《计算机工程与设计》2006年第1期70-72,91,共4页Computer Engineering and Design

基　　金：甘肃省自然科学基金项目(3ZS042-B25-025);光电技术与智能控制教育部重点实验室(兰州交通大学)开放基金项目(k04109);兰州交通大学青蓝工程基金项目

摘　　要：GSM-R/CTCS的CTCS4级标准是一种基于移动闭塞系统和无线通信的列车控制系统,该标准的实施能够缩短列车之间的追踪间隔距离,提高区间通过能力,适合各种类型、各种速度的列车使用,其中无线通信是关键技术。考虑GSM-R出现的通信问题,给出Petri网表示的列车与地面设备无线通信模型和系统行为描述。CTCS Level 4 standard of GSM/CTCS is for the train control and management based on moving blocks and wireless communication in China. Its realization can greatly reduce the distances between trains, improve the throughout of railroads, and be suitable for the trains with different types and speeds. In the whole architecture, wireless communication plays an important role for the system＇s normal and reliable operation. The model, which is described by Petri nets, is given for specifying and verifying wireless communication mode between trains and ground devices, and is very useful to ensure the reliability and robustness of the system and find the set of adaptable parameters.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]