基于隨機(jī)Petri網(wǎng)的高鐵列控系統(tǒng)C2-C3等級(jí)轉(zhuǎn)換過(guò)程建模及仿真.pdf

1、目前我國(guó)高速鐵路運(yùn)行里程已達(dá)世界第一，高速鐵路的安全性和運(yùn)行效率日益受到全世界的關(guān)注。列控系統(tǒng)等級(jí)轉(zhuǎn)換是高速列車(chē)運(yùn)行過(guò)程中常見(jiàn)的場(chǎng)景，其功能是否可以在安全要求的規(guī)定下正確執(zhí)行直接影響到列控系統(tǒng)控車(chē)的有效性，甚至關(guān)系到高速列車(chē)運(yùn)行的安全。
　　本文以研究列控系統(tǒng)C2/C3等級(jí)轉(zhuǎn)換安全執(zhí)行為目標(biāo)，分別采用形式化建模技術(shù)（隨機(jī)Petri網(wǎng)）以及計(jì)算機(jī)仿真技術(shù)(VC++)研究列控系統(tǒng)C2/C3等級(jí)轉(zhuǎn)換的流程及功能實(shí)現(xiàn)。隨機(jī)Petri網(wǎng)是在

2、一般Petri網(wǎng)的基礎(chǔ)上延伸出來(lái)的高級(jí)網(wǎng)，其變遷的執(zhí)行具有嚴(yán)格的時(shí)間限定，可以很好的對(duì)像列控系統(tǒng)等級(jí)轉(zhuǎn)換這種具有嚴(yán)格時(shí)間要求的流程進(jìn)行建模分析。通過(guò)軟件仿真，可以更直觀的觀察到整個(gè)列控系統(tǒng)等級(jí)轉(zhuǎn)換的實(shí)現(xiàn)過(guò)程并對(duì)其實(shí)現(xiàn)流程進(jìn)行監(jiān)測(cè)。本文對(duì)列控系統(tǒng)C2/C3等級(jí)轉(zhuǎn)換的研究依據(jù)是C3級(jí)列控系統(tǒng)總體技術(shù)規(guī)范，所以無(wú)論形式化建模還是計(jì)算機(jī)仿真都是具有完全的理論基礎(chǔ)和研究依據(jù)。
　　本文首先給出了列控系統(tǒng)等級(jí)轉(zhuǎn)換的定義，并分析了CTCS等級(jí)轉(zhuǎn)

3、換和ETCS等級(jí)轉(zhuǎn)換的研究現(xiàn)狀。之后對(duì)隨機(jī)Petri網(wǎng)理論和TimeNET分析軟件做了簡(jiǎn)單的介紹，并研究了使用隨機(jī)Petri網(wǎng)建立列控系統(tǒng)等級(jí)轉(zhuǎn)換模型的可行性。然后，根據(jù)等級(jí)轉(zhuǎn)換原則利用隨機(jī)Petri網(wǎng)建立了列控系統(tǒng)C2/C3級(jí)三種情況下的等級(jí)轉(zhuǎn)換模型，包括C2至C3級(jí)正常轉(zhuǎn)換模型、C3至C2級(jí)正常轉(zhuǎn)換模型和列控系統(tǒng)故障降級(jí)模型;同時(shí)采用隨機(jī)Petri網(wǎng)分析軟件TimeNET對(duì)建立的三個(gè)模型進(jìn)行性能分析，得出列控系統(tǒng)C2/C3等級(jí)轉(zhuǎn)換在