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 oAn 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 thf 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 vere 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 theification process. The automatic generation method can effectively overcome the disadvantages of preliminary manual compiling of latching logic rule including heavy workload, possible omission of thelatching 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 tolatching 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 toeffectively avoid human body casualty accidents.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...

Images