CTCS-3级列控系统RBC切换过程分析

• 作者: 吴江娇 王亚菊
• 来源期刊: 铁道通信信号
• 学科: 交通运输
• 关键词: CTCS-3级列控系统 RBC切换 着色Petri网 建模
• 年，卷（期）: 2010,（4）
• 所属期刊栏目: CTCS-3级列控系统专栏
• 页码范围: 12-16
• 分类号: U2
• 字数: 4128字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7458.2010.04.003

摘要

RBC根据轨道电路、联锁进路等信息生成行车许可,通过GSM-R无线通信系统传输给车载设备.受单套RBC控制能力限制,在相邻RBC控制范围的边界处必须实现对列车控制权的安全可靠切换.分别对车载设备采用2部或1部车栽电台时的RBC切换过程进行了深入分析,并在详细分析RBC切换过程的基础上,用着色Petri网的支持工具CPN Tools对该过程进行了形式化建模,对所建立的模型进行了仿真,对用自然语言描述的RBC切换过程进行了形式化表示和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚菊		3	63	3.0	3.0
2	吴江娇		5	62	4.0	5.0