基于CPN的高速磁懸浮列車分區(qū)運(yùn)行控制系統(tǒng)的層次化建模研究.pdf

1、高速磁浮列車運(yùn)行控制系統(tǒng)的中樞是分區(qū)運(yùn)行控制系統(tǒng)。磁懸浮列車對(duì)安全防護(hù)的要求非?？量蹋瑢?duì)系統(tǒng)的可靠性和安全性有極高的要求。分區(qū)運(yùn)行控制系統(tǒng)是實(shí)行該苛求的關(guān)鍵子系統(tǒng)之一。
　　 論文首先分析了分區(qū)運(yùn)行控制系統(tǒng)的結(jié)構(gòu)和功能。然后在此基礎(chǔ)上，本文使用有色Petri網(wǎng)對(duì)分區(qū)的運(yùn)行控制系統(tǒng)進(jìn)行了建模工作。論文的主要工作如下：
　　 第一，研究了高速磁懸浮列車目前在國(guó)內(nèi)的研究情況和有色Petri網(wǎng)在鐵路系統(tǒng)建模中的應(yīng)用情況；

2、　　 第二，分析了分區(qū)運(yùn)行控制系統(tǒng)中的分區(qū)故障診斷計(jì)算機(jī)、分區(qū)控制計(jì)算機(jī)、分區(qū)安全計(jì)算機(jī)、分區(qū)牽引切斷和分區(qū)道岔模塊的詳細(xì)功能，總結(jié)出各個(gè)功能的主要步驟，繪制出各個(gè)功能的時(shí)序圖，并在此基礎(chǔ)上定義了各個(gè)子模塊的不同狀態(tài)，給出了狀態(tài)切換圖。利用CPNTools工具和已給出的狀態(tài)切換圖，以每一個(gè)子模塊為單元進(jìn)行有色Petri網(wǎng)的層次建模；
　　 第三，針對(duì)列車一次完整的運(yùn)行過(guò)程，詳細(xì)分析了分區(qū)運(yùn)行控制系統(tǒng)在此過(guò)程中所需要執(zhí)行的任務(wù)，

3、任務(wù)執(zhí)行的順序；分析了分區(qū)運(yùn)行控制系統(tǒng)與中央控制系統(tǒng)、車載控制系統(tǒng)和牽引控制系統(tǒng)之間交互的命令。在此基礎(chǔ)上，總結(jié)出列車運(yùn)行過(guò)程中的主要步驟，繪制出列車運(yùn)行過(guò)程的時(shí)序圖，并在時(shí)序圖的基礎(chǔ)上，定義了分區(qū)運(yùn)行控制系統(tǒng)、中央運(yùn)行控制系統(tǒng)和車載運(yùn)行控制系統(tǒng)的不同狀態(tài)，給出了它們?cè)诹熊囘\(yùn)行過(guò)程中的狀態(tài)圖。利用CPNTools工具和已給出的切換狀態(tài)圖，建立了列車一次完整運(yùn)行的CPN層次模型，生成了測(cè)試路徑和測(cè)試用例，并對(duì)生成的測(cè)試用例進(jìn)行評(píng)價(jià)，對(duì)未來(lái)