一種防誤閉鎖邏輯規則生成與校核系統技術方案

本發明專利技術涉及一種防誤閉鎖邏輯規則生成與校核系統，其特征在于：包括輸入輸出模塊、圖形編輯模塊、典型間隔模型庫、圖形分析模塊、抽象邏輯公式庫、抽象邏輯規則庫和邏輯公式生成模塊；本發明專利技術通過內置變電站各種典型接線模型、通用五防邏輯公式，在讀取具體變電站主接線信息之后，可以將主接線信息與系統內置典型設備接線模型進行匹配，然后將匹配模型結果對應的通用五防邏輯公式替換成實際設備信息之后進行輸出，從而獲取到具體的五防邏輯公式，并進一步的，可將自動生成的邏輯公式和已編寫好的邏輯公式進行校驗，從而解決目前變電站五防邏輯公式編寫和校驗效率較低、可靠性不足以及無法證明自身可靠性的問題。

A logic rule generation and check system for preventing false locking

The invention relates to a method for generating and checking system of anti maloperation logic rules, which includes input and output module, graphics editing module, typical interval model database, analysis module, graphic abstract logic formula base and abstract logical rules and logic generating module; the invention through the built-in substation typical connection model, general five anti logic formula, after reading the specific wiring information, can be the main wiring information system built for the typical equipment wiring model matching, and then the matching model results corresponding to the five after the general anti logic formula is replaced by the actual equipment information output, to obtain the five specific anti logic formula, and further, can the automatic generation of logic formulas and have written good logical formulas for verification, so as to solve the current substation five prevention The logic formula is written and checked for the problems of low efficiency, lack of reliability and inability to prove its reliability.

【技術實現步驟摘要】
一種防誤閉鎖邏輯規則生成與校核系統
本專利技術涉及一種防誤閉鎖邏輯規則生成與校核系統。
技術介紹
變電站中一般安裝有微機五防系統，微機五防系統作為倒閘操作安全的保障，發揮了很大的作用。微機五防防止誤操作的判斷依據源于五防邏輯公式，目前的五防邏輯公式都是人工編寫的，整個編寫過程效率低，花費時間成本高，并且遺漏易錯，存在較大的安全風險，因此業內一直研究如何實現五防邏輯公式的自動生成。業內對此問題展開了研究，期望引入一種自動生成和校驗五防邏輯公式的技術，也陸續有了一些成果，比如根據設備連接關系，使用程序抽象規則算法自動生成刀閘、地刀、地線、網門之間的邏輯關系，實現一些簡單的五防邏輯公式生成；或者是在此基礎上進一步實現開關、刀閘等在不同運行方式下的抽象規則算法；還有的是把特定的接線模型和五防邏輯公式存儲到數據庫中，然后在變電站主接線設備模型建立的時候，直接使用存儲的數據模型進行編輯，實現變電站主接線設備模型組建完成之后即帶有五防邏輯公式。但現有的技術方案在微機五防邏輯公式自動生成上面帶來了進步，但仍然存在不足，對于使用程序抽象規則算法自動生成刀閘、地刀、地線、網門之間的邏輯關系的方案，只能實現一些簡單的五防邏輯公式生成，無法保證全面性，因此只能在特定的系統中作為補充功能使用；對進一步在此基礎上增加開關、刀閘在不同運行方式下的復雜倒閘操作抽象規則，將會引起規則復雜化而導致系統無法證明其自身算法正確性的問題，從而導致系統的輸出結果將基于不可靠的抽象規則算法基礎，將無法保證其對邏輯公式校驗結果的正確性；對于存儲特定接線和五防邏輯公式并直接使用該預存數據進行變電站主接線建模的方案，存在使用困難、通用性差、維護復雜的問題，導致實用性不高。
技術實現思路
有鑒于此，本專利技術的目的在于提供一種防誤閉鎖邏輯規則生成與校核系統，解決了目前變電站五防邏輯公式編寫和校驗效率較低、可靠性不足以及無法證明自身可靠性的問題。為實現上述目的，本專利技術采用如下技術方案：一種防誤閉鎖邏輯規則生成與校核系統，其特征在于：包括輸入輸出模塊、圖形編輯模塊、典型間隔模型庫、圖形分析模塊、抽象邏輯公式庫、抽象邏輯規則庫和邏輯公式生成模塊；所述輸入輸出模塊讀取微機五防系統的一次主接線圖，并將得到的模型匹配結果、五防邏輯公式返回給微機五防系統；所述圖形編輯模塊用于將典型間隔模型庫中的典型間隔模型轉換成可編輯的接線圖并在窗口中進行顯示；所述典型間隔模型庫用于存儲不同類型的典型間隔模型；所述圖形分析模塊用于將輸入輸出模塊讀取或繪制的一次主接線圖拆解成若干間隔，并將所述若干間隔與典型間隔模型庫中的典型間隔模型進行匹配，將模型匹配結果發送給邏輯公式生成模塊；所述邏輯公式生成模塊用于將抽象邏輯公式和抽象邏輯規則轉換成實際變電站設備編號，得到五防邏輯公式發送給輸入輸出模塊；所述抽象邏輯公式庫用于存儲抽象邏輯公式，所述抽象邏輯公式使用通用編號進行編寫，每一抽象邏輯公式對應一種典型間隔模型，用于規定不同典型間隔的防誤操作判斷條件；所述抽象邏輯規則庫用于存儲抽象邏輯規則，每一抽象邏輯規則表示一種防誤操作判斷條件。進一步的，所述典型間隔模型由若干單元設備組成，所述單元設備包括開關、刀閘、地線、網門、母線、線路負載、主變、電容器組、電抗器組、所變和PT，所述單元設備具備微機五防系統需要使用的必要五防屬性參數；其中線路負載、主變、電容器組、電抗器組、所變和PT作為間隔類型的標識設備，在一個典型接線模型中只含有一種間隔類型的標識設備。進一步的，所述必要五防屬性參數為微機五防判斷時需要考慮的設備屬性參數，包括線路開關、主變開關、旁路開關、線路側刀閘、母線側刀閘、雙母出線母線側刀閘和旁路刀閘。進一步的，所述圖形分析模塊的具體工作機制如下：拆解：隨機從某一個單元設備開始為起點沿連接路徑進行搜索，同時以母線、主變、線路負載、主變、電容器組、電抗器組、所變和PT作為搜索邊界，然后將此過程中搜索到的單元設備作為一個間隔；完成上一個間隔的搜索后，再隨機從該主接線圖不屬于已搜索到間隔的單元設備再次執行此搜索，從而完成其它間隔的搜索，這樣即可將整個一次主接線圖拆解成多個間隔；匹配：只對拆解得到的間隔和典型間隔模型中的開關、刀閘以及間隔類型的標識設備進行匹配運算，若匹配成功，則可得出與拆解間隔配對成功的典型間隔模型信息；而拆解間隔與該典型接線模型中相同位置的各單元設備也就具有所述微機五防系統需要使用的必要五防屬性參數，從而得到了微機五防一次主接線圖的模型匹配結果。進一步的，所述邏輯公式生成模塊的具體工作機制如下：邏輯公式生成模塊獲取到模型間隔匹配結果后，將查找典型間隔模型對應的抽象邏輯公式，然后調用該抽象邏輯公式，將通用設備編號使用具體設備編號進行替換，即可得到五防邏輯公式；邏輯公式生成模塊還根據一次主接線圖中的設備類型，調用對應抽象邏輯規則，并將抽象邏輯規則轉換成具體設備編號后輸出相應的五防邏輯公式，最后將生成的五防邏輯公式發送給輸入輸出模塊和邏輯公式校驗模塊。進一步的，所述抽象邏輯公式包括：通用公式編號：CXLJ_DMCX_01，對應模型編號：DMCX_01KG10:DZ1=0,DZ2=0+DZ1=1,DZ2=1!KG11:DZ1=0,DZ2=0+DZ1=1,DZ2=1!DZ10:KG1=0,DZ2=0!DZ11:KG1=0,DZ2=0!DZ20:KG1=0,DZ1=1!DZ21:KG1=0,DZ1=1!通用公式編號：CXLJ_SMCX_01，對應模型編號：SMCX_01KG10:DZ1=0,DZ2=0,DZ3=0+DZ1=1,DZ2=0,DZ3=1+DZ0=1,DZ2=1,DZ3=1!KG11:DZ1=0,DZ2=0,DZ3=0+DZ1=1,DZ2=0,DZ3=1+DZ0=1,DZ2=1,DZ3=1!DZ10:KG1=0,DZ2=0,DZ3=0!DZ11:KG1=0,DZ2=0,DZ3=0!DZ20:KG1=0,DZ1=0,DZ3=0!DZ21:KG1=0,DZ1=0,DZ3=0!DZ30:KG1=0,(DZ1=1,DZ2=0+DZ1=0,DZ2=1)!DZ31:KG1=0,(DZ1=1,DZ2=0+DZ1=0,DZ2=1)!其中，設備通用編號“0”表示設備分操作條件，設備通用編號“1”表示設備合操作條件，“：”表示分隔符，“，”表示與運算，“+”表示或運算，“=”表示相等比較運算，“！”表示語句結束。進一步的，還包括邏輯公式校驗模塊，所述邏輯公式校驗模塊用于將變電站已有的五防邏輯公式與邏輯公式生成模塊傳輸過來的五防邏輯公式進行校驗，并將校驗結果發送給輸入輸出模塊。本專利技術與現有技術相比具有以下有益效果：本專利技術通過內置變電站各種典型接線模型、通用五防邏輯公式，在讀取具體變電站主接線信息之后，可以將主接線信息與系統內置典型設備接線模型進行匹配，然后將匹配模型結果對應的通用五防邏輯公式替換成實際設備信息之后進行輸出，從而獲取到具體的五防邏輯公式，進一步的，可將自動生成的邏輯公式和已編寫好的邏輯公式進行校驗，從而解決目前變電站五防邏輯公式編寫和校驗效率較低的問題；另外本專利技術預置典型間隔模型庫、抽象邏輯公式庫、抽象邏輯規則庫均可進行審核修改，因此邏輯公式自動生成的依據是可信賴的，因此具有更高的可靠性和安本文檔來自技高網...

