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

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

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

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