[发明专利]通过逆波兰表达式对五防逻辑表达式进行校验的方法

说明书

技术领域

本发明涉及电子信息及数据处理技术领域，具体涉及一种通过逆波兰表达 式对五防逻辑表达式进行校验的方法。

背景技术

变电站的倒闸操作需要使用操作票，而操作票中的操作步骤的合法性，需 要由五防软件进行判断，目前五防软件的判断依据只有两种方法：(1)五防逻 辑校核表达式；(2)电网拓朴分析。但是由于电网拓朴分析不具备可视性，一 般的变电站要求必须采用五防逻辑校核表达式判断操作步骤的合法性。综上， 一般变电站进行倒闸操作必须得使用五防逻辑校核表达式。

一种五防逻辑校核表达式的结构，例如：

“1115-3L:{}|1|1115＝10,(1115-1＝01+1115-2＝01)！”解释如下：

1115-3L：此为操作设备与状态，表示该条逻辑表达式是对1115-3编号的设 备进行分操作(L为分操作，H为合操作)；

{}|1|：此为情况条件，表示该逻辑表达式是单一情况操作。如果有多种情况 条件，那么会表达成“{...}|2|...；{}|1|...！”，且没有个数限制。多种情况条件下， 情况条件1中“{}”中不能有语句，其他情况条件的“{}”必须都存在语句， 同时必须为高条件在前，低条件在后。例如：1115H:{1115＝00}|2|...；{}|1|...！；

1115＝10,(1115-1＝01+1115-2＝01)！：此为第一种情况条件对应的逻辑表达式， 表示满足当前设备操作需要的其他设备状态。其中“＝”左侧表示当前需要判断 的设备，右侧第二位表示当前设备需要判断的设备需要的状态，右侧第一位表 示如果当前设备需要判断的设备需要的状态与其实际状态不符的错误原因序 号；“，”表示“且”的意思；“()”表示括号内的是一个整体，优先判断；“+” 表示或的意思。

那么当前这条表达式解释为1115-3设备需要分开的条件为：1115当前状态 为分(如果不为分，提示为1号错误)，而且1115-1或者1115-2当前状态为合 (如果都不满足，提示0号错误)。

五防逻辑校核表达式直接关系到电网的人身与财产安全，但是五防逻辑校 核表达式中存在校核优先级顺序，导致表达式中存在“()”等来表明优先级的符 号。

如此，存在一个明显缺陷：程序员在编写代码时，判断当前设备是否满足 五防逻辑表达式的语句，进行表达式字符串拆分时，会对含有多重“()”的表达 式进行拆分，难免会出现拆分错误或者考虑不全面的情况，引起变电站现场倒 闸操作的错误，严重时，会影响操作人员的人生安全。

波兰逻辑学家J.Lukasiewicz于1929年提出了逆波兰表达式，逆波兰表达式 又叫做后缀表达式，下面是一些例子：

正常的表达式逆波兰表达式

a+b--->a,b,+

a+(b-c)--->a,b,c,-,+

a+(b-c)*d--->a,b,c,-,d,*,+

a+d*(b-c)--->a,d,b,c,-,*,+

a＝1+3--->a＝1,3+

它将复杂表达式转换为可以依靠简单的操作得到计算结果的表达式。例如 (a+b)*(c+d)转换为ab+cd+*。它的优势在于只用两种简单操作，入栈和出栈就可 以搞定任何普通表达式的运算。其运算方式如下：

如果当前字符为变量或者为数字，则压栈，如果是运算符，则将栈顶两个 元素弹出作相应运算，结果再入栈，最后当表达式扫描完后，栈里的就是结果。

发明内容

本发明提供一种通过逆波兰表达式对五防逻辑表达式进行校验的方法，能 够在五防逻辑校核表达式转换成逆波兰表达式的过程中，把最明显的缺陷—— “()”全部转换掉，从而完全避免在判断当前设备是否满足五防逻辑表达式的语 句时，可能出现的问题。本发明的目的由以下技术方案实现：

一种通过逆波兰表达式对五防逻辑表达式进行校验的方法，如下：

(1)首先构造一个运算符栈S1和逆波兰栈S2，运算符在运算符栈S1内 遵循越往栈顶优先级越高的原则；

(2)读入需要操作设备对应状态的五防逻辑；

(3)判断是否存在没有转换的情况条件，存在则进入步骤(4)，否则逻辑 校验不通过并结束；