GSM-R在信號(hào)集中監(jiān)測(cè)系統(tǒng)中的應(yīng)用研究.pdf

1、隨著我國(guó)鐵路技術(shù)的提高和列車(chē)運(yùn)行速度的加快，如何保證鐵路的行車(chē)安全和效率逐漸成為一個(gè)很大的難題。而列車(chē)運(yùn)行控制系統(tǒng)在提高列車(chē)運(yùn)行效率、保證列車(chē)運(yùn)行安全等方面起著關(guān)鍵作用，因此對(duì)列車(chē)運(yùn)行控制系統(tǒng)的安全性進(jìn)行分析研究成為一個(gè)非常重要而又復(fù)雜的課題之一?；诖吮尘氨疚膶⒛壳癈TCS-2(ChineseTrainControlSystemLevel2，中國(guó)列車(chē)運(yùn)行控制系統(tǒng)2級(jí))級(jí)列控系統(tǒng)與CTCS-3級(jí)列控系統(tǒng)的結(jié)構(gòu)和功能進(jìn)行對(duì)比，并通過(guò)建模驗(yàn)

2、證得出系統(tǒng)結(jié)構(gòu)存在安全缺陷。針對(duì)此問(wèn)題利用CTCS-2級(jí)列控系統(tǒng)目前存在的GSM-R(GlobalSystemofMobilecommunicationforRailway，鐵路綜合數(shù)字移動(dòng)通信系統(tǒng))對(duì)現(xiàn)有的列控系統(tǒng)的通信接口進(jìn)行改進(jìn)設(shè)計(jì)。主要研究?jī)?nèi)容如下:
　　首先，分析CTCS-2級(jí)列車(chē)運(yùn)行控制系統(tǒng)的功能，使用形式化建模語(yǔ)言UML(UnifiedModelingLanguage，統(tǒng)一建模語(yǔ)言)對(duì)其在某個(gè)特定場(chǎng)景下的功能進(jìn)行建模

3、，抽象出系統(tǒng)的UML類(lèi)圖，并將模型轉(zhuǎn)化為SMV(SymbolicModelVerifier，符號(hào)模型驗(yàn)證)程序。使用符號(hào)模型檢驗(yàn)工具對(duì)所建模型進(jìn)行驗(yàn)證，得出了系統(tǒng)結(jié)構(gòu)存在的安全缺陷，并與CTCS-3級(jí)列控系統(tǒng)在功能方面對(duì)比也存在劣勢(shì)。因此，經(jīng)研究得出有必要在CTCS-2級(jí)列控系統(tǒng)上增加無(wú)線傳輸方式，實(shí)現(xiàn)車(chē)地雙向通信，提高列車(chē)運(yùn)行的安全性。
　　其次，對(duì)CTCS-2級(jí)列控系統(tǒng)中GSM-R系統(tǒng)的應(yīng)用進(jìn)行分析，我國(guó)現(xiàn)有的CTCS-2級(jí)客

4、專采用GSM-R進(jìn)行調(diào)度通信系統(tǒng)組網(wǎng)，鐵路沿線采用無(wú)線覆蓋，機(jī)車(chē)上采用無(wú)線終端。因此利用現(xiàn)有的GSM-R網(wǎng)絡(luò)的GPRS(GlobalPacketRadioSystem，通用分組無(wú)線通信業(yè)務(wù))技術(shù)，配合CTC(CentralizedTrafficControl，調(diào)度集中)系統(tǒng)，對(duì)車(chē)載信號(hào)設(shè)備與地面系統(tǒng)的雙向閉環(huán)信息傳輸通道進(jìn)行總體設(shè)計(jì)，并對(duì)車(chē)載信號(hào)設(shè)備和地面信號(hào)設(shè)備通信接口的傳輸協(xié)議、傳輸方式及實(shí)現(xiàn)方式也進(jìn)行詳細(xì)地設(shè)計(jì)。通過(guò)通信接口的設(shè)計(jì)