[發(fā)明專利]一種防誤閉鎖邏輯規(guī)則生成與校核系統(tǒng)

有效

• 申請(qǐng)?zhí)枺?/td>: 201710065234.8
• 申請(qǐng)日: 2017-02-06
• 公開（公告）號(hào): CN106919741B
• 公開（公告）日: 2021-03-02
• 發(fā)明（設(shè)計(jì)）人: 黃金魁;吳善班;陳月卿;徐育福;林靜懷;李澤科;陳躍飛;陳燁;甘磊
• 申請(qǐng)（專利權(quán)）人: 國(guó)網(wǎng)福建省電力有限公司;國(guó)家電網(wǎng)公司;國(guó)網(wǎng)福建省電力有限公司檢修分公司
• 主分類號(hào): G06F30/20
• 分類號(hào): G06F30/20
• 代理公司: 福州元?jiǎng)?chuàng)專利商標(biāo)代理有限公司 35100
• 代理人: 蔡學(xué)俊

1.一種防誤閉鎖邏輯規(guī)則生成與校核系統(tǒng)，其特征在于：包括輸入輸出模塊、圖形編輯模塊、典型間隔模型庫、圖形分析模塊、抽象邏輯公式庫、抽象邏輯規(guī)則庫、邏輯公式生成模塊和邏輯公式校驗(yàn)?zāi)K；

所述輸入輸出模塊讀取微機(jī)五防系統(tǒng)的一次主接線圖，并將得到的模型匹配結(jié)果、五防邏輯公式返回給微機(jī)五防系統(tǒng)；

所述圖形編輯模塊用于將典型間隔模型庫中的典型間隔模型轉(zhuǎn)換成可編輯的接線圖并在窗口中進(jìn)行顯示；

所述典型間隔模型庫用于存儲(chǔ)不同類型的典型間隔模型；所述典型間隔模型由若干單元設(shè)備組成，所述單元設(shè)備包括開關(guān)、刀閘、地線、網(wǎng)門、母線、線路負(fù)載、主變、電容器組、電抗器組、所變和PT，所述單元設(shè)備具備微機(jī)五防系統(tǒng)需要使用的必要五防屬性參數(shù)；其中線路負(fù)載、主變、電容器組、電抗器組、所變和PT作為間隔類型的標(biāo)識(shí)設(shè)備，在一個(gè)典型接線模型中只含有一種間隔類型的標(biāo)識(shí)設(shè)備；所述必要五防屬性參數(shù)為微機(jī)五防判斷時(shí)需要考慮的設(shè)備屬性參數(shù)，包括線路開關(guān)、主變開關(guān)、旁路開關(guān)、線路側(cè)刀閘、母線側(cè)刀閘、雙母出線母線側(cè)刀閘和旁路刀閘；

所述圖形分析模塊用于將輸入輸出模塊讀取或繪制的一次主接線圖拆解成若干間隔，并將所述若干間隔與典型間隔模型庫中的典型間隔模型進(jìn)行匹配，將模型匹配結(jié)果發(fā)送給邏輯公式生成模塊；

所述邏輯公式生成模塊用于將抽象邏輯公式和抽象邏輯規(guī)則轉(zhuǎn)換成實(shí)際變電站設(shè)備編號(hào)，得到五防邏輯公式發(fā)送給輸入輸出模塊；

所述抽象邏輯公式庫用于存儲(chǔ)抽象邏輯公式，所述抽象邏輯公式使用通用編號(hào)進(jìn)行編寫，每一抽象邏輯公式對(duì)應(yīng)一種典型間隔模型，用于規(guī)定不同典型間隔的防誤操作判斷條件；

所述抽象邏輯規(guī)則庫用于存儲(chǔ)抽象邏輯規(guī)則，每一抽象邏輯規(guī)則表示一種防誤操作判斷條件，抽象邏輯規(guī)則適用于所有設(shè)備類型，與具體的典型間隔模型無關(guān)；其中，所述抽象邏輯規(guī)則包括“地刀地線合上要求所有電氣連接的刀閘在分位”和“刀閘合上要求所有電氣連接的地刀地線在分位”；

所述邏輯公式校驗(yàn)?zāi)K用于將變電站已有的五防邏輯公式與邏輯公式生成模塊傳輸過來的五防邏輯公式進(jìn)行校驗(yàn)，校驗(yàn)比較的時(shí)候，從兩份文檔中分別選出相同設(shè)備的相同操作條件，再將該操作條件下的各分支邏輯逐一進(jìn)行比對(duì)校驗(yàn)，并將校驗(yàn)結(jié)果發(fā)送給輸入輸出模塊；

