基于有色Petri網的RBC行車許可生成建模與仿真＊

馬 軍 嚴建鵬

（1.蘭州職業技術學院，730070，蘭州；2.國電南瑞科技股份有限公司，210061，南京∥第一作者，副教授）

0 概述

CTCS－3級列控系統是我國300～350 km／h高速鐵路的重要技術裝備。它通過GSM－R（面向鐵路的全球移動通信）無線網絡實現車地通信，實現列車運行的閉環控制，為列車的安全、高效運行提供給了可靠的技術保證。作為CTCS－3級列控系統地面部分的核心設備，RBC（無線閉塞中心）最重要的功能是負責接收轄區內列車位置報告，根據運營場景計算列車的行車許可（Movement authority，簡為MA），并發送給對應列車。行車許可是指列車從當前位置開始向前運行所能到達的最遠距離，以及該段線路范圍內最高速度限制等行駛權限的命令信息。它是列車安全運行的行車憑證［1］，是RBC 對列車運行狀態進行實時控制的基礎。列車是否能夠安全運行，關鍵在于RBC 能否向車載設備提供全面、正確、可靠的行車許可。因此，分析行車許可信息生成過程，搭建一個仿真試驗模型以便研究系統性能、尋求列控技術的改進方法，具有重要的理論意義和實際價值。

在我國現有技術文獻中，對CTCS－3級列控系統RBC行車許可生成問題已有多人進行了分析和研究，采用的方法也各不相同。文獻［2］對RBC行車許可功能模塊進行了劃分，采用安全狀態機建立了不同場景下的 MA 計算模型，并用UPPAAL軟件驗證了模型的合理性。文獻［3］在RBC仿真平臺基礎上，建立了行車許可生成的UML（統一建模語言）模型，并按照不同的功能需求，對MA 進行了建模，利用仿真平臺對模型進行了驗證。文獻［4］采用隨機Petri網對行車許可數據完備性進行了建模，并采用TimeNet 4.0仿真軟件，對模型進行了仿真分析。文獻［5－6］采用有色Petri網（Colored Petri Nets，簡為 CPN）對行車許可生成過程進行了建模，通過賦時模型分析了GSM－R 網絡質量對行車許可生成的影響。文獻［7－9］則更偏重于系統的功能實現，定量分析系統性能。這些研究成果為行車許可相關問題的深入研究奠定了基礎。

當前，對于行車許可的相關分析主要采用了測試集成平臺模塊分析和形式化建模兩種方案。相比而言，形式化建模更具靈活性，也比較容易實現。而在眾多的形式化建模方法中，CPN 具有嚴格的語義邏輯，適合于描述同步、并發、實時的系統模型［8］；同時借助于成熟的圖形化分析工具，不僅便于修改，而且還可以加入時間參數，構造時間序列，研究系統實時性，進行定量分析。為了進一步分析系統性能參數對行車許可生成的影響，需要建立一個相對完整的仿真試驗平臺。本文采用動態仿真性能較好的CPN 分析方法，根據CTCS－3級列控系統不同運營場景，搭建完全監控模式、RBC 交接模式、等級轉換模式、臨時限速模式、引導模式以及自動過分相六種場景下的MA 生成模型；再運用動態仿真和狀態空間分析工具，對模型的正確性進行驗證。

1 模型的結構設計

通常在CTCS－3級列控系統控車時，RBC 需要根據列車運行的不同狀態和前方線路條件，實時計算MA 并發送給對應的列車。但為了滿足不同的運營需求，CTCS－3級列控系統中設計了14種運營場景，而各種場景下對MA 的需求存在差異。在一些特定的場景中，MA 的生成還需要添加相關的場景數據包，才能得到正確的MA 信息。根據研究對象的技術特點，結合CPN Tools模塊化分層建模思想，利用替代變遷將CTCS－3級列控系統中主要的完全監控模式、RBC 切換模式、等級轉換模式、臨時限速模式、引導模式以及自動過分相6種場景下的MA 生成過程劃分為6個子模型，不僅有利于整體建模，而且可以對子模型逐步進行細化，有利于模型的擴張和功能的完善。MA 生成過程總體計算流程如圖1所示。

圖1 MA 生成過程總體流程圖

