目前我國高速鐵路運(yùn)營里程已經(jīng)超過全球高速鐵路里程的三分之二,高鐵最高運(yùn)行允許時(shí)速為350km/h。隨著高鐵里程數(shù)與速度的提升,對(duì)CTCS-3級(jí)列控系統(tǒng)各個(gè)子系統(tǒng)設(shè)備的安全性與穩(wěn)定性要求越來越嚴(yán)格。RBC切換既是C3列控系統(tǒng)主要運(yùn)營場景之一,又是地面核心設(shè)備RBC（無線閉塞中心）主要功能之一,RBC切換過程所消耗時(shí)長與切換成功率,關(guān)系到列車運(yùn)行效率與行車安全,對(duì)RBC切換進(jìn)行研究與分析有重要意義。本文以RBC切換為研究對(duì)象,利用時(shí)間自動(dòng)機(jī)理論及建模工具對(duì)RBC切換過程進(jìn)行形式化層次模型搭建與驗(yàn)證分析。模擬了在GSM-R網(wǎng)絡(luò)通信下,接收RBC、移交RBC、列控車載以及應(yīng)答器組之間的信息交互流程,其中包括了周期性與非周期性車地?zé)o線消息的收發(fā)。分析了不同消息重發(fā)間隔時(shí)間對(duì)非周期消息的時(shí)延及發(fā)送成功概率分布的影響,對(duì)不同網(wǎng)絡(luò)時(shí)延情況下,兩種切換策略的切換時(shí)間及切換成功概率進(jìn)行對(duì)比分析。以上述形式化模型構(gòu)建與驗(yàn)證分析為理論基礎(chǔ),完成對(duì)RBC切換仿真系統(tǒng)的設(shè)計(jì)開發(fā)。本文主要工作內(nèi)容包括以下幾點(diǎn)。首先,對(duì)列控系統(tǒng)及RBC切換進(jìn)行了概述,并分析了國內(nèi)外形式化方法應(yīng)用于列控系統(tǒng)的案例,對(duì)這些形式化方法進(jìn)行... 

【文章來源】：北京交通大學(xué)北京市211工程院校教育部直屬院校

【文章頁數(shù)】：108 頁

【學(xué)位級(jí)別】：碩士

【部分圖文】：

門BNF語法示意圖

圖３－１?ＲＢＣ切換示意圖??Ｆｉｇｕｒｅ?３－１?ＲＢＣ?Ｈａｎｄｏｖｅｒ?ｄｉａｇｒａｍ??圖３－１中，ＲＢＣ１是移交ＲＢＣ，ＲＢＣ２是接收ＲＢＣ。ＬＴＡ代表切換預(yù)告應(yīng)答器，??當(dāng)列車通過ＬＴＡ?xí)r向ＲＢＣ１發(fā)送位置報(bào)告后，ＲＢＣ１進(jìn)行判斷并發(fā)送切換命令。??ＲＮ代表切換執(zhí)行應(yīng)答器組，當(dāng)列車通過ＲＮ時(shí)，表示己經(jīng)進(jìn)入移交ＲＢＣ的控制??區(qū)域，通常ＲＮ處會(huì)設(shè)有切換標(biāo)志牌。從ＬＴＡ至ＲＮ處的距離應(yīng)大于等于列車正??常行駛４０ｓ的行車距離。ＲＢＣ１向ＲＢＣ２傳遞的數(shù)據(jù)消息主要有：預(yù)告信息、進(jìn)路??請(qǐng)求、切換通告信息等。ＲＢＣ２＠ＲＢＣ１傳遞的數(shù)據(jù)消息主要有：進(jìn)路信息、列車??控制權(quán)通報(bào)等。??３．１．２?ＲＢＣ切換策略分析?－－??結(jié)合Ｃ３系統(tǒng)技術(shù)方案與ＲＢＣ技術(shù)方規(guī)范中有關(guān)ＲＢＣ模塊內(nèi)容，分析出ＲＢＣ??切換功能中存在兩種切換方式，分別是雙電臺(tái)模式下和單電臺(tái)模式下的ＲＢＣ切換。??以下對(duì)兩種策略進(jìn)行詳細(xì)分析。??（１）雙電臺(tái)模式下的ＲＢＣ切換策略。??ＲＢＣ切換在此策略下，切換過程示意圖如圖３－２，流程如下：??２０??

