铁道通信信号
鐵道通信信號
철도통신신호
RAILWAY SIGNALLING & COMMUNICATION
2010年
4期
12-16
,共5页
CTCS-3级列控系统%RBC切换%着色Petri网%建模
CTCS-3級列控繫統%RBC切換%著色Petri網%建模
CTCS-3급렬공계통%RBC절환%착색Petri망%건모
RBC根据轨道电路、联锁进路等信息生成行车许可,通过GSM-R无线通信系统传输给车载设备.受单套RBC控制能力限制,在相邻RBC控制范围的边界处必须实现对列车控制权的安全可靠切换.分别对车载设备采用2部或1部车栽电台时的RBC切换过程进行了深入分析,并在详细分析RBC切换过程的基础上,用着色Petri网的支持工具CPN Tools对该过程进行了形式化建模,对所建立的模型进行了仿真,对用自然语言描述的RBC切换过程进行了形式化表示和验证.
RBC根據軌道電路、聯鎖進路等信息生成行車許可,通過GSM-R無線通信繫統傳輸給車載設備.受單套RBC控製能力限製,在相鄰RBC控製範圍的邊界處必鬚實現對列車控製權的安全可靠切換.分彆對車載設備採用2部或1部車栽電檯時的RBC切換過程進行瞭深入分析,併在詳細分析RBC切換過程的基礎上,用著色Petri網的支持工具CPN Tools對該過程進行瞭形式化建模,對所建立的模型進行瞭倣真,對用自然語言描述的RBC切換過程進行瞭形式化錶示和驗證.
RBC근거궤도전로、련쇄진로등신식생성행차허가,통과GSM-R무선통신계통전수급차재설비.수단투RBC공제능력한제,재상린RBC공제범위적변계처필수실현대열차공제권적안전가고절환.분별대차재설비채용2부혹1부차재전태시적RBC절환과정진행료심입분석,병재상세분석RBC절환과정적기출상,용착색Petri망적지지공구CPN Tools대해과정진행료형식화건모,대소건립적모형진행료방진,대용자연어언묘술적RBC절환과정진행료형식화표시화험증.
