其中，第一條件用于指示原始五防系統(tǒng)的設(shè)備的狀態(tài)；
[0026]步驟S106，對待檢測五防系統(tǒng)的第二表達式中的第二條件進行標記，得到標記后的第二條件，其中，待檢測五防系統(tǒng)用于替換原始五防系統(tǒng)，第二條件用于指示待檢測五防系統(tǒng)的設(shè)備的狀態(tài)；
[0027]步驟S108，分別對標記后的第一條件和標記后的第二條件進行分配律計算，得到計算后的第一條件和計算后的第二條件；
[0028]步驟S110，檢測計算后的第一條件和計算后的第二條件是否一致；
[0029]步驟S112，若計算后的第一條件和計算后的第二條件一致，將原始五防系統(tǒng)更新為待檢測五防系統(tǒng)。
[0030]在本發(fā)明實施例中，采用分別對原始五防系統(tǒng)和待檢測五防系統(tǒng)各自的表達式中的條件進行標記的方式，通過對標記后的條件進行分配率計算和一致性檢測，達到了確定是否將原始五防系統(tǒng)更新為待檢測五防系統(tǒng)的目的，從而實現(xiàn)了準確、高效地進行五防系統(tǒng)檢測的技術(shù)效果，進而解決了五防系統(tǒng)檢測效率較低的技術(shù)問題。
[0031]其中，原始五防系統(tǒng)的第一表達式為經(jīng)過驗證、且驗證結(jié)果為無誤的五防閉鎖表達式，五防閉鎖表達式具有多種形式，本發(fā)明在此不做限制。一個完整的五防表達式由多個條件構(gòu)成，且每一個條件對應于唯一的設(shè)備和該設(shè)備的唯一狀態(tài)。例如102-6 = O表不102-6初閘處于分位，其中，狀態(tài)值“O”表示分位、狀態(tài)值“I”表示合位。下面，就常用的五防表達式做簡要說明:
[0032]五防表達式中的多個條件之間通過邏輯符號表示邏輯關(guān)系，該邏輯符號包括標點符號和運算符號等。例如，“，”表示邏輯與符號，“+”表示邏輯或符號。
[0033]五防表達式中的多個條件之間通過分組符號進行分組，該分組符號包括標點符號等。例如，該分組符號為括號。
[0034]五防表達式中的多個條件之間通過優(yōu)先級符號表示優(yōu)先級順序，該優(yōu)先級符號包括標點符號等。例如，一組優(yōu)先級符號為括號、逗號和加號，且上述符號依次表示優(yōu)先級順序由高到低。
[0035]可選地，五防表達式包括操作命令和該操作命令對應的語法，例如，當操作命令為“對102-17進行合上操作”時，合上102-17地刀時的五防閉鎖表達式為:
[0036]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))!
[0037]在該五防閉鎖表達式中，“102_17h:”表示“對102-17進行合上操作”，表達式的后面部分是該操作的限制條件。
[0038]對該表達式進行標記，得到標記后的條件為:
[0039]A,(B+C),(D+E+(F+G),(H+I))
[0040]對標記后的條件進行乘法分配律計算，可以得到計算后的條件為:
[0041 ] 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
[0042]上述標記和計算方法適用于第一表達式和第二表達式，經(jīng)對比第一表達式進行標記和計算后的條件和第二表達式進行標記和計算后的條件，可以確定以上兩個表達式經(jīng)各自計算后的條件是否一致，進而確定是否將原始五防系統(tǒng)更新為待檢測五防系統(tǒng)。采用上述檢測方法，可以節(jié)省人力資源、提高檢測效率。
[0043]可選地，對第一表達式中的第一條件進行標記，得到標記后的第一條件包括:根據(jù)原始五防系統(tǒng)對應的設(shè)備編號對第一表達式中的第一條件進行標記，得到標記后的第一條件;對待檢測五防系統(tǒng)的第二表達式中的第二條件進行標記，得到標記后的第二條件包括:根據(jù)待檢測五防系統(tǒng)對應的設(shè)備編號對第二表達式中的第二條件進行標記，得到標記后的第二條件。
[0044]其中，對五防表達式中的條件進行標記，實質(zhì)上為將該五防表達式中的每個條件對象化并給予一個指定的唯一標識ID(Identificat1n，身份或身份認證)，該ID可以基于設(shè)備編號確定。
[0045]例如，若上述實施例中所示出的五防閉鎖表達式為第一表達式，該第一表達式具體為:
[0046]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))!
[0047]根據(jù)原始五防系統(tǒng)對應的設(shè)備編號對第一表達式中的第一條件逐個進行標記后，得到的標記后的第一條件為:
[0048]A,(B+C),(D+E+(F+G),(H+I))
[0049]可選地，檢測計算后的第一條件和計算后的第二條件是否一致包括:檢測計算后的第一條件的條件類型和計算后的第二條件的條件類型是否一致，其中，條件類型用于指示對應的設(shè)備標識。
[0050]例如，若第二表達式為待檢測五防系統(tǒng)的五防表達式，且其執(zhí)行的操作命令與第一表達式相同，同為“對102-17進行合上操作”，具體為:
[0051 ] 102-17h: 102-6 = 0, (2202-2 = 0+2216-2 = 0, (2245-4 = 0+2245-5 = 0)) ,(102-2 =1+102-5 = 0)!
[0052]根據(jù)待檢測五防系統(tǒng)對應的設(shè)備編號對第二表達式中的第二條件逐個進行標記和計算后，得到的計算后的第二條件為:
[0053]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
[0054]對比上述實施例中計算后的第一條件和計算后的第二條件，可以檢測到計算后的第二條件相較于計算后的第一條件缺少條件E和條件G，因此可以確定計算后的第一條件的條件類型和計算后的第二條件的條件類型不一致。
[0055]可選地，檢測計算后的第一條件和計算后的第二條件是否一致包括:檢測計算后的第一條件的條件狀態(tài)和計算后的第二條件的條件狀態(tài)是否一致，其中，條件狀態(tài)用于指示對應的設(shè)備狀態(tài)。
[0056]例如，對比上述實施例中計算后的第一條件和計算后的第二條件，可以檢測到計算后的第一條件為條件B時，其狀態(tài)為分位狀態(tài)，計算后的第二條件中為條件B時，其狀態(tài)為合位狀態(tài)，因此可以確定計算后的第一條件的條件狀態(tài)和計算后的第二條件的條件狀態(tài)不一 Sc ο
[0057]可選地，設(shè)備狀態(tài)包括初閘的分位狀態(tài)和初閘的合位狀態(tài)。
[0058]其中，初閘的狀態(tài)可以用狀態(tài)值“O”和“I”來表示。例如，狀態(tài)值“O”表示分位、狀態(tài)值“I”表示合位。
[0059]在本發(fā)明實施例中，采用分別對原始五防系統(tǒng)和待檢測五防系統(tǒng)各自的表達式中的條件進行標記的方式，通過對標記后的條件進行分配率計算和一致性檢測，達到了確定是否將原始五防系統(tǒng)更新為待檢測五防系統(tǒng)的目的，從而實現(xiàn)了準確、高效地進行五防系統(tǒng)檢測的技術(shù)效果，進而解決了五防系統(tǒng)檢測效率較低的技術(shù)問題。