Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

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

A technology of redundant data and automatic selection. The redundancy applied in the operation is used for data error detection and response error generation. It can solve the problems of error-prone, large workload of retained data, and burden of controller software and hardware.

Active Publication Date: 2012-07-04
北京和利时控制技术有限公司
View PDF0 Cites 0 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}; in this example, AV=V;

[0104] The intermediate code is:

[0105] a: = 1;

[0106] b:=b+1;

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

[0108] IF e>=100THEN

[0109] d: = 0;

[0110] ELSE

[0111] d: = 1;

[0112] END_IF

[0113] The above calculation 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 relational 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 relation 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 be converted to a functional formula: a=f(b, c)

[0123] c: =a*2+1+e; s...

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:

[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 when the control station is out of synchronization for various reasons in the future (the number of operation cycles is far apart), the following processing procedures of the control station ...

example 3

[0363] Example 3: The following relationship set:

[0364] y=f(x)

[0365] x=f(a)

[0366] Let AV={y}

[0367] Analysis: If you only need to copy and update the OV data at the end of the first operation cycle, the AV is undisturbed, then only OV={x} is required, but from the engineering logic point of view, the AV of the dual machine at the end of the second cycle Whether the value of the variable y is consistent is uncertain. For such engineering logic, in order to ensure that the AV variable y is undisturbed, it is obvious that redundancy x is required, a 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 with the two machines at the end of any positive integer cycle instead of one cycle, that is, in the mathematical description of the optimization problem n should be any positive integer, and it cannot be limited to n=1, otherwise the r...

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 a method for automatically selecting redundant data in a redundant configuration system, a corresponding analyzer, and a method and system for realizing undisturbed output switching during dual machine 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 a redundant configuration. [0003] The working principle of DCS is as follows: First, the engineers carry out engineering configuration and programming in the engineering station; then, the engineering station downloads the configuration results to the operating station, server and control station respectively; finally, each station enters the working state, and ...

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
Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/14
Inventor 刘立忠
Owner 北京和利时控制技术有限公司
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products