Automatic verification method of latching logic

Abstract

An automatic generation method of automatic verification method of latching logic comprises the following steps: firstly, according to a primary system graph, establishing a data chain table capable of expressing system electric topology and determining an operation task; secondly, selecting virtual operation equipment and analyzing the type of the operation equipment; and finally, according to the type and the current state of the equipment, adopting corresponding equipment latching logic verification rule as basic verification latching logic to output a verification result and finish the verification process. The automatic generation method can effectively overcome the disadvantages of preliminary manual compiling of latching logic rule including heavy workload, possible omission of the latching logic rule and difficult maintenance, and ensure that operation steps meet the requirements of the latching logic; moreover, the method can improve the operating safety of a power network to effectively avoid human body casualty accidents.

Description

technical field [0001] The invention belongs to the technical field of electric power automation, relates to a locking logic automatic verification method, and further relates to a locking logic automatic verification method in a power operation ticket system. Background technique [0002] One of the basic responsibilities of the on-duty personnel in substation operation is to be able to perform switching operations correctly and quickly, and the correctness of the switching operation ticket is an important condition to ensure the smooth progress of the switching operation. Prevention of misoperation is an important part of substation safety operation management. If a misoperation accident occurs, not only the operating equipment will be seriously damaged, a serious power failure will occur, but the operator may also be seriously injured. The operation ticket is based on the "five preventions" to prevent misoperation. The "five preventions" refer to: 1) preventing wrong open...

AI Technical Summary

Problems solved by technology

Although they use different input methods to realize the input of locking logic, they all need to manually write all the locking logic rules in advance according to the primary system diagram. Hundreds or thousands of items, the input of all locking logic is an extremely time-consuming and heavy task; 2) It is often difficult to ensure that there is no omission in the input locking logic. Tickets cannot meet the locking logic requirements, resulting in misoperation and safety accidents; 3) If a system diagram has a partial change, it may affect a large number of locking logic rules, resulting in difficulties in subsequent use and maintenance

Images