圖1反映了從列車發送MA請求信息到收到RBC計算的MA 并檢查執行的整體過程，但這只是對系統單次運行過程的描述。實際上，隨著列車不斷向前運行，RBC 必須實時更新列車MA，并及時發送給車載設備。因此，實際建模中，需要將系統設計成具有回歸性的可循環模型，以便準確描述系統行為。

2 基于CPN的MA生成模型

2.1 MA生成頂層模型

根據上述建模方案，設計MA 生成頂層模型來描述列車向RBC 發送當前位置、列車基本參數和行車許可請求信息，RBC 接收到請求后與相關設備交換信息并獲取前方線路條件，再根據當前列車運行場景進入對應的MA 生成子模型計算MA，最后通過GSM－R 無線網絡發送給列車的過程，如圖2所示。在圖2中：庫所“Train”代表車載設備狀態，具有初始 Token（狀態），即圖2 中的“1｀″Message 132″”；變遷代碼段規定了變遷的輸入與輸出信息，有向弧上的注入式表示變遷觸發需滿足的條件和傳遞的信息；替代變遷“Data prepare”描述的是RBC為計算行車許可進行數據準備的過程，替代變遷“FS MA”、“Handover MA”、“C3／C2 MA”、“TSR MA”、“CO MA”、“Pass NZ MA”依次代表完全監控模式下 MA 生成子模型、RBC 切換模式下 MA生成子模型、等級轉換模式下MA 生成子模型、臨時限速模式下MA 生成子模型、引導模式下MA 生成子模型以及自動過分相模式下MA 生成子模型。

圖2 MA 生成頂層模型

當MA 生成頂層模型得到激勵被觸發后，庫所“Train”中的初始 Token 通過變遷“MA request and location”向下傳遞，模擬列車向RBC 發送 MA 請求信息包Message 132，同時向RBC發送列車基本參數信息包Message 129和位置信息包Message 136。庫所“RBC get request”表示RBC接收到列車信息的狀態。庫所“Compute MA”表示RBC獲得相關數據，并根據列車運行狀態判斷運營場景的狀態。庫所“MA ready”表示行車許可計算完畢并生成MA 信息包的狀態，變遷“Check and activate MA”模擬了 RBC 根據標準對MA進行檢驗并激活的過程。當發送條件滿足時，MA 信息包 Message 3通過 GSM－R 發送給對應列車。庫所“Train get”表示列車接收到MA 信息，變遷“Timeliness check”模擬了車載設備對MA進行實時性檢驗，判斷接收到的MA信息是否過期。如MA未過期，則列車按照接收到的MA 生成速度控制曲線，監控列車向前運行。庫所“Train”接收到信息m3后，變遷“MA request and location”再次被觸發，模擬列車不斷前行時隨著位置的改變，繼續向RBC報告當前位置并發送MA 請求。這樣使得模型能夠反復模擬MA生成過程，構成閉環模式，使模型中的變遷具有了回歸屬性。

2.2 RBC數據準備子模型

替代變遷“Data prepare”描述了RBC 接收到列車MA 請求，定位列車當前所處位置，并根據列車運行方向和前方線路條件，生成列車串路徑，并實時更新路徑的過程。在此過程中，RBC 需要從聯鎖、CTC（中央調度集中）線路數據庫等相關設備處獲取列車運行前方信息，為計算行車許可做好數據準備。圖3 為替代變遷“Data prepare”對應CPN子模型，其對上述過程進行了具體的形式化描述。圖3中，庫所“LRBG position”、“Get line data”、“Train path”、“Train position”分別表示獲取LRBG（最近相關應答器組）位置、獲取線路描述信息、串路徑、定位列車等一系列數據準備；變遷“Update path”描述了更新串路徑的過程。

圖3 RBC 數據準備子模型

2.3 完全監控模式下MA生成子模型

列車在完全監控模式下具備控車所需的全部基本數據，這是CTCS－3級列控系統的主要運營模式。當RBC數據準備完畢，判斷列車當前處于完全監控模式時，進入完全監控模式下MA 生成子模型為列車計算MA，如圖4所示。

圖4 完全監控模式下MA 生成子模型

