專(zhuān)利名稱：一種電氣設(shè)備防誤操作方法、裝置和系統(tǒng)的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及電氣控制技術(shù)領(lǐng)域，特別是涉及一種電氣設(shè)備防誤操作方法、裝置和系統(tǒng)。
背景技術(shù)：
電氣設(shè)備分為運(yùn)行、備用、檢修三種狀態(tài)。將設(shè)備由一種狀態(tài)轉(zhuǎn)變?yōu)榱硪环N狀態(tài)的過(guò)程叫做倒閘，所進(jìn)行的操作叫做倒閘操作。通過(guò)操作隔離開(kāi)關(guān)、斷路器以及掛、拆接地線將電氣設(shè)備從一種狀態(tài)轉(zhuǎn)換為另一種狀態(tài)或使系統(tǒng)改變了運(yùn)行方式，這種操作就叫做倒閘操作。 隔離開(kāi)關(guān)，是高壓開(kāi)關(guān)電器中使用最多的一種電器，是在電路中起隔離作用的器件。它本身的工作原理及結(jié)構(gòu)比較簡(jiǎn)單，但由于使用量大，工作可靠性要求高，對(duì)變電所、電廠的設(shè)計(jì)、建立和安全運(yùn)行的影響均較大。隔離開(kāi)關(guān)的主要特點(diǎn)是無(wú)滅弧能力，只能在沒(méi)有負(fù)荷電流的情況下分、合電路。斷路器按其使用范圍分為高壓斷路器和低壓斷路器，高低壓界線劃分比較模糊，一般將3kV以上的稱為高壓電器。低壓斷路器又稱自動(dòng)開(kāi)關(guān)，俗稱"空氣開(kāi)關(guān)"也是指低壓斷路器，它是一種既有手動(dòng)開(kāi)關(guān)作用，又能自動(dòng)進(jìn)行失壓、欠壓、過(guò)載、和短路保護(hù)的電器。它可用來(lái)分配電能，不頻繁地啟動(dòng)異步電動(dòng)機(jī)，對(duì)電源線路及電動(dòng)機(jī)等實(shí)行保護(hù)，當(dāng)它們發(fā)生嚴(yán)重的過(guò)載或者短路及欠壓等故障時(shí)能自動(dòng)切斷電路，其功能相當(dāng)于熔斷器式開(kāi)關(guān)與過(guò)欠熱繼電器等的組合。而且在分?jǐn)喙收想娏骱笠话悴恍枰兏悴考?，已獲得了廣泛的應(yīng)用。接地設(shè)備主要是地刀，地刀全稱接地刀閘，是安裝于高壓開(kāi)關(guān)柜內(nèi)代替接地線的一種安全連鎖機(jī)構(gòu)。在進(jìn)行倒閘操作之前，必須明確即將要進(jìn)行的倒閘操作是否準(zhǔn)確無(wú)誤，否則，錯(cuò)誤的倒閘操作可能會(huì)造成嚴(yán)重的財(cái)產(chǎn)損失或人員傷亡。因此，需要有一定的防范措施，電氣“五防”就是的實(shí)現(xiàn)是電力安全生產(chǎn)的重要措施之一，隨著電網(wǎng)的不斷發(fā)展，技術(shù)的不斷更新，電氣設(shè)備防誤操作的防誤系統(tǒng)和方法得到了不斷的改進(jìn)和完善。電氣“五防”通常指的是高壓開(kāi)關(guān)柜的“五防”或者變配電室的“五防一通”。高壓開(kāi)關(guān)柜的“五防”為I、防止帶負(fù)荷分、合隔離開(kāi)關(guān)。即在斷路器、負(fù)荷開(kāi)關(guān)、接觸器等負(fù)荷在合閘狀態(tài)下不能操作隔離開(kāi)關(guān)；2、防止誤分、誤合斷路器、負(fù)荷開(kāi)關(guān)、接觸器，只有操作指令與操作設(shè)備對(duì)應(yīng)時(shí)才能對(duì)被操作設(shè)備操作；3、防止接地開(kāi)關(guān)處于閉合位置時(shí)關(guān)合斷路器、負(fù)荷開(kāi)關(guān)，即只有當(dāng)接地開(kāi)關(guān)處于分閘狀態(tài)，才能合隔離開(kāi)關(guān)或讓手車(chē)進(jìn)至工作位置，才能將斷路器、負(fù)荷開(kāi)關(guān)閉合。4、防止在帶電時(shí)誤合接地開(kāi)關(guān)，即只有在斷路器分閘狀態(tài)，才能操作隔離開(kāi)關(guān)或者讓手車(chē)從工作位置退至試驗(yàn)位置，才能合上接地開(kāi)關(guān)。
5、防止誤入帶電間隔，即只有隔室不帶電時(shí)，才能開(kāi)門(mén)進(jìn)入隔室?！拔宸馈笔请娏ο到y(tǒng)為防止操作人員在現(xiàn)場(chǎng)操作過(guò)程中發(fā)生誤操作而采取的一種防范措施。它要求電力系統(tǒng)在進(jìn)行倒閘操作前，先在防誤系統(tǒng)中模擬該倒閘操作過(guò)程。模擬操作時(shí)，防誤系統(tǒng)根據(jù)當(dāng)前各設(shè)備的狀態(tài)判斷設(shè)備操作是否違反了防誤規(guī)則要求，如果違反了防誤規(guī)則要求，則提示用戶不能進(jìn)行該步操作。當(dāng)前的防誤系統(tǒng)以微機(jī)防誤系統(tǒng)居多，在微機(jī)防誤系統(tǒng)中一般采用人工編寫(xiě)設(shè)備操作邏輯公式的方法來(lái)實(shí)現(xiàn)設(shè)備的防誤操作邏輯。當(dāng)操作人員模擬操作某個(gè)設(shè)備時(shí)，五防系統(tǒng)根據(jù)當(dāng)前系統(tǒng)中各設(shè)備狀態(tài)來(lái)計(jì)算該邏輯公式，如果計(jì)算結(jié)果為假，則說(shuō)明該操作違反了防誤規(guī)則，不能操作，系統(tǒng)提示給用戶操作錯(cuò)誤。從上述過(guò)程可以看到，設(shè)備操作邏輯定義正確與否關(guān)系到防誤系統(tǒng)是否能準(zhǔn)確、安全的工作。 人工編寫(xiě)防誤邏輯需要對(duì)防誤站內(nèi)每個(gè)具體電氣設(shè)備都編寫(xiě)與之對(duì)應(yīng)的獨(dú)特的操作程序，對(duì)于刀閘、開(kāi)關(guān)、接地設(shè)備這一類(lèi)較為簡(jiǎn)單的基本開(kāi)關(guān)類(lèi)設(shè)備，根據(jù)每一種基本開(kāi)關(guān)類(lèi)設(shè)備的操作規(guī)則編寫(xiě)相應(yīng)的操作程序的難度較小，準(zhǔn)確度能夠得到一定保證。但是如果是較為復(fù)雜的設(shè)備，如橋接線等一些較為特殊的設(shè)備，編寫(xiě)邏輯異常復(fù)雜，各種運(yùn)行方式很難寫(xiě)全，出錯(cuò)率高，且可讀性差，閱讀理解困難，編寫(xiě)、檢查、審查工作量都很大。除此以外，在電氣設(shè)備新增、改造間隔時(shí)，需要對(duì)應(yīng)修改邏輯公式，當(dāng)涉及母聯(lián)、母線地刀等器件時(shí)，非常容易產(chǎn)生遺漏和錯(cuò)誤，準(zhǔn)確度難以得到保證。目前還有一些系統(tǒng)提出了采用拓?fù)浞治龅姆椒ㄌ幚矸勒`閉鎖邏輯的思路，可以處理一些基本的防誤邏輯，其缺點(diǎn)在于防誤邏輯的實(shí)現(xiàn)是直接通過(guò)程序?qū)崿F(xiàn)的，對(duì)于復(fù)雜運(yùn)行方式難于適應(yīng)；應(yīng)對(duì)需求變化的方法只有修改程序，反復(fù)的修改程序會(huì)造成系統(tǒng)可靠性和穩(wěn)定性的降低；同時(shí)此方法同樣要求開(kāi)發(fā)人員對(duì)各種設(shè)備的運(yùn)行規(guī)則理解準(zhǔn)確、全面，即不管設(shè)備是簡(jiǎn)單的基本開(kāi)關(guān)類(lèi)設(shè)備還是復(fù)合開(kāi)關(guān)類(lèi)設(shè)備，均需要有非常準(zhǔn)確的掌握，稍有錯(cuò)誤，將造成嚴(yán)重后果；而且實(shí)現(xiàn)的防誤規(guī)則被密封在程序源碼中，只能通過(guò)黑盒測(cè)試來(lái)進(jìn)行不完整的驗(yàn)證，而現(xiàn)實(shí)情況復(fù)雜多變，導(dǎo)致系統(tǒng)的可靠性不高。

發(fā)明內(nèi)容
本發(fā)明的目的在于提供一種電氣設(shè)備防誤操作方法、裝置和系統(tǒng)，其解決了現(xiàn)有技術(shù)中的防誤操作邏輯編寫(xiě)難度大、工作量大、準(zhǔn)確度難以控制、可靠性不高等問(wèn)題。為實(shí)現(xiàn)本發(fā)明目的而提供的一種電氣設(shè)備防誤操作方法，包括步驟11.編寫(xiě)設(shè)備操作規(guī)則公式，所述設(shè)備操作規(guī)則公式定義對(duì)每種設(shè)備進(jìn)行每種操作時(shí)需要滿足的規(guī)則；12.將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為基本開(kāi)關(guān)類(lèi)設(shè)備來(lái)構(gòu)建設(shè)備拓?fù)涔?jié)點(diǎn)表；
13.當(dāng)出現(xiàn)操作請(qǐng)求時(shí)，結(jié)合所述設(shè)備拓?fù)涔?jié)點(diǎn)表，計(jì)算請(qǐng)求操作的設(shè)備的操作規(guī)則公式，并將計(jì)算結(jié)果返回給防誤主機(jī)。其中，所述步驟12包括步驟121.將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為基本開(kāi)關(guān)類(lèi)設(shè)備，并將分解結(jié)果保存到設(shè)備分解描述文件中；122.根據(jù)系統(tǒng)接線圖和設(shè)備分解描述文件，構(gòu)建設(shè)備拓?fù)涔?jié)點(diǎn)表，所述設(shè)備拓?fù)涔?jié)點(diǎn)表至少包含各設(shè)備之間的連接關(guān)系信息。其中，所述將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為基本開(kāi)關(guān)類(lèi)設(shè)備包括步驟a)將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備分解為兩個(gè)以上基本開(kāi)關(guān)類(lèi)設(shè)備的連接組合，使得分解后的基本開(kāi)關(guān)類(lèi)設(shè)備的組合的對(duì)外接線端子特性，與分解前的復(fù)合開(kāi)關(guān)類(lèi)設(shè)備的對(duì)外接線端子特性一致；b)將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備的各狀態(tài)與分解后的基本開(kāi)關(guān)類(lèi)設(shè)備各狀態(tài)映射，使得復(fù)合開(kāi)關(guān)類(lèi)設(shè)備的每個(gè)狀態(tài)均有分解后的各個(gè)基本開(kāi)關(guān)類(lèi)設(shè)備的狀態(tài)與之對(duì)應(yīng)；c)將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備的狀態(tài)轉(zhuǎn)換分解為基本開(kāi)關(guān)類(lèi)設(shè)備的狀態(tài)轉(zhuǎn)換序列。其中，所述基本開(kāi)關(guān)類(lèi)設(shè)備包括刀閘、開(kāi)關(guān)、接地設(shè)備、網(wǎng)門(mén)、負(fù)荷開(kāi)關(guān)。其中，所述設(shè)備操作規(guī)則公式包括設(shè)備類(lèi)型、操作類(lèi)型和邏輯表達(dá)式；所述設(shè)備類(lèi)型包括刀閘、開(kāi)關(guān)、接地設(shè)備、網(wǎng)門(mén)、負(fù)荷開(kāi)關(guān)；所述操作類(lèi)型包括合閘操作和分閘操作；所述邏輯表達(dá)式包括搜索和判斷。其中，所述步驟13包括步驟131.當(dāng)出現(xiàn)操作請(qǐng)求時(shí)，根據(jù)請(qǐng)求操作的設(shè)備類(lèi)型和操作類(lèi)型調(diào)用對(duì)應(yīng)的設(shè)備操作規(guī)則公式；132.按照調(diào)用的設(shè)備操作規(guī)則公式的邏輯表達(dá)式在所述設(shè)備拓?fù)涔?jié)點(diǎn)表上進(jìn)行搜索，得到搜索結(jié)果集合；133.對(duì)搜索結(jié)果集合按照所述邏輯表達(dá)式進(jìn)行判斷，得到計(jì)算結(jié)果；134.將計(jì)算結(jié)果返回給所述防誤主機(jī)。其中，所述搜索為從設(shè)備拓?fù)涔?jié)點(diǎn)表中的節(jié)點(diǎn)出發(fā)按拓?fù)溥B接關(guān)系和搜索邊界條·件向前檢索的過(guò)程；一個(gè)搜索包括搜索名、搜索的起點(diǎn)設(shè)備、搜索起點(diǎn)端子、搜索時(shí)間點(diǎn)、搜索邊界和搜索目標(biāo)；所述搜索名代表所對(duì)應(yīng)的搜索，對(duì)于搜索名的引用等同于對(duì)搜索結(jié)果的引用；所述搜索起點(diǎn)設(shè)備是當(dāng)前操作設(shè)備或另一個(gè)搜索集合中的設(shè)備或通過(guò)設(shè)備類(lèi)型指定的某一類(lèi)設(shè)備集合；所述搜索起點(diǎn)端子是搜索起點(diǎn)設(shè)備的端子或是通過(guò)端子類(lèi)型指定的搜索起點(diǎn)端子；所述搜索時(shí)間點(diǎn)用來(lái)標(biāo)示搜索時(shí)當(dāng)前設(shè)備狀態(tài)是按操作前狀態(tài)處理還是按操作后狀態(tài)處理；所述搜索邊界用于指定搜索的邊界條件，所述搜索邊界通過(guò)設(shè)備類(lèi)型、設(shè)備狀態(tài)判斷符、設(shè)備狀態(tài)的組合指定；所述搜索目標(biāo)用于描述搜索結(jié)果設(shè)備應(yīng)滿足的條件，所述搜索目標(biāo)通過(guò)設(shè)備類(lèi)型、設(shè)備狀態(tài)判斷符、設(shè)備狀態(tài)的組合指定，所述設(shè)備狀態(tài)判斷符包括在、不在、全部狀態(tài)為、包含、不包含；設(shè)備狀態(tài)包括合位、分位。其中，所述判斷是由判斷項(xiàng)和與、或、非操作符組成的表達(dá)式；所述判斷項(xiàng)是一個(gè)由括號(hào)括起來(lái)的邏輯表達(dá)式或一個(gè)判斷名或一個(gè)搜索判斷；所述判斷名是對(duì)一個(gè)判斷的定義，對(duì)判斷名的引用相當(dāng)于對(duì)該判斷的引用；所述搜索判斷包含搜索結(jié)果集合屬性判斷和集合間比較判斷。其中，所述搜索結(jié)果集合屬性判斷包括搜索到設(shè)備、搜索結(jié)果集合設(shè)備狀態(tài)判斷、搜索結(jié)果集合設(shè)備屬性判斷、搜索結(jié)果集合設(shè)備數(shù)量判斷；所述搜索結(jié)果集合設(shè)備狀態(tài)判斷包括搜索名、狀態(tài)判斷符、設(shè)備狀態(tài)組成，所述狀態(tài)判斷符包括全部狀態(tài)為、狀態(tài)包含、狀態(tài)不包含，設(shè)備狀態(tài)包括合位、分位、不確定狀態(tài)；所述搜索結(jié)果集合設(shè)備數(shù)量判斷包括搜索名、數(shù)量判斷符、常數(shù)值，用于判斷搜索設(shè)備結(jié)果集合中設(shè)備的數(shù)量是否滿足特定的數(shù)量約束，所述數(shù)量判斷符包括數(shù)量大于、數(shù)量小于、數(shù)量等于、數(shù)量大于等于、數(shù)量小于等于；所述搜索結(jié)果集合設(shè)備屬性判斷包括搜索名、設(shè)備集合屬性判斷符、設(shè)備屬性，所述設(shè)備集合屬性判斷符是“全部屬性為”。其中，所述步驟13之后還包括步驟14.防誤主機(jī)將計(jì)算結(jié)果提示給用戶，當(dāng)計(jì)算結(jié)果是允許操作時(shí)，則提示對(duì)應(yīng)的設(shè)備操作請(qǐng)求正確；當(dāng)計(jì)算結(jié)果是禁止操作時(shí)，則提示對(duì)應(yīng)的設(shè)備操作請(qǐng)求錯(cuò)誤，當(dāng)請(qǐng)求的操作違反了非嚴(yán)格執(zhí)行的操作規(guī)則，則防誤主機(jī)詢問(wèn)用戶是否繼續(xù)執(zhí)行，是，則繼續(xù)執(zhí)行，否，則不執(zhí)行。本發(fā)明還提供了一種電氣設(shè)備防誤操作裝置，包括設(shè)備分解模塊、拓?fù)潢P(guān)系解析模塊、操作規(guī)則庫(kù)和操作規(guī)則公式計(jì)算模塊；所述設(shè)備分解模塊，用于將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為基本開(kāi)關(guān)類(lèi)設(shè)備，并將分解結(jié)果保存到設(shè)備分解描述文件中；所述拓?fù)潢P(guān)系解析模塊，用于根據(jù)系統(tǒng)接線圖和設(shè)備分解描述文件，構(gòu)建設(shè)備拓?fù)涔?jié)點(diǎn)表；所述操作規(guī)則庫(kù)，用于存儲(chǔ)所述設(shè)備操作規(guī)則公式；所述操作規(guī)則公式計(jì)算模塊，用于計(jì)算所述操作規(guī)則公式，并將計(jì)算結(jié)果返回給防誤主機(jī)。本發(fā)明還提供了一種電氣設(shè)備防誤操作系統(tǒng)，包括電氣設(shè)備防誤操作裝置、接線圖輸入裝置和防誤主機(jī)；所述電氣設(shè)備防誤操作裝置包括設(shè)備分解模塊、拓?fù)潢P(guān)系解析模塊、操作規(guī)則庫(kù)和操作規(guī)則公式計(jì)算模塊；所述設(shè)備分解模塊，用于將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為基本開(kāi)關(guān)類(lèi)設(shè)備，并將分解結(jié)果保存到設(shè)備分解描述文件中；所述拓?fù)潢P(guān)系解析模塊，用于根據(jù)系統(tǒng)接線圖和設(shè)備分解描述文件，構(gòu)建設(shè)備拓?fù)涔?jié)點(diǎn)表；所述操作規(guī)則庫(kù)，用于存儲(chǔ)所述設(shè)備操作規(guī)則公式；所述操作規(guī)則公式計(jì)算模塊，用于計(jì)算所述操作規(guī)則公式，并將計(jì)算結(jié)果返回給防誤主機(jī)；所述接線圖輸入裝置，用于輸入系統(tǒng)的拓?fù)浣泳€圖；所述防誤主機(jī)用于提供設(shè)備狀態(tài)表、輸入操作請(qǐng)求和輸出計(jì)算結(jié)果。本發(fā)明的有益效果是本發(fā)明的一種電氣設(shè)備防誤操作方法、裝置和系統(tǒng)，通過(guò)將 復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為簡(jiǎn)單設(shè)備，即將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備的電氣功能拆解為多個(gè)具有單項(xiàng)功能的基本開(kāi)關(guān)類(lèi)設(shè)備來(lái)完成，將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備與其他器件的連接關(guān)系拆解為基本開(kāi)關(guān)類(lèi)設(shè)備于其他器件的連接關(guān)系，從而構(gòu)建的拓?fù)涔?jié)點(diǎn)表中，僅出現(xiàn)基本開(kāi)關(guān)類(lèi)設(shè)備，因此在編寫(xiě)操作規(guī)則時(shí)，僅需編寫(xiě)每一種基本開(kāi)關(guān)類(lèi)設(shè)備的操作規(guī)則，無(wú)需再針對(duì)復(fù)合開(kāi)關(guān)類(lèi)設(shè)備而專(zhuān)門(mén)編寫(xiě)防誤邏輯，而對(duì)基本開(kāi)關(guān)類(lèi)設(shè)備的操作規(guī)則的編寫(xiě)簡(jiǎn)單，不容易出錯(cuò)，準(zhǔn)確度較高，保證了防誤操作的安全和可靠性，避免了人工編寫(xiě)所有種類(lèi)設(shè)備閉鎖邏輯公式導(dǎo)致的各類(lèi)問(wèn)題，如工作量大，對(duì)調(diào)試人員素質(zhì)要求高，容易出錯(cuò)，審核困難等問(wèn)題。同時(shí)本發(fā)明提供的電氣設(shè)備防誤操作系統(tǒng)允許防誤專(zhuān)家通過(guò)設(shè)備規(guī)則公式的方法定義設(shè)備的操作規(guī)則，在某一設(shè)備出現(xiàn)改動(dòng)時(shí)，僅需對(duì)該設(shè)備的設(shè)備規(guī)則公式進(jìn)行調(diào)整，這樣使得對(duì)防誤操作系統(tǒng)的規(guī)則的調(diào)整更容易、直觀，降低了現(xiàn)場(chǎng)實(shí)施的難度。防誤專(zhuān)家能夠直接參與規(guī)則的定義，甚至用戶可以審閱規(guī)則定義，而程序開(kāi)發(fā)人員不必理解復(fù)雜的防誤規(guī)則，降低了防誤操作的復(fù)雜度，即使防誤需求不斷變化，也可以保證系統(tǒng)的穩(wěn)定性、可靠性。附說(shuō)明I為單母出線一次接線圖；圖2為禁止帶負(fù)荷拉合刀閘操作示意圖；圖3為一種電氣設(shè)備防誤操作方法實(shí)施例2的系統(tǒng)接線圖；圖4為-GS9131連鎖刀閘的狀態(tài)分解示意圖；圖5為-GD117地刀合閘操作的調(diào)用判斷和搜索的順序示意圖；圖6為-GD117地刀合閘操作的返回計(jì)算結(jié)果的順序示意圖；圖7為-FDll刀閘分閘操作的一級(jí)判斷項(xiàng)的調(diào)用判斷和搜索的順序示意圖；圖8為-FDll刀閘分閘操作的返回計(jì)算結(jié)果的順序示意圖；圖9為-FDll刀閘分閘操作的返回具體計(jì)算結(jié)果的順序示意圖；

圖10為-FDll刀閘分閘操作的調(diào)用判斷和搜索的順序示意圖；圖11為-GS9131連鎖刀閘合閘操作的調(diào)用判斷和搜索的順序示意圖；圖12為-GS6131連鎖刀閘合閘操作的返回計(jì)算結(jié)果的順序示意圖；圖13為一種電氣設(shè)備防誤操作系統(tǒng)的不意圖。
具體實(shí)施例方式為了使本發(fā)明的目的、技術(shù)方案及優(yōu)點(diǎn)更加清楚明白，以下結(jié)合附圖及實(shí)施例，對(duì)本發(fā)明的一種電氣設(shè)備防誤操作方法、裝置和系統(tǒng)進(jìn)行進(jìn)一步詳細(xì)說(shuō)明。應(yīng)當(dāng)理解，此處所描述的具體實(shí)施例僅僅用以解釋本發(fā)明，并不用于限定本發(fā)明。本發(fā)明提供了一種電氣設(shè)備防誤操作的方法，下面以兩個(gè)具體實(shí)施例對(duì)本發(fā)明的方法的技術(shù)方案予以闡述。實(shí)施例I本實(shí)施例提供的電氣設(shè)備防誤操作的方法包括步驟11.編寫(xiě)設(shè)備操作規(guī)則公式，所述設(shè)備操作規(guī)則公式定義對(duì)每種設(shè)備進(jìn)行每種操作時(shí)需要滿足的規(guī)則。 防誤專(zhuān)家根據(jù)相關(guān)運(yùn)行管理文件、設(shè)備的操作規(guī)程、現(xiàn)場(chǎng)實(shí)際運(yùn)行經(jīng)驗(yàn)，編寫(xiě)設(shè)備操作規(guī)則公式。所述設(shè)備操作規(guī)則公式定義如刀閘、開(kāi)關(guān)、地刀等設(shè)備的合、拉操作時(shí)需要滿足的規(guī)則。所述設(shè)備操作規(guī)則公式的構(gòu)成及文法為設(shè)備操作規(guī)則公式用來(lái)描述某類(lèi)設(shè)備的操作規(guī)則，公式分三個(gè)部分設(shè)備類(lèi)型、操作類(lèi)型、規(guī)則表達(dá)式，使用此公式可以定義某類(lèi)設(shè)備(如刀閘、開(kāi)關(guān)、地刀)某類(lèi)操作(合、拉)時(shí)需要滿足的規(guī)則。所述中的操作設(shè)備分為開(kāi)關(guān)、刀閘、地刀(地線)三類(lèi)，這三類(lèi)設(shè)備是倒閘操作時(shí)的主要設(shè)備，它們分別發(fā)揮著不同的作用，因此有著不同的操作規(guī)則。所述操作分為合閘操作(對(duì)于地線為掛地線、對(duì)于網(wǎng)門(mén)為開(kāi)網(wǎng)門(mén))和分閘操作(對(duì)于地線為拆地線、對(duì)于網(wǎng)門(mén)為關(guān)網(wǎng)門(mén))。所述規(guī)則表達(dá)式是用來(lái)描述各類(lèi)設(shè)備防誤規(guī)則的表達(dá)式，該表達(dá)式主要由搜索和判斷構(gòu)成。該表達(dá)式是根據(jù)設(shè)備的操作規(guī)則定義的(比如對(duì)于防誤規(guī)則“禁止帶地線合刀閘”，說(shuō)明刀閘合操作要求該刀閘連接的所有地線包括通過(guò)開(kāi)關(guān)連接的地線都應(yīng)拆除才能操作)，因此該表達(dá)式只和操作設(shè)備類(lèi)型及要進(jìn)行的操作類(lèi)型有關(guān)，而與實(shí)際運(yùn)行系統(tǒng)中的具體設(shè)備無(wú)關(guān)。所述中搜索是表達(dá)式中的一個(gè)因子，一個(gè)搜索就是從拓?fù)潢P(guān)系圖中一個(gè)或幾個(gè)節(jié)點(diǎn)出發(fā)，按拓?fù)溥B接關(guān)系和搜索約束向前檢索的過(guò)程，搜索的結(jié)果是檢索過(guò)程遇到的所有滿足搜索目標(biāo)約束的一組設(shè)備集合，該集合將用于判斷。一個(gè)搜索定義包括搜索名、搜索的起點(diǎn)設(shè)備、搜索起點(diǎn)端子、搜索時(shí)間點(diǎn)、搜索邊界和搜索目標(biāo)等等。所述搜索名代表了該搜索，它用在搜索判斷中，對(duì)它的引用等同于對(duì)搜索結(jié)果的引用。所述中搜索起點(diǎn)設(shè)備可以是當(dāng)前操作設(shè)備，也可以是另一個(gè)搜索集合中的設(shè)備或通過(guò)設(shè)備類(lèi)型指定的某一類(lèi)設(shè)備的集合。所述中搜索起點(diǎn)端子是指從搜索起點(diǎn)設(shè)備的那些端子開(kāi)始搜索，可以通過(guò)端子編號(hào)來(lái)指定起點(diǎn)端子，也可以通過(guò)端子類(lèi)型(如主變高壓側(cè))來(lái)指定搜索起點(diǎn)端子。所述中搜索時(shí)間點(diǎn)可以是操作前或操作后，它用來(lái)標(biāo)示搜索時(shí)當(dāng)前設(shè)備狀態(tài)是按操作前狀態(tài)處理還是按操作后狀態(tài)處理。
所述中搜索邊界用于指定搜索的邊界條件，搜索邊界可以通過(guò)設(shè)備類(lèi)型、設(shè)備狀態(tài)判斷符、設(shè)備狀態(tài)的組合來(lái)指定。其中設(shè)備狀態(tài)判斷符包括在、不在、全部狀態(tài)為、包含、不包含等等；設(shè)備狀態(tài)包括合位、分位等等。所述中搜索目標(biāo)用于描述搜索結(jié)果設(shè)備應(yīng)滿足的條件，搜索目標(biāo)可以通過(guò)設(shè)備類(lèi)型、設(shè)備狀態(tài)判斷符、設(shè)備狀態(tài)的組合來(lái)指定。其中設(shè)備狀態(tài)判斷符包括在、不在、全部狀態(tài)為、包含、不包含等等；設(shè)備狀態(tài)包括合位、分位等等。所述搜索結(jié)果集之間可以通用的 集合運(yùn)算形成新的集合，集合運(yùn)算主要有集合交集運(yùn)算、并集運(yùn)算、差集運(yùn)算等等。所述搜索結(jié)果集可以再通過(guò)一個(gè)判斷進(jìn)行排除或保留。所述規(guī)則表達(dá)式是由判斷項(xiàng)和與、或、非操作符組成的邏輯表達(dá)式。所述判斷項(xiàng)可以是一個(gè)由括號(hào)括起來(lái)的規(guī)則表達(dá)式，或一個(gè)判斷名，或一個(gè)搜索判斷。所述判斷名是對(duì)一個(gè)判斷的定義，它由一個(gè)判斷名和一個(gè)規(guī)則表達(dá)式構(gòu)成，對(duì)判斷名的引用相當(dāng)于對(duì)該規(guī)則表達(dá)式的引用。所述搜索判斷包含搜索結(jié)果集合屬性判斷和集合間比較判斷。所述搜索結(jié)果集合屬性判斷包括搜索到設(shè)備、搜索結(jié)果集合設(shè)備狀態(tài)判斷、搜索結(jié)果集合設(shè)備屬性判斷、搜索結(jié)果集合設(shè)備數(shù)量判斷。所述搜索到設(shè)備判斷由‘判斷名’和‘搜索到設(shè)備’構(gòu)成，如果搜索結(jié)果集合不為空，則該判斷返回‘真’，否則返回‘假’。所述搜索結(jié)果集合設(shè)備狀態(tài)判斷由搜索名、狀態(tài)判斷符、設(shè)備狀態(tài)三部分構(gòu)成，其中狀態(tài)判斷符包括狀態(tài)全部狀態(tài)為、狀態(tài)包含、狀態(tài)不包含，設(shè)備狀態(tài)包括合位、分位、不確定狀態(tài)(并行操作)。所述搜索結(jié)果集合設(shè)備數(shù)量判斷由搜索名、數(shù)量判斷符、常數(shù)值三部分構(gòu)成，它用于判斷搜索設(shè)備結(jié)果集合中設(shè)備的數(shù)量是否滿足特定的數(shù)量約束。其中數(shù)量判斷符包括數(shù)量大于、數(shù)量小于、數(shù)量等于、數(shù)量大于等于、數(shù)量小于等于。所述搜索結(jié)果集合設(shè)備屬性判斷由搜索名、設(shè)備集合屬性判斷符、設(shè)備屬性三部分構(gòu)成。其中設(shè)備集合屬性判斷符有‘全部屬性為’。參見(jiàn)圖1，圖I中所示的-27地刀的操作規(guī)則公式的編寫(xiě)方法如下地刀允許操作的一個(gè)條件是地刀處于隔離區(qū)域內(nèi)，也就是說(shuō)從地刀連接節(jié)點(diǎn)，沿拓?fù)鋱D形網(wǎng)絡(luò)向各個(gè)方向遍歷遇到的第一個(gè)刀閘都需要斷開(kāi)(斷路器和主變被視為短路)，才可以操作地刀。其操作邏輯規(guī)則定義如下<公式 > 地刀H :地刀_在_隔離區(qū)，******* !<公式 > 地刀L :地刀_在_隔離區(qū)，******* !〈判斷〉地刀_在_隔離區(qū)設(shè)備_隔離_緩存！<信息-不滿足 > 地刀_在_隔離區(qū)[錯(cuò)誤]帶電合地刀，涉及〈％ S〉！〈判斷〉設(shè)備_隔離_緩存設(shè)備_標(biāo)準(zhǔn)_隔離_緩存+******* !〈判斷〉設(shè)備_標(biāo)準(zhǔn)_隔離_緩存搜索_設(shè)備_連接的_不在分位的隔離設(shè)備_緩存.沒(méi)有搜索到設(shè)備！
<搜索 > 搜索_設(shè)備_連接的_不在分位的隔離設(shè)備_緩存搜索邊界-[刀閘+負(fù)荷開(kāi)關(guān)+開(kāi)關(guān).屬性是.低壓設(shè)備]\，從中排除判斷_[當(dāng)前操作設(shè)備]\，搜索目標(biāo)-[宏_刀閘不在分位+負(fù)荷開(kāi)關(guān).不在.分位+開(kāi)關(guān).屬性是.低壓設(shè)備；開(kāi)關(guān).不在.分位]\，內(nèi)部暫存搜索結(jié)果對(duì)上述地刀的操作規(guī)則的一些符號(hào)和關(guān)鍵字說(shuō)明如下符號(hào)說(shuō)明“ < ”和“ > ”配套使用，括號(hào)內(nèi)為拓?fù)浞勒`規(guī)則編譯模塊識(shí)別的關(guān)鍵字；
“ [ ”和“]”配套使用，括號(hào)內(nèi)為拓?fù)浞勒`規(guī)則編譯模塊識(shí)別限定條件；”為分隔符號(hào)；“！ ”為判斷結(jié)束符，“\”為續(xù)行符，“，”在搜索中為分隔符，在公式和判斷中表示“與”邏輯，“ + ”表示邏輯“或”的邏輯關(guān)系；s”為“內(nèi)部暫存搜索結(jié)果”的內(nèi)存數(shù)據(jù)；“地刀_在_隔離區(qū)”中的是為方便閱讀增加的分隔符，不是關(guān)鍵字；*表不省略其他判斷項(xiàng)，在實(shí)例中*所屬的上一級(jí)判斷的邏輯值決定于實(shí)例中說(shuō)明的“判斷項(xiàng)”的邏輯值，與*部分無(wú)關(guān)，*部分假定為滿足該判斷的邏輯值。關(guān)鍵字說(shuō)明公式在操作規(guī)則文件中，表示該行是公式的邏輯表達(dá)式；判斷在操作規(guī)則文件中，表示該行是判斷的邏輯表達(dá)式；搜索在操作規(guī)則文件中，表示該行是搜索的邏輯表達(dá)式；搜索邊界、從中排除判斷、搜索目標(biāo)為搜索的限定條件；內(nèi)部暫存搜索結(jié)果拓?fù)浞勒`規(guī)則編譯模塊識(shí)別需將搜索結(jié)果保存到內(nèi)存的關(guān)鍵字；沒(méi)有搜索到設(shè)備是判斷邏輯表達(dá)式對(duì)搜索結(jié)果進(jìn)行“空集”的判斷，當(dāng)搜索結(jié)果集合為空集時(shí)，該判斷結(jié)果為“True”，否則為“False”；信息-不滿足表示當(dāng)該關(guān)鍵字后面的判斷項(xiàng)結(jié)果為“False”時(shí)，將提示給用戶后面的信息；錯(cuò)誤提示用戶信息的等級(jí)分類(lèi)標(biāo)志。其中，〈公式〉地刀H :地刀_在_隔離區(qū)，林林林* !表示地刀合閘的允許條件是，“地刀_在_隔離區(qū)”判斷項(xiàng)的邏輯值為“True” ;判斷項(xiàng)通過(guò)判斷語(yǔ)句(邏輯表達(dá)式)名稱引用；<公式 > 地刀L :地刀_在_隔離區(qū)，林林林* !表示地刀合閘的允許條件是，“地刀_在_隔離區(qū)”判斷項(xiàng)的邏輯值為“True”;判斷項(xiàng)通過(guò)判斷語(yǔ)句(邏輯表達(dá)式)名稱引用；<判斷 > 地刀_在_隔離區(qū)設(shè)備_隔離_緩存！為公式判斷項(xiàng)，是一級(jí)判斷，表示判斷“地刀_在_隔離區(qū)”的邏輯值等于判斷項(xiàng)“設(shè)備_隔離_緩存”的邏輯值；〈判斷〉設(shè)備_隔離_緩存設(shè)備_標(biāo)準(zhǔn)_隔離_緩存+*******!為一級(jí)判斷項(xiàng)，是二級(jí)判斷，表示判斷“設(shè)備_隔離_緩存”的邏輯值等于判斷項(xiàng)“設(shè)備_標(biāo)準(zhǔn)_隔離_緩存”或****的邏輯值；
〈判斷〉設(shè)備_標(biāo)準(zhǔn)_隔離_緩存搜索_設(shè)備_連接的_不在分位的隔離設(shè)備_緩存.沒(méi)有搜索到設(shè)備！為二級(jí)判斷項(xiàng)，是三級(jí)判斷，表示當(dāng)“搜索_設(shè)備_連接的_不在分位的隔離設(shè)備_緩存”的搜索集合為“空集”時(shí)，判斷“設(shè)備_標(biāo)準(zhǔn)_隔離_緩存”的邏輯值為“True”，否則，邏輯值為“False” ；<搜索 > 搜索_設(shè)備_連接的_不在分位的隔離設(shè)備_緩存搜索邊界-[刀閘+負(fù)荷開(kāi)關(guān)+開(kāi)關(guān).屬性是.低壓設(shè)備]\，從中排除判斷-[當(dāng)前操作設(shè)備]\，搜索目標(biāo)-[宏_刀閘不在分位+負(fù)荷開(kāi)關(guān).不在.分位+開(kāi)關(guān).屬性是.低壓設(shè)備；開(kāi)關(guān).不在.分位]\，內(nèi)部暫存搜索結(jié)果是三級(jí)判斷項(xiàng)的相關(guān)搜索，表示為三級(jí)判斷(底層判斷)的相關(guān)搜索定義，用于定·義的搜索“搜索_設(shè)備_連接的_不在分位的隔離設(shè)備”的搜索邊界條件、集合篩選條件，以及搜索結(jié)果是否需要保存。參見(jiàn)圖2，圖2中所示111-1刀閘，作為一種可實(shí)施方式，刀閘的一個(gè)操作規(guī)則是禁止在帶負(fù)荷狀態(tài)下進(jìn)行合閘或分閘操作。即對(duì)刀閘進(jìn)行合閘或分閘操作時(shí)，與刀閘連接的相關(guān)開(kāi)關(guān)必須在分位；在實(shí)際情況中，可能還需要滿足其他規(guī)則，在此僅介紹滿足最基本規(guī)則的規(guī)則操作公式，具體如下<公式 > 刀閘H :*********刀閘_無(wú)_帶負(fù)荷_拉合**** !<公式 > 刀閘L :*********刀閘_無(wú)_帶負(fù)荷_拉合**** !〈判斷〉刀閘_無(wú)_帶負(fù)荷_拉合**********刀閘_一側(cè)_空載******** !〈判斷〉刀閘_一側(cè)_空載設(shè)備_直連開(kāi)關(guān)_無(wú)_合位，(刀閘_左側(cè)_空載+刀閘_右側(cè)_空載)！〈判斷〉設(shè)備_直連開(kāi)關(guān)_無(wú)_合位搜索_設(shè)備_直連_開(kāi)關(guān)_緩存.沒(méi)有搜索到設(shè)備！<信息-不滿足 > 設(shè)備_直連開(kāi)關(guān)_無(wú)_合位[錯(cuò)誤]開(kāi)關(guān)不在分位，涉及〈％s> !<搜索 > 搜索_設(shè)備_直連_開(kāi)關(guān)_緩存搜索邊界-[宏_直連_不可忽略設(shè)備]，搜索目標(biāo)-[開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位]，內(nèi)部暫存搜索結(jié)果〈判斷〉刀閘_左側(cè)_空載搜索_刀閘_左側(cè)_連接的負(fù)載.沒(méi)有搜索到設(shè)備！<搜索 > 搜索_刀閘_左側(cè)_連接的負(fù)載從電氣連接點(diǎn)I開(kāi)始搜索，搜索邊界-[宏_刀閘在分位+開(kāi)關(guān).在.分位+負(fù)荷開(kāi)關(guān).在.分位]\，從中排除判斷-[當(dāng)前操作設(shè)備]\，搜索目標(biāo)-[宏_終端負(fù)荷+所變.屬性是.所變大負(fù)荷+開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位+主變]〈判斷〉刀閘_右側(cè)_空載搜索_刀閘_右側(cè)_連接的負(fù)載.沒(méi)有搜索到設(shè)備！<搜索 > 搜索_刀閘_右側(cè)_連接的負(fù)載從電氣連接點(diǎn)I開(kāi)始搜索，搜索邊界-[宏_刀閘在分位+開(kāi)關(guān).在.分位+負(fù)荷開(kāi)關(guān).在.分位]\，從中排除判斷_[當(dāng)前操作設(shè)備]\，搜索目標(biāo)-[宏_終端負(fù)荷+所變.屬性是.所變大負(fù)荷+開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位+主變]符號(hào)說(shuō)明“〈”和“〉”配套使用，括號(hào)內(nèi)為拓?fù)浞勒`規(guī)則編譯模塊識(shí)別的關(guān)鍵字；“ [ ”和“]”配套使用，括號(hào)內(nèi)為拓?fù)浞勒`規(guī)則編譯模塊識(shí)別限定條件；“(”和“)”配套使用，括號(hào)內(nèi)為拓?fù)浞勒`規(guī)則編譯模塊識(shí)別的關(guān)鍵字，括號(hào)內(nèi)相當(dāng)于一個(gè)判斷項(xiàng)，目的為方便閱讀，不影響計(jì)算順序；”為分隔符號(hào)；“！ ”為判斷結(jié)束符，“\”為續(xù)行符，“，”在搜索中為分隔符，在公式和判斷中表示“與”邏輯，“ + ”表示邏輯“或”的邏輯關(guān)系；s”為“內(nèi)部暫存搜索結(jié)果”的內(nèi)存數(shù)據(jù)； “地刀_在_隔離區(qū)”中的是為方便閱讀增加的分隔符，不是關(guān)鍵字；*表示省略其他判斷項(xiàng)，在實(shí)例中*所屬的上一級(jí)判斷的邏輯值決定于實(shí)例中說(shuō)明的“判斷項(xiàng)”的邏輯值，與*部分無(wú)關(guān)，*部分假定為滿足該判斷的邏輯值。關(guān)鍵字說(shuō)明公式在操作規(guī)則文件中，表示該行是公式的邏輯表達(dá)式；判斷在操作規(guī)則文件中，表示該行是判斷的邏輯表達(dá)式；搜索在操作規(guī)則文件中，表示該行是搜索的邏輯表達(dá)式；從電氣連接點(diǎn)I開(kāi)始搜索、搜索邊界、從中排除判斷、搜索目標(biāo)為搜索的限定條件；內(nèi)部暫存搜索結(jié)果拓?fù)浞勒`規(guī)則編譯模塊識(shí)別需將搜索結(jié)果保存到內(nèi)存的關(guān)鍵字；沒(méi)有搜索到設(shè)備是判斷邏輯表達(dá)式對(duì)搜索結(jié)果進(jìn)行“空集”的判斷，當(dāng)搜索結(jié)果集合為空集時(shí)，該判斷為“True” ；信息-不滿足表示當(dāng)該關(guān)鍵字后面的判斷項(xiàng)結(jié)果為“False”時(shí)，將顯示后面的信息；錯(cuò)誤顯示信息的等級(jí)分類(lèi)；公式〈公式〉刀閘H :林林林*刀閘_無(wú)_帶負(fù)荷_拉合*林！表示刀閘合閘的允許條件要求“刀閘_無(wú)_帶負(fù)荷_拉合”的判斷項(xiàng)的邏輯值為“True”;判斷項(xiàng)通過(guò)判斷語(yǔ)句(邏輯表達(dá)式)名稱引用；〈公式〉刀閘L:林林林*刀閘_無(wú)_帶負(fù)荷_拉合*林！表示刀閘分閘的允許條件要求“刀閘_無(wú)_帶負(fù)荷_拉合”的判斷項(xiàng)的邏輯值為“True”;判斷項(xiàng)通過(guò)判斷語(yǔ)句(邏輯表達(dá)式)名稱引用；〈判斷〉刀閘_無(wú)_帶負(fù)荷_拉合林*刀閘_一側(cè)_空載*林林！為公式判斷項(xiàng)，是一級(jí)判斷，表示判斷“刀閘_無(wú)_帶負(fù)荷_拉合”的邏輯值為“True”，要求判斷項(xiàng)“刀閘_ 一側(cè)_空載”的邏輯值為“True” ；〈判斷〉刀閘_一側(cè)_空載設(shè)備_直連開(kāi)關(guān)_無(wú)_合位，(刀閘_左側(cè)_空載+刀閘_右側(cè)_空載)！為一級(jí)判斷項(xiàng)，是二級(jí)判斷，表示判斷“刀閘_無(wú)_帶負(fù)荷_拉合”的邏輯值為“True”，要求判斷項(xiàng)“設(shè)備_直連開(kāi)關(guān)_無(wú)_合位，(刀閘_左側(cè)_空載+刀閘_右側(cè)_空載)”的邏輯值為“True” ；〈判斷〉設(shè)備_直連開(kāi)關(guān)_無(wú)_合位搜索_設(shè)備_直連_開(kāi)關(guān)_緩存.沒(méi)有搜索到設(shè)備！為二級(jí)判斷項(xiàng)，是三級(jí)判斷，表示當(dāng)“搜索_設(shè)備_直連_開(kāi)關(guān)_緩存”的搜索結(jié)果集合為“空集”時(shí)，判斷“設(shè)備_直連開(kāi)關(guān)-無(wú)-合位”的邏輯值為“True”，否則，邏輯值為 “False”;<搜索 > 搜索_設(shè)備_直連_開(kāi)關(guān)_緩存搜索邊界-[宏_直連_不可忽略設(shè)備]，搜索目標(biāo)-[開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位]，內(nèi)部暫存搜索結(jié)果，為三級(jí)判斷項(xiàng)的相關(guān)搜索，表示為三級(jí)判斷(底層判斷)的相關(guān)搜索定義，用于定義的搜索“搜索_設(shè)備_直連_開(kāi)關(guān)_緩存”的搜索邊界條件、集合篩選的條件，以及搜索結(jié)果是否需要保存；〈判斷〉刀閘_左側(cè)_空載搜索_刀閘_左側(cè)_連接的負(fù)載.沒(méi)有搜索到設(shè)備！為二級(jí)判斷項(xiàng)，是三級(jí)判斷，表示當(dāng)“搜索_刀閘_左側(cè)_連接的負(fù)載”的搜索結(jié)果集合為“空集”時(shí)，判斷“刀閘_左側(cè)_空載”的邏輯值為“True”，否則，為“False”。<搜索 > 搜索_刀閘_左側(cè)_連接的負(fù)載從電氣連接點(diǎn)I開(kāi)始搜索，搜索邊 界-[宏_刀閘在分位+開(kāi)關(guān)+負(fù)荷開(kāi)關(guān)]\，從中排除判斷_[當(dāng)前操作設(shè)備]\，搜索目標(biāo)-[宏_終端負(fù)荷+所變.屬性是.所變大負(fù)荷+開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位+主變]為三級(jí)判斷項(xiàng)的相關(guān)搜索，表示為三級(jí)判斷(底層判斷)的相關(guān)搜索定義，用于定義的搜索“搜索_刀閘_左側(cè)_連接的負(fù)載”的搜索邊界條件、集合篩選的條件?！磁袛唷档堕l_右側(cè)_空載搜索_刀閘_右側(cè)_連接的負(fù)載.沒(méi)有搜索到設(shè)備！為二級(jí)判斷項(xiàng)，是三級(jí)判斷，表示當(dāng)“搜索_刀閘_右側(cè)_連接的負(fù)載”的搜索結(jié)果集合為“空集”時(shí)，判斷“刀閘_右側(cè)_空載”的邏輯值為“True”，否則，為“False”。<搜索 > 搜索_刀閘_右側(cè)_連接的負(fù)載從電氣連接點(diǎn)I開(kāi)始搜索，搜索邊界-[宏_刀閘在分位+開(kāi)關(guān)+負(fù)荷開(kāi)關(guān)]\，從中排除判斷_[當(dāng)前操作設(shè)備]\，搜索目標(biāo)-[宏_終端負(fù)荷+所變.屬性是.所變大負(fù)荷+開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位+主變]為三級(jí)判斷項(xiàng)的相關(guān)搜索，表示為三級(jí)判斷(底層判斷)的相關(guān)搜索定義，用于定義的搜索“搜索_刀閘_右側(cè)_連接的負(fù)載”的搜索邊界條件、集合篩選的條件。12.將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為基本設(shè)備來(lái)構(gòu)建設(shè)備拓?fù)涔?jié)點(diǎn)表。步驟12包括兩個(gè)步驟121.將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為基本設(shè)備，并將分解結(jié)果保存到設(shè)備分解描述文件中。將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為基本開(kāi)關(guān)類(lèi)設(shè)備包括a)將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備分解為兩個(gè)以上基本開(kāi)關(guān)類(lèi)設(shè)備的連接組合，使得分解后的基本開(kāi)關(guān)類(lèi)設(shè)備的組合的對(duì)外接線端子特性，與分解前的復(fù)合開(kāi)關(guān)類(lèi)設(shè)備的對(duì)外接線端子特性一致；b)將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備的各狀態(tài)與分解后的基本開(kāi)關(guān)類(lèi)設(shè)備各狀態(tài)映射，使得復(fù)合開(kāi)關(guān)類(lèi)設(shè)備的每個(gè)狀態(tài)均有分解后的各個(gè)基本開(kāi)關(guān)類(lèi)設(shè)備的狀態(tài)與之對(duì)應(yīng)；c)將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備的狀態(tài)轉(zhuǎn)換分解為基本開(kāi)關(guān)類(lèi)設(shè)備的狀態(tài)轉(zhuǎn)換序列。復(fù)合開(kāi)關(guān)類(lèi)設(shè)備為由多個(gè)基本開(kāi)關(guān)類(lèi)設(shè)備組合而成的設(shè)備，如小車(chē)、三工位刀閘等；基本開(kāi)關(guān)類(lèi)設(shè)備是指開(kāi)關(guān)、刀閘、地刀(地線)、網(wǎng)門(mén)、負(fù)荷開(kāi)關(guān)五種設(shè)備，地刀和地線可以合稱為接地設(shè)備，地刀是接地刀閘的簡(jiǎn)稱。對(duì)于小車(chē)這種復(fù)合開(kāi)關(guān)類(lèi)設(shè)備，系統(tǒng)將其分解為刀閘、開(kāi)關(guān)、接地設(shè)備等基本開(kāi)關(guān)類(lèi)設(shè)備組合而成的設(shè)備。該分解結(jié)果保存到設(shè)備分解描述文件中，系統(tǒng)在處理該類(lèi)設(shè)備時(shí)按分解后的基本開(kāi)關(guān)類(lèi)設(shè)備處理。設(shè)備分解描述文件包括了復(fù)合開(kāi)關(guān)類(lèi)設(shè)備各狀態(tài)對(duì)應(yīng)的分解后各基本開(kāi)關(guān)類(lèi)設(shè)備的狀態(tài)，同時(shí)還包含了分解后各基本開(kāi)關(guān)類(lèi)設(shè)備間的連接關(guān)系。分解后的基本開(kāi)關(guān)類(lèi)設(shè)備的組合，其對(duì)外的端子特性與原復(fù)合開(kāi)關(guān)類(lèi)設(shè)備是一致的。比如三工位刀閘可以分解為一個(gè)刀閘加一個(gè)接地刀閘，三個(gè)狀態(tài)分別映射到刀閘和接地刀閘相應(yīng)的狀態(tài)。122.根據(jù)系統(tǒng)接線圖和設(shè)備分解描述文件，構(gòu)建設(shè)備拓?fù)涔?jié)點(diǎn)表，所述設(shè)備拓?fù)涔?jié)點(diǎn)表至少包含各設(shè)備之間的連接關(guān)系信息。根據(jù)一次系統(tǒng)接線圖，構(gòu)建設(shè)備拓?fù)涔?jié)點(diǎn)表。拓?fù)涔?jié)點(diǎn)表 包含了設(shè)備信息以及設(shè)備間的連接關(guān)系信息等。對(duì)于復(fù)合開(kāi)關(guān)類(lèi)設(shè)備，這里將其根據(jù)設(shè)備分解描述文件重新處理拓?fù)涔?jié)點(diǎn)表，即拓?fù)涔?jié)點(diǎn)表中原來(lái)的復(fù)合開(kāi)關(guān)類(lèi)設(shè)備經(jīng)處理后，已經(jīng)處理成了基本設(shè)備(開(kāi)關(guān)、刀閘、接地刀閘)間的連接，并進(jìn)一步與系統(tǒng)中的其他節(jié)點(diǎn)連接。a)實(shí)例中圖I中-27相關(guān)節(jié)點(diǎn)表如下節(jié)點(diǎn)a :112開(kāi)關(guān)·熱點(diǎn)1，112_4刀閘·熱點(diǎn)1，-27地刀·熱點(diǎn)O。b)實(shí)例中圖2中111-1相關(guān)節(jié)點(diǎn)表如下節(jié)點(diǎn)a 111開(kāi)關(guān)·熱點(diǎn)1，111-1刀閘·熱點(diǎn)0，-27地刀·熱點(diǎn)O。節(jié)點(diǎn)b :111-1刀閘.熱點(diǎn)1，ML11刀閘.熱點(diǎn)1，101-1刀閘.熱點(diǎn)1，MXI母線.熱點(diǎn)0，101-1刀閘·熱點(diǎn)I。13.當(dāng)出現(xiàn)操作請(qǐng)求時(shí),結(jié)合所述設(shè)備拓?fù)涔?jié)點(diǎn)表，計(jì)算請(qǐng)求操作的設(shè)備的操作規(guī)則公式，并將計(jì)算結(jié)果返回給防誤主機(jī)。作為一種可實(shí)施方式，步驟13可以由如下四步來(lái)完成131.當(dāng)出現(xiàn)操作請(qǐng)求時(shí)，根據(jù)請(qǐng)求操作的設(shè)備類(lèi)型和操作類(lèi)型調(diào)用對(duì)應(yīng)的設(shè)備操作規(guī)則公式；132.按照調(diào)用的設(shè)備操作規(guī)則公式的邏輯表達(dá)式，在所述設(shè)備拓?fù)涔?jié)點(diǎn)表上進(jìn)行搜索，得到搜索結(jié)果集合；133.對(duì)搜索結(jié)果集合按照所述邏輯表達(dá)式進(jìn)行判斷，得到計(jì)算結(jié)果；134.將計(jì)算結(jié)果返回給所述防誤主機(jī)。系統(tǒng)根據(jù)步驟12中拓?fù)潢P(guān)系及當(dāng)前系統(tǒng)中各設(shè)備狀態(tài)，對(duì)防誤主機(jī)的操作請(qǐng)求進(jìn)行響應(yīng)，計(jì)算步驟11中定義的設(shè)備操作規(guī)則公式，將計(jì)算結(jié)果返回給防誤主機(jī)。當(dāng)請(qǐng)求的操作為合-27地刀時(shí)，系統(tǒng)取地刀的合閘公式，根據(jù)公式計(jì)算判斷‘地刀_在_隔離區(qū)’，該判斷要求先執(zhí)行‘地刀連接的合位刀閘’搜索，并檢查搜索結(jié)果集合是否有設(shè)備，如果搜索結(jié)果集合沒(méi)有設(shè)備則返回允許操作，否則返回禁止操作結(jié)果以及相關(guān)禁止操作設(shè)備的列表。當(dāng)操作輸入請(qǐng)求為-27由狀態(tài)O (分位)轉(zhuǎn)換到狀態(tài)I (合位)時(shí)，拓?fù)浞勒`邏輯系統(tǒng)根據(jù)“_27由狀態(tài)O轉(zhuǎn)換到狀態(tài)I”請(qǐng)求，分析出該請(qǐng)求的設(shè)備類(lèi)型為地刀，操作類(lèi)型為合閘，系統(tǒng)將調(diào)用地刀的合閘公式。依據(jù)公式的邏輯表達(dá)式開(kāi)始計(jì)算，本例中邏輯表達(dá)式的計(jì)算首先執(zhí)行公式的判斷項(xiàng)“地刀_在_隔離區(qū)”，在執(zhí)行“地刀_在_隔離區(qū)”的判斷項(xiàng)時(shí)，拓?fù)浞勒`邏輯系統(tǒng)按以下順序調(diào)用相應(yīng)的判斷和搜索，如圖3所示。對(duì)于底層判斷“設(shè)備_標(biāo)準(zhǔn)_隔離_緩存”，將執(zhí)行“搜索_設(shè)備_連接的_不在分位的隔離設(shè)備_緩存”的搜索，該搜索從-27地刀熱點(diǎn)O所在的拓?fù)涔?jié)點(diǎn)a出發(fā)，遍歷節(jié)點(diǎn)表，沿連線搜索到邊界條件“-4刀閘”、“-2刀閘”截止，拓?fù)浞勒`邏輯系統(tǒng)用在邊界限定條件內(nèi)搜索到的設(shè)備“分位的112開(kāi)關(guān)”、“分位的-2刀閘”、“分位的-4刀閘”、“分位的-17地刀”、“分位的-27地刀”生成初步的目標(biāo)設(shè)備集合，再根據(jù)結(jié)果集合篩選條件(“宏_刀閘不在分位+負(fù)荷開(kāi)關(guān).不在.分位+開(kāi)關(guān).屬性是.低壓設(shè)備；開(kāi)關(guān).不在.分位”以及“從中排除判斷-當(dāng)前操作設(shè)備”(-27地刀))，對(duì)初步的目標(biāo)設(shè)備集合進(jìn)行篩選。在篩選結(jié)果集合時(shí)，由于篩選條件中涉及到設(shè)備狀態(tài)，故系統(tǒng)先從當(dāng)前狀態(tài)表中讀取初步目標(biāo)集合中設(shè)備的狀態(tài)(-2刀閘.狀態(tài)0，112開(kāi)關(guān).狀態(tài)0，-4刀閘.狀態(tài)0，-27地刀.狀態(tài)0，-17地刀.狀態(tài)O)，再按篩選條件進(jìn)行篩選。本例中的篩選結(jié)果為“空”，也即，搜索_設(shè)備_連接的_不在分位的隔離設(shè)備_緩存”返回目標(biāo)集合為“空集“，判斷項(xiàng)“地刀_在_隔離區(qū)”的最終邏輯結(jié)果值為T(mén)rUe。返回值的過(guò)程如圖4所示。也即-27地刀可以合操作。
當(dāng)操作輸入請(qǐng)求為111-1由狀態(tài)I (合位)轉(zhuǎn)換到狀態(tài)O (分位)時(shí)，系統(tǒng)根據(jù)“111-1由狀態(tài)I轉(zhuǎn)換到狀態(tài)O”請(qǐng)求，分析出該請(qǐng)求的設(shè)備類(lèi)型為刀閘，操作類(lèi)型為分閘。系統(tǒng)將調(diào)用刀閘的分閘公式。依據(jù)公式的邏輯表達(dá)式開(kāi)始計(jì)算，邏輯表達(dá)式計(jì)算首先執(zhí)行公式的判斷項(xiàng)“刀閘_無(wú)_帶負(fù)荷_拉合”，在執(zhí)行“刀閘_無(wú)_帶負(fù)荷_拉合”的判斷項(xiàng)時(shí)，拓?fù)浞勒`邏輯系統(tǒng)調(diào)用判斷和搜索的順序如圖5所示。當(dāng)“設(shè)備_直連開(kāi)關(guān)_無(wú)_合位”判斷成功后，才調(diào)用括號(hào)內(nèi)的“刀閘_左側(cè)_空載”和“刀閘_右側(cè)_空載”；括號(hào)內(nèi)先執(zhí)行“刀閘_左側(cè)_空載”，若“刀閘_左側(cè)_空載”的邏輯結(jié)果為“True”時(shí)，則返回括號(hào)內(nèi)判斷項(xiàng)的結(jié)果，不再執(zhí)行“刀閘_右側(cè)_空載”的判斷項(xiàng)；若“刀閘_左側(cè)_空載”失敗，再繼續(xù)調(diào)用判斷項(xiàng)“刀閘_右側(cè)_空載”并執(zhí)行，將“刀閘_右側(cè)_空載”的判斷項(xiàng)的結(jié)果返回給上一級(jí)判斷。具體返回邏輯值的過(guò)程如圖6所示。本例中“111-1刀閘由狀態(tài)I轉(zhuǎn)換到狀態(tài)O”的操作請(qǐng)求，其底層判斷項(xiàng)“設(shè)備_直連開(kāi)關(guān)_無(wú)_合”在對(duì)“搜索_設(shè)備_直連_開(kāi)關(guān)_緩存”的搜索集合進(jìn)行判斷時(shí)，拓?fù)浞勒`邏輯系統(tǒng)將執(zhí)行“搜索_設(shè)備_直連_開(kāi)關(guān)_緩存”的搜索，由該搜索返回搜索集合的結(jié)果，執(zhí)行“搜索_設(shè)備_直連_開(kāi)關(guān)_緩存”的搜索過(guò)程如下111-1刀閘分別從刀閘所在節(jié)點(diǎn)a、節(jié)點(diǎn)b出發(fā)搜索,遍歷節(jié)點(diǎn)表,沿連線搜索到邊界條件(所有不可忽略的電氣設(shè)備)“母線MXI”、“111開(kāi)關(guān)”截止，拓?fù)浞勒`邏輯系統(tǒng)用在邊界限定條件內(nèi)搜索到的設(shè)備“分位的111開(kāi)關(guān)”、“MXI母線”生成初步的目標(biāo)設(shè)備集合，根據(jù)結(jié)果集合篩選條件(“開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位”)對(duì)初步目標(biāo)設(shè)備集合進(jìn)行篩選。由于結(jié)果集合篩選條件中涉及到設(shè)備狀態(tài)，拓?fù)浞勒`邏輯系統(tǒng)將先從當(dāng)前狀態(tài)表中讀取初步目標(biāo)設(shè)備集合中設(shè)備的狀態(tài)(111開(kāi)關(guān).狀態(tài)O)，再執(zhí)行搜索并對(duì)結(jié)果集合進(jìn)行篩選。本例篩選后得到是空集，也即“搜索_設(shè)備_直連_開(kāi)關(guān)_緩存”返回的集合是“空集”，故判斷項(xiàng)“設(shè)備_直連開(kāi)關(guān)_無(wú)_合”的邏輯計(jì)算結(jié)果為“True” ；由于“設(shè)備_直連開(kāi)關(guān)_無(wú)_合”的邏輯為“True”，將調(diào)用“刀閘_左側(cè)_空載”的判斷，開(kāi)始執(zhí)行“搜索_刀閘_左側(cè)_連接的負(fù)載”的搜索，執(zhí)行過(guò)程如下111-1刀閘分別從刀閘的左側(cè)熱點(diǎn)I所節(jié)點(diǎn)b出發(fā)搜索,遍歷節(jié)點(diǎn)表,沿連線搜索到邊界條件(所有不可忽略的電氣設(shè)備)“分位的111-1刀閘”、“分位的MLll刀閘”、“分位的101-1刀閘”截止，拓?fù)浞勒`邏輯系統(tǒng)用在邊界限定條件內(nèi)搜索到的設(shè)備“分位的111-1刀閘”、“分位的MLll刀閘”、“分位的101-1刀閘”、“MXI、母線”生成初步的目標(biāo)設(shè)備集合，根據(jù)結(jié)果集合篩選條件(“宏_終端負(fù)荷+所變.屬性是.所變大負(fù)荷+開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位+主變”)對(duì)初步目標(biāo)設(shè)備集合進(jìn)行篩選。由于初步結(jié)果集合中并沒(méi)有滿足目標(biāo)條件的設(shè)備，故，本例篩選后得到是空集，也即“搜索_刀閘_左側(cè)_連接的負(fù)載”返回的集合是“空集”，故判斷項(xiàng)“刀閘_左側(cè)_空載”的邏輯計(jì)算結(jié)果為“True” ;最終“刀閘_無(wú)_帶負(fù)荷_拉合”的邏輯值為“True”。本例中返回值過(guò)程如圖7所示；實(shí)際執(zhí)行的判斷調(diào)用順序如圖8所示。14.防誤主機(jī)將計(jì)算結(jié)果提示給用戶。當(dāng)計(jì)算結(jié)果是允許操作時(shí)，則提示對(duì)應(yīng)的設(shè)備操作請(qǐng)求正確；當(dāng)計(jì)算結(jié)果是禁止操作時(shí)，則提示對(duì)應(yīng)的設(shè)備操作請(qǐng)求錯(cuò)誤及相關(guān)的錯(cuò)誤信息，如“禁止帶接地合刀閘！ ”，當(dāng)請(qǐng)求的操作違反了非嚴(yán)格執(zhí)行的操作規(guī)則，則防誤主機(jī)詢問(wèn)用戶是否繼續(xù)執(zhí)行，是，則繼續(xù)執(zhí)行，否，則不執(zhí)行，即根據(jù)交互結(jié)果進(jìn)行后續(xù)的判斷。·“-27由狀態(tài)O轉(zhuǎn)換到狀態(tài)I”的操作請(qǐng)求由地刀的合閘公式的判斷項(xiàng)“地刀_在_隔離區(qū)”返回邏輯計(jì)算值“True”，即，拓?fù)浞勒`邏輯系統(tǒng)將給予“_27由狀態(tài)O轉(zhuǎn)換到狀態(tài)I”的操作請(qǐng)求響應(yīng)“允許”?！?11-1刀閘由狀態(tài)I轉(zhuǎn)換到狀態(tài)O”的操作請(qǐng)求由刀閘的合閘公式的判斷項(xiàng)“刀閘_無(wú)_帶負(fù)荷_拉合”返回邏輯計(jì)算值“True”，即，拓?fù)浞勒`邏輯系統(tǒng)將給予“111-1由狀態(tài)I轉(zhuǎn)換到狀態(tài)O”的操作請(qǐng)求響應(yīng)“允許”。實(shí)施例2如圖3所示的系統(tǒng)接線圖，作為一種可實(shí)施方式，則本發(fā)明提供的防誤操作方法包括步驟21、編寫(xiě)設(shè)備操作規(guī)則公式。圖3中涉及到多種基本開(kāi)關(guān)類(lèi)設(shè)備和復(fù)合開(kāi)關(guān)類(lèi)設(shè)備，以-GDl 17地刀、-FDll刀閘、-GS9131連鎖刀閘為例，說(shuō)明設(shè)備的操作規(guī)則公式的編寫(xiě)方法。-GDl 17地刀的操作規(guī)則公式的編寫(xiě)過(guò)程如下-GD117地刀為圖3中箭頭I所指設(shè)備，所應(yīng)遵循的操作規(guī)則的實(shí)質(zhì)同圖I中的-27地刀，即地刀點(diǎn)各方向的相關(guān)刀閘都在分位，也就是對(duì)地刀進(jìn)行合閘操作時(shí)，地刀必須在隔離區(qū)，此時(shí)斷路器和主變被視為短路。具體操作規(guī)則公式如下<公式 > 地刀H :地刀_在_隔離區(qū)，******* !<公式 > 地刀L :地刀_在_隔離區(qū)，******* !〈判斷〉地刀_在_隔離區(qū)設(shè)備_隔離_緩存！〈信息-不滿足〉地刀_在_隔離區(qū)[錯(cuò)誤]帶電合地刀，涉及〈％S〉!〈判斷〉設(shè)備_隔離_緩存設(shè)備_標(biāo)準(zhǔn)_隔離_緩存+*******!〈判斷〉設(shè)備_標(biāo)準(zhǔn)_隔離_緩存搜索_設(shè)備_連接的_不在分位的隔離設(shè)備_緩存.沒(méi)有搜索到設(shè)備！<搜索 > 搜索_設(shè)備_連接的_不在分位的隔離設(shè)備_緩存搜索邊界-[刀閘+負(fù)荷開(kāi)關(guān)+開(kāi)關(guān).屬性是.低壓設(shè)備]\，從中排除判斷_[當(dāng)前操作設(shè)備]\，搜索目標(biāo)-[宏_刀閘不在分位+負(fù)荷開(kāi)關(guān).不在.分位+開(kāi)關(guān).屬性是.低壓設(shè)備；開(kāi)關(guān).不在.分位]\，內(nèi)部暫存搜索結(jié)果對(duì)上述地刀的操作規(guī)則的一些符號(hào)和關(guān)鍵字說(shuō)明如下符號(hào)說(shuō)明“〈”和“〉”配套使用，括號(hào)內(nèi)為拓?fù)浞勒`規(guī)則編譯模塊識(shí)別的關(guān)鍵字；“ [ ”和“]”配套使用，括號(hào)內(nèi)為拓?fù)浞勒`規(guī)則編譯模塊識(shí)別限定條件；”為分隔符號(hào)；“！ ”為判斷結(jié)束符，“\”為續(xù)行符，“，”在搜索中為分隔符，在公式和判斷中表示“與”邏輯，“ + ”表示邏輯“或”的邏輯關(guān)系；s”為“內(nèi)部暫存搜索結(jié)果”的內(nèi)存數(shù)據(jù)；·“地刀_在_隔離區(qū)”中的是為方便閱讀增加的分隔符，不是關(guān)鍵字；*表示省略其他判斷項(xiàng)，在實(shí)例中*所屬的上一級(jí)判斷的邏輯值決定于實(shí)例中說(shuō)明的“判斷項(xiàng)”的邏輯值，與*部分無(wú)關(guān)，*部分假定為滿足該判斷的邏輯值。關(guān)鍵字說(shuō)明公式在操作規(guī)則文件中，表示該行是公式的邏輯表達(dá)式；判斷在操作規(guī)則文件中，表示該行是判斷的邏輯表達(dá)式；搜索在操作規(guī)則文件中，表示該行是搜索的邏輯表達(dá)式；搜索邊界、從中排除判斷、搜索目標(biāo)為搜索的限定條件；內(nèi)部暫存搜索結(jié)果拓?fù)浞勒`規(guī)則編譯模塊識(shí)別需將搜索結(jié)果保存到內(nèi)存的關(guān)鍵字；沒(méi)有搜索到設(shè)備是判斷邏輯表達(dá)式對(duì)搜索結(jié)果進(jìn)行“空集”的判斷，當(dāng)搜索結(jié)果集合為空集時(shí)，該判斷為“True” ；信息-不滿足表示當(dāng)該關(guān)鍵字后面的判斷項(xiàng)結(jié)果為“False”時(shí)，將顯示后面的信息；錯(cuò)誤顯示信息的等級(jí)分類(lèi)標(biāo)志。其中，〈公式〉地刀H :地刀_在_隔離區(qū)，林林林* !表示地刀合閘的允許條件是，“地刀_在_隔離區(qū)”判斷項(xiàng)的邏輯值為“True” ;判斷項(xiàng)通過(guò)判斷語(yǔ)句(邏輯表達(dá)式)名稱引用；<公式 > 地刀L :地刀_在_隔離區(qū)，******* !表示地刀合閘的允許條件是，“地刀_在_隔離區(qū)”判斷項(xiàng)的邏輯值為“True”;判斷項(xiàng)通過(guò)判斷語(yǔ)句(邏輯表達(dá)式)名稱引用；<判斷 > 地刀_在_隔離區(qū)設(shè)備_隔離_緩存！為公式判斷項(xiàng)，是一級(jí)判斷，表示判斷“地刀_在_隔離區(qū)”的邏輯值等于判斷項(xiàng)“設(shè)備_隔離_緩存”的邏輯值；〈判斷〉設(shè)備_隔離_緩存設(shè)備_標(biāo)準(zhǔn)_隔離_緩存+*******!為一級(jí)判斷項(xiàng)，是二級(jí)判斷，表示判斷“設(shè)備_隔離_緩存”的邏輯值等于判斷項(xiàng)“設(shè)備_標(biāo)準(zhǔn)_隔離_緩存”或****的邏輯值；〈判斷〉設(shè)備_標(biāo)準(zhǔn)_隔離_緩存搜索_設(shè)備_連接的_不在分位的隔離設(shè)備_緩存.沒(méi)有搜索到設(shè)備！為二級(jí)判斷項(xiàng)，是三級(jí)判斷，表示當(dāng)“搜索_設(shè)備_連接的_不在分位的隔離設(shè)備_緩存”的搜索集合為“空集”時(shí)，判斷“設(shè)備_標(biāo)準(zhǔn)_隔離_緩存”的邏輯值為“True”，否則，邏輯值為“False” ；
<搜索 > 搜索_設(shè)備_連接的_不在分位的隔離設(shè)備_緩存搜索邊界-[刀閘+負(fù)荷開(kāi)關(guān)+開(kāi)關(guān).屬性是.低壓設(shè)備]\，從中排除判斷_[當(dāng)前操作設(shè)備]\，搜索目標(biāo)-[宏_刀閘不在分位+負(fù)荷開(kāi)關(guān).不在.分位+開(kāi)關(guān).屬性是.低壓設(shè)備；開(kāi)關(guān).不在.分位]\，內(nèi)部暫存搜索結(jié)果是三級(jí)判斷項(xiàng)的相關(guān)搜索，表示為三級(jí)判斷(底層判斷)的 相關(guān)搜索定義，用于定義的搜索“搜索_設(shè)備_連接的_不在分位的隔離設(shè)備”的搜索邊界條件、集合篩選條件，以及搜索結(jié)果是否需要保存。-FDll刀閘的操作規(guī)則公式的編寫(xiě)過(guò)程如下-FDll刀閘為圖3中箭頭2所指設(shè)備，其操作規(guī)則為禁止在帶負(fù)荷狀態(tài)下對(duì)刀閘進(jìn)行合閘或分閘操作。即對(duì)刀閘進(jìn)行合閘或分閘操作時(shí)，與刀閘連接的相關(guān)開(kāi)關(guān)必須在分位；在實(shí)際情況中，可能還需要滿足其他規(guī)則，在此僅介紹滿足最基本規(guī)則的規(guī)則操作公式，具體如下 <公式 > 刀閘H :*********刀閘_無(wú)_帶負(fù)荷_拉合**** !<公式 > 刀閘L :*********刀閘_無(wú)_帶負(fù)荷_拉合**** !〈判斷〉刀閘_無(wú)_帶負(fù)荷_拉合**********刀閘_一側(cè)_空載******** !〈判斷〉刀閘_一側(cè)_空載設(shè)備_直連開(kāi)關(guān)_無(wú)_合位，(刀閘_左側(cè)_空載+刀閘_右側(cè)_空載)！〈判斷〉設(shè)備_直連開(kāi)關(guān)_無(wú)_合位搜索_設(shè)備_直連_開(kāi)關(guān)_緩存.沒(méi)有搜索到設(shè)備！<信息-不滿足 > 設(shè)備_直連開(kāi)關(guān)_無(wú)_合位[錯(cuò)誤]開(kāi)關(guān)不在分位，涉及〈％s> !<搜索 > 搜索_設(shè)備_直連_開(kāi)關(guān)_緩存搜索邊界-[宏_直連_不可忽略設(shè)備]，搜索目標(biāo)-[開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位]，內(nèi)部暫存搜索結(jié)果〈判斷〉刀閘_左側(cè)_空載搜索_刀閘_左側(cè)_連接的負(fù)載.沒(méi)有搜索到設(shè)備！〈搜索〉搜索_刀閘_左側(cè)_連接的負(fù)載從電氣連接點(diǎn)I開(kāi)始搜索，搜索邊界-[宏_刀閘在分位+開(kāi)關(guān).在.分位+負(fù)荷開(kāi)關(guān).在.分位]\，從中排除判斷_[當(dāng)前操作設(shè)備]\，搜索目標(biāo)-[宏_終端負(fù)荷+所變.屬性是.所變大負(fù)荷+開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位+主變]〈判斷〉刀閘_右側(cè)_空載搜索_刀閘_右側(cè)_連接的負(fù)載.沒(méi)有搜索到設(shè)備！<搜索 > 搜索_刀閘_右側(cè)_連接的負(fù)載從電氣連接點(diǎn)I開(kāi)始搜索，搜索邊界-[宏_刀閘在分位+開(kāi)關(guān).在.分位+負(fù)荷開(kāi)關(guān).在.分位]\，從中排除判斷_[當(dāng)前操作設(shè)備]\，搜索目標(biāo)-[宏_終端負(fù)荷+所變.屬性是.所變大負(fù)荷+開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位+主變]符號(hào)說(shuō)明“〈”和“〉”配套使用，括號(hào)內(nèi)為拓?fù)浞勒`規(guī)則編譯模塊識(shí)別的關(guān)鍵字；
“ [ ”和“]”配套使用，括號(hào)內(nèi)為拓?fù)浞勒`規(guī)則編譯模塊識(shí)別限定條件；“(”和“)”配套使用，括號(hào)內(nèi)為拓?fù)浞勒`規(guī)則編譯模塊識(shí)別的關(guān)鍵字，括號(hào)內(nèi)相當(dāng)于一個(gè)判斷項(xiàng)，目的為方便閱讀，不影響計(jì)算順序；”為分隔符號(hào)；“！ ”為判斷結(jié)束符，“\”為續(xù)行符，“，”在搜索中為分隔符，在公式和判斷中表示“與”邏輯，“ + ”表示邏輯“或”的邏輯關(guān)系；s”為“內(nèi)部暫存搜索結(jié)果”的內(nèi)存數(shù)據(jù)；“地刀_在_隔離區(qū)”中的是為方便閱讀增加的分隔符，不是關(guān)鍵字；*表示省略其他判斷項(xiàng)，在實(shí)例中*所屬的上一級(jí)判斷的邏輯值決定于實(shí)例中說(shuō)明的“判斷項(xiàng)”的邏輯值，與*部分無(wú)關(guān)，*部分假定為滿足該判斷的邏輯值。
·
關(guān)鍵字說(shuō)明公式在操作規(guī)則文件中，表示該行是公式的邏輯表達(dá)式；判斷在操作規(guī)則文件中，表示該行是判斷的邏輯表達(dá)式；搜索在操作規(guī)則文件中，表示該行是搜索的邏輯表達(dá)式；從電氣連接點(diǎn)I開(kāi)始搜索、搜索邊界、從中排除判斷、搜索目標(biāo)為搜索的限定條件；內(nèi)部暫存搜索結(jié)果拓?fù)浞勒`規(guī)則編譯模塊識(shí)別需將搜索結(jié)果保存到內(nèi)存的關(guān)鍵字；沒(méi)有搜索到設(shè)備是判斷邏輯表達(dá)式對(duì)搜索結(jié)果進(jìn)行“空集”的判斷，當(dāng)搜索結(jié)果集合為空集時(shí)，該判斷為“True” ；信息-不滿足表示當(dāng)該關(guān)鍵字后面的判斷項(xiàng)結(jié)果為“False”時(shí)，將顯示后面的信息；錯(cuò)誤顯示信息的等級(jí)分類(lèi)；公式〈公式〉刀閘H :林林林*刀閘_無(wú)_帶負(fù)荷_拉合*林！表示刀閘合閘的允許條件要求“刀閘_無(wú)_帶負(fù)荷_拉合”的判斷項(xiàng)的邏輯值為“True”;判斷項(xiàng)通過(guò)判斷語(yǔ)句(邏輯表達(dá)式)名稱引用；〈公式〉刀閘L:林林林*刀閘_無(wú)_帶負(fù)荷_拉合*林！表示刀閘分閘的允許條件要求“刀閘_無(wú)_帶負(fù)荷_拉合”的判斷項(xiàng)的邏輯值為“True”;判斷項(xiàng)通過(guò)判斷語(yǔ)句(邏輯表達(dá)式)名稱引用；〈判斷〉刀閘_無(wú)_帶負(fù)荷_拉合林*刀閘_一側(cè)_空載***** !為公式判斷項(xiàng)，是一級(jí)判斷，表示判斷“刀閘_無(wú)_帶負(fù)荷_拉合”的邏輯值為“True”，要求判斷項(xiàng)“刀閘_ 一側(cè)_空載”的邏輯值為“True” ；〈判斷〉刀閘_一側(cè)_空載設(shè)備_直連開(kāi)關(guān)_無(wú)_合位，(刀閘_左側(cè)_空載+刀閘_右側(cè)_空載)！為一級(jí)判斷項(xiàng)，是二級(jí)判斷，表示判斷“刀閘_無(wú)_帶負(fù)荷_拉合”的邏輯值為“True”，要求判斷項(xiàng)“設(shè)備_直連開(kāi)關(guān)_無(wú)_合位，(刀閘_左側(cè)_空載+刀閘_右側(cè)_空載)”的邏輯值為“True” ；〈判斷〉設(shè)備_直連開(kāi)關(guān)_無(wú)_合位搜索_設(shè)備_直連_開(kāi)關(guān)_緩存.沒(méi)有搜索到設(shè)備！為二級(jí)判斷項(xiàng)，是三級(jí)判斷，表示當(dāng)“搜索_設(shè)備_直連_開(kāi)關(guān)_緩存”的搜索結(jié)果集合為“空集”時(shí)，判斷“設(shè)備_直連開(kāi)關(guān)-無(wú)-合位”的邏輯值為“True”，否則，邏輯值為 “False”;
<搜索 > 搜索_設(shè)備_直連_開(kāi)關(guān)_緩存搜索邊界-[宏_直連_不可忽略設(shè)備]，搜索目標(biāo)-[開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位]，內(nèi)部暫存搜索結(jié)果，為三級(jí)判斷項(xiàng)的相關(guān)搜索，表示為三級(jí)判斷(底層判斷)的相關(guān)搜索定義，用于定義的搜索“搜索_設(shè)備_直連_開(kāi)關(guān)_緩存”的搜索邊界條件、集合篩選的條件，以及搜索結(jié)果是否需要保存；〈判斷〉刀閘_左側(cè)_空載搜索_刀閘_左側(cè)_連接的負(fù)載.沒(méi)有搜索到設(shè)備！為二級(jí)判斷項(xiàng)，是三級(jí)判斷，表示當(dāng)“搜索_刀閘_左側(cè)_連接的負(fù)載”的搜索結(jié)果集合為“空集”時(shí)，判斷“刀閘_左側(cè)_空載”的邏輯值為“True”，否則，為“False”。〈搜索〉搜索_刀閘_左側(cè)_連接的負(fù)載從電氣連接點(diǎn)I開(kāi)始搜索，搜索邊界-[宏_刀閘在分位+開(kāi)關(guān)+負(fù)荷開(kāi)關(guān)]\，從中排除判斷_[當(dāng)前操作設(shè)備]\，搜索目標(biāo)-[宏_終端負(fù)荷+所變.屬性是.所變大負(fù)荷+開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位+主變]為三級(jí)判斷項(xiàng)的相關(guān)搜索，表示為三級(jí)判斷(底層判斷)的相關(guān)搜索定 義，用于定義的搜索“搜索_刀閘_左側(cè)_連接的負(fù)載”的搜索邊界條件、集合篩選的條件。
〈判斷〉刀閘_右側(cè)_空載搜索_刀閘_右側(cè)_連接的負(fù)載.沒(méi)有搜索到設(shè)備！為二級(jí)判斷項(xiàng)，是三級(jí)判斷，表示當(dāng)“搜索_刀閘_右側(cè)_連接的負(fù)載”的搜索結(jié)果集合為“空集”時(shí)，判斷“刀閘_右側(cè)_空載”的邏輯值為“True”，否則，為“False”。<搜索 > 搜索_刀閘_右側(cè)_連接的負(fù)載從電氣連接點(diǎn)I開(kāi)始搜索，搜索邊界-[宏_刀閘在分位+開(kāi)關(guān)+負(fù)荷開(kāi)關(guān)]\，從中排除判斷_[當(dāng)前操作設(shè)備]\，搜索目標(biāo)-[宏_終端負(fù)荷+所變.屬性是.所變大負(fù)荷+開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位+主變]為三級(jí)判斷項(xiàng)的相關(guān)搜索，表示為三級(jí)判斷(底層判斷)的相關(guān)搜索定義，用于定義的搜索“搜索_刀閘_右側(cè)_連接的負(fù)載”的搜索邊界條件、集合篩選的條件。-GS9131連鎖刀閘的操作規(guī)則公式的編寫(xiě)過(guò)程如下圖3中箭頭3所指設(shè)備為-GS9131連鎖刀閘，其防誤規(guī)則為基本開(kāi)關(guān)類(lèi)設(shè)備“刀閘”和“地刀”的防誤規(guī)則的并集；其狀態(tài)轉(zhuǎn)換，模擬為基本開(kāi)關(guān)類(lèi)設(shè)備的狀態(tài)轉(zhuǎn)換序列，其防誤邏輯判斷，按照基本開(kāi)關(guān)類(lèi)設(shè)備的狀態(tài)轉(zhuǎn)換序列進(jìn)行判斷，對(duì)于兩種基本開(kāi)關(guān)類(lèi)設(shè)備狀態(tài)在不能同時(shí)在合或在分時(shí)，其狀態(tài)轉(zhuǎn)換序列將采取多步驟實(shí)現(xiàn)，步驟間暫時(shí)保存設(shè)備序列中存在的過(guò)渡狀態(tài)如圖4中-GS9131的過(guò)渡態(tài)。步驟22 :根據(jù)接線圖生成拓?fù)涔?jié)點(diǎn)表。圖3中所示GS9131為復(fù)合開(kāi)關(guān)類(lèi)設(shè)備，將被分解成基本開(kāi)關(guān)類(lèi)設(shè)備“刀閘”和“地刀”的組合，如圖4所示；分解后的刀閘和地刀組合在一起時(shí)，其對(duì)外接線端子的特性與復(fù)合開(kāi)關(guān)類(lèi)設(shè)備GS9131的接線端子對(duì)外特性一致；拓?fù)浞勒`邏輯系統(tǒng)將依據(jù)由拆解后的基本開(kāi)關(guān)類(lèi)設(shè)備和接線圖中其他的基本開(kāi)關(guān)類(lèi)設(shè)備連接而成的拓?fù)浣泳€圖生成拓?fù)涔?jié)點(diǎn)表，生成拓?fù)涔?jié)點(diǎn)表(只列出實(shí)例相關(guān)的節(jié)點(diǎn)表)如下節(jié)點(diǎn)a KG1開(kāi)關(guān)·熱點(diǎn)1，GSll刀閘·熱點(diǎn)0，⑶117地刀·熱點(diǎn)O。節(jié)點(diǎn)b =GSll刀閘·熱點(diǎn)I，F(xiàn)DlI刀閘·熱點(diǎn)I，GSlOl刀閘·熱點(diǎn)I，IM母線·熱點(diǎn)0，IMD地線·熱點(diǎn)O。(其中“.”表示所屬關(guān)系；“，”為該節(jié)點(diǎn)多個(gè)設(shè)備間分隔符；)*省略節(jié)點(diǎn)節(jié)點(diǎn)c =FDll刀閘·熱點(diǎn)O, FDl開(kāi)關(guān)·熱點(diǎn)O。
節(jié)點(diǎn)d GS9011刀閘.熱點(diǎn)1，F(xiàn)D21刀閘.熱點(diǎn)1，GS9131刀閘.熱點(diǎn)1，IOM母線·熱點(diǎn)0,10M1D地線·熱點(diǎn)O。節(jié)點(diǎn)e GS9131刀閘·熱點(diǎn)O, GS9131地刀·熱點(diǎn)O, KG913開(kāi)關(guān)·熱點(diǎn)O。*省略節(jié)點(diǎn)步驟23 :根據(jù)輸入的操作請(qǐng)求調(diào)用相應(yīng)的操作規(guī)則公式，結(jié)合節(jié)點(diǎn)表及系統(tǒng)當(dāng)前設(shè)備狀態(tài)表進(jìn)行計(jì)算。當(dāng)操作輸入請(qǐng)求為GD117由狀態(tài)O (分位)轉(zhuǎn)換到狀態(tài)I (合位)時(shí)，拓?fù)浞勒`邏輯系統(tǒng)根據(jù)“GD117由狀態(tài)O轉(zhuǎn)換到狀態(tài)I”請(qǐng)求，分析出該請(qǐng)求的設(shè)備類(lèi)型為地刀，操作類(lèi)型為合閘，系統(tǒng)將調(diào)用地刀的合閘公式。依據(jù)公式的邏輯表達(dá)式開(kāi)始計(jì)算，本例中邏輯表達(dá)式的計(jì)算首先執(zhí)行公式的判斷項(xiàng)“地刀_在_隔離區(qū)”，在執(zhí)行“地刀_在_隔離區(qū)”的判斷項(xiàng)時(shí)，拓?fù)浞勒`邏輯系統(tǒng)按以下順序調(diào)用相應(yīng)的判斷和搜索，如圖5所示。 對(duì)于底層判斷“設(shè)備_標(biāo)準(zhǔn)_隔離_緩存”，將執(zhí)行“搜索_設(shè)備_連接的_不在分位的隔離設(shè)備_緩存”的搜索，該搜索從GDl 17地刀熱點(diǎn)O所在的拓?fù)涔?jié)點(diǎn)a出發(fā)，遍歷節(jié)點(diǎn)表，沿連線搜索到邊界條件“GS11刀閘”、“GS13刀閘”截止，拓?fù)浞勒`邏輯系統(tǒng)用在邊界限定條件內(nèi)搜索到的設(shè)備“分位的KGl開(kāi)關(guān)”、“分位的GSll刀閘”、“分位的GS13刀閘”、“分位的GD127地刀”生成初步的目標(biāo)設(shè)備集合，再根據(jù)結(jié)果集合篩選條件(“宏_刀閘不在分位+負(fù)荷開(kāi)關(guān).不在.分位+開(kāi)關(guān).屬性是.低壓設(shè)備；開(kāi)關(guān).不在.分位”以及“從中排除判斷-當(dāng)前操作設(shè)備”(GD117地刀))，對(duì)初步的目標(biāo)設(shè)備集合進(jìn)行篩選。在篩選結(jié)果集合時(shí)，由于篩選條件中涉及到設(shè)備狀態(tài)，故系統(tǒng)先從當(dāng)前狀態(tài)表中讀取初步目標(biāo)集合中設(shè)備的狀態(tài)(GS13刀閘.狀態(tài)0，KG1開(kāi)關(guān).狀態(tài)0，GS11刀閘.狀態(tài)0，⑶127地刀.狀態(tài)0，⑶117地刀.狀態(tài)O)，再按篩選條件進(jìn)行篩選。本例中的篩選結(jié)果為“空”，也即，搜索_設(shè)備_連接的_不在分位的隔離設(shè)備_緩存”返回目標(biāo)集合為“空集“，判斷項(xiàng)“地刀_在_隔離區(qū)”的最終邏輯結(jié)果值為T(mén)rue。返回值的過(guò)程如圖6所示。當(dāng)操作輸入請(qǐng)求為FDll由狀態(tài)1(合位)轉(zhuǎn)換到狀態(tài)0(分位)時(shí)，系統(tǒng)根據(jù)“FD11由狀態(tài)I轉(zhuǎn)換到狀態(tài)O”請(qǐng)求，分析出該請(qǐng)求的設(shè)備類(lèi)型為刀閘，操作類(lèi)型為分閘。系統(tǒng)將調(diào)用刀閘的分閘公式。依據(jù)公式的邏輯表達(dá)式開(kāi)始計(jì)算，邏輯表達(dá)式計(jì)算首先執(zhí)行公式的判斷項(xiàng)“刀閘_無(wú)_帶負(fù)荷_拉合”，在執(zhí)行“刀閘_無(wú)_帶負(fù)荷_拉合”的判斷項(xiàng)時(shí)，拓?fù)浞勒`邏輯系統(tǒng)調(diào)用判斷和搜索的順序如圖7所示。當(dāng)“設(shè)備_直連開(kāi)關(guān)_無(wú)_合位”判斷成功后，才調(diào)用括號(hào)內(nèi)的“刀閘_左側(cè)_空載”和“刀閘_右側(cè)_空載”；括號(hào)內(nèi)先執(zhí)行“刀閘_左側(cè)_空載”，若“刀閘_左側(cè)_空載”的邏輯結(jié)果為“True”時(shí)，則返回括號(hào)內(nèi)判斷項(xiàng)的結(jié)果，不再執(zhí)行“刀閘_右側(cè)_空載”的判斷項(xiàng)；若“刀閘_左側(cè)_空載”失敗，再繼續(xù)調(diào)用判斷項(xiàng)“刀閘_右側(cè)_空載”并執(zhí)行，將“刀閘_右側(cè)_空載”的判斷項(xiàng)的結(jié)果返回給上一級(jí)判斷。具體返回邏輯值的過(guò)程如圖8所示。本例中“FD11由狀態(tài)I轉(zhuǎn)換到狀態(tài)O”的操作請(qǐng)求，其底層判斷項(xiàng)“設(shè)備_直連開(kāi)關(guān)_無(wú)_合”在對(duì)“搜索_設(shè)備_直連_開(kāi)關(guān)_緩存”的搜索集合進(jìn)行判斷時(shí)，拓?fù)浞勒`邏輯系統(tǒng)將執(zhí)行“搜索_設(shè)備_直連_開(kāi)關(guān)_緩存”的搜索，由該搜索返回搜索集合的結(jié)果，執(zhí)行“搜索_設(shè)備_直連_開(kāi)關(guān)_緩存”的搜索過(guò)程如下FDll刀閘分別從刀閘所在節(jié)點(diǎn)b、節(jié)點(diǎn)c出發(fā)搜索,遍歷節(jié)點(diǎn)表,沿連線搜索到邊界條件(所有不可忽略的電氣設(shè)備)“母線”、“FD1開(kāi)關(guān)”截止，拓?fù)浞勒`邏輯系統(tǒng)用在邊界限定條件內(nèi)搜索到的設(shè)備“合位的FDl開(kāi)關(guān)”、“1M母線”生成初步的目標(biāo)設(shè)備集合，根據(jù)結(jié)果集合篩選條件(“開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位”)對(duì)初步目標(biāo)設(shè)備集合進(jìn)行篩選。由于結(jié)果集合篩選條件中涉及到設(shè)備狀態(tài)，拓?fù)浞勒`邏輯系統(tǒng)將先從當(dāng)前狀態(tài)表中讀取初步目標(biāo)設(shè)備集合中設(shè)備的狀態(tài)(FDl開(kāi)關(guān).狀態(tài)I)，再執(zhí)行搜索并對(duì)結(jié)果集合進(jìn)行篩選。本例篩選后得到“合位的FDl開(kāi)關(guān)”，也即“搜索_設(shè)備_直連_開(kāi)關(guān)_緩存”返回的集合不是“空集”，故判斷項(xiàng)“設(shè)備_直連開(kāi)關(guān)_無(wú)_合”的邏輯計(jì)算結(jié)果為“False”，最終“刀閘_無(wú)_帶負(fù)荷_拉合”的邏輯值為“False”。同時(shí)，由于判斷項(xiàng)“設(shè)備_直連開(kāi)關(guān)_無(wú)_合”為“False”，所以與該判斷相關(guān)的信息反饋判斷，將從內(nèi)存中讀出“搜索_設(shè)備_直連_開(kāi)關(guān)_緩存”的搜索存在內(nèi)存中的結(jié)果集合“合位的FDl開(kāi)關(guān)”的設(shè)備說(shuō)明“FD1開(kāi)關(guān)”，作為信息返回給操作請(qǐng)求。本例中返回值過(guò)程如圖9所示；實(shí)際執(zhí)行的判斷調(diào)用順序如圖10所示。當(dāng)輸入操作請(qǐng)求為GS9131由狀態(tài)0(GS9131地刀合位，GS9131刀閘分位)轉(zhuǎn)換到狀態(tài)1(GS9131地刀分位，GS9131刀閘合位)時(shí)，系統(tǒng)根據(jù)“GS9131由狀態(tài)O轉(zhuǎn)換到狀態(tài)·I”請(qǐng)求，分析出該請(qǐng)求的設(shè)備類(lèi)型為復(fù)合開(kāi)關(guān)類(lèi)設(shè)備“連鎖刀閘”，將根據(jù)設(shè)備拆解信息，調(diào)用復(fù)合開(kāi)關(guān)類(lèi)設(shè)備“連鎖刀閘”定義的狀態(tài)轉(zhuǎn)換序列，根據(jù)狀態(tài)轉(zhuǎn)換序列確定每步的操作設(shè)備類(lèi)型和執(zhí)行的公式的操作類(lèi)型。“連鎖刀閘”的狀態(tài)轉(zhuǎn)換序列定義如下連鎖刀閘.狀態(tài)O-狀態(tài)I =第一步(地刀I.狀態(tài)I-狀態(tài)0+刀閘I.狀態(tài)O-狀態(tài)0)，第二步(地刀I.狀態(tài)O-狀態(tài)0+刀閘I.狀態(tài)O-狀態(tài)I)閱讀說(shuō)明a)該語(yǔ)句中的“·”是分隔符號(hào)；b) 表示“從**轉(zhuǎn)換到**”的含義，即，從“狀態(tài)O”轉(zhuǎn)換到“狀態(tài)I” ；c) “ = ”表示右邊的為左邊設(shè)備狀態(tài)轉(zhuǎn)換的序列；d) 和配套使用，括號(hào)內(nèi)為復(fù)合開(kāi)關(guān)類(lèi)設(shè)備每個(gè)轉(zhuǎn)換步驟中對(duì)應(yīng)的基本開(kāi)關(guān)類(lèi)設(shè)備狀態(tài)轉(zhuǎn)換定義，復(fù)合開(kāi)關(guān)類(lèi)設(shè)備的操作序列可能會(huì)有多個(gè)轉(zhuǎn)換步驟，如，“連鎖刀閘”從狀態(tài)O到狀態(tài)I就有“第一步”和“第二步”兩個(gè)轉(zhuǎn)換步驟，其中第一步是分開(kāi)地刀，刀閘狀態(tài)不變，第二部是合上刀閘，地刀保持分狀態(tài)。本實(shí)例的“連鎖刀閘”GS9131的操作請(qǐng)求的邏輯判斷分兩步進(jìn)行，具體如下第一步地刀I.狀態(tài)I-狀態(tài)0+刀閘I.狀態(tài)O-狀態(tài)O ;拓?fù)浞勒`邏輯系統(tǒng)分析出該步操作的設(shè)備類(lèi)型為地刀，操作類(lèi)型為分閘；其中刀閘，由于其狀態(tài)沒(méi)有發(fā)生轉(zhuǎn)換，故而系統(tǒng)只記錄狀態(tài)，不調(diào)用公式，故本步只執(zhí)行“地刀”的“分閘”公式。若該步公式邏輯值為“True”，將執(zhí)行“第二步”，并將第一步的操作后狀態(tài)作為一個(gè)過(guò)渡態(tài)，如圖2中GS9131刀閘的過(guò)渡態(tài)，用于進(jìn)行“第二部”的判斷，否則，將給“連鎖刀閘”的操作請(qǐng)求返回“False”。第一步的執(zhí)行GS9131地刀分閘公式的過(guò)程如下拓?fù)浞勒`邏輯系統(tǒng)將根據(jù)“地刀”分閘公式進(jìn)行邏輯表達(dá)式的計(jì)算，其調(diào)用判斷和搜索的順序同-GDl 17地刀，如圖5所示。底層判斷“設(shè)備_標(biāo)準(zhǔn)_隔離_緩存”在執(zhí)行“搜索_設(shè)備_連接的_不在分位的隔離設(shè)備_緩存”的搜索時(shí)，從GS9131地刀的熱點(diǎn)O所在節(jié)點(diǎn)e出發(fā)，遍歷節(jié)點(diǎn)表，沿連線搜索到邊界條件“GS9131刀閘”、“GS9133刀閘”截止，拓?fù)浞勒`邏輯系統(tǒng)用在邊界限定條件內(nèi)搜索到的設(shè)備“分位的KG913開(kāi)關(guān)”、“分位的GS9131刀閘”、“分位的GS9133刀閘”生成初步的目標(biāo)設(shè)備集合，再根據(jù)結(jié)果集合篩選條件(“宏_刀閘不在分位+負(fù)荷開(kāi)關(guān).不在.分位+開(kāi)關(guān).屬性是.低壓設(shè)備；開(kāi)關(guān).不在.分位”以及“從中排除判斷-當(dāng)前操作設(shè)備”(GS9131地刀))，對(duì)初步的目標(biāo)設(shè)備集合進(jìn)行篩選。由于結(jié)果集合的篩選條件中涉及到設(shè)備狀態(tài)，拓?fù)浞勒`邏輯系統(tǒng)將先從當(dāng)前狀態(tài)表中讀取初步目標(biāo)集合中設(shè)備的狀態(tài)(狀態(tài)表為GS9131刀閘.狀態(tài)0，KG913開(kāi)關(guān).狀態(tài)0，GS9133刀閘.狀態(tài)0，GS9131地刀.狀態(tài)O)，再按篩選條件進(jìn)行篩選。本例中篩選結(jié)果為“空”，也即“搜索_設(shè)備_連接的_不在分位的隔離設(shè)備_緩存”最終搜索目標(biāo)集合為空集，故公式的判斷項(xiàng)“地刀_在_隔離區(qū)”的最終邏輯結(jié)果值為T(mén)rue，第一步的邏輯計(jì)算值為“True”，第一步狀態(tài)轉(zhuǎn)換后，9131地刀的狀態(tài)為0，9131刀閘的狀態(tài)為0，GS9131處于 中間態(tài)，拓?fù)浞勒`邏輯系統(tǒng)將執(zhí)行“連鎖刀閘”的第二步狀態(tài)轉(zhuǎn)換邏輯計(jì)算。第二步地刀I.狀態(tài)O-狀態(tài)0+刀閘I.狀態(tài)O-狀態(tài)I;拓?fù)浞勒`邏輯系統(tǒng)分析出該步操作的設(shè)備類(lèi)型為刀閘，操作類(lèi)型為合閘；其中地刀，由于其狀態(tài)沒(méi)有發(fā)生轉(zhuǎn)換，故而系統(tǒng)只記錄狀態(tài)，不調(diào)用公式。故本步只執(zhí)行“刀閘”的“合閘”公式，若該步公式邏輯值為“True”，則“連鎖刀閘”的狀態(tài)轉(zhuǎn)換序列的最終邏輯值為“True”，也即“GS9131由狀態(tài)O轉(zhuǎn)換到狀態(tài)I”的邏輯判斷結(jié)果為“True”，否則為“False”。第二步的執(zhí)行GS9131刀閘合閘公式的過(guò)程如下拓?fù)浞勒`邏輯系統(tǒng)將根據(jù)“刀閘”合閘公式進(jìn)行邏輯表達(dá)式的計(jì)算，其調(diào)用判斷和搜索的順序同刀閘-FD11，如圖7、圖8所示。底層判斷“設(shè)備_直連開(kāi)關(guān)_無(wú)_合位”在執(zhí)行“搜索_設(shè)備_直連_開(kāi)關(guān)_緩存”的搜索時(shí)，從GS9131刀閘的熱點(diǎn)O所在的節(jié)點(diǎn)e、節(jié)點(diǎn)d出發(fā),遍歷節(jié)點(diǎn)表,沿連線搜索到邊界條件(所有不可忽略的電氣設(shè)備)“KG913開(kāi)關(guān)”、“GS9131地刀”、“ IOM母線”，截止，拓?fù)浞勒`邏輯系統(tǒng)用在邊界限定條件內(nèi)搜索到的設(shè)備“分位的KG913開(kāi)關(guān)”、“分位的GS9131地刀”，再據(jù)結(jié)果集合篩選條件(“開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位，，)對(duì)初步的目標(biāo)設(shè)備集合進(jìn)行篩選，得到最終搜索目標(biāo)集合，該集合為“空集”。故“設(shè)備_直連開(kāi)關(guān)_無(wú)_合位”的邏輯表達(dá)式計(jì)算結(jié)果為“True”。由于括號(hào)前面的判斷項(xiàng)“設(shè)備_直連開(kāi)關(guān)_無(wú)_合位”的邏輯值為“True”，系統(tǒng)將繼續(xù)調(diào)用括號(hào)內(nèi)的判斷項(xiàng)“刀閘_左側(cè)_空載”。系統(tǒng)在判斷“刀閘_左側(cè)_空載”將執(zhí)行“搜索_刀閘_左側(cè)_連接的負(fù)載”的搜索，搜索時(shí)將從GS9131刀閘的熱點(diǎn)O所在的節(jié)點(diǎn)e出發(fā)，遍歷節(jié)點(diǎn)表，沿連線搜索到邊界條件(宏_刀閘在分位+開(kāi)關(guān)+負(fù)荷開(kāi)關(guān))“KG913開(kāi)關(guān)”截止，拓?fù)浞勒`邏輯系統(tǒng)用在邊界限定條件內(nèi)搜索到的設(shè)備“分位的KG913開(kāi)關(guān)”、“分位的GS9131地刀”，再據(jù)結(jié)果集合篩選條件(“開(kāi)關(guān).不在.分位+負(fù)荷開(kāi)關(guān).不在.分位”)對(duì)初步的目標(biāo)設(shè)備集合進(jìn)行篩選，得到最終搜索目標(biāo)集合，該集合為“空集”。故“刀閘_左側(cè)_空載”的邏輯表達(dá)式計(jì)算結(jié)果為“True”。括號(hào)內(nèi)判項(xiàng)將不在執(zhí)行“刀閘_右側(cè)_空載”的判斷項(xiàng)，整個(gè)括號(hào)的判斷項(xiàng)返回邏輯值“True”給上一級(jí)判斷，上一級(jí)判斷“刀閘_ 一側(cè)_空載”的邏輯值為“True”，最終該刀閘的“刀閘_無(wú)_帶負(fù)荷_拉合”的邏輯值為“True”，從而“GS9131刀閘合閘公式”的結(jié)果為“True”，“連鎖刀閘”狀態(tài)轉(zhuǎn)換序列的第二步的邏輯判斷結(jié)果為“True”。由于“連鎖刀閘”的兩步邏輯計(jì)算結(jié)果均為“True”，故本例中復(fù)合開(kāi)關(guān)類(lèi)設(shè)備“連鎖刀閘” GS9131的狀態(tài)轉(zhuǎn)換序的邏輯判斷結(jié)果為“ True ”也即，“GS9131由狀態(tài)O轉(zhuǎn)換到狀態(tài)I”的操作請(qǐng)求相關(guān)的邏輯表達(dá)式計(jì)算結(jié)果為“True”。其調(diào)用判斷和搜索的過(guò)程如圖11，返回值的過(guò)程如圖12。步驟24 :根據(jù)計(jì)算結(jié)果判斷操作請(qǐng)求是否允許操作?！阿?17由狀態(tài)O轉(zhuǎn)換到狀態(tài)I”的操作請(qǐng)求由地刀的合閘公式的判斷項(xiàng)“地刀_在_隔離區(qū)”返回邏輯計(jì)算值“True”，即，拓?fù)浞勒`邏輯系統(tǒng)將給予“⑶117由狀態(tài)O轉(zhuǎn)換至IJ狀態(tài)I”的操作請(qǐng)求響應(yīng)“允許”。若返回結(jié)果是“False”時(shí)，響應(yīng)“禁止”，并返回相關(guān)禁止操作設(shè)備的列表。“FD11由狀態(tài)I轉(zhuǎn)換到狀態(tài)O”的操作請(qǐng)求由刀閘的合 閘公式的判斷項(xiàng)“刀閘_無(wú)_帶負(fù)荷_拉合”返回邏輯計(jì)算值“False”，即，拓?fù)浞勒`邏輯系統(tǒng)將給予“FD11由狀態(tài)I轉(zhuǎn)換到狀態(tài)O”的操作請(qǐng)求響應(yīng)“禁止”，同時(shí)，將“[錯(cuò)誤]開(kāi)關(guān)不在分位，涉及FD1開(kāi)關(guān)！ ”返回給操作請(qǐng)求方。復(fù)合開(kāi)關(guān)類(lèi)設(shè)備“連鎖刀閘”的“GS9131由狀態(tài)O轉(zhuǎn)換到狀態(tài)I”的操作請(qǐng)求由其狀態(tài)轉(zhuǎn)換序列返回邏輯計(jì)算值“True”，即，拓?fù)浞勒`邏輯系統(tǒng)將給予“GS9131由狀態(tài)O轉(zhuǎn)換至丨J狀態(tài)I”的操作請(qǐng)求響應(yīng)“允許”。本發(fā)明還提供了一種電氣設(shè)備防誤操作裝置，包括設(shè)備分解模塊、拓?fù)潢P(guān)系解析模塊、操作規(guī)則庫(kù)和操作規(guī)則公式計(jì)算模塊。所述設(shè)備分解模塊，用于將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為基本開(kāi)關(guān)類(lèi)設(shè)備，一般是將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為開(kāi)關(guān)、刀閘、接地刀閘，比如三工位刀閘可以分解為一個(gè)刀閘加一個(gè)接地刀閘，三個(gè)狀態(tài)分別映射為刀閘和接地刀閘的狀態(tài)，并將分解結(jié)果保存到設(shè)備分解描述文件中。所述拓?fù)潢P(guān)系解析模塊，用于根據(jù)系統(tǒng)接線圖和設(shè)備分解描述文件，構(gòu)建設(shè)備拓?fù)涔?jié)點(diǎn)表；優(yōu)選地，還可以通過(guò)該表形成電氣設(shè)備連接圖。所述操作規(guī)則庫(kù)，用于存儲(chǔ)所述設(shè)備操作規(guī)則公式；所述操作規(guī)則公式計(jì)算模塊，用于計(jì)算所述操作規(guī)則公式，并將計(jì)算結(jié)果返回給防誤主機(jī)。所述操作規(guī)則公式計(jì)算模塊首先用于計(jì)算操作規(guī)則公式中定義的搜索，它是按照搜索邊界，從一個(gè)設(shè)備的一個(gè)或幾個(gè)節(jié)點(diǎn)出發(fā)對(duì)電氣設(shè)備連接圖進(jìn)行遍歷，遍歷的邊界條件為搜索邊界，遍歷過(guò)程中收集滿足搜索目標(biāo)定義的設(shè)備集合，搜索結(jié)果集合用于判斷邏輯表達(dá)式；其次用于計(jì)算操作規(guī)則公式中定義的邏輯表達(dá)式，該邏輯表達(dá)式是以對(duì)搜索集合的判斷為基礎(chǔ)，由與、或、括號(hào)等運(yùn)算符構(gòu)成的邏輯表達(dá)式，該邏輯表達(dá)式的計(jì)算結(jié)果說(shuō)明了設(shè)備是否允許操作。本發(fā)明還提供了一種電氣設(shè)備防誤操作系統(tǒng)，如圖13所示，包括電氣設(shè)備防誤操作裝置、接線圖輸入裝置和防誤主機(jī)。所述電氣設(shè)備防誤操作裝置包括設(shè)備分解模塊、拓?fù)潢P(guān)系解析模塊、操作規(guī)則庫(kù)和操作規(guī)則公式計(jì)算模塊；所述設(shè)備分解模塊，用于將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為基本開(kāi)關(guān)類(lèi)設(shè)備，并將分解結(jié)果保存到設(shè)備分解描述文件中；所述拓?fù)潢P(guān)系解析模塊，用于根據(jù)系統(tǒng)接線圖和設(shè)備分解描述文件，構(gòu)建設(shè)備拓?fù)涔?jié)點(diǎn)表；所述操作規(guī)則庫(kù)，用于存儲(chǔ)所述設(shè)備操作規(guī)則公式；所述操作規(guī)則公式計(jì)算模塊，用于計(jì)算所述操作規(guī)則公式，并將計(jì)算結(jié)果返回給防誤主機(jī)。
所述接線圖輸入裝置，用于輸入系統(tǒng)的拓?fù)浣泳€圖。所述防誤主機(jī)用于提供設(shè)備狀態(tài)表、輸入操作請(qǐng)求和輸出計(jì)算結(jié)果。本發(fā)明提供的一種電氣設(shè)備防誤操作方法、裝置和系統(tǒng)，避免了人工編寫(xiě)設(shè)備閉鎖邏輯公式導(dǎo)致的工作量大，對(duì)調(diào)試人員素質(zhì)要求高，容易出錯(cuò)，審核困難等問(wèn)題，同時(shí)系統(tǒng)又允許防誤專(zhuān)家通過(guò)設(shè)備規(guī)則公式的方法定義設(shè)備的操作規(guī)則，這樣使得對(duì)規(guī)則的調(diào)整更容易、直觀，使得防誤專(zhuān)家能夠直接參與規(guī)則的定義，甚至用戶可以審閱規(guī)則定義，而程序開(kāi)發(fā)人員可以不必理解復(fù)雜的防誤規(guī)則；即使防誤需求變化很多，也可以保證系統(tǒng)的穩(wěn)定性、可靠性。同時(shí)通過(guò)本方法還可以方便的處理集控站站間閉鎖和設(shè)備檢修邏輯，使得五防系統(tǒng)的更可靠、更實(shí)用。最后應(yīng)當(dāng)說(shuō)明的是，很顯然，本領(lǐng)域的技術(shù)人員可以對(duì)本發(fā)明進(jìn)行各種改動(dòng)和變型而不脫離本發(fā)明的精神和范圍。這樣，倘若本發(fā)明的這些修改和變型屬于本發(fā)明權(quán)利要求及其等同技術(shù)的范圍之內(nèi)，則本發(fā)明也意圖包含這些改動(dòng)和變型?！?br> 權(quán)利要求
1.一種電氣設(shè)備防誤操作方法,其特征在于,包括 步驟11 :編寫(xiě)設(shè)備操作規(guī)則公式，所述設(shè)備操作規(guī)則公式定義了對(duì)每種設(shè)備進(jìn)行每種操作時(shí)需要滿足的規(guī)則； 步驟12 :將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為基本開(kāi)關(guān)類(lèi)設(shè)備來(lái)構(gòu)建設(shè)備拓?fù)涔?jié)點(diǎn)表； 步驟13 :當(dāng)出現(xiàn)操作請(qǐng)求時(shí)，結(jié)合所述設(shè)備拓?fù)涔?jié)點(diǎn)表，計(jì)算請(qǐng)求操作的設(shè)備的操作規(guī)則公式，并將計(jì)算結(jié)果返回給防誤主機(jī)。
2.根據(jù)權(quán)利要求I所述的方法，其特征在于，所述步驟12包括 步驟121 :將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為基本開(kāi)關(guān)類(lèi)設(shè)備，并將分解結(jié)果保存到設(shè)備分解描述文件中； 步驟122 :根據(jù)系統(tǒng)接線圖和設(shè)備分解描述文件，構(gòu)建設(shè)備拓?fù)涔?jié)點(diǎn)表，所述設(shè)備拓?fù)涔?jié)點(diǎn)表至少包含各設(shè)備之間的連接關(guān)系信息。
3.根據(jù)權(quán)利要求I所述的方法，其特征在于，所述將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為基本開(kāi)關(guān)類(lèi)設(shè)備包括步驟 a)將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備分解為兩個(gè)以上基本開(kāi)關(guān)類(lèi)設(shè)備的連接組合，使得分解后的基本開(kāi)關(guān)類(lèi)設(shè)備的組合的對(duì)外接線端子特性，與分解前的復(fù)合開(kāi)關(guān)類(lèi)設(shè)備的對(duì)外接線端子特性一致； b)將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備的各狀態(tài)與分解后的基本開(kāi)關(guān)類(lèi)設(shè)備各狀態(tài)映射，使得復(fù)合開(kāi)關(guān)類(lèi)設(shè)備的每個(gè)狀態(tài)均有分解后的各個(gè)基本開(kāi)關(guān)類(lèi)設(shè)備的狀態(tài)與之對(duì)應(yīng)； c)將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備的狀態(tài)轉(zhuǎn)換分解為基本開(kāi)關(guān)類(lèi)設(shè)備的狀態(tài)轉(zhuǎn)換序列。
4.根據(jù)權(quán)利要求I所述的方法，其特征在于，所述基本開(kāi)關(guān)類(lèi)設(shè)備包括刀閘、開(kāi)關(guān)、接地設(shè)備、網(wǎng)門(mén)、負(fù)荷開(kāi)關(guān)。
5.根據(jù)權(quán)利要求4所述的方法，其特征在于，所述設(shè)備操作規(guī)則公式包括設(shè)備類(lèi)型、操作類(lèi)型和邏輯表達(dá)式；所述設(shè)備類(lèi)型包括開(kāi)關(guān)、刀閘、接地設(shè)備、網(wǎng)門(mén)、負(fù)荷開(kāi)關(guān)；所述操作類(lèi)型包括合閘操作和分閘操作；所述邏輯表達(dá)式包括搜索和判斷。
6.根據(jù)權(quán)利要求5所述的方法，其特征在于，所述步驟13包括 步驟131 :當(dāng)出現(xiàn)操作請(qǐng)求時(shí)，根據(jù)請(qǐng)求操作的設(shè)備類(lèi)型和操作類(lèi)型調(diào)用對(duì)應(yīng)的設(shè)備操作規(guī)則公式； 步驟132 :按照調(diào)用的設(shè)備操作規(guī)則公式的邏輯表達(dá)式在所述設(shè)備拓?fù)涔?jié)點(diǎn)表上進(jìn)行搜索，得到搜索結(jié)果集合； 步驟133 :對(duì)搜索結(jié)果集合按照所述邏輯表達(dá)式進(jìn)行判斷，得到計(jì)算結(jié)果； 步驟134 :將計(jì)算結(jié)果返回給所述防誤主機(jī)。
7.根據(jù)權(quán)利要求6所述的方法，其特征在于，所述搜索為從設(shè)備拓?fù)涔?jié)點(diǎn)表中的節(jié)點(diǎn)出發(fā)按拓?fù)溥B接關(guān)系和搜索邊界條件向前檢索的過(guò)程； 一個(gè)搜索包括搜索名、搜索的起點(diǎn)設(shè)備、搜索起點(diǎn)端子、搜索時(shí)間點(diǎn)、搜索邊界和搜索目標(biāo)； 所述搜索名代表所對(duì)應(yīng)的搜索，對(duì)于搜索名的引用等同于對(duì)搜索結(jié)果的引用； 所述搜索起點(diǎn)設(shè)備是當(dāng)前操作設(shè)備或另一個(gè)搜索集合中的設(shè)備或通過(guò)設(shè)備類(lèi)型指定的某一類(lèi)設(shè)備集合；所述搜索起點(diǎn)端子是搜索起點(diǎn)設(shè)備的端子或是通過(guò)端子類(lèi)型指定的搜索起點(diǎn)端子；所述搜索時(shí)間點(diǎn)用來(lái)標(biāo)示搜索時(shí)當(dāng)前設(shè)備狀態(tài)是按操作前狀態(tài)處理還是按操作后狀態(tài)處理； 所述搜索邊界用于指定搜索的邊界條件，所述搜索邊界通過(guò)設(shè)備類(lèi)型、設(shè)備狀態(tài)判斷符、設(shè)備狀態(tài)的組合指定； 所述搜索目標(biāo)用于描述搜索結(jié)果設(shè)備應(yīng)滿足的條件，所述搜索目標(biāo)通過(guò)設(shè)備類(lèi)型、設(shè)備狀態(tài)判斷符、設(shè)備狀態(tài)的組合指定，所述設(shè)備狀態(tài)判斷符包括在、不在、全部狀態(tài)為、包含、不包含；設(shè)備狀態(tài)包括合位、分位。
8.根據(jù)權(quán)利要求6所述的方法，其特征在于，所述判斷是由判斷項(xiàng)和與、或、非操作符組成的表達(dá)式； 所述判斷項(xiàng)是一個(gè)由括號(hào)括起來(lái)的邏輯表達(dá)式或一個(gè)判斷名或一個(gè)搜索判斷； 所述判斷名是對(duì)一個(gè)判斷的定義，對(duì)判斷名的引用相當(dāng)于對(duì)該判斷的引用； 所述搜索判斷包含搜索結(jié)果集合屬性判斷和集合間比較判斷。
9.根據(jù)權(quán)利要求8所述的方法，其特征在于，所述搜索結(jié)果集合屬性判斷包括搜索到設(shè)備、搜索結(jié)果集合設(shè)備狀態(tài)判斷、搜索結(jié)果集合設(shè)備屬性判斷、搜索結(jié)果集合設(shè)備數(shù)量判斷； 所述搜索結(jié)果集合設(shè)備狀態(tài)判斷包括搜索名、狀態(tài)判斷符、設(shè)備狀態(tài)組成，所述狀態(tài)判斷符包括全部狀態(tài)為、狀態(tài)包含、狀態(tài)不包含，設(shè)備狀態(tài)包括合位、分位、不確定狀態(tài)； 所述搜索結(jié)果集合設(shè)備數(shù)量判斷包括搜索名、數(shù)量判斷符、常數(shù)值，用于判斷搜索設(shè)備結(jié)果集合中設(shè)備的數(shù)量是否滿足特定的數(shù)量約束，所述數(shù)量判斷符包括數(shù)量大于、數(shù)量小于、數(shù)量等于、數(shù)量大于等于、數(shù)量小于等于； 所述搜索結(jié)果集合設(shè)備屬性判斷包括搜索名、設(shè)備集合屬性判斷符、設(shè)備屬性，所述設(shè)備集合屬性判斷符是“全部屬性為”。
10.根據(jù)權(quán)利要求1-9任一項(xiàng)所述方法，其特征在于，所述步驟13之后還包括 步驟14 :防誤主機(jī)將計(jì)算結(jié)果提示給用戶，當(dāng)計(jì)算結(jié)果是允許操作時(shí)，則提示對(duì)應(yīng)的設(shè)備操作請(qǐng)求正確；當(dāng)計(jì)算結(jié)果是禁止操作時(shí)，則提示對(duì)應(yīng)的設(shè)備操作請(qǐng)求錯(cuò)誤，當(dāng)請(qǐng)求的操作違反了非嚴(yán)格執(zhí)行的操作規(guī)則，則防誤主機(jī)詢問(wèn)用戶是否繼續(xù)執(zhí)行，是，則繼續(xù)執(zhí)行，否，則不執(zhí)行。
11.一種電氣設(shè)備防誤操作裝置，其特征在于，包括設(shè)備分解模塊、拓?fù)潢P(guān)系解析模塊、操作規(guī)則庫(kù)和操作規(guī)則公式計(jì)算模塊； 所述設(shè)備分解模塊，用于將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為基本開(kāi)關(guān)類(lèi)設(shè)備，并將分解結(jié)果保存到設(shè)備分解描述文件中； 所述拓?fù)潢P(guān)系解析模塊，用于根據(jù)系統(tǒng)接線圖和設(shè)備分解描述文件，構(gòu)建設(shè)備拓?fù)涔?jié)點(diǎn)表； 所述操作規(guī)則庫(kù)，用于存儲(chǔ)所述設(shè)備操作規(guī)則公式； 所述操作規(guī)則公式計(jì)算模塊，用于計(jì)算所述操作規(guī)則公式，并將計(jì)算結(jié)果返回給防誤主機(jī)。
12.一種電氣設(shè)備防誤操作系統(tǒng)，其特征在于，包括電氣設(shè)備防誤操作裝置、接線圖輸入裝置和防誤主機(jī)；所述電氣設(shè)備防誤操作裝置包括設(shè)備分解模塊、拓?fù)潢P(guān)系解析模塊、操作規(guī)則庫(kù)和操作規(guī)則公式計(jì)算模塊；所述設(shè)備分解模塊，用于將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為基本開(kāi)關(guān)類(lèi)設(shè)備，并將分解結(jié)果保存到設(shè)備分解描述文件中；所述拓?fù)潢P(guān)系解析模塊，用于根據(jù)系統(tǒng)接線圖和設(shè)備分解描述文件，構(gòu)建設(shè)備拓?fù)涔?jié)點(diǎn)表；所述操作規(guī)則庫(kù)，用于存儲(chǔ)所述設(shè)備操作規(guī)則公 式；所述操作規(guī)則公式計(jì)算模塊，用于計(jì)算所述操作規(guī)則公式，并將計(jì)算結(jié)果返回給防誤主機(jī)； 所述接線圖輸入裝置，用于輸入系統(tǒng)的拓?fù)浣泳€圖； 所述防誤主機(jī)用于提供設(shè)備狀態(tài)表、輸入操作請(qǐng)求和輸出計(jì)算結(jié)果。
全文摘要
本發(fā)明公開(kāi)一種電氣設(shè)備防誤操作方法，包括步驟編寫(xiě)設(shè)備操作規(guī)則公式，設(shè)備操作規(guī)則公式定義對(duì)每種設(shè)備進(jìn)行每種操作時(shí)需要滿足的規(guī)則；將復(fù)合開(kāi)關(guān)類(lèi)設(shè)備按其電氣性質(zhì)分解為基本開(kāi)關(guān)類(lèi)設(shè)備來(lái)構(gòu)建設(shè)備拓?fù)涔?jié)點(diǎn)表；當(dāng)出現(xiàn)操作請(qǐng)求時(shí)，結(jié)合設(shè)備拓?fù)涔?jié)點(diǎn)表，計(jì)算請(qǐng)求操作的設(shè)備的操作規(guī)則公式，并將計(jì)算結(jié)果返回給防誤主機(jī)。本發(fā)明還提供一種電氣設(shè)備防誤操作裝置，包括設(shè)備分解模塊、拓?fù)潢P(guān)系解析模塊、操作規(guī)則庫(kù)和操作規(guī)則公式計(jì)算模塊。本發(fā)明還提供了一種電氣設(shè)備防誤操作系統(tǒng)，包括電氣設(shè)備防誤操作裝置、接線圖輸入裝置和防誤主機(jī)。本發(fā)明所提供的一種電氣設(shè)備防誤操作方法、裝置和系統(tǒng)能夠有效地提高防誤系統(tǒng)的安全可靠性。
文檔編號(hào)H02J13/00GK102957203SQ20111025436
公開(kāi)日2013年3月6日 申請(qǐng)日期2011年8月31日 優(yōu)先權(quán)日2011年8月31日
發(fā)明者金述強(qiáng), 逄凌志, 萬(wàn)利國(guó), 黃建東, 蔣紅平 申請(qǐng)人:珠海優(yōu)特電力科技股份有限公司