?１??ＲＢＣ邊界??圖３－１?ＲＢＣ切換示意圖??Ｆｉｇｕｒｅ?３－１?ＲＢＣ?Ｈａｎｄｏｖｅｒ?ｄｉａｇｒａｍ??圖３－１中，ＲＢＣ１是移交ＲＢＣ，ＲＢＣ２是接收ＲＢＣ。ＬＴＡ代表切換預(yù)告應(yīng)答器，??當(dāng)列車通過ＬＴＡ?xí)r向ＲＢＣ１發(fā)送位置報(bào)告后，ＲＢＣ１進(jìn)行判斷并發(fā)送切換命令。??ＲＮ代表切換執(zhí)行應(yīng)答器組，當(dāng)列車通過ＲＮ時(shí)，表示己經(jīng)進(jìn)入移交ＲＢＣ的控制??區(qū)域，通常ＲＮ處會(huì)設(shè)有切換標(biāo)志牌。從ＬＴＡ至ＲＮ處的距離應(yīng)大于等于列車正??常行駛４０ｓ的行車距離。ＲＢＣ１向ＲＢＣ２傳遞的數(shù)據(jù)消息主要有：預(yù)告信息、進(jìn)路??請(qǐng)求、切換通告信息等。ＲＢＣ２＠ＲＢＣ１傳遞的數(shù)據(jù)消息主要有：進(jìn)路信息、列車??控制權(quán)通報(bào)等。??３．１．２?ＲＢＣ切換策略分析?－－??結(jié)合Ｃ３系統(tǒng)技術(shù)方案與ＲＢＣ技術(shù)方規(guī)范中有關(guān)ＲＢＣ模塊內(nèi)容，分析出ＲＢＣ??切換功能中存在兩種切換方式，分別是雙電臺(tái)模式下和單電臺(tái)模式下的ＲＢＣ切換。??以下對(duì)兩種策略進(jìn)行詳細(xì)分析。??（１）雙電臺(tái)模式下的ＲＢＣ切換策略。??ＲＢＣ切換在此策略下，切換過程示意圖如圖３－２，流程如下：??２０??

【參考文獻(xiàn)】：
期刊論文
[1]Standard Analysis for Transfer Delay in CTCS-3[J]. CAO Yuan,MA Lianchuan,XIAO Shuo,ZHANG Xia,XU Wei.  Chinese Journal of Electronics. 2017(05)
[2]列車運(yùn)行控制系統(tǒng)技術(shù)發(fā)展趨勢分析[J]. 王海峰,李開成,劉宏杰,張路.  鐵道通信信號(hào). 2016(08)
[3]中國高速鐵路信號(hào)系統(tǒng)分析與思考[J]. 郭進(jìn),張亞東.  北京交通大學(xué)學(xué)報(bào). 2012(05)
[4]客運(yùn)專線CTCS-3級(jí)列控系統(tǒng)無線閉塞中心的建模與驗(yàn)證[J]. 呂繼東,唐濤,賈昊.  鐵道學(xué)報(bào). 2010(06)
[5]CTCS-3級(jí)列控系統(tǒng)規(guī)范建模與驗(yàn)證[J]. 唐濤,徐田華,趙林,謝雨飛,李開成.  鐵道通信信號(hào). 2010(04)
[6]我國鐵路CTCS-3級(jí)列控系統(tǒng)的分析與研究[J]. 黃衛(wèi)中,賈琨,劉人鵬.  鐵道通信信號(hào). 2010(04)
[7]ETCS-2級(jí)列控系統(tǒng)RBC交接協(xié)議的形式化分析[J]. 牛儒,曹源,唐濤.  鐵道學(xué)報(bào). 2009(04)
[8]基于有色Petri網(wǎng)的ETCS無線通信可靠性分析[J]. 徐田華,趙紅禮,唐濤.  鐵道學(xué)報(bào). 2008(01)

碩士論文
[1]基于時(shí)間自動(dòng)機(jī)的RBC控車場景建模與驗(yàn)證[D]. 宋菲.西南交通大學(xué) 2017
[2]基于著色Petri網(wǎng)的列控系統(tǒng)等級(jí)轉(zhuǎn)換建模分析與半實(shí)物仿真[D]. 董健.北京交通大學(xué) 2017
[3]基于UML和TA的RBC系統(tǒng)形式化建模與分析[D]. 安越.蘭州交通大學(xué) 2016
[4]基于時(shí)間自動(dòng)機(jī)的列控中心軟件形式化建模與驗(yàn)證[D]. 楊絢.北京交通大學(xué) 2013
[5]CTCS-3級(jí)列控系統(tǒng)RBC設(shè)置及容量計(jì)算方法研究[D]. 趙宇坤.蘭州交通大學(xué) 2011
[6]基于UML的有色Petri網(wǎng)建模及其在CTCS-3中的應(yīng)用[D]. 王艷.北京交通大學(xué) 2009



本文編號(hào)：3622121