Automatic generating system and method for electrical-device error-preventing logical formulas

Abstract

The invention discloses an automatic generating system and method for electrical-device error-preventing logical formulas. The automatic generating system comprises an input-output module, a typical wiring model base, a main wiring analysis module, a common error-preventing logical formula base, a formula generating module, a formula verifying module and the like. According to the automatic generating system, all kinds of typical wiring modules and common error-preventing logical formulas of a plant station are internally arranged; after main wiring information of a specific plant station is read, the wiring information can be matched with system-internally-arranged typical device wiring modules, then the common error-preventing logical formulas under a matching module are replaced into actual device information to be output, and therefore specific error-preventing logical formulas are obtained; further, automatically-generated logical formulas and written logical formulas can be verified, and therefore the problems that current plant-station error-preventing logical formulas are low in writing efficiency and verifying efficiency and insufficient in reliability are solved.

Description

technical field [0001] The invention relates to the field of microcomputer five-prevention technologies for electric power systems, in particular to a system and a method for automatically generating an electrical equipment error prevention logic formula. Background technique [0002] Microcomputer five-prevention technology is an important means to ensure the safety of power equipment switching. It restricts the conditions of power equipment switching operation through preset electrical equipment error prevention logic formulas, so as to prevent misoperation accidents. For a long time, the writing and verification of the anti-error logic formula of electrical equipment has been done manually. The whole process is inefficient and prone to errors and omissions. With the continuous increase in the number of factories and stations and the development of integrated control, The problems of manually writing and verifying the anti-mistake logic formulas of electrical equipment are...

AI Technical Summary

Problems solved by technology

For a long time, the writing and verification of the anti-error logic formula of electrical equipment has been done manually. The whole process is inefficient and prone to errors and omissions. With the continuous increase in the number of factories and stations and the development of integrated control, The problems of manually writing and verifying the anti-mistake logic formulas of electrical equipment are becoming more and more prominent

[0003] The industry has carried out research on this issue, expecting to introduce a technology that automatically generates and verifies the logic formula for preventing electrical equipment from malfunctioning, and some achievements have been made one after another. The logical locking relationship between the knife, the ground wire, and the net door, but this method can only realize some electrical equipment error prevention logic formulas, and cannot guarantee comprehensiveness, so it can only be used as a supplementary function in a specific system

Furthermore, on this basis, the complex switching operation abstract rules of switches and switches in different operating modes are added, but this leads to the complexity of the rules and the problem that the system cannot prove the correctness of its own algorithm, which leads to the system The output results will be based on unreliable abstract rule algorithm basis, and it will not be able to guarantee the correctness of the verification results of the electrical equipment error prevention logic formula

[0004] Therefore, the existing technology has many problems such as low efficiency, poor accuracy, poor comprehensiveness, and inability to effectively self-certify the correctness of the system in writing logic formulas.

Images