在圖4的模型中，首先確定MA 起點，再根據聯鎖系統的信號授權計算CEM（有條件緊急停車消息）并標記，然后從車頭開始沿列車運行方向依次向前延伸MA區段。模型中設置循環處理環節來模擬RBC進行MA區段延伸的過程，其中由庫所“Count”負責對軌道區段遍歷個數進行統計。由于CTCS－3級列控系統中MA最多包含15個閉塞分區，因此當閉塞區數k＝15時，區段遍歷完畢，MA 包含區段個數達到最大。同時，RBC對區段狀態空閑狀態、有無信號授權逐次進行判斷，以計算行車許可終點（EOA）。此后，RBC根據線路限速信息計算MA 覆蓋區域內區段的最高限制速度，得到MA 中所有數據。最后，RBC根據 MA 信息包標準格式生成 MA 信息包Message 3，返回頂層模型并繼續向下傳遞。

2.4 RBC切換模式下MA生成子模型

當列車運行至相鄰兩個RBC 邊界區域時，隨著控制權的移交，MA 的計算也隨之變化。RBC 切換過程分為嵌套通信方式和直接通信方式兩種，同時根據GSM－R 無線電臺工作狀態，又可分為單電臺切換和雙電臺切換。無論用那種切換方式，對于MA 的需求都是一樣的。設 RBC1 為移交方，RBC2為接收方，根據系統需求，當列車到達切換預告點（LTA）時，RBC1向RBC2發送移交預告和進路請求信息，同時為列車計算延伸MA。當列車到達切換點（RN）時，發送切換信息包 Message 131，RBC1與RBC2交接列車控制權，由RBC2接管列車，并為列車計算MA。RBC切換模式下MA 生成子模型如圖5所示。

圖5 RBC 切換模式下的MA 生成子模型

2.5 等級轉換模式下MA生成子模型

為了滿足高速列車跨線運行的需求，同時兼顧列車運行安全，列車從 CTCS－3 區段進入 CTCS－2區段或者由 CTCS－2 區 段 進 入 CTCS－3 區 段 時，需要進行列控系統等級轉換。根據等級轉換模式下MA 需求建立的等級轉換模式下MA 生成子模型，描述了列車通過等級轉換邊界時MA 的生成過程，如圖6。

圖6 等級轉換模式下的MA 生成子模型

其中由CTCS－2區段進入CTCS－3區段時，列車需要在到達GSM－R 鏈接注冊信息應答器組（GRE）時，發送信息包 Message 45 注冊 GSM－R無線網絡。網絡注冊成功，列車到達RBC 連接應答器組（RE）時，列車發送信息包 Message 42 與RBC建立通信會話。會話建立后，列車向RBC 報告當前位置和基本參數，發送信息包Message 136和Message 132。RBC 收到列車信息后，為列車計算等級轉換模式下的 MA，并生成 MA 信息包Message 3，返回頂層模型。

2.6 臨時限速模式下MA生成子模型

臨時限速命令由CTC 臨時限速服務器產生，包括臨時限速起始位置、限速等級、限速時間段、限速類型以及其他文本信息等。當列車接近時，RBC 計算MA 的過程就需要加入臨時限速信息，并判斷臨時限速狀態，最后將包含臨時限速信息的MA 發送給列車，以保證列車能夠安全通過限速區域。臨時限速模式下MA 生成子模型如圖7所示。圖7中，變遷“Search TSR section”描述了RBC 沿進路授權方向查找區段臨時限速信息的過程；變遷“TSR effective”和變遷“TSR noneffective”分別描述了區段執行臨時限速和撤銷臨時限速的兩種情況；庫所“Data ready”表示限速信息已獲取，準備計算MA。

圖7 臨時限速模式下MA 生成子模型

2.7 引導模式下MA生成子模型

CTCS－3級列控系統中規定，當開放引導信號或出站信號機開放且列車前端距離出站信號機大于250 m 發車時，列控系統需要啟動引導模式監控列車運行。此時，RBC 對MA 的計算也需要按照引導模式下的要求來進行。首先，需要根據聯鎖信號授權確定引導進路類型，如果接車進路為引導進路，則標記列車車頭至進路始端引導區段，并依次逐個向前延伸；最后，添加引導模式限速曲線信息，生成引導模式下的MA 信息，返回頂層模型。引導模式下MA 生成子模型如圖8所示。

圖8 引導模式下MA 生成子模型

2.8 自動過分相模式下MA生成子模型

