Method for verifying five-prevention logic expression through reverse Polish notation

Abstract

The invention discloses a method for verifying a five-prevention logic expression through a reverse Polish notation. The method mainly includes the steps of judging whether non-conversion situation conditions exist or not by constructing an operator stack S1 and a reverse Polish stack S2 and then reading in five-prevention logic of the corresponding state of a device needing to be operated, reading in the corresponding five-prevention logic expression under the non-conversion situation conditions, scanning the corresponding five-prevention logic expression under the situation conditions from left to right, and converting a traditional five-prevention logic expression according to the reverse Poland notation to remove complex mathematical symbols '()' in the expression and only leave the simplest operation. The correctness of the method can be ensured, and meanwhile the possibility that BUG happens when programmers write programs is lowered, accuracy of five-prevention software for five-prevention verification is improved, and meanwhile the test pressure on test departments can be reduced.

Description

technical field [0001] The invention relates to the technical field of electronic information and data processing, in particular to a method for verifying five-defense logic expressions through reverse Polish expressions. Background technique [0002] The switching operation of the substation needs to use an operation ticket, and the legality of the operation steps in the operation ticket needs to be judged by the five-proof software. At present, there are only two methods for the judgment basis of the five-proof software: (1) five-proof logic check expression (2) Power grid topology analysis. However, due to the lack of visibility in power grid topology analysis, general substations require the use of five-proof logic check expressions to judge the legitimacy of operation steps. To sum up, the general substation switching operation must use the five-proof logic check expression. [0003] A structure of five defense logic checking expressions, for example: [0004] "1115-...

AI Technical Summary

Problems solved by technology

[0009] The five-defense logic check expression is directly related to the personal and property safety of the power grid, but there is a check priority order in the five-defense logic check expression, which leads to the presence of symbols such as "()" in the expression to indicate the priority

[0010] In this way, there is an obvious defect: when writing code, the programmer judges whether the current device satisfies the statement of the five-defense logical expression, and when splitting the expression string, the expression containing multiple "()" will be split , it is inevitable that there will be splitting errors or incomplete considerations, which will cause errors in the on-site switching operation of the substation. In severe cases, it will affect the life safety of operators

Images