Method for automatically selecting redundant data, analyzer and method for realizing non-interference switch

A technology of automatic selection and redundant data, which is applied in the direction of data error detection and response error generation, which can solve problems such as error-prone, retain data workload, controller software and hardware burden, etc.

Active Publication Date: 2010-07-07
北京和利时控制技术有限公司
View PDF0 Cites 8 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Manual selection of retain data is heavy and error-prone. In order to avoid omissions, engineers often configure many or even all variables as retain data, which brings a great burden to the entire controller software and hardware.

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
  • Method for automatically selecting redundant data, analyzer and method for realizing non-interference switch
  • Method for automatically selecting redundant data, analyzer and method for realizing non-interference switch
  • Method for automatically selecting redundant data, analyzer and method for realizing non-interference switch

Examples

Experimental program
Comparison scheme
Effect test

example 1

[0095] VAR

[0096] a: DINT;

[0097] b: DINT;

[0098] c: DINT;

[0099] d: BOOL;

[0100] e: DINT;

[0101] END_VAR

[0102] The original set V and target set AV are:

[0103] V={a, b, c, d, e}; AV=V is taken as in this example;

[0104] The intermediate code is:

[0105] a:=1;

[0106] b:=b+1;

[0107] c:=a*2+1+e;

[0108] IF e >= 100 THEN

[0109] d:=0;

[0110] ELSE

[0111] d:=1;

[0112] END_IF

[0113] The above operation logic can be converted into the following functional formula:

[0114] a=f 1 ()

[0115] b=f 2 (b)

[0116] c=f 3 (a, e)

[0117] d=f 4 (e)

[0118] Therefore, the relation set F is:

[0119] F={(1, a=f 1 ()), (2, b=f 2 (b)), (3, c=f 3 (a,e)), (4,d=f 4 (e))}.

[0120] The job of the converter is to convert the intermediate code to generate a relationship set. As can be seen in the above example, the assignment statement in the intermediate code can be directly converted:

[0121] Another example:

[0122] a=b+c; should b...

example 2

[0307] VAR / / Define variables a, b, c, d, e

[0308] a: DINT;

[0309] b: BOOL;

[0310] c: DINT;

[0311] d: DINT;

[0312] e: DINT;

[0313] END_VAR

[0314] IF a >= 100

[0315] THEN

[0316] b:=0;

[0317] a:=0;

[0318] ELSE

[0319] b:=1;

[0320] a:=a+1;

[0321] END_IF

[0322] c:=a*2+1+e;

[0323] d:=c-a;

[0324] The above code can be converted into a functional formula in operation logic:

[0325] b=f 1 (a)

[0326] a=f 2 (a)

[0327] c=f 3 (a, e)

[0328] d=f 4 (a,c)

[0329] Therefore, the sets V, AV and F are respectively:

[0330] V = {a, b, c, d, e};

[0331] AV can be any subset of V, in this example, AV=V;

[0332] F={(1,b=f 1 (a)), (2, a=f 2 (a)), (3, c=f 3 (a,e)), (4,d=f 4 (a,c))}.

[0333] It can be seen intuitively that OV={a, e}

[0334] In fact, the constraint condition of the optimizer is to ensure that in the future, when the control station is not synchronized due to various reasons (the number of operation cycles is far...

example 3

[0363] Example 3: The following relationship set:

[0364] y=f(x)

[0365] x=f(a)

[0366] Let AV={y}

[0367] Analysis: If it is only required that the AV is not disturbed at the end of the first operation cycle of copying and updating OV data, then only OV={x} is required, but from the engineering logic point of view, the AV of the two machines at the end of the second cycle It is uncertain whether the value of the variable y is consistent. For such engineering logic, in order to ensure that the AV variable y is undisturbed, it is obvious that redundant x, a is required, that is, OV={x, a}.

[0368] Through example 3, it can be seen that the more optimal set OV is copied between the two machines, and the variable value of the target set AV should be kept consistent between the two machines at the end of any positive integer cycle instead of one cycle operation, that is, in the mathematical description of the optimization problem n should be any positive integer, and it c...

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 discloses a method for automatically selecting redundant data, an analyzer and a method for realizing non-interference switch. The method for automatically selecting the redundant data comprises the following steps: determining an original set consisting of all variables defined in a control program and a target set consisting of non-interference variables ensured to be output during host / standby switch, converting codes of the control program into a relationship set comprising a plurality of functional expressions and sequence information thereof, extracting a dependent variable, a corresponding independent variable and a corresponding functional expression from operation logic, optimizing the original set according to the target set and the relationship set, and selecting out a redundant optimal set to keep values of the variables in the target set accordant when the operation in later any positive integer period is finished after a host machine and a standby machine part copy and update the values of the variables in the redundant optimal set. The method is characterized in that a few redundant variables are acquired through selection from the original set in a redundancy configuration system, and then output variables are ensured to be kept accordant in the later any positive integer period when the values of the redundant variables are the same.

Description

technical field [0001] The invention relates to an automatic selection method of redundant data in a redundant configuration system, a corresponding analyzer, and a method and a system for ensuring output undisturbed switching during dual-computer switching by selecting redundant data. Background technique [0002] A simple and typical distributed control system (DCS) with redundant configuration should include: engineer station, server, operation station, control station, etc., such as figure 1 shown. The servers and control stations in the figure are redundant configurations, and each communication network also adopts redundant configurations. [0003] The working principle of DCS is as follows: firstly, engineers perform engineering configuration or programming on the engineer station; then, the engineer station downloads the configuration results to the operation station, server and control station respectively; finally, each station enters the working state, and the en...

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): G06F11/14
Inventor 刘立忠
Owner 北京和利时控制技术有限公司
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