CN109409667A - Electric power five prevention logic acceptance method and system - Google Patents
Electric power five prevention logic acceptance method and system Download PDFInfo
- Publication number
- CN109409667A CN109409667A CN201811108350.4A CN201811108350A CN109409667A CN 109409667 A CN109409667 A CN 109409667A CN 201811108350 A CN201811108350 A CN 201811108350A CN 109409667 A CN109409667 A CN 109409667A
- Authority
- CN
- China
- Prior art keywords
- logical
- logic
- mis
- standard
- condition
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 230000002265 prevention Effects 0.000 title claims abstract description 101
- 238000000034 method Methods 0.000 title claims abstract description 25
- 238000000605 extraction Methods 0.000 claims description 89
- 238000012360 testing method Methods 0.000 claims description 16
- 238000010586 diagram Methods 0.000 description 12
- 238000007689 inspection Methods 0.000 description 4
- 238000012423 maintenance Methods 0.000 description 3
- 238000012986 modification Methods 0.000 description 3
- 230000004048 modification Effects 0.000 description 3
- 230000005611 electricity Effects 0.000 description 2
- 238000005194 fractionation Methods 0.000 description 2
- 230000000694 effects Effects 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 230000000737 periodic effect Effects 0.000 description 1
- 238000012797 qualification Methods 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling
- G06Q10/063—Operations research, analysis or management
- G06Q10/0639—Performance analysis of employees; Performance analysis of enterprise or organisation operations
- G06Q10/06395—Quality analysis or management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q50/00—Information and communication technology [ICT] specially adapted for implementation of business processes of specific business sectors, e.g. utilities or tourism
- G06Q50/06—Energy or water supply
Landscapes
- Business, Economics & Management (AREA)
- Human Resources & Organizations (AREA)
- Engineering & Computer Science (AREA)
- Economics (AREA)
- Strategic Management (AREA)
- General Physics & Mathematics (AREA)
- Development Economics (AREA)
- Health & Medical Sciences (AREA)
- Educational Administration (AREA)
- Marketing (AREA)
- Entrepreneurship & Innovation (AREA)
- Theoretical Computer Science (AREA)
- Tourism & Hospitality (AREA)
- Physics & Mathematics (AREA)
- General Business, Economics & Management (AREA)
- Operations Research (AREA)
- Quality & Reliability (AREA)
- Game Theory and Decision Science (AREA)
- Public Health (AREA)
- Water Supply & Treatment (AREA)
- General Health & Medical Sciences (AREA)
- Primary Health Care (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
The invention discloses a kind of electric power five prevention logic acceptance method and systems.Wherein, the system comprises: the decision logic of the logical formula of the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic in several cases is split into case conditions by split cells, arrangement units are the minimum formula mode that can not continue to split using atomic formula, the case where splitting into this condition is by endianness order, comparing unit is according to this through by the situation condition after endianness order, each of the logic to be checked and accepted case conditions are judged, compare the logic to be checked and accepted and the corresponding logical formula to be tested for receiving the corresponding anti-mis-logical of standard of logic, provide the difference condition of the logical formula compared, and the difference condition of the logical formula compared is provided according to this, provide the acceptance report of the logic to be checked and accepted.By the above-mentioned means, can be realized the legibility for improving electric power five prevention logic formula, be easy to inspect for acceptance electric power five prevention logic.
Description
Technical field
The present invention relates to technical field of electric power, more particularly to a kind of electric power five prevention logic acceptance method and system.
Background technique
Under the integrated management mode of electric power O&M, administration substation, teams and groups is more, and maintenance work amoun is big, and human resources are tight
Be each teams and groups' existed general problem, the Correctness checking of anti-error logical data be current O&M teams and groups periodic duty it
One, check whether the anti-mis-logical of a substation is correct every time, requires the inspection of a line a line, while needing equipment one by one
Simulated operation verifies the correctness of anti-mis-logical, this work is very time-consuming and uninteresting, and staff, which is easy fatigue, to cause to dredge
Leakage, it cannot be guaranteed that work quality of inspecting for acceptance, eventually leads to substation's production run security risk.It is current that manual inspection, which is checked and accepted,
Main status.
In maintenance, dilatation data updating process, anti-error logical formula is frequently necessary to change Preventing Misoperation System of Substation,
Therefore it in order to guarantee the correct of anti-error logical formula, needs periodically to carry out work of inspecting for acceptance to five prevention logic, in order to improve inspection
The efficiency received is checked, the power department in some areas develops a kind of electric power five prevention logic based on version management and Documents Comparison
Acceptance scheme every time carries out an acceptance inspection after qualification to five prevention logic data, the five prevention logic file management of the version is got up, make
For " Standard Edition " archive.When substation's extending capacity reformation and maintenance update, repaired on the basis of the five prevention logic of " Standard Edition "
Change, modified version is current latest edition.When carry out next time five prevention logic inspect for acceptance work when, by " Standard Edition "
" current latest edition " carries out text comparison, finds out discrepant place in two parts of files, and inspector can only check
Whether discrepant part is correct, just becomes new " Standard Edition " after " current latest edition " acceptance(check) and achieves.This is based on
The electric power five prevention logic acceptance scheme of version management and Documents Comparison, can substantially reduce checking and accepting amount, improve work effect
Rate.But the existing electric power five prevention logic acceptance scheme based on version management and Documents Comparison, because of electric power five prevention logic
Logical formula is longer, leads to the tediously long difficult reading of the logical formula of the electric power five prevention logic, it is difficult to electric power five prevention logic of inspecting for acceptance.
Summary of the invention
It is an object of the invention to propose a kind of electric power five prevention logic acceptance method and system, it can be realized and improve electric power five
The legibility of anti-logical formula, be easy to inspect for acceptance electric power five prevention logic.
According to an aspect of the present invention, a kind of electric power five prevention logic acceptance method is provided, comprising:
By the logical formula of the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic sentencing in several cases
Disconnected logic splits into case conditions；It wherein, is the relationship of "or" between the case where splitting into condition；
Using atomic formula, to the case where splitting into condition by endianness order, wherein the atomic formula refers to
It can not continue the minimum formula mode split.
According to the situation condition after by endianness order, to each of the logic to be checked and accepted situation item
Part is judged that the logic of the relatively more described logic the to be checked and accepted anti-mis-logical of standard corresponding with the logic to be checked and accepted is corresponded to is public
Formula provides the difference condition of the logical formula compared, and according to the logical formula compared described in described provide
Difference condition provides the acceptance report of the logic to be checked and accepted.
Wherein, in the logical formula by the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic each
In the case of decision logic split into before case conditions, further includes:
The anti-mis-logical of logic and standard to be checked and accepted in input electric power five prevention logic.
Wherein, the logical formula by the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic is in each feelings
Decision logic under condition splits into case conditions, comprising:
Bracket is opened using multiplication apportionment ratio, "or" relationship is dismantled one by one, by being patrolled wait check and accept in electric power five prevention logic
Volume and the logical formula decision logic in several cases of the anti-mis-logical of standard split into case conditions；Wherein, the fractionation
At the case where condition between be "or" relationship.
Wherein, logic to be checked and accepted described in the comparison and the corresponding corresponding anti-mis-logical of standard of logic to be checked and accepted are patrolled
Formula is collected, the difference condition of the logical formula compared is provided, comprising:
Wait check and accept one of case conditions in logic described in extracting, in all of the corresponding anti-mis-logical of standard
One of case conditions of the extraction are matched in case conditions, judge one of case conditions of the extraction
In all atomic formulas whether can be found in all situations condition of the corresponding anti-mis-logical of standard, judging
All atomic formulas in one of case conditions of the extraction can not be in the corresponding anti-mis-logical of standard
It is found in all situations condition, then continues to judge all atoms in all situations condition of the anti-mis-logical of corresponding standard
Whether formula can find in one of case conditions of the extraction, judge the anti-mis-logical of corresponding standard
All situations condition in all atomic formulas can be found in one of case conditions of the extraction, then judge institute
It states the difference conditions for having write atomic formula in one of case conditions of extraction more, is judging that the corresponding standard is anti-error
All atomic formulas in all situations condition of logic are not that can find in one of case conditions of the extraction,
Then judge that one of case conditions of the extraction have failed to write the difference condition of atomic formula.
Wherein, logic to be checked and accepted described in the comparison and the corresponding corresponding anti-mis-logical of standard of logic to be checked and accepted are patrolled
Formula is collected, the difference condition of the logical formula compared is provided, comprising:
Wait check and accept one of case conditions in logic described in extracting, in all of the corresponding anti-mis-logical of standard
One of case conditions of the extraction are matched in case conditions, judge one of case conditions of the extraction
In all atomic formulas whether can be found in all situations condition of the corresponding anti-mis-logical of standard, judging
All atomic formulas in one of case conditions of the extraction can be in all of the corresponding anti-mis-logical of standard
Found in case conditions, then continue to judge whether to have in the anti-mis-logical of corresponding standard atomic formula the extraction its
In can not find in a case conditions, be to have atomic formula in the extraction in judging the anti-mis-logical of corresponding standard
One of case conditions in can not find, then judge the difference that atomic formula has been failed to write in the anti-mis-logical of corresponding standard
Different situation is one of situation of no atomic formula in the extraction in judging the anti-mis-logical of corresponding standard
The case where can not find in condition then judges that the situation condition in the anti-mis-logical of corresponding standard is correct.
According to another aspect of the present invention, a kind of electric power five prevention logic Acceptance Test System is provided, comprising:
Split cells, arrangement units and comparing unit；
The split cells is by the logical formula of the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic each
Decision logic in a situation splits into case conditions；It wherein, is the relationship of "or" between the case where splitting into condition；
The arrangement units use atomic formula, to the case where splitting into condition by endianness order, wherein institute
It states atomic formula and refers to the minimum formula mode that can not continue to split；
The comparing unit is according to the situation condition after by endianness order, to described wait check and accept in logic
Each case conditions is judged that the relatively more described logic to be checked and accepted standard corresponding with the logic to be checked and accepted is corresponded to is anti-error to patrol
Volume logical formula, provide the difference condition of the logical formula compared, and provide described compare according to described
The difference condition of logical formula provides the acceptance report of the logic to be checked and accepted.
Wherein, further includes:
Input unit, the anti-mis-logical of logic and standard to be checked and accepted in the input unit input electric power five prevention logic.
Wherein, the split cells, is specifically used for
Bracket is opened using multiplication apportionment ratio, "or" relationship is dismantled one by one, by being patrolled wait check and accept in electric power five prevention logic
Volume and the logical formula decision logic in several cases of the anti-mis-logical of standard split into case conditions；Wherein, the fractionation
At the case where condition between be "or" relationship.
Wherein, the comparing unit, is specifically used for:
Wait check and accept one of case conditions in logic described in extracting, in all of the corresponding anti-mis-logical of standard
One of case conditions of the extraction are matched in case conditions, judge one of case conditions of the extraction
In all atomic formulas whether can be found in all situations condition of the corresponding anti-mis-logical of standard, judging
All atomic formulas in one of case conditions of the extraction can not be in the corresponding anti-mis-logical of standard
It is found in all situations condition, then continues to judge all atoms in all situations condition of the anti-mis-logical of corresponding standard
Whether formula can find in one of case conditions of the extraction, judge the anti-mis-logical of corresponding standard
All situations condition in all atomic formulas can be found in one of case conditions of the extraction, then judge institute
It states the difference conditions for having write atomic formula in one of case conditions of extraction more, is judging that the corresponding standard is anti-error
All atomic formulas in all situations condition of logic are not that can find in one of case conditions of the extraction,
Then judge that one of case conditions of the extraction have failed to write the difference condition of atomic formula.
Wherein, the comparing unit, is specifically used for:
Wait check and accept one of case conditions in logic described in extracting, in all of the corresponding anti-mis-logical of standard
One of case conditions of the extraction are matched in case conditions, judge one of case conditions of the extraction
In all atomic formulas whether can be found in all situations condition of the corresponding anti-mis-logical of standard, judging
All atomic formulas in one of case conditions of the extraction can be in all of the corresponding anti-mis-logical of standard
Found in case conditions, then continue to judge whether to have in the anti-mis-logical of corresponding standard atomic formula the extraction its
In can not find in a case conditions, be to have atomic formula in the extraction in judging the anti-mis-logical of corresponding standard
One of case conditions in can not find, then judge the difference that atomic formula has been failed to write in the anti-mis-logical of corresponding standard
Different situation is one of situation of no atomic formula in the extraction in judging the anti-mis-logical of corresponding standard
The case where can not find in condition then judges that the situation condition in the anti-mis-logical of corresponding standard is correct.
It can be found that above scheme, it can patrolling the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic
It collects the decision logic of formula in several cases and splits into case conditions, and then can not continue to split most using atomic formula
Small formula mode, the case where this is split into condition by endianness order, by the above-mentioned means, can be electric power five prevention logic
In the logical formula of the anti-mis-logical of logic and standard to be checked and accepted inversely be reduced into case conditions, in several cases, electric power five
How the logical formula of the anti-mis-logical of logic and standard to be checked and accepted in anti-logic judges that a rule is listed, very clear readability,
It can be realized the legibility for improving electric power five prevention logic formula, be easy to inspect for acceptance electric power five prevention logic.
Further, above scheme can be waited checking and accepting and be patrolled according to the situation condition after by endianness order to this
Volume each of case conditions judged, it is anti-error to compare this logic to be checked and accepted standard corresponding with the correspondence receipts logic to be tested
The logical formula of logic provides the difference condition of the logical formula compared, and provides the logic compared according to this
The difference condition of formula provides the acceptance report of the logic to be checked and accepted, and can be realized to each of the logic to be checked and accepted feelings
Condition condition judged, compares the logic to be checked and accepted and the corresponding logic to be tested for receiving the corresponding anti-mis-logical of standard of logic is public
The difference condition of formula, and provide according to the difference condition acceptance report of the logic to be checked and accepted.
Further, above scheme, can be with the anti-mis-logical of logic and standard to be checked and accepted in input electric power five prevention logic, energy
It is enough to realize by way of input, prevent convenient for the subsequent corresponding standard of this logic to be checked and accepted and correspondence the receipts logic to be tested that compares
The difference condition of the logical formula of mis-logical.
Detailed description of the invention
In order to more clearly explain the embodiment of the invention or the technical proposal in the existing technology, to embodiment or will show below
There is attached drawing needed in technical description to be briefly described, it should be apparent that, the accompanying drawings in the following description is only this
Some embodiments of invention for those of ordinary skill in the art without creative efforts, can be with
It obtains other drawings based on these drawings.
Fig. 1 is the flow diagram of one embodiment of electric power five prevention logic acceptance method of the present invention；
Fig. 2 is the flow diagram of another embodiment of electric power five prevention logic acceptance method of the present invention；
Fig. 3 is the structural schematic diagram of one embodiment of electric power five prevention logic Acceptance Test System of the present invention；
Fig. 4 is the structural schematic diagram of another embodiment of electric power five prevention logic Acceptance Test System of the present invention；
Fig. 5 is the structural schematic diagram of the another embodiment of electric power five prevention logic Acceptance Test System of the present invention.
Specific embodiment
With reference to the accompanying drawings and examples, the present invention is described in further detail.It is emphasized that following implement
Example is merely to illustrate the present invention, but is not defined to the scope of the present invention.Likewise, following embodiment is only portion of the invention
Point embodiment and not all embodiments, institute obtained by those of ordinary skill in the art without making creative efforts
There are other embodiments, shall fall within the protection scope of the present invention.
The present invention provides a kind of electric power five prevention logic acceptance method, can be realized the readability for improving electric power five prevention logic formula
Property, be easy to inspect for acceptance electric power five prevention logic.
Referring to Figure 1, Fig. 1 is the flow diagram of one embodiment of electric power five prevention logic acceptance method of the present invention.It should be noted
If having substantially the same as a result, method of the invention is not limited with process sequence shown in FIG. 1.As shown in Figure 1,
This method comprises the following steps:
S101: in several cases by the logical formula of the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic
Decision logic split into case conditions；It wherein, is the relationship of "or" between the case where this splits into condition.
Wherein, the logical formula by the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic is in each situation
Under decision logic split into case conditions, may include:
Bracket is opened using multiplication apportionment ratio, "or" relationship is dismantled one by one, by being patrolled wait check and accept in electric power five prevention logic
Volume and the logical formula decision logic in several cases of the anti-mis-logical of standard split into case conditions；Wherein, this splits into
The case where condition between be "or" relationship.
Wherein, the logical formula at this by the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic is in each feelings
Decision logic under condition is split into before case conditions, can also include:
The anti-mis-logical of logic and standard to be checked and accepted in input electric power five prevention logic.
In the present embodiment, the "+" in the logical formula of the electric power five prevention logic can be used to indicate the feelings split into
The relationship of "or" between condition condition.In the present embodiment, the relationship for the "or" for being between the case where this splits into condition
Representation, the present invention is not limited.
In the present embodiment, by the logical formula of the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic each
Decision logic in a situation splits into case conditions, such as (a+b), and c+d, e split into case conditions and be exactly: a, c+b, c+d,
E totally four case conditions.
In the present embodiment, the logic to be checked and accepted in the electric power five prevention logic can be the logic to be checked and accepted of handwriting input,
It is also possible to the logic to be checked and accepted of computer input.In the present embodiment, the input mode about the logic to be checked and accepted, the present invention
It is not limited.
S102: being the minimum formula mode that can not continue to split using atomic formula, the case where this is split into condition by
Endianness order.
Wherein, the case where this is the minimum formula mode that can not continue to split using atomic formula, is split into this condition
By endianness order, may include:
The case where being the minimum formula mode that can not continue to split using atomic formula, splitting into this condition is suitable by character
Modes arrange sequence from small to large or from big to small etc..
In the present embodiment, atomic formula refers to the minimum formula that can not continue to split, such as 22624=1 is atom
Formula.
S103: according to the situation condition after by endianness order, to each of the logic to be checked and accepted situation
Condition judged, the logic to be checked and accepted and the corresponding logical formula to be tested for receiving the corresponding anti-mis-logical of standard of logic are compared,
The difference condition of the logical formula compared is provided, and provides the difference condition of the logical formula compared according to this,
Provide the acceptance report of the logic to be checked and accepted.
Wherein, this compares the logic to be checked and accepted and the corresponding logic to be tested for receiving the corresponding anti-mis-logical of standard of logic is public
Formula provides the difference condition of the logical formula compared, may include:
One of case conditions in the logic to be checked and accepted are extracted, in all situations of the corresponding anti-mis-logical of standard
One of case conditions of the extraction are matched in condition, are judged all in one of case conditions of the extraction
Whether atomic formula can find in all situations condition of the corresponding anti-mis-logical of standard, in its for judging the extraction
In all atomic formulas in a case conditions be not can be in all situations condition of the corresponding anti-mis-logical of standard
It finds, then continues to judge whether all atomic formulas in all situations condition of the corresponding anti-mis-logical of standard can be at these
It is found in the one of case conditions extracted, the institute in all situations condition for judging the corresponding anti-mis-logical of standard
There is atomic formula that can find in one of case conditions of the extraction, then judges one of case conditions of the extraction
In the difference conditions for having write atomic formula more, it is all in all situations condition for judging the corresponding anti-mis-logical of standard
Atomic formula is not that can find in one of case conditions of the extraction, then judges one of situation of the extraction
Condition has failed to write the difference condition of atomic formula.
Wherein, this compares the logic to be checked and accepted and the corresponding logic to be tested for receiving the corresponding anti-mis-logical of standard of logic is public
Formula provides the difference condition of the logical formula compared, may include:
One of case conditions in the logic to be checked and accepted are extracted, in all situations of the corresponding anti-mis-logical of standard
One of case conditions of the extraction are matched in condition, are judged all in one of case conditions of the extraction
Whether atomic formula can find in all situations condition of the corresponding anti-mis-logical of standard, in its for judging the extraction
In all atomic formulas in a case conditions can be found in all situations condition of the corresponding anti-mis-logical of standard,
Then continue to judge whether there is atomic formula to look in one of case conditions of the extraction in the corresponding anti-mis-logical of standard
Less than being to there is atomic formula to look in one of case conditions of the extraction in judging the corresponding anti-mis-logical of standard
Less than then judging the difference condition for having failed to write atomic formula in the corresponding anti-mis-logical of standard, judging that this is corresponding
It is the case where no atomic formula can not find in one of case conditions of the extraction in the anti-mis-logical of standard, then judgement should
Situation condition in the corresponding anti-mis-logical of standard is correct.
It can be found that in the present embodiment, it can be by the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic
Logical formula decision logic in several cases split into case conditions, and then can not continue to split using atomic formula
Minimum formula mode, the case where this is split into condition by endianness order, by the above-mentioned means, electric power five can be prevented
The logical formula of the anti-mis-logical of logic and standard to be checked and accepted in logic is inversely reduced into case conditions, in several cases, electricity
How the logical formula of the anti-mis-logical of logic and standard to be checked and accepted in power five prevention logic judges that a rule is listed, very clearly
Readability can be realized the legibility for improving electric power five prevention logic formula, and be easy to inspect for acceptance electric power five prevention logic.
It further, in the present embodiment, can be to be tested to this according to the situation condition after by endianness order
Each of logic case conditions are received to be judged, compare this logic to be checked and accepted with correspondence the corresponding standard of the receipts logic to be tested
The logical formula of anti-mis-logical provides the difference condition of the logical formula compared, and provides what this was compared according to this
The difference condition of logical formula provides the acceptance report of the logic to be checked and accepted, and can be realized to each in the logic to be checked and accepted
A case conditions are judged, are compared the logic to be checked and accepted with corresponding this and to be tested are received patrolling for the corresponding anti-mis-logical of standard of logic
The difference condition of formula is collected, and provides the acceptance report of the logic to be checked and accepted according to the difference condition.
Fig. 2 is referred to, Fig. 2 is the flow diagram of another embodiment of electric power five prevention logic acceptance method of the present invention.This reality
It applies in example, method includes the following steps:
S201: the anti-mis-logical of logic and standard to be checked and accepted in input electric power five prevention logic.
Can be as above described in S101, therefore not to repeat here.
S202: in several cases by the logical formula of the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic
Decision logic split into case conditions；It wherein, is the relationship of "or" between the case where this splits into condition.
Can be as above described in S101, therefore not to repeat here.
S203: being the minimum formula mode that can not continue to split using atomic formula, the case where this is split into condition by
Endianness order.
Can be as above described in S102, therefore not to repeat here.
S204: according to the situation condition after by endianness order, to each of the logic to be checked and accepted situation
Condition judged, the logic to be checked and accepted and the corresponding logical formula to be tested for receiving the corresponding anti-mis-logical of standard of logic are compared,
The difference condition of the logical formula compared is provided, and provides the difference condition of the logical formula compared according to this,
Provide the acceptance report of the logic to be checked and accepted.
Can be as above described in S103, therefore not to repeat here.
It can be found that in the present embodiment, can be patrolled so that the logic and standard to be checked and accepted in input electric power five prevention logic are anti-error
Volume, can be realized by way of input, convenient for it is subsequent compare this logic to be checked and accepted with correspondence the receipts logic to be tested it is corresponding
The difference condition of the logical formula of the anti-mis-logical of standard.
It is exemplified below:
1, the anti-mis-logical of logic and standard to be checked and accepted in input electric power five prevention logic.
Such as input following logic:
Logic to be checked and accepted:
2262H:{ } | 1 | 22624=1, (22621=1+22622=1)+22624=0, (22621=0+22622=0)！
The anti-mis-logical of standard:
2262H:{ } | 1 | 22624=1,22621=1+22624=1, (22621=0+22622=0)！
2, in several cases by the logical formula of the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic
Decision logic splits into case conditions；It wherein, is the relationship of "or" between the case where this splits into condition.
It is above-mentioned wait check and accept logic split after:
Case conditions one: 22624=1,22621=1；
Case conditions two: 22624=1,22622=1；
Case conditions three: 22624=0,22621=0；
Case conditions four: 22624=0,22622=0.
After the anti-mis-logical of above-mentioned standard is split:
Case conditions one: 22624=1,22621=1；
Case conditions two: 22624=1,22621=0；
Case conditions three: 22624=1,22622=0.
3, the case where being the minimum formula mode that can not continue to split, split into this using atomic formula condition is by character
Sequence arranges.
It is above-mentioned after splitting after checking and accepting logic by endianness order:
Case conditions one: 22621=0,22624=0；
Case conditions two: 22621=1,22624=1；
Case conditions three: 22622=0,22624=0；
Case conditions four: 22622=1,22624=1.
After the anti-mis-logical of the above-mentioned standard after splitting is by endianness order:
Case conditions one: 22621=1,22624=1；
Case conditions two: 22621=0,22624=1；
Case conditions three: 22622=0,22624=1.
4, the situation condition according to this after by endianness order, to each of the logic to be checked and accepted case conditions
Judged, compares the logic to be checked and accepted and the corresponding logical formula to be tested for receiving the corresponding anti-mis-logical of standard of logic, provide
The difference condition of the logical formula compared, and difference condition of logical formula compared is provided according to this, it provides
The acceptance report of the logic to be checked and accepted.
The following difference condition of the logic to be checked and accepted can be provided:
A) case conditions have been write: 22622=0,22624=0 more；
B) case conditions have been write: 22622=1,22624=1 more；
C) case conditions have been write less: 22622=0,22624=1.
By the above-mentioned means, can be realized the legibility for improving electric power five prevention logic formula, be easy to inspect for acceptance electric power five
Anti- logic can be realized and judge each of the logic to be checked and accepted case conditions, compare the logic sum to be checked and accepted
The difference condition of the corresponding logical formula to be tested for receiving the corresponding anti-mis-logical of standard of logic, and this is provided according to the difference condition
The acceptance report of logic to be checked and accepted.
The present invention also provides a kind of electric power five prevention logic Acceptance Test System, it can be realized and improve the easy of electric power five prevention logic formula
The property read, be easy to inspect for acceptance electric power five prevention logic.
Fig. 3 is referred to, Fig. 3 is the structural schematic diagram of one embodiment of electric power five prevention logic Acceptance Test System of the present invention.This implementation
In example, which includes split cells 31, arrangement units 32, comparing unit 33.
The split cells 31, for by the logical formula of the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic
Decision logic in several cases splits into case conditions；It wherein, is the relationship of "or" between the case where this splits into condition.
The arrangement units 32 split into this for being the minimum formula mode that can not continue to split using atomic formula
The case where condition press endianness order.
The comparing unit 33, for according to this through by the situation condition after endianness order, in the logic to be checked and accepted
Each case conditions judged, compare the logic the to be checked and accepted anti-mis-logical of standard corresponding with the corresponding receipts logic to be tested
Logical formula, provide the difference condition of the logical formula compared, and the logical formula compared is provided according to this
Difference condition, provide the acceptance report of the logic to be checked and accepted.
Optionally, the split cells 31, can be specifically used for:
Bracket is opened using multiplication apportionment ratio, "or" relationship is dismantled one by one, by being patrolled wait check and accept in electric power five prevention logic
Volume and the logical formula decision logic in several cases of the anti-mis-logical of standard split into case conditions；Wherein, this splits into
The case where condition between be "or" relationship.
Optionally, the arrangement units 32, can be specifically used for:
The case where being the minimum formula mode that can not continue to split using atomic formula, splitting into this condition is suitable by character
Modes arrange sequence from small to large or from big to small etc..
Optionally, the comparing unit 33, can be specifically used for:
One of case conditions in the logic to be checked and accepted are extracted, in all situations of the corresponding anti-mis-logical of standard
One of case conditions of the extraction are matched in condition, are judged all in one of case conditions of the extraction
Whether atomic formula can find in all situations condition of the corresponding anti-mis-logical of standard, in its for judging the extraction
In all atomic formulas in a case conditions be not can be in all situations condition of the corresponding anti-mis-logical of standard
It finds, then continues to judge whether all atomic formulas in all situations condition of the corresponding anti-mis-logical of standard can be at these
It is found in the one of case conditions extracted, the institute in all situations condition for judging the corresponding anti-mis-logical of standard
There is atomic formula that can find in one of case conditions of the extraction, then judges one of case conditions of the extraction
In the difference conditions for having write atomic formula more, it is all in all situations condition for judging the corresponding anti-mis-logical of standard
Atomic formula is not that can find in one of case conditions of the extraction, then judges one of situation of the extraction
Condition has failed to write the difference condition of atomic formula.
Optionally, the comparing unit 33, can be specifically used for:
One of case conditions in the logic to be checked and accepted are extracted, in all situations of the corresponding anti-mis-logical of standard
One of case conditions of the extraction are matched in condition, are judged all in one of case conditions of the extraction
Whether atomic formula can find in all situations condition of the corresponding anti-mis-logical of standard, in its for judging the extraction
In all atomic formulas in a case conditions can be found in all situations condition of the corresponding anti-mis-logical of standard,
Then continue to judge whether there is atomic formula to look in one of case conditions of the extraction in the corresponding anti-mis-logical of standard
Less than being to there is atomic formula to look in one of case conditions of the extraction in judging the corresponding anti-mis-logical of standard
Less than then judging the difference condition for having failed to write atomic formula in the corresponding anti-mis-logical of standard, judging that this is corresponding
It is the case where no atomic formula can not find in one of case conditions of the extraction in the anti-mis-logical of standard, then judgement should
Situation condition in the corresponding anti-mis-logical of standard is correct.
Fig. 4 is referred to, Fig. 4 is the structural schematic diagram of another embodiment of electric power five prevention logic Acceptance Test System of the present invention.Difference
Yu Shangyi embodiment, electric power five prevention logic Acceptance Test System 40 described in the present embodiment further include: input unit 41.
The input unit 41, for the anti-mis-logical of logic and standard to be checked and accepted in input electric power five prevention logic.
It is right in above method embodiment that each unit module of the electric power five prevention logic Acceptance Test System 30/40 can execute respectively
Step is answered, therefore each unit module is not repeated herein, the explanation of the above corresponding step is referred to.
Fig. 5 is referred to, Fig. 5 is the structural schematic diagram of the another embodiment of electric power five prevention logic Acceptance Test System of the present invention.The electricity
Each unit module of power five prevention logic Acceptance Test System can execute respectively corresponds to step in above method embodiment.Related content is asked
It is no longer superfluous herein to chat referring to the detailed description in the above method.
The memory that in the present embodiment, which includes: processor 51, is coupled with processor 51
52, arrangement machine 53, comparator 54.
The processor 51, for the anti-mis-logical of logic and standard to be checked and accepted in input electric power five prevention logic, and by electric power
The decision logic of the logical formula of the anti-mis-logical of logic and standard to be checked and accepted in five prevention logic in several cases splits into feelings
Condition condition；It wherein, is the relationship of "or" between the case where this splits into condition.
The memory 52, the instruction etc. executed for storage program area, the processor 51.
The arrangement machine 53 splits into this for being the minimum formula mode that can not continue to split using atomic formula
Case conditions press endianness order.
The comparator 54, for according to this through by the situation condition after endianness order, in the logic to be checked and accepted
Each case conditions judged, the logic to be checked and accepted and the corresponding logic corresponding anti-mis-logical of standard to be tested received are compared
Logical formula provides the difference condition of the logical formula compared, and provides the logical formula compared according to this
Difference condition provides the acceptance report of the logic to be checked and accepted.
Optionally, the processor 51, can be specifically used for:
Bracket is opened using multiplication apportionment ratio, "or" relationship is dismantled one by one, by being patrolled wait check and accept in electric power five prevention logic
Volume and the logical formula decision logic in several cases of the anti-mis-logical of standard split into case conditions；Wherein, this splits into
The case where condition between be "or" relationship.
Optionally, the arrangement machine 53, can be specifically used for:
The case where being the minimum formula mode that can not continue to split using atomic formula, splitting into this condition is suitable by character
Modes arrange sequence from small to large or from big to small etc..
Optionally, the comparator 54, can be specifically used for:
One of case conditions in the logic to be checked and accepted are extracted, in all situations of the corresponding anti-mis-logical of standard
One of case conditions of the extraction are matched in condition, are judged all in one of case conditions of the extraction
Whether atomic formula can find in all situations condition of the corresponding anti-mis-logical of standard, in its for judging the extraction
In all atomic formulas in a case conditions be not can be in all situations condition of the corresponding anti-mis-logical of standard
It finds, then continues to judge whether all atomic formulas in all situations condition of the corresponding anti-mis-logical of standard can be at these
It is found in the one of case conditions extracted, the institute in all situations condition for judging the corresponding anti-mis-logical of standard
There is atomic formula that can find in one of case conditions of the extraction, then judges one of case conditions of the extraction
In the difference conditions for having write atomic formula more, it is all in all situations condition for judging the corresponding anti-mis-logical of standard
Atomic formula is not that can find in one of case conditions of the extraction, then judges one of situation of the extraction
Condition has failed to write the difference condition of atomic formula.
Optionally, the comparator 54, can be specifically used for:
One of case conditions in the logic to be checked and accepted are extracted, in all situations of the corresponding anti-mis-logical of standard
One of case conditions of the extraction are matched in condition, are judged all in one of case conditions of the extraction
Whether atomic formula can find in all situations condition of the corresponding anti-mis-logical of standard, in its for judging the extraction
In all atomic formulas in a case conditions can be found in all situations condition of the corresponding anti-mis-logical of standard,
Then continue to judge whether there is atomic formula to look in one of case conditions of the extraction in the corresponding anti-mis-logical of standard
Less than being to there is atomic formula to look in one of case conditions of the extraction in judging the corresponding anti-mis-logical of standard
Less than then judging the difference condition for having failed to write atomic formula in the corresponding anti-mis-logical of standard, judging that this is corresponding
It is the case where no atomic formula can not find in one of case conditions of the extraction in the anti-mis-logical of standard, then judgement should
Situation condition in the corresponding anti-mis-logical of standard is correct.
It can be found that above scheme, it can patrolling the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic
It collects the decision logic of formula in several cases and splits into case conditions, and then can not continue to split most using atomic formula
Small formula mode, the case where this is split into condition by endianness order, by the above-mentioned means, can be electric power five prevention logic
In the logical formula of the anti-mis-logical of logic and standard to be checked and accepted inversely be reduced into case conditions, in several cases, electric power five
How the logical formula of the anti-mis-logical of logic and standard to be checked and accepted in anti-logic judges that a rule is listed, very clear readability,
It can be realized the legibility for improving electric power five prevention logic formula, be easy to inspect for acceptance electric power five prevention logic.
Further, above scheme can be waited checking and accepting and be patrolled according to the situation condition after by endianness order to this
Volume each of case conditions judged, it is anti-error to compare this logic to be checked and accepted standard corresponding with the correspondence receipts logic to be tested
The logical formula of logic provides the difference condition of the logical formula compared, and provides the logic compared according to this
The difference condition of formula provides the acceptance report of the logic to be checked and accepted, and can be realized to each of the logic to be checked and accepted feelings
Condition condition judged, compares the logic to be checked and accepted and the corresponding logic to be tested for receiving the corresponding anti-mis-logical of standard of logic is public
The difference condition of formula, and provide according to the difference condition acceptance report of the logic to be checked and accepted.
Further, above scheme, can be with the anti-mis-logical of logic and standard to be checked and accepted in input electric power five prevention logic, energy
It is enough to realize by way of input, prevent convenient for the subsequent corresponding standard of this logic to be checked and accepted and correspondence the receipts logic to be tested that compares
The difference condition of the logical formula of mis-logical.
It should be understood by those ordinary skilled in the art that: the discussion of any of the above embodiment is exemplary only, not
It is intended to imply that the scope of the present disclosure (including claim) is limited to these examples；Under thinking of the invention, above embodiments
Or can also be combined between the technical characteristic in different embodiments, step can be realized with random order, and be existed such as
Many other variations of the upper different aspect of the invention, for simplicity, they are not provided in details.
In addition, to simplify explanation and discussing, and in order not to obscure the invention, it can in provided attached drawing
It is connect with showing or can not show with the well known power ground of integrated circuit (IC) chip and other components.Furthermore, it is possible to
Device is shown in block diagram form, to avoid obscuring the invention, and this has also contemplated following facts, i.e., about this
The details of the embodiment of a little block diagram arrangements be height depend on will implementing platform of the invention (that is, these details should
It is completely within the scope of the understanding of those skilled in the art).Elaborating that detail (for example, circuit) is of the invention to describe
In the case where exemplary embodiment, it will be apparent to those skilled in the art that can be in these no details
In the case where or implement the present invention in the case that these details change.Therefore, these descriptions should be considered as explanation
Property rather than it is restrictive.
Although having been incorporated with specific embodiments of the present invention, invention has been described, according to retouching for front
It states, many replacements of these embodiments, modifications and variations will be apparent for those of ordinary skills.Example
Such as, discussed embodiment can be used in other memory architectures (for example, dynamic ram (DRAM)).
The embodiment of the present invention be intended to cover fall into all such replacements within the broad range of appended claims,
Modifications and variations.Therefore, all within the spirits and principles of the present invention, any omission, modification, equivalent replacement, the improvement made
Deng should all be included in the protection scope of the present invention.
Claims (10)
1. a kind of electric power five prevention logic acceptance method characterized by comprising
The judgement of the logical formula of the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic in several cases is patrolled
It collects and splits into case conditions；It wherein, is the relationship of "or" between the case where splitting into condition；
Using atomic formula to the case where splitting into condition by endianness order, wherein the atomic formula refers to can not
Continue the minimum formula mode split；
According to described through by the situation condition after endianness order, to each of the logic to be checked and accepted case conditions into
Row judgement, the logical formula of the relatively more described logic the to be checked and accepted anti-mis-logical of standard corresponding with the logic to be checked and accepted is corresponded to, gives
The difference condition of the logical formula compared out, and according to the difference feelings for providing the logical formula compared
Condition provides the acceptance report of the logic to be checked and accepted.
2. electric power five prevention logic acceptance method as described in claim 1, which is characterized in that it is described will be in electric power five prevention logic
The logical formula decision logic in several cases of the anti-mis-logical of logic and standard to be checked and accepted split into before case conditions,
Further include:
The anti-mis-logical of logic and standard to be checked and accepted in input electric power five prevention logic.
3. electric power five prevention logic acceptance method as claimed in claim 1 or 2, which is characterized in that described by electric power five prevention logic
In the logical formula decision logic in several cases of the anti-mis-logical of logic and standard to be checked and accepted split into case conditions, wrap
It includes:
Using multiplication apportionment ratio open bracket, "or" relationship is dismantled one by one, by electric power five prevention logic logic to be checked and accepted and
The decision logic of the logical formula of the anti-mis-logical of standard in several cases splits into case conditions；Wherein, described to split into
It is the relationship of "or" between case conditions.
4. electric power five prevention logic acceptance method as described in claim 1, which is characterized in that logic to be checked and accepted described in the comparison
The logical formula of the anti-mis-logical of standard corresponding with the logic to be checked and accepted is corresponded to, provides the difference of the logical formula compared
Different situation, comprising:
Wait check and accept one of case conditions in logic described in extracting, in all situations of the corresponding anti-mis-logical of standard
One of case conditions of the extraction are matched in condition, are judged in one of case conditions of the extraction
Whether all atomic formulas can find in all situations condition of the corresponding anti-mis-logical of standard, described in judging
All atomic formulas in one of case conditions extracted are not can be in all of the corresponding anti-mis-logical of standard
It is found in case conditions, then continues to judge all atomic formulas in all situations condition of the anti-mis-logical of corresponding standard
Whether can be found in one of case conditions of the extraction, in the institute for judging the anti-mis-logical of corresponding standard
All atomic formulas in condition that there is something special can be found in one of case conditions of the extraction, then mentioned described in judgement
The difference conditions for having write atomic formula, are judging the anti-mis-logical of corresponding standard more in the one of case conditions taken
All situations condition in all atomic formulas be not that can be found in one of case conditions of the extraction, then sentence
One of case conditions of the disconnected extraction out have failed to write the difference condition of atomic formula.
5. electric power five prevention logic acceptance method as described in claim 1, which is characterized in that logic to be checked and accepted described in the comparison
The logical formula of the anti-mis-logical of standard corresponding with the logic to be checked and accepted is corresponded to, provides the difference of the logical formula compared
Different situation, comprising:
Wait check and accept one of case conditions in logic described in extracting, in all situations of the corresponding anti-mis-logical of standard
One of case conditions of the extraction are matched in condition, are judged in one of case conditions of the extraction
Whether all atomic formulas can find in all situations condition of the corresponding anti-mis-logical of standard, described in judging
All atomic formulas in one of case conditions extracted can be in all situations of the corresponding anti-mis-logical of standard
It is found in condition, then continues to judge whether to have in the anti-mis-logical of corresponding standard atomic formula wherein the one of the extraction
Can not find in a case conditions, be in judging the anti-mis-logical of corresponding standard have atomic formula the extraction its
In can not find in a case conditions, then judge the difference feelings that atomic formula has been failed to write in the anti-mis-logical of corresponding standard
Condition is one of case conditions of no atomic formula in the extraction in judging the anti-mis-logical of corresponding standard
In the case where can not find, then judge that the situation condition in the anti-mis-logical of corresponding standard is correct.
6. a kind of electric power five prevention logic Acceptance Test System characterized by comprising
Split cells, arrangement units and comparing unit；
The split cells is by the logical formula of the anti-mis-logical of logic and standard to be checked and accepted in electric power five prevention logic in each feelings
Decision logic under condition splits into case conditions；It wherein, is the relationship of "or" between the case where splitting into condition；
The arrangement units use atomic formula, to the case where splitting into condition by endianness order, wherein the original
Subformula refers to the minimum formula mode that can not continue to split；
The comparing unit is according to the situation condition after by endianness order, to described each in logic wait check and accept
A case conditions are judged, the logic the to be checked and accepted anti-mis-logical of standard corresponding with the logic to be checked and accepted is corresponded to is compared
Logical formula provides the difference condition of the logical formula compared, and provides the logic compared according to described
The difference condition of formula provides the acceptance report of the logic to be checked and accepted.
7. electric power five prevention logic Acceptance Test System as claimed in claim 6, which is characterized in that further include:
Input unit, the anti-mis-logical of logic and standard to be checked and accepted in the input unit input electric power five prevention logic.
8. electric power five prevention logic Acceptance Test System as claimed in claims 6 or 7, which is characterized in that the split cells, it is specific to use
In
Using multiplication apportionment ratio open bracket, "or" relationship is dismantled one by one, by electric power five prevention logic logic to be checked and accepted and
The decision logic of the logical formula of the anti-mis-logical of standard in several cases splits into case conditions；Wherein, described to split into
It is the relationship of "or" between case conditions.
9. electric power five prevention logic Acceptance Test System as claimed in claim 6, which is characterized in that the comparing unit is specifically used for:
Wait check and accept one of case conditions in logic described in extracting, in all situations of the corresponding anti-mis-logical of standard
One of case conditions of the extraction are matched in condition, are judged in one of case conditions of the extraction
Whether all atomic formulas can find in all situations condition of the corresponding anti-mis-logical of standard, described in judging
All atomic formulas in one of case conditions extracted are not can be in all of the corresponding anti-mis-logical of standard
It is found in case conditions, then continues to judge all atomic formulas in all situations condition of the anti-mis-logical of corresponding standard
Whether can be found in one of case conditions of the extraction, in the institute for judging the anti-mis-logical of corresponding standard
All atomic formulas in condition that there is something special can be found in one of case conditions of the extraction, then mentioned described in judgement
The difference conditions for having write atomic formula, are judging the anti-mis-logical of corresponding standard more in the one of case conditions taken
All situations condition in all atomic formulas be not that can be found in one of case conditions of the extraction, then sentence
One of case conditions of the disconnected extraction out have failed to write the difference condition of atomic formula.
10. electric power five prevention logic Acceptance Test System as claimed in claim 6, which is characterized in that the comparing unit, it is specific to use
In:
Wait check and accept one of case conditions in logic described in extracting, in all situations of the corresponding anti-mis-logical of standard
One of case conditions of the extraction are matched in condition, are judged in one of case conditions of the extraction
Whether all atomic formulas can find in all situations condition of the corresponding anti-mis-logical of standard, described in judging
All atomic formulas in one of case conditions extracted can be in all situations of the corresponding anti-mis-logical of standard
It is found in condition, then continues to judge whether to have in the anti-mis-logical of corresponding standard atomic formula wherein the one of the extraction
Can not find in a case conditions, be in judging the anti-mis-logical of corresponding standard have atomic formula the extraction its
In can not find in a case conditions, then judge the difference feelings that atomic formula has been failed to write in the anti-mis-logical of corresponding standard
Condition is one of case conditions of no atomic formula in the extraction in judging the anti-mis-logical of corresponding standard
In the case where can not find, then judge that the situation condition in the anti-mis-logical of corresponding standard is correct.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201811108350.4A CN109409667A (en) | 2018-09-21 | 2018-09-21 | Electric power five prevention logic acceptance method and system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201811108350.4A CN109409667A (en) | 2018-09-21 | 2018-09-21 | Electric power five prevention logic acceptance method and system |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN109409667A true CN109409667A (en) | 2019-03-01 |
Family
ID=65465189
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201811108350.4A Pending CN109409667A (en) | 2018-09-21 | 2018-09-21 | Electric power five prevention logic acceptance method and system |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN109409667A (en) |
Citations (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20080234872A1 (en) * | 2007-03-22 | 2008-09-25 | Abb Research Ltd. | Validating a standardized configuration description |
| CN101923346A (en) * | 2010-05-19 | 2010-12-22 | 广东电网公司电力科学研究院 | Method and system for automatically generating anti-sabotage, anti-blocking, water irrigation, breathing, fire burning logic rules of substation |
| CN106383958A (en) * | 2016-09-27 | 2017-02-08 | 国网四川省电力公司天府新区供电公司 | Intelligent check and acceptance system of substation anti-misoperation locking logic |
| CN106843041A (en) * | 2017-01-10 | 2017-06-13 | 珠海优特电力科技股份有限公司 | The anti-error logical formula automation generation system and method for electrical equipment |
| CN106919741A (en) * | 2017-02-06 | 2017-07-04 | 国网福建省电力有限公司 | A kind of anti-misoperation locking logic rules generation and nucleus correcting system |
| CN108228186A (en) * | 2017-12-29 | 2018-06-29 | 国网山东省电力公司德州供电公司 | The verification method of substation's five-defence block regular expression based on CHAIN OF RESPONSIBILITY PATTERN |
-
2018
- 2018-09-21 CN CN201811108350.4A patent/CN109409667A/en active Pending
Patent Citations (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20080234872A1 (en) * | 2007-03-22 | 2008-09-25 | Abb Research Ltd. | Validating a standardized configuration description |
| CN101923346A (en) * | 2010-05-19 | 2010-12-22 | 广东电网公司电力科学研究院 | Method and system for automatically generating anti-sabotage, anti-blocking, water irrigation, breathing, fire burning logic rules of substation |
| CN106383958A (en) * | 2016-09-27 | 2017-02-08 | 国网四川省电力公司天府新区供电公司 | Intelligent check and acceptance system of substation anti-misoperation locking logic |
| CN106843041A (en) * | 2017-01-10 | 2017-06-13 | 珠海优特电力科技股份有限公司 | The anti-error logical formula automation generation system and method for electrical equipment |
| CN106919741A (en) * | 2017-02-06 | 2017-07-04 | 国网福建省电力有限公司 | A kind of anti-misoperation locking logic rules generation and nucleus correcting system |
| CN108228186A (en) * | 2017-12-29 | 2018-06-29 | 国网山东省电力公司德州供电公司 | The verification method of substation's five-defence block regular expression based on CHAIN OF RESPONSIBILITY PATTERN |
Non-Patent Citations (3)
| Title |
|---|
| 余亚林;王俊峰;: "微机五防装置防误基本规则及闭锁逻辑式优化", 广西电力, no. 03, pages 24 - 26 * |
| 姚树春 等: "大数据技术与应用", vol. 1, 30 June 2018, 西南交通大学出版社, pages: 53 * |
| 陈庆红: "《变电运行》", vol. 1, 28 February 2006, 中国电力出版社, pages: 235 - 240 * |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN104407976B (en) | A kind of interface robustness testing case generation method and device | |
| CN102043719B (en) | Method for testing IEC61850 configuration description file | |
| CN111881022A (en) | Method, device and equipment for generating test case based on test scene | |
| CN110148435A (en) | A kind of flash memory particle screen selecting stage division | |
| Arief et al. | DG placement and size with continuation power flow method | |
| US10210291B2 (en) | Apparatus and method for analyzing power system | |
| CN111679977B (en) | Method, equipment and storage medium for testing exact project unit based on Jest | |
| CN108414883A (en) | A kind of transformer fault type detection method based on Model Fusion | |
| Niu et al. | Dynamic reactive power reserve optimisation in wind power integration areas | |
| KR101874857B1 (en) | Fault monitoring apparatus for solar cell and operating method thereof | |
| CN113486358A (en) | Vulnerability detection method and device | |
| CN112113638B (en) | Water meter function self-checking device and method | |
| CN109409667A (en) | Electric power five prevention logic acceptance method and system | |
| CN104574179A (en) | Double-check verification system and double-check verification method for bank card capital settlement platform | |
| CN112307647A (en) | Charging pile communication interruption testing method and device, storage medium and processor | |
| CN114091699A (en) | Power communication equipment fault diagnosis method and system | |
| CN105929358A (en) | Intelligent electric energy meter large message reading test detection method | |
| Karimi et al. | Probabilistic transmission expansion planning considering risk of cascading transmission line failures | |
| Shen et al. | An electric vehicle charging pile fault diagnosis system using Borderline-SMOTE and LightGBM | |
| CN114694869A (en) | Nuclear power station instrument control system transformation risk control method, electronic equipment and storage medium | |
| Stankovski et al. | Multi‐zonal method for cascading failure analyses in large interconnected power systems | |
| CN109446642B (en) | Intelligent writing method and device for power grid equipment starting scheme | |
| KR20220104862A (en) | Method for placement of enegy sources using lyapunov exponent and computing device for executing the method | |
| Miller et al. | Variable power factor ders and their effect on hosting capacity | |
| CN106528401B (en) | The tripping test method and device of control system based on redundancy structure |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| TA01 | Transfer of patent application right | ||
| TA01 | Transfer of patent application right |
Effective date of registration: 20200921 Address after: 510620 Tianhe District, Guangzhou, Tianhe South Road, No. two, No. 2, No. Applicant after: Guangzhou Power Supply Bureau of Guangdong Power Grid Co.,Ltd. Address before: 510620 Tianhe District, Guangzhou, Tianhe South Road, No. two, No. 2, No. Applicant before: GUANGZHOU POWER SUPPLY Co.,Ltd. |