所述邏輯公式生成模塊的具體工作機(jī)制如下：邏輯公式生成模塊獲取到模型間隔匹配結(jié)果后，將查找典型間隔模型對(duì)應(yīng)的抽象邏輯公式，然后調(diào)用該抽象邏輯公式，將通用設(shè)備編號(hào)使用具體設(shè)備編號(hào)進(jìn)行替換，即可得到五防邏輯公式；邏輯公式生成模塊還根據(jù)一次主接線圖中的設(shè)備類型，調(diào)用對(duì)應(yīng)抽象邏輯規(guī)則，并將抽象邏輯規(guī)則轉(zhuǎn)換成具體設(shè)備編號(hào)后輸出相應(yīng)的五防邏輯公式，最后將生成的五防邏輯公式發(fā)送給輸入輸出模塊和邏輯公式校驗(yàn)?zāi)K。

2.根據(jù)權(quán)利要求1所述的防誤閉鎖邏輯規(guī)則生成與校核系統(tǒng)，其特征在于：所述圖形分析模塊的具體工作機(jī)制如下：

拆解：隨機(jī)從某一個(gè)單元設(shè)備開始為起點(diǎn)沿連接路徑進(jìn)行搜索，同時(shí)以母線、主變、線路負(fù)載、主變、電容器組、電抗器組、所變和PT作為搜索邊界，然后將此過程中搜索到的單元設(shè)備作為一個(gè)間隔；完成上一個(gè)間隔的搜索后，再隨機(jī)從該主接線圖不屬于已搜索到間隔的單元設(shè)備再次執(zhí)行此搜索，從而完成其它間隔的搜索，這樣即可將整個(gè)一次主接線圖拆解成多個(gè)間隔；

匹配：只對(duì)拆解得到的間隔和典型間隔模型中的開關(guān)、刀閘以及間隔類型的標(biāo)識(shí)設(shè)備進(jìn)行匹配運(yùn)算，若匹配成功，則可得出與拆解間隔配對(duì)成功的典型間隔模型信息；而拆解間隔與該典型接線模型中相同位置的各單元設(shè)備也就具有所述微機(jī)五防系統(tǒng)需要使用的必要五防屬性參數(shù)，從而得到了微機(jī)五防一次主接線圖的模型匹配結(jié)果。

3.根據(jù)權(quán)利要求1所述的防誤閉鎖邏輯規(guī)則生成與校核系統(tǒng)，其特征在于：所述抽象邏輯公式包括：

通用公式編號(hào)：CXLJ_DMCX_01，對(duì)應(yīng)模型編號(hào)：DMCX_01

KG1 0 : DZ1 = 0 , DZ2 = 0 + DZ1 = 1 , DZ2 = 1 !

KG1 1 : DZ1 = 0 , DZ2 = 0 + DZ1 = 1 , DZ2 = 1 !

DZ1 0 : KG1 = 0 , DZ2 = 0 !

DZ1 1 : KG1 = 0 , DZ2 = 0 !

DZ2 0 : KG1 = 0 , DZ1 = 1 !

DZ2 1 : KG1 = 0 , DZ1 = 1 !

通用公式編號(hào)：CXLJ_SMCX_01，對(duì)應(yīng)模型編號(hào)：SMCX_01

KG1 0 : DZ1 = 0 , DZ2 = 0 , DZ3 = 0 + DZ1 = 1 , DZ2 = 0 , DZ3 = 1 + DZ0 =1 , DZ2 = 1 , DZ3 = 1 !

KG1 1 : DZ1 = 0 , DZ2 = 0 , DZ3 = 0 + DZ1 = 1 , DZ2 = 0 , DZ3 = 1 + DZ0 =1 , DZ2 = 1 , DZ3 = 1 !

DZ1 0 : KG1 = 0 , DZ2 = 0 , DZ3 = 0 !

DZ1 1 : KG1 = 0 , DZ2 = 0 , DZ3 = 0 !

DZ2 0 : KG1 = 0 , DZ1 = 0 , DZ3 = 0 !

DZ2 1 : KG1 = 0 , DZ1 = 0 , DZ3 = 0 !

DZ3 0 : KG1 = 0 , ( DZ1 = 1 , DZ2 = 0 + DZ1 = 0 , DZ2 = 1) !

DZ3 1 : KG1 = 0 , ( DZ1 = 1 , DZ2 = 0 + DZ1 = 0 , DZ2 = 1) !

其中，設(shè)備通用編號(hào) “0”表示設(shè)備分操作條件，設(shè)備通用編號(hào)“1”表示設(shè)備合操作條件，“：”表示分隔符，“，”表示與運(yùn)算，“+”表示或運(yùn)算，“=”表示相等比較運(yùn)算，“！”表示語句結(jié)束。