Error lock-resistant logic rule generation and check system

An anti-mislocking and logic technology, applied in special data processing applications, instruments, electrical digital data processing, etc., can solve problems such as insufficient reliability, unprovable reliability, and low calibration efficiency, and achieve high reliability and safety performance, improved practicality, system maintenance and ease of use

Active Publication Date: 2017-07-04
STATE GRID FUJIAN ELECTRIC POWER CO LTD +2
View PDF2 Cites 14 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] In view of this, the purpose of the present invention is to provide a system for generating and checking logic rules for anti-misoperation locking, which solves the p

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Error lock-resistant logic rule generation and check system
  • Error lock-resistant logic rule generation and check system
  • Error lock-resistant logic rule generation and check system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0043] The present invention will be further described below in conjunction with the accompanying drawings and embodiments.

[0044] Please refer to figure 1 , the present invention provides a system for generating and checking logic rules for anti-error locking, which is characterized in that it includes an input and output module, a graphic editing module, a typical interval model library, a graphic analysis module, an abstract logic formula library, an abstract logic rule library and a logic formula generation module;

[0045] The input-output module reads the main wiring diagram of the microcomputer five-proof system, and returns the obtained model matching result and five-proof logic formulas to the microcomputer five-proof system;

[0046] The graphic editing module is used to convert the typical compartment model in the typical compartment model library into an editable wiring diagram and display it in the window; it is specifically used to draw and edit the main wirin...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention relates to an error lock-resistant logic rule generation and check system characterized by comprising an input-output module, a graphic editing module, a typical interval model library, a graphic analysis module, an abstract logic formula library, an abstract logic formula rule library and a logic formula generation module. With built-in transformer stations, various typical wiring models and a general five-prevention logic formula, after concrete transformer station main wiring information is read, the main wiring information can be matched with a system built-in typical device wiring model; then the general five-prevention logic formula corresponding to a matching result can be changed into practical device information and then output, and a concrete five-prevention logic formula can be acquired; further, the automatically-generated logic formula and the well-edit logic formula are checked; and problems of low transform station five-prevention logic formula writing and checking efficiency, poor reliability and incapability of self-reliability prove can be solved.

Description

technical field [0001] The invention relates to a system for generating and checking logical rules of anti-mistake locking. Background technique [0002] The microcomputer five-prevention system is generally installed in the substation, and the microcomputer five-prevention system plays a very important role as a guarantee for the safety of the switching operation. The basis for judging the five anti-misoperations of the microcomputer comes from the five anti-logic formulas. The current five anti-logic formulas are all manually written. The entire writing process is inefficient, time-consuming and costly, and omissions are error-prone, and there is a greater security risk. , so the industry has been studying how to realize the automatic generation of five defense logic formulas. [0003] The industry has carried out research on this issue, expecting to introduce a technology that automatically generates and verifies five-defense logic formulas, and some achievements have be...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F17/50
CPCG06F30/327G06F30/398
Inventor 黄金魁吴善班陈月卿徐育福林静怀李泽科陈跃飞陈烨甘磊
Owner STATE GRID FUJIAN ELECTRIC POWER CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap