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

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

Modeling and Analysis of CTCS-3 RBC Handover Based on SPN

In the CTCS-3 Trairl Control System,RBC Handover is one of the key functions of CTCS-3 On-Board Equipment,it seriously affects the train travel efficiency. In this paper,the RBC Handover with one MT2 is modeled analyzed with hierarchical modeling idea. Firstly, we had established the GSM-R application layer model. Secondly, we had modeled the periodic me~age and non-periodic message based on the GSM- R application layer model,then we could get the RBC Handover model. Finally,the RBC Handover with one MT2 was analyzed by using TimeNET. While we analyzed the factors which affect the RBC Handover success rate,such as the train speed,the message retransmission time interval.