[0060]實(shí)施例2
[0061]根據(jù)本發(fā)明實(shí)施例的又一個方面，還提供了一種五防系統(tǒng)的檢測裝置，如圖2所示，該裝置包括:
[0062]獲取單元21，用于獲取原始五防系統(tǒng)的第一表達(dá)式；
[0063]第一標(biāo)記單元22，用于對第一表達(dá)式中的第一條件進(jìn)行標(biāo)記，得到標(biāo)記后的第一條件，其中，第一條件用于指示原始五防系統(tǒng)的設(shè)備的狀態(tài)；
[0064]第二標(biāo)記單元23，用于對待檢測五防系統(tǒng)的第二表達(dá)式中的第二條件進(jìn)行標(biāo)記，得到標(biāo)記后的第二條件，其中，待檢測五防系統(tǒng)用于替換原始五防系統(tǒng)，第二條件用于指示待檢測五防系統(tǒng)的設(shè)備的狀態(tài)；
[0065]計(jì)算單元24，用于分別對標(biāo)記后的第一條件和標(biāo)記后的第二條件進(jìn)行分配律計(jì)算，得到計(jì)算后的第一條件和計(jì)算后的第二條件；
[0066]檢測單元25，用于檢測計(jì)算后的第一條件和計(jì)算后的第二條件是否一致；
[0067]更新單元26，用于若計(jì)算后的第一條件和計(jì)算后的第二條件一致，將原始五防系統(tǒng)更新為待檢測五防系統(tǒng)。
[0068]其中，獲取單元21獲取到的原始五防系統(tǒng)的第一表達(dá)式為經(jīng)過驗(yàn)證、且驗(yàn)證結(jié)果為無誤的五防閉鎖表達(dá)式，五防閉鎖表達(dá)式具有多種形式，本發(fā)明在此不做限制。一個完整的五防表達(dá)式由多個條件構(gòu)成，且每一個條件對應(yīng)于唯一的設(shè)備和該設(shè)備的唯一狀態(tài)。例如102-6 = 0表示102-6初閘處于分位，其中，狀態(tài)值“O”表示分位、狀態(tài)值“I”表示合位。下面，就常用的五防表達(dá)式做簡要說明:
[0069]五防表達(dá)式中的多個條件之間通過邏輯符號表示邏輯關(guān)系，該邏輯符號包括標(biāo)點(diǎn)符號和運(yùn)算符號等。例如，“，”表示邏輯與符號，“+”表示邏輯或符號。
[0070]五防表達(dá)式中的多個條件之間通過分組符號進(jìn)行分組，該分組符號包括標(biāo)點(diǎn)符號等。例如，該分組符號為括號。
[0071]五防表達(dá)式中的多個條件之間通過優(yōu)先級符號表示優(yōu)先級順序，該優(yōu)先級符號包括標(biāo)點(diǎn)符號等。例如，一組優(yōu)先級符號為括號、逗號和加號，且上述符號依次表示優(yōu)先級順序由高到低。
[0072]可選地，五防表達(dá)式包括操作命令和該操作命令對應(yīng)的語法，例如，當(dāng)操作命令為“對102-17進(jìn)行合上操作”時，合上102-17地刀時的五防閉鎖表達(dá)式為:
[0073]102-17h: 102-6 = 0, (102-2 = 0+102-5 = 0) ,(2202-2 = 0+(2216-2 = 0+2216-5 =O)，(2245-4 = 0+2245-5 = 0))!
[0074]在該五防閉鎖表達(dá)式中，“102_17h:”表示“對102-17進(jìn)行合上操作”，表達(dá)式的后面部分是該操作的限制條件。
[0075]對該表達(dá)式進(jìn)行標(biāo)記，得到標(biāo)記后的條件為:
[0076]A,(B+C),(D+E+(F+G),(H+I))
[0077]對標(biāo)記后的條件進(jìn)行乘法分配律計(jì)算，可以得到計(jì)算后的條件為:
[0078]A，B，D+A，B，E+A，B，F(xiàn)，H+A，B，F(xiàn)，I+A，B，G，H+A，B，G，I+A，C，D+A，C，E+A，C，F(xiàn)，H+A，C,F，I+A，C，G，H+A，C，G，I
[0079]上述標(biāo)記和計(jì)算方法適用于第一表達(dá)式和第二表達(dá)式，經(jīng)對比第一表達(dá)式進(jìn)行標(biāo)記和計(jì)算后的條件和第二表達(dá)式進(jìn)行標(biāo)記和計(jì)算后的條件，可以確定以上兩個表達(dá)式經(jīng)各自計(jì)算后的條件是否一致，進(jìn)而確定是否將原始五防系統(tǒng)更新為待檢測五防系統(tǒng)。采用上述檢測方法，可以節(jié)省人力資源、提高檢測效率。
[0080]可選地，第一標(biāo)記單元包括:第一標(biāo)記子單元，用于根據(jù)原始五防系統(tǒng)對應(yīng)的設(shè)備編號對第一表達(dá)式中的第一條件進(jìn)行標(biāo)記，得到標(biāo)記后的第一條件;第二標(biāo)記單元包括:第二標(biāo)記子單元，用于根據(jù)待檢測五防系統(tǒng)對應(yīng)的設(shè)備編號對第二表達(dá)式中的第二條件進(jìn)行標(biāo)記，得到標(biāo)記后的第二條件。
[0081]其中，對五防表達(dá)式中的條件進(jìn)行標(biāo)記，實(shí)質(zhì)上為將該五防表達(dá)式中的每個條件對象化并給予一個指定的唯一標(biāo)識ID(Identificat1n，身份或身份認(rèn)證)，該ID可以基于設(shè)備編號確定。
[0082]例如，若上述實(shí)施例中所示出的五防閉鎖表達(dá)式為第一表達(dá)式，該第一表達(dá)式具體為:
[0083]102-17h: 102-6 = 0, (102-2 = 0+102-5 = 0) ,(2202-2 = 0+(2216-2 = 0+2216-5 =O)，(2245-4 = 0+2245-5 = 0))!
[0084]根據(jù)原始五防系統(tǒng)對應(yīng)的設(shè)備編號對第一表達(dá)式中的第一條件逐個進(jìn)行標(biāo)記后，得到的標(biāo)記后的第一條件為:
[0085]A,(B+C),(D+E+(F+G),(H+I))
[0086]可選地，檢測單元包括:第一檢測子單元，用于檢測計(jì)算后的第一條件的條件類型和計(jì)算后的第二條件的條件類型是否一致，其中，條件類型用于指示對應(yīng)的設(shè)備標(biāo)識。
[0087]例如，若第二表達(dá)式為待檢測五防系統(tǒng)的五防表達(dá)式，且其執(zhí)行的操作命令與第一表達(dá)式相同，同為“對102-17進(jìn)行合上操作”，具體為:
[0088]102-17h: 102-6 = 0, (2202-2 = 0+2216-2 = 0, (2245-4 = 0+2245-5 = 0)) ,(102-2 =1+102-5 = 0)!
[0089]根據(jù)待檢測五防系統(tǒng)對應(yīng)的設(shè)備編號對第二表達(dá)式中的第二條件逐個進(jìn)行標(biāo)記和計(jì)算后，得到的計(jì)算后的第二條件為:
[0090]A，B，D+A，B，F(xiàn)，H+A，B，F(xiàn)，I+A，C，D+A，C，F(xiàn)，H+A，C，F(xiàn)，I
[0091]對比上述實(shí)施例中計(jì)算后的第一條件和計(jì)算后的第二條件，可以檢測到計(jì)算后的第二條件相較于計(jì)算后的第一條件缺少條件E和條件G，因此可以確定計(jì)算后的第一條件的條件類型和計(jì)算后的第二條件的條件類型不一致。
[0092]可選地，檢測單元包括:第二檢測子單元，用于檢測計(jì)算后的第一條件的條件狀態(tài)和計(jì)算后的第二條件的條件狀態(tài)是否一致，其中，條件狀態(tài)用于指示對應(yīng)的設(shè)備狀態(tài)。
[0093]例如，對比上述實(shí)施例中計(jì)算后的第一條件和計(jì)算后的第二條件，可以檢測到計(jì)算后的第一條件為條件B時，其狀態(tài)為分位狀態(tài)，計(jì)算后的第二條件中為條件B時，其狀態(tài)為合位狀態(tài)，因此可以確定計(jì)算后的第一條件的條件狀態(tài)和計(jì)算后的第二條件的條件狀態(tài)不一 Sc ο
[0094]可選地，設(shè)備狀態(tài)包括初閘的分位狀態(tài)和初閘的合位狀態(tài)。
[0095]其中，初閘的狀態(tài)可以用狀態(tài)值“O”和“I”來表示。例如，狀態(tài)值“O”表示分位、狀態(tài)值“I”表示合位。
[0096]在本發(fā)明實(shí)施例中，采用分別對原始五防系統(tǒng)和待檢測五防系統(tǒng)各自的表達(dá)式中的條件進(jìn)行標(biāo)記的方式，通過對標(biāo)記后的條件進(jìn)行分配率計(jì)算和一致性檢測，達(dá)到了確定是否將原始五防系統(tǒng)更新為待檢測五防系統(tǒng)的目的，從而實(shí)現(xiàn)了準(zhǔn)確、高效地進(jìn)行五防系統(tǒng)檢測的技術(shù)效果，進(jìn)而解決了五防系統(tǒng)檢測效率較低的技術(shù)問題。
[0097]上述本發(fā)明實(shí)施例序號僅僅為了描述，