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

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

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

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