基于有色Petri网的CTCS-3级列控系统RBC切换的建模与形式化分析

• 作者: 唐涛 张友兵
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: CTCS 有色Petri网 RBC切换 车载设备
• 年，卷（期）: 2012,（7）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 49-55
• 分类号: TP393|U283
• 字数: 6007字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2012.07.008

摘要

在CTCS-3级列控系统中,车载设备在执行RBC切换过程中所用时间的长短和切换成功概率的大小,严重影响着列车的运行效率.本文利用有色Petri网对车载设备进行RBC切换的两种方式分别建模,模型中引入GSM-R故障模型和非周期消息模型,模拟在GSM-R网络中消息的传输过程和重发机制.研究结果表明:基于两部车载电台的RBC切换方式比基于一部车载电台的RBC切换方式所用时间更少,效率更高.列车速度、消息重发时间间隔都会影响列车执行RBC切换的时间.消息重发时间间隔和RBC重叠范围又会影响车载设备进行RBC切换的成功概率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通控制与安全国家重点实验室	152	2578	27.0	40.0
2	张友兵	北京交通大学轨道交通控制与安全国家重点实验室	2	23	2.0	2.0