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

摘要：

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

关键词：CTCS、有色Petri网、RBC切换、车载设备

所属期刊栏目：34

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

资助基金：国家科技支撑计划2009BAG12A08

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

页数：共7页

页码：49-55