[發明專利]基于布爾邏輯的聯鎖數據自動配置方法及系統

有效

• 申請號: 202110451328.5
• 申請日: 2021-04-26
• 公開（公告）號: CN113268455B
• 公開（公告）日: 2022-07-26
• 發明（設計）人: 謝林;朱迎春;楊平;馬銳;莫運前;楊帆;曾云;黎瀚澤
• 申請（專利權）人: 卡斯柯信號（成都）有限公司
• 主分類號: G06F16/14
• 分類號: G06F16/14;G06F40/177;G06F8/41
• 代理公司: 成都天嘉專利事務所(普通合伙) 51211
• 代理人: 康拯通

1.基于布爾邏輯的聯鎖數據自動配置方法，其特征在于，包括以下步驟：

輸入信息制作步驟，利用聯鎖安全工具將通用站場圖編輯文件中描述的站場拓撲結構以及所有設備的聯鎖順序轉換成聯鎖信息并生成聯鎖信息表，將外部接口信息表轉換成自動配置所能識別的外部信息表，并將所述外部信息表再生成與外部接口通信所需的、包含有輸入碼位和輸出碼位的通信文件；

通用搜索語法搜索步驟，利用聯鎖安全工具打開通用聯鎖邏輯語法文件，自定義適用于所有站場的、且包含有若干自定義搜索語法的通用聯鎖邏輯，所述自定義搜索語法為包含一個布爾參數和若干搜索形式的一組字符串，并根據每一個自定義搜索語法中的搜索形式從所述聯鎖信息表、外部信息表和通信文件中搜索查詢到每一個搜索形式對應的設備搜索結果，并將自定義搜索語法的布爾參數作為設備搜索結果的標簽，然后將每一個自定義搜索語法中所有搜索形式對應的設備搜索結果進行邏輯運算，得到站場中所有帶有布爾參數標簽的有效設備；

布爾邏輯及上下位機通信碼位生成，將每一個所述自定義搜索語法的順序作為其對應布爾參數的順序，將所述通用搜索語法搜索步驟中得到的站場中所有帶有布爾參數標簽的有效設備進行排序，得到站場中所有有效設備的碼位及每個碼位對應的布爾表達式，和所有上下位設備間通信所需碼位。

2.如權利要求1所述的基于布爾邏輯的聯鎖數據自動配置方法，其特征在于：所述輸入信息制作步驟中，所述聯鎖信息表中包括站場所有的進路，以及信號機設備、道岔設備、區段設備和進路設備，其中，每條進路保含進路的性質以及進路中所有的區段設備、道岔及防護道岔、侵限區段設備、始端信號機設備和終端信號機設備；所述外部信息表中包括區間方向信息、區間閉塞分區狀態信息、信號限速信息、災害防護信息、進路信息及信號授權信息。

3.如權利要求1或2所述的基于布爾邏輯的聯鎖數據自動配置方法，其特征在于：所述輸入信息制作步驟中，所述通用站場圖編輯文件是指依據藍圖和聯鎖表由通用軟件生成的實現站場界面顯示、站場設備拓撲結構連接和站場基本聯鎖信息的文本文件。

4.如權利要求1所述的基于布爾邏輯的聯鎖數據自動配置方法，其特征在于：所述搜索形式是一種用于確定各種設備信息的存儲位置的搜索方法，設備信息會存儲在所述聯鎖信息表、外部信息表或者通信文件中，需要限定搜索位置，一個搜索形式中包含若干個搜索關鍵字。

5.如權利要求4所述的基于布爾邏輯的聯鎖數據自動配置方法，其特征在于：所述關鍵字是一種用于具體定位設備信息的標簽，通過所述搜索形式確定設備存儲位置，再根據關鍵字定位具體設備信息。

6.如權利要求1所述的基于布爾邏輯的聯鎖數據自動配置方法，其特征在于，所述通用搜索語法搜索步驟，具體的，包括以下步驟：

步驟1，從所述通用聯鎖邏輯的語法字符串中解析出若干自定義搜索語法，并從每一個自定義搜索語法中解析得到其布爾參數和若干搜索形式，再從每一個搜索形式中解析得到若干關鍵字；

步驟2，根據每一個搜索形式下的關鍵字，從聯鎖信息表、外部信息表和通信文件中定位出設備信息所對應的存儲位置，并將搜索結果中存儲位置重疊的設備信息作為每一個搜索形式對應的設備搜索結果；

步驟3，將步驟2中得到的每一個搜索形式對應的搜索結果作為一個集合，并采用并集運算、補集運算和/或條件判斷運算邏輯，將所有的搜索形式對應的搜索結果進行邏輯運算合并；所述并集運算是將兩種搜索結果取和去重；所述補集運算是在第一種搜索形式的搜索結果中去掉所包含的第二種搜索形式的搜索結果；所述條件判斷是在第一種搜索形式有結果的前提下取第二種搜索形式的結果。