Speed regulator additional damping double-controller redundancy switching method and system

Abstract

The invention discloses a speed regulator additional damping double-controller redundancy switching method and system, and relates to the technical field of control methods, and the method comprises the following steps: obtaining a corresponding participation condition according to an output result, listing the participation condition in a truth table, and supplementing the association logic of the participation condition and the output result; outputting the association logic as an image language, and simplifying the output image language; switching logic is obtained through the simplified image language, and the switching logic is converted into a programming language corresponding to the controller language according to the controller language. On the basis of a truth table method, a universal method which does not depend on the technical ability of people is provided for a switching logic task to be programmed complexly, according to the steps provided by the method, the complex control switching relation can be decomposed, the difficulty can be reduced, the purpose of correct and comprehensive control can be achieved, and the universality is achieved.

Description

Technical Field

[0001] The present invention relates to the technical field of control methods, and in particular to a method and system for redundant switching of dual controllers with additional damping of a speed regulator. Background Art

[0002] In the power industry, many important control equipment controllers usually use dual configurations to enhance the overall reliability of the system. For turbine speed governors with additional damping control, for units with a single unit capacity of more than 200,000 kW, the electrical control system often uses dual controllers for redundant configuration. When one controller fails, it automatically switches to the standby controller according to the designed switching logic, and the additional damping control of the speed control system can still work normally. This enhances the reliability and stability of the system.

[0003] The redundant switching of the controller is very important at this time. The key lies in the correctness and rationality of the switching logic. Its rationality lies in the comprehensive design of offline engineers. After the design is completed, how to use a scientific method to accurately implement programming is another issue.

[0004] The switching of the turbine speed control system controller is a necessary function of the system. Different manufacturers use different methods. In terms of the form of signals, there are mainly two categories: one is to use hard wiring to exchange information; the other is to exchange information through a communication bus.

[0005] In terms of implementation carrier, it is also divided into two categories. One category uses a third-party PLC as the arbitration unit, and the switching logic is on it; Figure 1 One type is that the switching logic is written in two sets of controls, and the two sets select each other, as shown in the attached manual. Figure 2 shown.

[0006] Different equipment manufacturers have completely different methods for the number of specific collected signals, some with more and some with less, but in general, the indispensable fault information and status include: general fault, serious fault, freeze fault, handle selection, etc. If there are fewer conditions involved in logical judgment, the programming difficulty is relatively small, but when there are more conditions involved in logical judgment, the difficulty will increase exponentially. It is inevitable that omissions will occur if you only rely on experience without scientific methods. Summary of the invention

[0007] In view of the problems existing in the redundant switching of the existing speed governor additional damping dual controller and the system, the present invention is proposed.

[0008] Therefore, the problem to be solved by the present invention is that when there are many conditions involved in logical judgment, omissions are likely to occur, resulting in controller switching failure.

[0009] In order to solve the above technical problems, the present invention provides the following technical solutions:

[0010] In a first aspect, an embodiment of the present invention provides a method for redundant switching of dual controllers of a speed regulator with additional damping, which comprises the following steps:

[0011] Obtain the corresponding participation conditions according to the output results, list them in the truth table, and supplement the association logic between the participation conditions and the output results;

[0012] Outputting the association logic into image language, and simplifying the output image language;

[0013] The switching logic is obtained through the simplified image language, and according to the controller language, the switching logic is converted into a programming language corresponding to the controller language.

[0014] As a preferred solution of the method for redundant switching of dual controllers of additional damping of the speed regulator of the present invention, when the mutual conditions and output results are listed in the truth table, the specific steps include:

[0015] Obtain the number of types A of the participating conditions, and establish a truth table with the number of columns A+1 according to the number of types A;

[0016] Obtain the logical order B of the participating conditions and output results, and establish a truth table with B+1 rows according to the logical order B;

[0017] Fill in the associated logic in the truth table and determine whether the filled-in associated logic is missing;

[0018] When the judgment result is that it is not missing, there is no response;

[0019] When the judgment result is missing, the associated logic is retrieved according to the actual position and filled in the missing position.

[0020] As a preferred solution of the method for redundant switching of dual controllers of additional damping of the speed regulator of the present invention, when the associated logic is output as a graphic language, the specific steps include:

[0021] Create the same number of logical line segments according to the logical number B;

