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

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

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

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