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

有效

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

本發明公開了一種基于布爾邏輯的聯鎖數據自動配置方法，涉及有軌道交通聯鎖控制技術領域，包括輸入信息制作步驟、通用搜索語法搜索步驟、上下位機通信碼位生成步驟，是一種基于布爾邏輯、根據聯鎖信息表和外部接口新表及自定義的設備查詢語法，自動生成車站的所有有效的設備對應的碼位的聯鎖數據自動配置方法。

技術領域

本發明涉及有軌道交通聯鎖控制技術領域，確切地說涉及一種基于布爾邏輯的聯鎖數據自動配置方法。

背景技術

聯鎖是指信號機、道岔和進路之間的一種相互制約的關系，其主要功能是保證進路、道岔和信號機之間的正確邏輯，防止發生行車事故的；同時計算機聯鎖能提高作業效率和降低勞動強度等作用。

目前計算機聯鎖邏輯的實現方式主要有2種，一種是基于高級語言C來實現，采用面向過程的思想，通過定義選路及動岔程序模塊、進路建立程序模塊、進路鎖閉程序模塊、信號開放程序模塊及進路解鎖程序模塊等實現聯鎖邏輯；另一種是采用開放式的布爾代數來實現，借用繼電聯鎖定型電路的思想和方法，將其轉化成一條條有運算關系的布爾表達式，并按照規定的順序對所有的布爾表達式進行計算來實現聯鎖邏輯；兩種方式各有好處，但無論如何實現，都需要研究聯鎖數據的自動配置問題。

在現有技術中，如公開號為CN111845866 A，公開時間為2020年10月30日，名稱為“一種聯鎖配置文件的自動生成方法、裝置及電子設備”的中國發明專利文獻，公開了一種聯鎖數據文件的生成方法，通過一定的聯鎖邏輯運算，將初始數據庫中的數據轉換生成符合聯鎖系統的配置格式要求的聯鎖配置數據，包括數據導入模塊、數據轉換模塊和文件生成模塊三個部分，導入模塊從初始數據庫中取數據，轉換模塊將取得的數據經過聯鎖邏輯運算生成配置格式所需數據，生成模塊是將轉換的零散數據整合生成到相應文件中，形成配置文件，來簡化聯鎖數據配置流程，解決人工配置帶來的問題，提高數據配置效率。但是這種技術方案還是存在以下問題：1）該配置文件對采用布爾邏輯實現的聯鎖邏輯不適用2）該配置文件需要從原始數據中經過復雜的聯鎖邏輯運算才能得到，并不是簡單的轉換關系且生成的結果需滿足某種固定的格式，糾錯和查錯問題比較復雜。

發明內容

本發明的目的在于針對現有技術的問題，提供一種基于布爾邏輯、根據聯鎖信息表和外部接口新表及自定義的設備查詢語法，自動生成車站的所有有效的設備對應的碼位的聯鎖數據自動配置方法。

本發明的目的是通過以下技術方案實現的：

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

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

所述輸入信息制作步驟中，所述聯鎖信息表中包括站場所有的進路，以及信號機設備、道岔設備、區段設備和進路設備，其中，每條進路保含進路的性質以及進路中所有的區段設備、道岔及防護道岔、侵限區段設備、始端信號機設備和終端信號機設備。

所述輸入信息制作步驟中，所述外部信息表中包括區間方向信息、區間閉塞分區狀態信息、信號限速信息、災害防護信息、進路信息及信號授權信息。

所述輸入信息制作步驟中，所述通用站場圖編輯文件是指依據設計院給出的藍圖和聯鎖表由通用軟件生成的實現站場界面顯示、站場設備拓撲結構連接和站場基本聯鎖信息的文本文件。