[0022] Set the same number of logic entries as the number of types A on each logic line segment, and write the logic entries one by one according to the truth table;

[0023] The output end of all logical line segments is the output result, and the image language is obtained.

[0024] As a preferred solution of the method for redundant switching of dual controllers of additional damping of the speed regulator of the present invention, wherein: the step of simplifying the image language includes a first simplified mode and a second simplified mode;

[0025] The simplification method of the first simplified mode is:

[0026] Select any two logical line segments with the same output results, and determine whether the corresponding logical entries in the two logical line segments with the same output results are missing. If the determination result shows that there is no missing, reselect two new logical line segments with the same output results, and the new logical line segments cannot be completely the same as the old logical line segments. If the determination result shows that there is a missing, perform the first supplementary simplification.

[0027] The first supplementary simplified steps include:

[0028] Get the missing logic entry, and determine whether the two logic entries before and after the missing logic entry are the same. If they are not the same, reselect two new logic line segments with the same output results, and the new logic line segments cannot be completely the same as the old logic line segments. If they are the same, perform the first and last simplification;

[0029] The first and final simplification steps include:

[0030] Connect the front and back ends of the missing logical entry to connect the two logical line segments, remove the same logical entry in one of the logical line segments, then remove the missing logical entry, finally output a new logical line segment, and reselect two new logical line segments with the same output results, and the new logical line segment cannot be exactly the same as the old logical line segment.

[0031] As a preferred solution of the method for redundant switching of dual controllers of additional damping of the speed regulator of the present invention, the simplified manner of the second simplified mode is:

[0032] Select any two logical line segments with the same output results, and determine whether one or more groups of logical entries in the two logical line segments are the same. If the determination result is that they are not the same, then select two new logical line segments with the same output results, and the new logical line segments cannot be completely the same as the old logical line segments. If the determination result is that they are the same, then perform the second supplementary simplification.

[0033] The second supplementary simplified steps include:

[0034] Treat one or more groups of logic entries as a whole, and in two logic line segments, determine whether the two logic entries after the whole are opposite. If the determination result is not opposite, then reselect two new logic line segments with the same output result, and the new logic line segments cannot be completely the same as the old logic line segments. If the determination structure is opposite, then perform the second and final simplification;

[0035] The second and final simplified steps include:

[0036] Connect one end after the whole to connect the two logical line segments, remove the logical entry regarded as a whole in one of the logical line segments, then remove the opposite logical entry, finally output the new logical line segment, and reselect two new logical line segments with the same output results, and the new logical line segment cannot be exactly the same as the old logical line segment.

[0037] As a preferred solution of the method for redundant switching of dual controllers of additional damping of the speed regulator of the present invention, the step of obtaining the switching logic by simplified graphic language includes:

[0038] Get the number of logical line segments, and give the number of switching logics according to the number of logical entries;

[0039] The logic items in the logic line segment are forward interpreted one by one, and the interpretation results are recorded in the corresponding switching logic;

[0040] Reversely interpret the logic items in the logic line segment one by one, and record the interpretation results in the corresponding switching logic;

[0041] Among them, the switching logic is Chinese character mode.

[0042] As a preferred solution of the method for redundant switching of dual controllers of the speed regulator with additional damping described in the present invention, after obtaining the switching logic, the switching logic is stored in the cloud, and the cloud storage system generates a corresponding key for encryption.

[0043] In a second aspect, an embodiment of the present invention provides a system for redundant switching of dual controllers of additional damping of a speed regulator, which includes a truth table generation module, an information simplification module, and a switching logic output module;

[0044] The truth table generation module generates a truth table according to the output results and the participating conditions, which is used to display the output results under different input conditions, analyze the logical relationship between the participating conditions and the output results, and supplement the association logic of these conditions;

[0045] The information simplification module is used to simplify the image language to make it more concise and clear, and easier to understand and implement;

[0046] The switching logic output module is used to generate switching logic and enable the switching logic to be converted into programming codes in different controller languages.

[0047] In a third aspect, an embodiment of the present invention provides a computer device, comprising a memory and a processor, wherein the memory stores a computer program, wherein: when the processor executes the computer program, it implements any step of the above-mentioned method for redundant switching of dual controllers with additional damping of the speed regulator.

