其中，第一条件用于指示原始五防系统的设备的状态；
[0026]步骤S106，对待检测五防系统的第二表达式中的第二条件进行标记，得到标记后的第二条件，其中，待检测五防系统用于替换原始五防系统，第二条件用于指示待检测五防系统的设备的状态；
[0027]步骤S108，分别对标记后的第一条件和标记后的第二条件进行分配律计算，得到计算后的第一条件和计算后的第二条件；
[0028]步骤S110，检测计算后的第一条件和计算后的第二条件是否一致；
[0029]步骤S112，若计算后的第一条件和计算后的第二条件一致，将原始五防系统更新为待检测五防系统。
[0030]在本发明实施例中，采用分别对原始五防系统和待检测五防系统各自的表达式中的条件进行标记的方式，通过对标记后的条件进行分配率计算和一致性检测，达到了确定是否将原始五防系统更新为待检测五防系统的目的，从而实现了准确、高效地进行五防系统检测的技术效果，进而解决了五防系统检测效率较低的技术问题。
[0031]其中，原始五防系统的第一表达式为经过验证、且验证结果为无误的五防闭锁表达式，五防闭锁表达式具有多种形式，本发明在此不做限制。一个完整的五防表达式由多个条件构成，且每一个条件对应于唯一的设备和该设备的唯一状态。例如102-6 = O表不102-6初闸处于分位，其中，状态值“O”表示分位、状态值“I”表示合位。下面，就常用的五防表达式做简要说明:
[0032]五防表达式中的多个条件之间通过逻辑符号表示逻辑关系，该逻辑符号包括标点符号和运算符号等。例如，“，”表示逻辑与符号，“+”表示逻辑或符号。
[0033]五防表达式中的多个条件之间通过分组符号进行分组，该分组符号包括标点符号等。例如，该分组符号为括号。
[0034]五防表达式中的多个条件之间通过优先级符号表示优先级顺序，该优先级符号包括标点符号等。例如，一组优先级符号为括号、逗号和加号，且上述符号依次表示优先级顺序由高到低。
[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，H+A，B，F，I+A，B，G，H+A，B，G，I+A，C，D+A，C，E+A，C，F，H+A，C,F，I+A，C，G，H+A，C，G，I
[0042]上述标记和计算方法适用于第一表达式和第二表达式，经对比第一表达式进行标记和计算后的条件和第二表达式进行标记和计算后的条件，可以确定以上两个表达式经各自计算后的条件是否一致，进而确定是否将原始五防系统更新为待检测五防系统。采用上述检测方法，可以节省人力资源、提高检测效率。
[0043]可选地，对第一表达式中的第一条件进行标记，得到标记后的第一条件包括:根据原始五防系统对应的设备编号对第一表达式中的第一条件进行标记，得到标记后的第一条件;对待检测五防系统的第二表达式中的第二条件进行标记，得到标记后的第二条件包括:根据待检测五防系统对应的设备编号对第二表达式中的第二条件进行标记，得到标记后的第二条件。
[0044]其中，对五防表达式中的条件进行标记，实质上为将该五防表达式中的每个条件对象化并给予一个指定的唯一标识ID(Identificat1n，身份或身份认证)，该ID可以基于设备编号确定。
[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]根据原始五防系统对应的设备编号对第一表达式中的第一条件逐个进行标记后，得到的标记后的第一条件为:
[0048]A,(B+C),(D+E+(F+G),(H+I))
[0049]可选地，检测计算后的第一条件和计算后的第二条件是否一致包括:检测计算后的第一条件的条件类型和计算后的第二条件的条件类型是否一致，其中，条件类型用于指示对应的设备标识。
[0050]例如，若第二表达式为待检测五防系统的五防表达式，且其执行的操作命令与第一表达式相同，同为“对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]根据待检测五防系统对应的设备编号对第二表达式中的第二条件逐个进行标记和计算后，得到的计算后的第二条件为:
[0053]A，B，D+A，B，F，H+A，B，F，I+A，C，D+A，C，F，H+A，C，F，I
[0054]对比上述实施例中计算后的第一条件和计算后的第二条件，可以检测到计算后的第二条件相较于计算后的第一条件缺少条件E和条件G，因此可以确定计算后的第一条件的条件类型和计算后的第二条件的条件类型不一致。
[0055]可选地，检测计算后的第一条件和计算后的第二条件是否一致包括:检测计算后的第一条件的条件状态和计算后的第二条件的条件状态是否一致，其中，条件状态用于指示对应的设备状态。
[0056]例如，对比上述实施例中计算后的第一条件和计算后的第二条件，可以检测到计算后的第一条件为条件B时，其状态为分位状态，计算后的第二条件中为条件B时，其状态为合位状态，因此可以确定计算后的第一条件的条件状态和计算后的第二条件的条件状态不一 Sc ο
[0057]可选地，设备状态包括初闸的分位状态和初闸的合位状态。
[0058]其中，初闸的状态可以用状态值“O”和“I”来表示。例如，状态值“O”表示分位、状态值“I”表示合位。
[0059]在本发明实施例中，采用分别对原始五防系统和待检测五防系统各自的表达式中的条件进行标记的方式，通过对标记后的条件进行分配率计算和一致性检测，达到了确定是否将原始五防系统更新为待检测五防系统的目的，从而实现了准确、高效地进行五防系统检测的技术效果，进而解决了五防系统检测效率较低的技术问题。