[發明專利]CBTC聯鎖系統進路狀態建模方法

有效

• 申請號: 201310741127.4
• 申請日: 2013-12-27
• 公開（公告）號: CN103745048A
• 公開（公告）日: 2014-04-23
• 發明（設計）人: 高國棟
• 申請（專利權）人: 北京交控科技有限公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 北京路浩知識產權代理有限公司 11002
• 代理人: 李相雨

1.一種CBTC聯鎖系統進路狀態建模方法，其特征在于，包括：

S1、依據CBTC聯鎖系統進路控制的制約關系制定進路狀態，并依據所述進路狀態建立進路狀態轉移圖；

S2、依據CBTC聯鎖系統進路控制的行為對所述進路狀態轉移圖進行抽象處理，得到進路狀態轉移模型；

S3、依據數據流圖建模方法對所述進路狀態轉移模型中的狀態進行邏輯和時序運算，驅動不同狀態之間的轉換，進而得到CBTC聯鎖系統進路狀態模型。

2.如權利要求1所述的建模方法，其特征在于，步驟S1中所述進路狀態包括進路空閑、進路排選、進路鎖閉、信號開放和自動解鎖。

3.如權利要求2所述的建模方法，其特征在于，步驟S2中依據CBTC聯鎖系統進路控制的行為對所述進路狀態轉移圖抽象為一個四元組，所述四元組為<狀態類型，狀態轉換條件，本狀態動作，下一狀態>，其中，所述狀態類型為狀態轉移的屬性；所述狀態轉換條件為狀態轉移的觸發條件；所述本狀態動作為當前狀態下執行的動作；所述下一狀態為狀態躍遷的下一個狀態。

4.如權利要求3所述的建模方法，其特征在于，步驟S3中對所述進路狀態轉移模型中的狀態進行邏輯和時序運算，驅動不同狀態之間的轉換的過程為：

S31、預定義進路初始狀態為空閑狀態；

S32、在進路狀態為所述空閑狀態時，若選排轉換條件通過，進路狀態轉換為進路選排狀態；相反，進路狀態保持為空閑狀態；

S33、在所述進路選排狀態，若鎖閉轉換條件通過，進路狀態轉換為進路鎖閉狀態；相反，進路狀態轉換為空閑狀態；

S34、在所述進路鎖閉狀態，若信號開放轉換條件通過，進路狀態轉換為信號開放狀態；相反，進路狀態保持為進路鎖閉狀態；

S35、在所述信號開放狀態，若列車駛入，進路狀態轉換為自動解鎖狀態；若列車未駛入且信號開放狀態保持條件滿足，進路狀態保持為信號開放狀態；若信號開放狀態保持條件不滿足，進路狀態轉換為進路鎖閉狀態；

S36、在所述自動解鎖狀態，滿足自動解鎖條件的進路區段自動解鎖，若進路內所有區段都已經解鎖，進路狀態轉換為空閑狀態。