[0048] In a fourth aspect, an embodiment of the present invention provides a computer-readable storage medium having a computer program stored thereon, wherein: when the computer program is executed by a processor, any step of the above-mentioned method for redundant switching of dual controllers with additional damping of a speed regulator is implemented.

[0049] The beneficial effects of the present invention are as follows: This scheme is based on the truth table method, and proposes a general method that does not rely on human technical capabilities for programming complex switching logic tasks. According to the steps provided by this method, complex control switching relationships can be decomposed to reduce the difficulty, and can achieve correct and comprehensive control purposes. It is also versatile and can handle similar problems, such as control loops of switch input and output relationships. As a tool, it can be widely promoted and applied in electrical control and program compilation. BRIEF DESCRIPTION OF THE DRAWINGS

[0050] In order to more clearly illustrate the technical solutions of the embodiments of the present invention, the following briefly introduces the drawings required for describing the embodiments. Obviously, the drawings described below are only some embodiments of the present invention. For ordinary technicians in this field, other drawings can be obtained based on these drawings without creative work. Among them:

[0051] Figure 1 It is a schematic diagram of redundant switching with a third-party arbitration unit in the prior art.

[0052] Figure 2 It is a schematic diagram of redundant switching without a third-party arbitration unit in the prior art.

[0053] Figure 3 Flowchart of a method for dual controller redundant switching for additional damping of a speed governor.

[0054] Figure 4 An unsimplified graphic language diagram of the method of switching between dual controllers for redundant operation to provide additional damping for a speed governor.

[0055] Figure 5 A first simplified mode and a first example diagram of a method for redundant switching of dual controllers for adding damping to a speed regulator.

[0056] Figure 6 A first simplified second example diagram of a method for redundant switching of dual controllers for additional damping of a speed regulator.

[0057] Figure 7 A third example diagram of a first simplified mode of a method for redundant switching of dual controllers for additional damping of a speed regulator.

[0058] Figure 8 A first example diagram of a second simplified mode of a method for redundant switching of dual controllers for additional damping of a speed regulator.

[0059] Fig. 9 A second simplified mode and a second example diagram of a method for redundant switching of dual controllers for additional damping of a speed regulator.

[0060] Fig.10 A third exemplary diagram of a second simplified mode of a method for redundant switching of dual controllers for additional damping of a speed regulator.

[0061] Fig.11 A fourth example diagram of a second simplified mode of a method for redundant switching of dual controllers for additional damping of a speed regulator.

[0062] Fig.12 A simplified graphical representation of the method for redundant switching of dual controllers for additional damping of the speed regulator.

[0063] Fig.13 A graphic illustration of a method for redundant switching of dual controllers for additional damping of a speed regulator.

[0064] Fig.14 Schematic diagram of the switching logic of the method of switching between dual controllers for redundant speed governor damping.

[0065] Fig.15 Circuit diagram of the hydraulic system of the speed governor with a method of redundant switching of dual controllers for additional damping of the speed governor.

[0066] Fig.16 The electrical control diagram of the governor hydraulic system with a method for redundant switching of dual controllers for additional damping of the governor. DETAILED DESCRIPTION

[0067] In order to make the above-mentioned purposes, features and advantages of the present invention more obvious and easy to understand, the specific implementation methods of the present invention are described in detail below in conjunction with the drawings of the specification. Obviously, the described embodiments are part of the embodiments of the present invention, but not all of the embodiments. Based on the embodiments of the present invention, all other embodiments obtained by ordinary persons in the art without creative work should fall within the scope of protection of the present invention.

[0068] In the following description, many specific details are set forth to facilitate a full understanding of the present invention, but the present invention may also be implemented in other ways different from those described herein, and those skilled in the art may make similar generalizations without violating the connotation of the present invention. Therefore, the present invention is not limited to the specific embodiments disclosed below.

[0069] Secondly, the term "one embodiment" or "embodiment" as used herein refers to a specific feature, structure, or characteristic that may be included in at least one implementation of the present invention. The term "in one embodiment" that appears in different places in this specification does not necessarily refer to the same embodiment, nor does it refer to a separate or selective embodiment that is mutually exclusive with other embodiments.

[0070] The present invention is described in detail with reference to schematic diagrams. When describing the embodiments of the present invention, for the sake of convenience, the cross-sectional diagrams showing the device structure will not be partially enlarged according to the general scale, and the schematic diagrams are only examples, which should not limit the scope of protection of the present invention. In addition, in actual production, the three-dimensional dimensions of length, width and depth should be included.

