摘要
RBC根据轨道电路、联锁进路等信息生成行车许可,通过GSM-R无线通信系统传输给车载设备。受单套RBC控制能力限制,在相邻RBC控制范围的边界处必须实现对列车控制权的安全可靠切换。分别对车载设备采用2部或1部车载电台时的RBC切换过程进行了深入分析,并在详细分析RBC切换过程的基础上,用着色Petri网的支持工具CPNTools对该过程进行了形式化建模,对所建立的模型进行了仿真,对用自然语言描述的RBC切换过程进行了形式化表示和验证。
Based on the information of track circuit and interlocking route,RBC generates the Movement Authority and sends it to onboard equipment via GSM-R radio communication system. Due to the limitation of single RBC＇s control capacity,a safe and reliable handover of train control at the border of RBC control district is extremely necessary. In this paper,the procedure of RBC handover with one onboard mobile terminal or two onboard mobile terminals is thoroughly analyzed. Meanwhile,based on the procedure analysis,this procedure is accomplished by the formalized model using Colored Petri Net support tool,CPN Tools,and a simulation of the model was conducted. The RBC Handover procedure described by natural language is denoted and verified in a manner of formalization.
出处
《铁道通信信号》
2010年第4期12-16,共5页
Railway Signalling & Communication