【技術保護點】
一種防誤閉鎖邏輯規則生成與校核系統，其特征在于：包括輸入輸出模塊、圖形編輯模塊、典型間隔模型庫、圖形分析模塊、抽象邏輯公式庫、抽象邏輯規則庫和邏輯公式生成模塊；所述輸入輸出模塊讀取微機五防系統的一次主接線圖，并將得到的模型匹配結果、五防邏輯公式返回給微機五防系統；所述圖形編輯模塊用于將典型間隔模型庫中的典型間隔模型轉換成可編輯的接線圖并在窗口中進行顯示；所述典型間隔模型庫用于存儲不同類型的典型間隔模型；所述圖形分析模塊用于將輸入輸出模塊讀取或繪制的一次主接線圖拆解成若干間隔，并將所述若干間隔與典型間隔模型庫中的典型間隔模型進行匹配，將模型匹配結果發送給邏輯公式生成模塊；所述邏輯公式生成模塊用于將抽象邏輯公式和抽象邏輯規則轉換成實際變電站設備編號，得到五防邏輯公式發送給輸入輸出模塊；所述抽象邏輯公式庫用于存儲抽象邏輯公式，所述抽象邏輯公式使用通用編號進行編寫，每一抽象邏輯公式對應一種典型間隔模型，用于規定不同典型間隔的防誤操作判斷條件；所述抽象邏輯規則庫用于存儲抽象邏輯規則，每一抽象邏輯規則表示一種防誤操作判斷條件。

【技術特征摘要】
1.一種防誤閉鎖邏輯規則生成與校核系統，其特征在于：包括輸入輸出模塊、圖形編輯模塊、典型間隔模型庫、圖形分析模塊、抽象邏輯公式庫、抽象邏輯規則庫和邏輯公式生成模塊；所述輸入輸出模塊讀取微機五防系統的一次主接線圖，并將得到的模型匹配結果、五防邏輯公式返回給微機五防系統；所述圖形編輯模塊用于將典型間隔模型庫中的典型間隔模型轉換成可編輯的接線圖并在窗口中進行顯示；所述典型間隔模型庫用于存儲不同類型的典型間隔模型；所述圖形分析模塊用于將輸入輸出模塊讀取或繪制的一次主接線圖拆解成若干間隔，并將所述若干間隔與典型間隔模型庫中的典型間隔模型進行匹配，將模型匹配結果發送給邏輯公式生成模塊；所述邏輯公式生成模塊用于將抽象邏輯公式和抽象邏輯規則轉換成實際變電站設備編號，得到五防邏輯公式發送給輸入輸出模塊；所述抽象邏輯公式庫用于存儲抽象邏輯公式，所述抽象邏輯公式使用通用編號進行編寫，每一抽象邏輯公式對應一種典型間隔模型，用于規定不同典型間隔的防誤操作判斷條件；所述抽象邏輯規則庫用于存儲抽象邏輯規則，每一抽象邏輯規則表示一種防誤操作判斷條件。2.根據權利要求1所述的防誤閉鎖邏輯規則生成與校核系統，其特征在于：所述典型間隔模型由若干單元設備組成，所述單元設備包括開關、刀閘、地線、網門、母線、線路負載、主變、電容器組、電抗器組、所變和PT，所述單元設備具備微機五防系統需要使用的必要五防屬性參數；其中線路負載、主變、電容器組、電抗器組、所變和PT作為間隔類型的標識設備，在一個典型接線模型中只含有一種間隔類型的標識設備。3.根據權利要求2所述的防誤閉鎖邏輯規則生成與校核系統，其特征在于：所述必要五防屬性參數為微機五防判斷時需要考慮的設備屬性參數，包括線路開關、主變開關、旁路開關、線路側刀閘、母線側刀閘、雙母出線母線側刀閘和旁路刀閘。4.根據權利要求2所述的防誤閉鎖邏輯規則生成與校核系統，其特征在于：所述圖形分析模塊的具體工作機制如下：拆解：隨機從某一個單元設備開始為起點沿連接路徑進行搜索，同時以母線、主變、線路負載、主變、電容器組、電抗器組、所變和PT作為搜索邊界，然后將此過程中搜索到的單元設備作為一個間隔；完成上一個間隔的搜索后，再隨機從該主接線圖不屬于已搜索到間隔的單元設備再次執行此搜索，從而完成其它間隔的搜索，這樣即可將整個一次主接線圖拆解成多個間隔；匹配：只對拆解得到的間隔和典型間隔模型中的開關、刀閘以及間隔類型的標識設備進行匹配運算，若匹配成功，則可得出與拆解間隔配對成...

【專利技術屬性】
技術研發人員：黃金魁，吳善班，陳月卿，徐育福，林靜懷，李澤科，陳躍飛，陳燁，甘磊，
申請(專利權)人：國網福建省電力有限公司，國家電網公司，國網福建省電力有限公司檢修分公司，
類型：發明
國別省市：福建,35