[0071] At the same time, in the description of the present invention, it should be noted that the directions or positional relationships indicated by the terms "upper, lower, inner and outer" are based on the directions or positional relationships shown in the drawings, and are only for the convenience of describing the present invention and simplifying the description, rather than indicating or implying that the device or element referred to must have a specific direction, be constructed and operated in a specific direction, and therefore cannot be understood as limiting the present invention. In addition, the terms "first, second or third" are only used for descriptive purposes and cannot be understood as indicating or implying relative importance.

[0072] In the present invention, unless otherwise clearly specified and limited, the terms "install, connect, connect" should be understood in a broad sense, for example: it can be a fixed connection, a detachable connection or an integral connection; it can also be a mechanical connection, an electrical connection or a direct connection, or it can be indirectly connected through an intermediate medium, or it can be the internal communication of two components. For ordinary technicians in this field, the specific meanings of the above terms in the present invention can be understood according to specific circumstances.

[0073] Example 1

[0074] Reference Figure 3-Figure 14 , which is the first embodiment of the present invention, provides a method for redundant switching of dual controllers of additional damping of a speed regulator, comprising the following steps:

[0075] S1. Obtain the corresponding participation conditions according to the output results, list them in the truth table, and supplement the association logic between the participation conditions and the output results.

[0076] When the mutual conditions and output results are listed in the truth table, the specific steps include:

[0077] Obtain the number of types A of the participating conditions, and establish a truth table with the number of columns A+1 according to the number of types A;

[0078] Obtain the logical order B of the participating conditions and output results, and establish a truth table with B+1 rows according to the logical order B;

[0079] Fill in the associated logic in the truth table and determine whether the filled-in associated logic is missing;

[0080] When the judgment result is that it is not missing, there is no response;

[0081] When the judgment result is missing, the associated logic is retrieved according to the actual position and filled in the missing position.

[0082] When generating a truth table, for example, the types of participating conditions are: heartbeat fault, opposite side major fault, host button, own major fault, opposite side host return and output host situation, then the number of types A is 6, so the number of columns of the output truth table is set to 7, and the extra column is set to the sequence number;

[0083] The obtained logic times B has 18 cases, so the number of rows of the output truth table is set to 19 rows. The extra row is a directory. All participating conditions are listed in the truth table, and the output results and logic entries of each item are filled in, as shown in Figure 1.

[0084] Table 1: Failover Condition Truth Table

[0085]

[0086]

[0087] In actual operation, such as heartbeat detection, 1 represents a failure and 0 represents normal.

[0088] S2. Output the association logic as image language, and simplify the output image language.

[0089] When the association logic is output as a graphic language, the specific steps include:

[0090] Create the same number of logical line segments according to the logical number B;

[0091] Set the same number of logic entries as the number of types A on each logic line segment, and write the logic entries one by one according to the truth table;

[0092] The output end of all logical line segments is the output result, and the image language is obtained;

[0093] First, the number of logic passes B is 18, so the number of logical line segments created is 18, and the number of types A is 6, so the number of logical entries created on each logical line segment is 6;

[0094] When establishing a specific Figure 4 As shown, the logic number B is determined to establish a logic line segment, and the logic line segment ends with an output result. In this case, the output result is the output host situation.

[0095] The step of simplifying the image language includes a first simplification mode and a second simplification mode;

[0096] The simplification method of the first simplified mode is:

[0097] Select any two logical line segments with the same output results, and determine whether the corresponding logical entries in the two logical line segments with the same output results are missing. If the determination result shows that there is no missing, reselect two new logical line segments with the same output results, and the new logical line segments cannot be completely the same as the old logical line segments. If the determination result shows that there is a missing, perform the first supplementary simplification.

[0098] The first supplementary simplified steps include:

[0099] Get the missing logic entry, and determine whether the two logic entries before and after the missing logic entry are the same. If they are not the same, reselect two new logic line segments with the same output results, and the new logic line segments cannot be completely the same as the old logic line segments. If they are the same, perform the first and last simplification;

[0100] The first and final simplification steps include:

[0101] Connect the front and rear ends of the missing logic entry to connect the two logic line segments, remove the same logic entry in one of the logic line segments, remove the missing logic entry, and finally output a new logic line segment, and reselect two new logic line segments with the same output results, and the new logic line segment cannot be exactly the same as the old logic line segment;

[0102] Simple example: When the situation is simplified, such as Figure 5 As shown in the figure, this is a schematic diagram before simplification. Y1 represents the output result. By simplifying the logic, a straight line can be connected before and after each identical logic entry (X2). Figure 6 As shown, the logic entry (X2) is connected in parallel with a wire, which is similar to being short-circuited. Therefore, the logic entry (X2) is invalid, so it is converted to Figure 7 shown.

[0103] The second simplified mode is simplified as follows:

[0104] Select any two logical line segments with the same output results, and determine whether one or more groups of logical entries in the two logical line segments are the same. If the determination result is that they are not the same, then select two new logical line segments with the same output results, and the new logical line segments cannot be completely the same as the old logical line segments. If the determination result is that they are the same, then perform the second supplementary simplification.

[0105] The second supplementary simplified steps include:

[0106] Treat one or more groups of logic entries as a whole, and in two logic line segments, determine whether the two logic entries after the whole are opposite. If the determination result is not opposite, then reselect two new logic line segments with the same output result, and the new logic line segments cannot be completely the same as the old logic line segments. If the determination structure is opposite, then perform the second and final simplification;

[0107] The second and final simplified steps include:

[0108] Connect one end after the whole to connect the two logical line segments, remove the logical item regarded as a whole in one of the logical line segments, then remove the opposite logical item, finally output a new logical line segment, and reselect two new logical line segments with the same output results, and the new logical line segment cannot be completely the same as the old logical line segment;

[0109] Simple example: When the situation is simplified, such as Figure 8 As shown in the figure, this is the schematic diagram before simplification. Y1 represents the output result. By simplifying the logic, the logic item (X1) and the logic item (X2) are regarded as a whole. Therefore, a line is connected after the whole (that is, after X2), that is, Fig. 9 As shown, Fig.10 As shown, the same conditions (X1 and X2) are connected in parallel and simplified. No matter whether the logic item (X3) = 1 or the logic item (X3) = 0, the logic item (X1) and the logic item (X2) can drive the output result (Y1). Therefore, the logic item (X3) is removed, and the generated Fig.11 As shown;

[0110] Through the above simplified steps, Figure 4 Simplify and refer to Fig.12 .

[0111] S3. Obtain the switching logic through the simplified image language, and convert the switching logic into a programming language corresponding to the controller language according to the controller language.

[0112] The steps to obtain the switching logic through the simplified image language include:

[0113] Get the number of logical line segments, and give the number of switching logics according to the number of logical entries;

[0114] The logic items in the logic line segment are forward interpreted one by one, and the interpretation results are recorded in the corresponding switching logic;

[0115] Reversely interpret the logic items in the logic line segment one by one, and record the interpretation results in the corresponding switching logic;

[0116] Among them, the switching logic is Chinese character mode;

[0117] A simple example: Fig.13 As shown, according to the oil pressure, a logic of starting the oil pump is used. By the on / off of signal X, the state of Y is judged. The content after interpretation is: when the over-high oil pressure signal does not come, and the high oil pressure signal does not come, and the low oil pressure signal comes or the over-low oil pressure signal comes, the oil pump starts to pump, that is, X1=0, X2=0, X3=1 or X3=0, the output Y1=1;

[0118] A reverse example is: if an over-high oil pressure signal comes, or a high oil pressure signal comes, the circuit is disconnected, the oil pump will not start, and it will not start regardless of whether low oil pressure or over-low oil pressure comes.

[0119] When this logic is transplanted into the controller, such as VB language or ST voice, the interpretation result is as follows Fig.14 shown.

[0120] After the switching logic is obtained, the switching logic is stored in the cloud, and the cloud storage system generates a corresponding key for encryption.

[0121] In summary, this solution is based on the truth table method and proposes a general method that does not rely on human technical capabilities for programming complex switching logic tasks. According to the steps provided by this method, the complex control switching relationship can be decomposed to reduce the difficulty and achieve the correct and comprehensive control purpose. It is also universal and can handle similar problems, such as the control loop of the relationship between switch input and output. As a tool, it can be widely promoted and applied in electrical control and programming.

[0122] Example 2