自動過分相場景是列控系統根據地面設備和線路數據庫提供的分相區信息，在列車接近分相區一定距離范圍內向列車發送分相區預告信息，并驅動列車以一定的動能闖過分相區，以防止列車停在分相區而造成行車事故。在自動過分相模式下，RBC對MA 的計算必須要考慮分相區位置和長度等信息，EOA 的計算一定要避開分相區，并滿足列車在分相區外方停車的要求；同時還需要向列車提供當前位置距分相區的距離，以便列車提前加速，儲備足夠的動能。自動過分相模式下MA 生成子模型如圖9所示。

圖9 自動過分相模式下MA 生成子模型

3 模型的仿真及狀態空間分析

利用CPN Tools中動態仿真工具對模型進行仿真，通過單步仿真和自動仿真，可看出模型中Token的流動符合設計意圖，能夠正確反映MA 生成過程，并可以循環模擬車地通信；同時利用狀態空間分析工具對模型進行評估，得到相應的狀態空間報告。狀態空間報告一共分為五部分：狀態空間信息統計、有界性報告、回歸性報告、活性報告及公平性報告，具體結果如圖10～圖13所示。從圖10中可以看出，模型中一共有76個節點和108條弧，全部處于可觸發狀態。圖11反映了模型運行過程中對有關資源容量的要求，可以看出Token到達網絡中任意位置都能夠滿足有界性，不存在資源溢出的情況；同時也證明了，本文所建 MA 生成的CPN 模型是安全、有界的。圖12表示模型循環運行中初始標識能夠返回規定的初始狀態，模型中節點全部能夠被觸發，不存在死鎖現象。圖13反映了模型中各變遷發生頻率相對公平，系統資源無饑餓問題。

圖10 狀態空間信息統計結果

圖11 模型狀態空間有界性報告

以上分析結果表明，本文建立的基于CPN 的列車行車許可模型是正確的，能夠滿足CTCS－3級列控系統MA 生成需求，從邏輯功能上能較好地描述了不同場景下MA 的生成過程，為列控系統的深入研究提供了一個較好的仿真平臺，也為系統相關軟件的開發提供了理論參照。

圖12 模型狀態空間回歸性與活性報告

圖13 模型狀態空間公平性報告

4 結論

本文利用有色Petri網建模工具CPN Tools建立了六種不同運營場景下的MA 生成模型，其簡潔易擴張，能夠較好地描述RBC 生成 MA 以及車地之間MA 信息的傳輸過程；同時能夠循環動態仿真MA 生成過程，可以實現對系統的定性分析，對研究系統性能、改進設計方案具有一定的參考價值。在所建模型上，通過添加時間參數、設定優先級等技術修改，還可以對系統的性能進行定量分析。但相比實際信息處理過程，所建模型仍然過于簡單，還需要根據實際進一步細化、改進和完善。

［1］張曙光.CTCS－3級列控系統總體技術方案［M］.北京：中國鐵道出版社，2008.

［2］耿鵬.基于安全狀態機的RBC系統行車許可模塊的建模與驗證［D］.北京：北京交通大學，2009.

［3］陳燕.無線閉塞中心行車許可生成方法研究與實現［D］.北京：北京交通大學，2011.

［4］張棟.基于SPN 的RBC 行車許可數據完備性建模和分析［D］.北京：北京交通大學，2011.

［5］張愛玲，徐智，宗巖，等.基于CPN 的切換模式下行車許可生成過程研究［J］.計算機技術與發展，2012（4）：157.

［6］張愛玲.CTCS－3級列控系統RBC 行車許可生成的形式化建模與分析［D］.蘭州：蘭州交通大學，2012.

［7］牛儒，曹源，唐濤.ETCS－2級列控系統RBC 交接協議的形式化分析［J］.鐵道學報，2009（4）：52.

［8］陳磊，寧濱，張勇，等.基于有色Petri網的CBTC 系統列車追蹤過程建模與仿真［J］.系統仿真學報，2009（3）：637.

［9］張友兵，唐濤.基于有色Petri網的CTCS－3 級列控系統RBC切換的建模與形式化分析［J］.鐵道學報，2012（7）：49

［10］李俊娥，李麗蘭.列車控制系統中的行車仿真計算［J］.城市軌道交通研究，2013（1）：46.