基于SPN的CTCS-3级列控系统RBC切换建模与分析

在CTCS-3级列控系统中,RBC切换是车载设备的关键功能之一,它严重影响着列车的行车效率。本文采用随机Petri网层次化建模思想,对基于一部车载电台RBC切换方式进行建模和分析。建立了GSM—R故障模型为最底层模型,之后建立了周期性消息模型和非周期性消息模型,在此之上建立了RBC切换模型。最后,利用建模仿真软件TimeNET进行了仿真实验,以基于一部车载电台的RBC切换为例进行了分析,得到在不同列车运行速度和不同消息重发时间间隔对RBC切换成功率和切换时间的影响。