[0123] On the basis of the first embodiment, this embodiment further provides a system for redundant switching of dual controllers with additional damping of a speed regulator, including:

[0124] This embodiment also provides a computer device, which is suitable for the method of redundant switching of dual controllers with additional damping of a speed regulator, and includes a memory and a processor; the memory is used to store computer executable instructions, and the processor is used to execute computer executable instructions to implement the method of redundant switching of dual controllers with additional damping of a speed regulator as proposed in the above embodiment.

[0125] The computer device may be a terminal, and the computer device includes a processor, a memory, a communication interface, a display screen and an input device connected via a system bus. The processor of the computer device is used to provide computing and control capabilities. The memory of the computer device includes a non-volatile storage medium and an internal memory. The non-volatile storage medium stores an operating system and a computer program. The internal memory provides an environment for the operation of the operating system and the computer program in the non-volatile storage medium. The communication interface of the computer device is used to communicate with an external terminal in a wired or wireless manner, and the wireless manner can be achieved through WIFI, an operator network, NFC (near field communication) or other technologies. The display screen of the computer device may be a liquid crystal display screen or an electronic ink display screen, and the input device of the computer device may be a touch layer covering the display screen, or a key, trackball or touchpad provided on the housing of the computer device, or an external keyboard, touchpad or mouse, etc.

[0126] This embodiment also provides a storage medium on which a computer program is stored. When the program is executed by a processor, the method for realizing redundant switching of dual controllers of additional damping of a speed regulator as proposed in the above embodiment is implemented.

[0127] The storage medium proposed in this embodiment and the data storage method proposed in the above embodiment belong to the same inventive concept. The technical details not fully described in this embodiment can be found in the above embodiment, and this embodiment has the same beneficial effects as the above embodiment.

[0128] Example 3

[0129] Reference Fig.15 and Fig.16 Based on the previous two embodiments, this embodiment provides a method for redundant switching of dual controllers with additional damping of a speed regulator, and also provides an example.

[0130] like Fig.15 As shown in the figure, it is the hydraulic principle diagram of the main pressure regulating valve of the speed regulator. It has three functions: manual, automatic and emergency stop, which are interlocked with each other. Because of the solenoid valve, the valve core position is either 1 or 0, which is mutually exclusive; so the three concepts of automatic, manual and emergency stop can be used to determine the relationship.

[0131] According to the functional requirements of the hydraulic valve group, if an electrical schematic is designed to drive the solenoid valve coil, the method proposed in this patent can be used, that is, the truth table method is applied in the design. First, the electrical control objects (solenoid valve coils) are listed with the three major functional requirements as the goal.

[0132] Table 2: List of solenoid coils for pressure regulating valve group

[0133]

[0134]

[0135] In Table 2, 1 is a pulse, and the table can be used to output image language, such as Fig.16 shown.

[0136] It should be noted that the above embodiments are only used to illustrate the technical solutions of the present invention rather than to limit it. Although the present invention has been described in detail with reference to the preferred embodiments, those skilled in the art should understand that the technical solutions of the present invention may be modified or replaced by equivalents without departing from the spirit and scope of the technical solutions of the present invention, which should all be included in the scope of the claims of the present invention.

Claims

1. A method for redundant switching of dual controllers of additional damping of a speed regulator, characterized in that: The following steps are included: Obtain the corresponding participation conditions according to the output results, list them in the truth table, and supplement the association logic between the participation conditions and the output results; Outputting the association logic into image language, and simplifying the output image language; The switching logic is obtained through the simplified image language, and according to the controller language, the switching logic is converted into a programming language corresponding to the controller language.

2. The method for redundant switching of dual controllers of additional damping of a speed regulator according to claim 1, characterized in that: When the mutual conditions and output results are listed in the truth table, the specific steps include: Obtain the number of types A of the participating conditions, and establish a truth table with the number of columns A+1 according to the number of types A; Obtain the logical order B of the participating conditions and output results, and establish a truth table with B+1 rows according to the logical order B; Fill in the associated logic in the truth table and determine whether the filled-in associated logic is missing; When the judgment result is that it is not missing, there is no response; When the judgment result is missing, the associated logic is retrieved according to the actual position and filled in the missing position.

3. The method for redundant switching of dual controllers of additional damping of a speed regulator according to claim 2, characterized in that: When the association logic is output as a graphic language, the specific steps include: Create the same number of logical line segments according to the logical number B; Set the same number of logic entries as the number of types A on each logic line segment, and write the logic entries one by one according to the truth table; The output end of all logical line segments is the output result, and the image language is obtained.

4. The method for redundant switching of dual controllers of additional damping of a speed regulator according to claim 3, characterized in that: The step of simplifying the image language includes a first simplification mode and a second simplification mode; The simplification method of the first simplified mode is: Select any two logical line segments with the same output results, and determine whether the corresponding logical entries in the two logical line segments with the same output results are missing. If the determination result shows that there is no missing, reselect two new logical line segments with the same output results, and the new logical line segments cannot be completely the same as the old logical line segments. If the determination result shows that there is a missing, perform the first supplementary simplification. The first supplementary simplified steps include: Get the missing logic entry, and determine whether the two logic entries before and after the missing logic entry are the same. If they are not the same, reselect two new logic line segments with the same output results, and the new logic line segments cannot be completely the same as the old logic line segments. If they are the same, perform the first and last simplification; The first and final simplification steps include: Connect the front and back ends of the missing logical entry to connect the two logical line segments, remove the same logical entry in one of the logical line segments, then remove the missing logical entry, finally output a new logical line segment, and reselect two new logical line segments with the same output results, and the new logical line segment cannot be exactly the same as the old logical line segment.

5. The method for redundant switching of dual controllers of additional damping of a speed regulator according to claim 4, characterized in that: The second simplified mode is simplified as follows: Select any two logical line segments with the same output results, and determine whether one or more groups of logical entries in the two logical line segments are the same. If the determination result is that they are not the same, then select two new logical line segments with the same output results, and the new logical line segments cannot be completely the same as the old logical line segments. If the determination result is that they are the same, then perform the second supplementary simplification. The second supplementary simplified steps include: Treat one or more groups of logic entries as a whole, and in two logic line segments, determine whether the two logic entries after the whole are opposite. If the determination result is not opposite, then reselect two new logic line segments with the same output result, and the new logic line segments cannot be completely the same as the old logic line segments. If the determination structure is opposite, then perform the second and final simplification; The second and final simplified steps include: Connect one end after the whole to connect the two logical line segments, remove the logical entry regarded as a whole in one of the logical line segments, then remove the opposite logical entry, finally output the new logical line segment, and reselect two new logical line segments with the same output results, and the new logical line segment cannot be exactly the same as the old logical line segment.

6. The method for redundant switching of dual controllers of additional damping of a speed regulator according to claim 5, characterized in that: The steps to obtain the switching logic through the simplified image language include: Get the number of logical line segments, and give the number of switching logics according to the number of logical entries; The logic items in the logic line segment are forward interpreted one by one, and the interpretation results are recorded in the corresponding switching logic; Reversely interpret the logic items in the logic line segment one by one, and record the interpretation results in the corresponding switching logic; Among them, the switching logic is Chinese character mode.

7. The method for redundant switching of dual controllers of additional damping of a speed regulator according to claim 6, characterized in that: After the switching logic is obtained, the switching logic is stored in the cloud, and the cloud storage system generates a corresponding key for encryption.

8. A system for redundant switching of dual controllers of additional damping of a speed regulator, based on the method for redundant switching of dual controllers of additional damping of a speed regulator according to any one of claims 1 to 7, characterized in that: It includes a truth table generation module, an information simplification module, and a switching logic output module; The truth table generation module generates a truth table according to the output results and the participating conditions, which is used to display the output results under different input conditions, analyze the logical relationship between the participating conditions and the output results, and supplement the association logic of these conditions; The information simplification module is used to simplify the image language to make it more concise and clear, and easier to understand and implement; The switching logic output module is used to generate switching logic and enable the switching logic to be converted into programming codes in different controller languages.

9. A computer device comprising a memory and a processor, wherein the memory stores a computer program, wherein: When the processor executes the computer program, the steps of the method for redundant switching of dual controllers of additional damping of a speed regulator as described in any one of claims 1 to 7 are implemented.

10. A computer-readable storage medium having a computer program stored thereon, characterized in that: When the computer program is executed by a processor, the steps of the method for redundant switching of dual controllers of additional damping of a speed regulator as described in any one of claims 1 to 7 are implemented.

Images