Thermal power generating unit control logic checking method and device based on simulation platform

Abstract

The invention provides a thermal power generating unit control logic checking method and device based on a simulation platform, and relates to the technical field of electric power grids. According to the method, a simulation model of the thermal power generating unit is constructed on the basis of attribute information, interface information and connection relations of all components in the thermal power generating unit and control logic of all the components, and logic checking rules such as a parameter range checking rule, a logic consistency checking rule and a fault mode checking rule are constructed on the basis of the control logic of all the components. Therefore, on the basis of the simulation model and the logic checking rule, automatic checking of the control logic of the thermal power generating unit is achieved, the control logic checking result of the thermal power generating unit is obtained, manual checking is not needed, and the logic checking efficiency of the thermal power generating unit is improved.

Description

Technical Field

[0001] The present invention relates to the technical field of electric power grid, and in particular to a control logic verification method and device for a thermal power unit based on a simulation platform. Background Art

[0002] As an important part of the power system, the initial construction of thermal power units involves the cooperation of design institutes, commissioning institutes, DCS manufacturers, construction units, etc. For so many mechanical and electrical equipment, how to make them operate safely, stably and in coordination, the DCS control system plays a major role. As the "brain" of the entire thermal power plant, the accuracy and stability of the control logic are directly related to the safe operation of the power grid and the quality of power supply.

[0003] As the capacity of thermal power units increases, the complexity and automation level of the unit control system also increase, which includes a large number of sensors, actuators, controllers, and complex control algorithms and logic. The interaction and mutual influence between these elements make the control logic of the unit more complicated.

[0004] During the configuration process of the DCS control system, some errors or unreasonable places may occur due to human factors, which will lead to malfunction and failure during the operation of the unit. Malfunction refers to the unplanned shutdown or load reduction of the unit due to control logic errors or external interference during normal operation of the unit. Failure refers to the failure of the control logic to respond in time when an abnormal situation occurs in the unit, resulting in the expansion of the accident. Both malfunction and failure will affect the safe and stable operation of the unit.

[0005] At present, the control logic verification of thermal power units is generally done manually page by page after configuration is completed to determine whether the control logic is correct and reasonable. Manual verification is time-consuming and labor-intensive, with low verification efficiency and low verification accuracy. Any slight omission may lead to safety accidents of thermal power units. Summary of the invention

[0006] The present invention provides a control logic verification method and device for a thermal power unit based on a simulation platform, which can realize automatic verification of the control logic of the thermal power unit and improve the logic verification efficiency of the thermal power unit.

[0007] In a first aspect, the present invention provides a control logic verification method for a thermal power unit based on a simulation platform, the method comprising: obtaining architecture information of the thermal power unit and the control logic of each component; the architecture information comprises attribute information, interface information and connection relationship of each component; based on the simulation platform and the architecture information of the thermal power unit, constructing an architecture model of the thermal power unit; based on the architecture model of the thermal power unit and the control logic of each component, constructing a simulation model of the thermal power unit; based on the control logic of each component of the thermal power unit, constructing logic verification rules, the logic verification rules comprising parameter range verification rules, logic consistency verification rules and fault mode verification rules; based on the simulation model of the thermal power unit and the logic verification rules, performing simulation operation and logic verification to obtain a control logic verification result of the thermal power unit.

[0008] In a possible implementation, an architectural model of a thermal power unit is constructed based on a simulation platform and architectural information of the thermal power unit, including: starting the simulation platform software and creating a blank project file; in the blank project file, based on the attribute information and interface information of each component in the thermal power unit, creating modules corresponding to each component of the thermal power unit and storing each module file; based on the interface information and connection relationship of each component of the thermal power unit and the modules corresponding to each component, constructing an architectural model of the thermal power unit.

[0009] In a possible implementation, a simulation model of a thermal power unit is constructed based on an architecture model of the thermal power unit and the control logic of each component, including: writing algorithm rules of each module in the architecture model based on the control logic of each component; performing rule conversion based on the algorithm rules of each module and a logic conversion program in a simulation platform to obtain an algorithm rule table, wherein each rule in the algorithm rule table is a rule recognizable by the simulation platform; and constructing a simulation model of the thermal power unit based on the algorithm rule table and the architecture model.

[0010] In a possible implementation, based on the control logic of each component of the thermal power unit, a logic verification rule is constructed, including: based on the control logic of each component of the thermal power unit, the model key algorithm is screened, and the module information and interface information corresponding to the model key algorithm is recorded; the model key algorithm includes a drive-level algorithm, a PID adjustment algorithm and a sequential control algorithm; based on the model key algorithm, and the module information and interface information corresponding to the model key algorithm, a logic consistency verification rule is constructed; based on the control logic of each component of the thermal power unit, the logical relationship between the input parameters and output parameters of each module is determined; based on the logical relationship between the input parameters and output parameters of each module, a parameter range verification rule is determined; based on the control logic of each component of the thermal power unit, the parameter range of each component in the fault mode is determined; based on the parameter range of each component in the fault mode, a fault mode verification rule is determined; based on the parameter range verification rule, the logic consistency verification rule and the fault mode verification rule, a logic verification rule is constructed.

[0011] In a possible implementation, simulation operation and logic verification are performed based on a simulation model of a thermal power unit and logic verification rules to obtain control logic verification results of the thermal power unit, including: performing simulation operation based on the simulation model of the thermal power unit to obtain input parameters and output parameters of each module of the simulation model; performing logic verification based on the input parameters and output parameters of each module and logic verification rules to determine abnormal parameters and abnormal modules during the operation of the thermal power unit; generating control logic verification results of the thermal power unit based on the abnormal parameters and abnormal modules during the operation of the thermal power unit.

[0012] In a possible implementation, a logic check is performed based on the input parameters and output parameters of each module and the logic check rules to determine the abnormal parameters and abnormal modules in the operation of the thermal power unit, including: based on the parameter range check rules, the input parameters and output parameters of each module are checked to determine the parameters and modules with out-of-range parameters; based on the logic consistency check rules, the input parameters and output parameters of each module are checked to determine the parameters and modules with logical inconsistencies between modules; based on the fault mode check rules, the parameters and modules with out-of-range parameters and the parameters and modules with logical inconsistencies between modules are checked to determine the parameters and modules of unconventional faults; based on the parameters and modules with out-of-range parameters, the parameters and modules with logical inconsistencies between modules and the parameters and modules of unconventional faults, the abnormal parameters and modules, as well as the abnormal attributes corresponding to the abnormal parameters and modules, are determined.

[0013] In a possible implementation, a control logic verification result of the thermal power unit is generated based on abnormal parameters and abnormal modules during the operation of the thermal power unit, including: determining identification information of abnormal components in the thermal power unit based on the abnormal parameters and abnormal modules, and architecture information corresponding to the thermal power unit; determining abnormal control logic and abnormal causes of the abnormal components based on abnormal attributes corresponding to the abnormal parameters and abnormal modules; determining the control logic verification result of the thermal power unit based on the identification information of the abnormal components, the abnormal control logic of the abnormal components, and the abnormal causes.

[0014] In a second aspect, an embodiment of the present invention provides a control logic verification device for a thermal power unit based on a simulation platform, comprising: a communication module for obtaining the architecture information of the thermal power unit and the control logic of each component; the architecture information includes attribute information, interface information and connection relationship of each component; a processing module for constructing an architecture model of the thermal power unit based on the simulation platform and the architecture information of the thermal power unit; constructing a simulation model of the thermal power unit based on the architecture model of the thermal power unit and the control logic of each component; constructing logic verification rules based on the control logic of each component of the thermal power unit, the logic verification rules including parameter range verification rules, logic consistency verification rules and fault mode verification rules; based on the simulation model of the thermal power unit and the logic verification rules, performing simulation operation and logic verification to obtain the control logic verification result of the thermal power unit.

[0015] In one possible implementation, the processing module is specifically used to perform simulation operation based on the simulation model of the thermal power unit, obtain the input parameters and output parameters of each module of the simulation model, perform logic verification based on the input parameters and output parameters of each module, and logic verification rules, and determine the abnormal parameters and abnormal modules during the operation of the thermal power unit; based on the abnormal parameters and abnormal modules during the operation of the thermal power unit, generate the control logic verification results of the thermal power unit.

[0016] In one possible implementation, the processing module is specifically used to check the input parameters and output parameters of each module based on the parameter range verification rule, and determine the parameters and modules with out-of-range parameters; check the input parameters and output parameters of each module based on the logic consistency verification rule, and determine the parameters and modules with logical inconsistencies between modules; check the parameters and modules with out-of-range parameters and the parameters and modules with logical inconsistencies between modules based on the fault mode verification rule, and determine the parameters and modules with unconventional faults; determine abnormal parameters and abnormal modules, as well as abnormal attributes corresponding to the abnormal parameters and abnormal modules based on the parameters and modules with out-of-range parameters, the parameters and modules with logical inconsistencies between modules, and the parameters and modules with unconventional faults.

[0017] In a third aspect, an embodiment of the present invention provides an electronic device, comprising a memory and a processor, the memory storing a computer program, the processor being used to call and run the computer program stored in the memory to perform the steps of the method described in the first aspect and any possible implementation method of the first aspect.

[0018] In a fourth aspect, an embodiment of the present invention provides a computer-readable storage medium, wherein the computer-readable storage medium stores a computer program, and wherein when the computer program is executed by a processor, the steps of the method described in the first aspect and any possible implementation method of the first aspect are implemented.

[0019] The present invention provides a control logic verification method and device for a thermal power unit based on a simulation platform. The present invention constructs a simulation model of the thermal power unit based on the attribute information, interface information and connection relationship of each component in the thermal power unit, and the control logic of each component, and constructs logic verification rules such as parameter range verification rules, logic consistency verification rules and fault mode verification rules based on the control logic of each component. Therefore, based on the simulation model and the logic verification rules, the automatic verification of the control logic of the thermal power unit is realized, and the control logic verification result of the thermal power unit is obtained, without manual verification, thereby improving the logic verification efficiency of the thermal power unit. BRIEF DESCRIPTION OF THE DRAWINGS

[0020] In order to more clearly illustrate the technical solutions in the embodiments of the present invention, the drawings required for use in the embodiments or the description of the prior art will be briefly introduced below. 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 paying creative labor.

[0021] Figure 1 It is a flow chart of a control logic verification method for a thermal power unit based on a simulation platform provided by an embodiment of the present invention;

[0022] Figure 2 It is a schematic diagram of a construction process of a simulation model provided by an embodiment of the present invention;

[0023] Figure 3 is a schematic diagram of an interface of a logic checking rule provided by an embodiment of the present invention;

[0024] Figure 4 It is a structural schematic diagram of a control logic verification device for a thermal power unit based on a simulation platform provided in an embodiment of the present invention. DETAILED DESCRIPTION

[0025] In the following description, specific details such as specific system structures, technologies, etc. are provided for the purpose of illustration rather than limitation, so as to provide a thorough understanding of the embodiments of the present invention. However, it should be clear to those skilled in the art that the present invention may be implemented in other embodiments without these specific details. In other cases, detailed descriptions of well-known systems, devices, circuits, and methods are omitted to prevent unnecessary details from obstructing the description of the present invention.

[0026] In the description of the present invention, unless otherwise specified, " / " means "or", for example, A / B can mean A or B. "And / or" in this article is only a description of the association relationship of associated objects, indicating that there can be three relationships. For example, A and / or B can mean: A exists alone, A and B exist at the same time, and B exists alone. In addition, "at least one" and "plurality" refer to two or more. The words "first", "second", etc. do not limit the quantity and execution order, and the words "first", "second", etc. do not limit them to be different.

[0027] In the embodiments of the present application, words such as "exemplary" or "for example" are used to indicate examples, illustrations or descriptions. Any embodiment or design described as "exemplary" or "for example" in the embodiments of the present application should not be interpreted as being more preferred or more advantageous than other embodiments or designs. Specifically, the use of words such as "exemplary" or "for example" is intended to present related concepts in a concrete way for easy understanding.

[0028] In addition, the terms "including" and "having" and any variations thereof mentioned in the description of this application are intended to cover non-exclusive inclusions. For example, a process, method, system, product or device that includes a series of steps or modules is not limited to the listed steps or modules, but may optionally include other steps or modules that are not listed, or may optionally include other steps or modules that are inherent to these processes, methods, products or devices.

[0029] In order to make the purpose, technical solutions and advantages of the present invention more clear, the following will be described through specific embodiments in conjunction with the accompanying drawings of the present invention.

[0030] like Figure 1 As shown, an embodiment of the present invention provides a control logic verification method for a thermal power unit based on a simulation platform, and the method includes steps S101-S105.

[0031] S101. Obtaining the architecture information of the thermal power unit and the control logic of each component.

[0032] In the embodiment of the present application, the architecture information includes attribute information, interface information and connection relationships of each component.

[0033] S102. Based on the simulation platform and the architecture information of the thermal power unit, an architecture model of the thermal power unit is constructed.

[0034] As a possible implementation manner, step S102 may be specifically implemented as steps S1021 - S1023 .

[0035] S1021. Start the simulation platform software and create a new blank project file.

[0036] S1022. In a blank project file, based on the attribute information and interface information of each component in the thermal power unit, create modules corresponding to each component of the thermal power unit, and store each module file.

[0037] S1023. Construct an architecture model of the thermal power unit based on the interface information and connection relationship of each component of the thermal power unit and the modules corresponding to each component.

[0038] S103. Construct a simulation model of the thermal power unit based on the architecture model of the thermal power unit and the control logic of each component.

[0039] As a possible implementation manner, step S103 may be specifically implemented as steps S1031 - S1033 .

[0040] S1031. Based on the control logic of each component, write the algorithm rules of each module in the architecture model.

[0041] S1032: Based on the algorithm rules of each module and the logic conversion program in the simulation platform, rule conversion is performed to obtain an algorithm rule table.

[0042] In some embodiments, each rule in the algorithm rule table is a rule recognizable by the simulation platform.

[0043] S1033. Construct a simulation model of the thermal power unit based on the algorithm rule table and the architecture model.

[0044] For example, Figure 2 As shown, the embodiment of the present invention provides a flow chart for constructing a simulation model. Through DCS engineering backup, after parsing and conversion, the simulation model is constructed by combining the architecture model and the algorithm rule table to realize automatic verification of the control logic of the thermal power unit and generate a verification report. In this way, the staff can optimize and verify the control logic of the thermal power unit through the verification report to improve the accuracy of the control logic.

[0045] Exemplarily, the embodiment of the present invention can implement the construction of a thermal power unit simulation model based on steps 1 to 7.

[0046] Step 1: Use Microsoft Visio to draw the simulation system algorithm icon and save it in emf format.

[0047] Exemplarily, the embodiment of the present invention needs to use Microsoft Visio tool to draw the simulation system algorithm icon and save it in emf format. In the process of drawing the simulation system algorithm icon, it is necessary to refer to the "Control Algorithm Reference Manual" or "Function Code Manual" provided by the DCS manufacturer, use Visio software to draw the same icon and define the algorithm name on the icon and the English abbreviations of the input and output pins, so as to ensure the consistency of the appearance and style of the simulation system module with the original DCS system.

[0048] For example, step 1.1 starts Microsoft Visio software, selects the basic block diagram template, and creates a blank vsd file. Step 1.2 refers to the "Control Algorithm Reference Manual" or "Function Code Manual" provided by the DCS manufacturer, uses Microsoft Visio software to draw an icon exactly the same as it and defines the algorithm name and input and output pins on the icon. Step 1.3 saves the drawn icon as an enhanced metafile (.emf format).

[0049] Step 2: Use the icon creation tool provided by the simulation platform to define the algorithm properties of the simulation system and save them in a tab format.

[0050] Exemplarily, the embodiment of the present invention uses an icon creation tool to create a tab file in order to add dynamic pin attributes to the static icon file. In the tab file, there is a corresponding relationship between the algorithm name and the icon emf file. When the simulation platform calls the tab file, it will automatically associate the algorithm for file with the icon according to the mapping relationship therein.

[0051] For example, in step 2.1, create a tab file using the platform's built-in icon creation tool. In step 2.2, add the algorithm to the tab file. The algorithm file includes the algorithm name, the icon name corresponding to the algorithm name, input, output, coefficient order, etc.

[0052] Step 3: Use Compaq Visual Fortran software to write the simulation system algorithm and compile it into a dll dynamic library file.

[0053] Exemplarily, the embodiment of the present invention first creates a new workspace (Workspace) using Compaq Visual Fortran (VF for short), then creates a new dynamic link library (Dynamic Link Library) project in the workspace, and finally creates a new algorithm file (for format) in the project. In the process of writing the algorithm function of the simulation system, it is necessary to refer to the "Control Algorithm Reference Manual" or "Function Code Manual" provided by the DCS manufacturer, define the same algorithm name, input, output, parameters and interface with the screen in the for file, and use the program to implement its functions, so as to ensure the consistency of the algorithm function of the simulation system with the original DCS system.

[0054] For example, step 3.1: Create a new workspace using Compaq Visual Fortran (VF for short). Step 3.2: Create a new Dynamic Link Library project in the workspace. Step 3.3: Create a new algorithm file (for format) in the project. Step 3.4: After the single for file is compiled correctly, compile all the files in the entire project into a dll file.

[0055] Step 4: Set up the simulation system environment.

[0056] Exemplarily, based on steps 1 to 3, the function blocks and algorithm library required by the simulation system are already available. Then, the embodiment of the present invention creates a new project on the simulation platform, copies icons, algorithms and other files to the project directory and performs relevant configurations. After the configuration is completed, the modules in the function block library can be directly dragged out for use, and any control system model can be constructed.

[0057] For example, step 4.1 creates a new project using the simulation platform software. Step 4.2 copies the emf file in step 1 to the Icon folder in the project directory. Step 4.3 copies the tab file in step 2 and the dll in step 3 to the ALG folder in the project directory. Step 4.4 configures the Giss.ini file in the project directory and plugs the control system algorithm into the simulation platform.

[0058] Step 5: Use Microsoft Excel tool to create DCS control system algorithm rule rule.xls file.

[0059] Step 6: Based on the established algorithm rules, use Microsoft Visual Studio software to write a logical conversion program.

[0060] For example, before writing the logic conversion program, the embodiment of the present invention needs to understand the storage path and file structure of the original DCS configuration project backup, and then conduct in-depth research and analysis on the logic configuration file, and use the Microsoft Visual Studio (VS for short) programming tool to extract the key information (such as page name, module name, algorithm name, module coordinates, input and output variables, parameter definition, connection, etc.), and convert this information into a format that can be recognized by the simulation platform, and then establish the control logic and strategy consistent with the original DCS system under the simulation platform. The conversion process must comply with the rules formulated in the rule table, and the order of module input, output, and parameters in the converted text is consistent with the order defined in the rule table.

[0061] For example, in step 6.1, use VS software to read the rule.xls rule table. In step 6.2, parse the storage path and file structure of the DCS configuration project backup and extract the key information (such as page name, module name, algorithm name, module coordinates, input and output variables, parameter definition, connection, etc.). In step 6.3, according to the algorithm rules configured in the rule table, convert the key information extracted in step 6.2 into a format that can be recognized by the simulation platform.

[0062] Step 7: Convert the DCS logic engineering backup file and import it into the simulation platform;

[0063] Exemplarily, the present invention uses a logic conversion tool to convert existing DCS engineering backup files, and the converted text can be imported into a simulation platform and presented in a modular manner. Logic checks can be performed on the simulation platform and certain functions can be verified.

[0064] S104. Construct logic verification rules based on the control logic of each component of the thermal power unit.

[0065] In the embodiment of the present application, the logic verification rules include parameter range verification rules, logic consistency verification rules and failure mode verification rules.

[0066] As a possible implementation manner, step S104 may be specifically implemented as steps S1041 - S1047 .

[0067] S1041. Based on the control logic of each component of the thermal power unit, select the key algorithm of the model, and record the module information and interface information corresponding to the key algorithm of the model.

[0068] In some embodiments, the model key algorithms include a drive level algorithm, a PID regulation algorithm, and a sequential control algorithm.

[0069] S1042. Construct logic consistency verification rules based on the model key algorithm, as well as the module information and interface information corresponding to the model key algorithm.

[0070] S1043. Based on the control logic of each component of the thermal power unit, determine the logical relationship between the input parameters and output parameters of each module.

[0071] S1044. Determine parameter range verification rules based on the logical relationship between input parameters and output parameters of each module.

[0072] S1045. Based on the control logic of each component of the thermal power unit, determine the parameter range of each component in the failure mode.

[0073] S1046. Determine a failure mode verification rule based on the parameter range of each component in the failure mode.

[0074] S1047. Construct logic verification rules based on parameter range verification rules, logic consistency verification rules and failure mode verification rules.

[0075] For example, the formulation of rules needs to consider the correctness, completeness and simplicity of logic. Correctness means that the control logic should strictly follow the basic principles and laws of power system operation to ensure correct execution under various working conditions; completeness means that all key control logics should be fully covered without omissions or missing items; simplicity means that under the premise of ensuring functional integrity, the control logic should be as concise and clear as possible to avoid misoperation and failures caused by excessive complexity.

[0076] like Figure 3 As shown, an embodiment of the present invention provides an interface schematic diagram of a logic verification rule. For example, an embodiment of the present invention can construct a logic verification rule through steps 8.1-8.3. Step 8.1: Mark the algorithms that need to be focused on in the rule table, such as drive-level algorithms, PID adjustment algorithms, sequential control algorithms, etc., and then mark the indispensable pins of these algorithms. Step 8.2: Mark the module names that need to be verified in the rule table. The program will verify whether the parameters of the module are in line with the actual ones based on the configured module name. Step 8.3: Search for unreferenced module outputs in each page of logic. If there is a module output that is not referenced by other modules, it is considered that there is a break in the logic.

[0077] S105, based on the simulation model of the thermal power unit and the logic verification rules, simulation operation and logic verification are performed to obtain the control logic verification result of the thermal power unit.

[0078] As a possible implementation manner, step S105 can be specifically implemented as steps S1051-S1053.

[0079] S1051. Based on the simulation model of the thermal power unit, a simulation operation is performed to obtain input parameters and output parameters of each module of the simulation model.

[0080] S1052: Based on the input parameters and output parameters of each module and the logic verification rules, a logic verification is performed to determine abnormal parameters and abnormal modules during the operation of the thermal power unit.

[0081] Exemplarily, step S1052 may be specifically implemented as steps A1-A4.

[0082] A1. Based on the parameter range verification rules, the input parameters and output parameters of each module are verified to determine the parameters and modules with out-of-range parameters.

[0083] A2. Based on the logic consistency verification rules, the input parameters and output parameters of each module are verified to determine the parameters and modules that are logically inconsistent between modules.

[0084] A3. Based on the fault mode verification rules, the parameters and modules with out-of-range parameters, as well as the parameters and modules with inconsistent logic between modules, are verified to determine the parameters and modules of unusual faults.

[0085] A4. Based on the parameters and modules with out-of-range parameters, the parameters and modules with logical inconsistency between modules, and the parameters and modules with unusual faults, determine the abnormal parameters and modules, as well as the abnormal attributes corresponding to the abnormal parameters and modules.

[0086] S1053. Generate a control logic verification result of the thermal power unit based on abnormal parameters and abnormal modules during the operation of the thermal power unit.

[0087] Exemplarily, step S1053 may be specifically implemented as steps B1-B3.

[0088] B1. Based on the abnormal parameters and abnormal modules, as well as the architecture information corresponding to the thermal power unit, determine the identification information of the abnormal components in the thermal power unit.

[0089] B2. Based on the abnormal parameters and the abnormal attributes corresponding to the abnormal module, determine the abnormal control logic and abnormal cause of the abnormal component.

[0090] B3. Based on the identification information of the abnormal component, the abnormal control logic of the abnormal component and the abnormal cause, determine the control logic verification result of the thermal power unit.

[0091] For example, logic verification must be based on verification rules. For parts that do not meet the verification rules, specific domain numbers, station numbers, page numbers, module names, and other information must be marked. The verification process must fully cover all control systems and links of the unit to ensure that each control logic can be fully verified and optimized. At the same time, the verification process must be accurate to avoid introducing new problems and risks due to improper verification.

[0092] After the logic check is completed, for the parts that do not meet the check rules, it is necessary to mark the specific domain number, station number, page number, module name and other information, and output a detailed check report. The report information should be clear and easy to locate the parts with logical abnormalities.

[0093] For example, the embodiment of the present invention can perform logic verification through steps 9.1-9.5. Step 9.1: First use VS software to read in the logic verification rules. Step 9.2: Based on the logic verification rules, traverse all modules in the logic text and their corresponding input, output, and parameter information to determine whether this information meets the criteria in the verification rules. If the pin of a certain algorithm block is marked as an indispensable pin in the rule table, and the program does not obtain the variable on the pin during the configuration file reading process, it is considered that the module information is incomplete and the exception is recorded. Step 9.3: If the parameter range of certain modules is marked in the rule table, when the program reads these modules, it will determine whether the set parameters exceed the range set in the rule table. If it exceeds, the exception is recorded. Step 9.4: During the logic verification process, it will be determined whether the output of the intermediate module is referenced by other modules on the current page. If it is not referenced, it is considered that there is a disconnection in the logic and the exception is recorded. Step 9.5: The logic verification process will extract all module information related to the specified module. This information may be distributed in multiple logic pages. The program will search for the modules associated with it step by step and generate a logic diagram.

[0094] The present invention provides a control logic verification method for a thermal power unit based on a simulation platform. Based on the attribute information, interface information and connection relationship of each component in the thermal power unit, and the control logic of each component, a simulation model of the thermal power unit is constructed, and based on the control logic of each component, logic verification rules such as parameter range verification rules, logic consistency verification rules and fault mode verification rules are constructed. Thus, based on the simulation model and the logic verification rules, the automatic verification of the control logic of the thermal power unit is realized, and the control logic verification result of the thermal power unit is obtained, without manual verification, thereby improving the logic verification efficiency of the thermal power unit.

[0095] The control logic verification method for a thermal power unit provided by the present invention is of great significance for shortening the manual verification time, improving the verification accuracy, and improving the safety, reliability, and economy of the unit: (1) By directly reading the control logic configuration file through the software and automatically judging according to the verification rules, the manual verification time is greatly shortened and the verification accuracy is improved; (2) Through the logic verification, potential logical errors and unreasonable aspects can be discovered and corrected in time, reducing the occurrence of unit failures and accidents; (3) Through the logic verification, the control strategy can be optimized, thereby improving the operating efficiency and economy of the unit and reducing the operating cost; (4) Through the logic verification, a unified verification standard and process can be established, which is helpful to standardize the operation management of thermal power units and improve the safety level and economic benefits of the entire power industry.

[0096] It should be understood that the order of execution of the steps in the above embodiment does not necessarily mean the order of execution. The execution order of each process should be determined by its function and internal logic, and should not constitute any limitation on the implementation process of the embodiment of the present invention.

[0097] The following is an embodiment of the device of the present invention. For details not described in detail therein, reference may be made to the corresponding method embodiment described above.

[0098] Figure 4 The schematic diagram of the structure of a control logic verification device for a thermal power unit based on a simulation platform provided by an embodiment of the present invention is shown. The verification device 200 includes a communication module 201 and a processing module 202 .

[0099] The communication module 201 is used to obtain the architecture information of the thermal power unit and the control logic of each component; the architecture information includes the attribute information, interface information and connection relationship of each component.

[0100] Processing module 202 is used to construct an architecture model of the thermal power unit based on the simulation platform and the architecture information of the thermal power unit; to construct a simulation model of the thermal power unit based on the architecture model of the thermal power unit and the control logic of each component; to construct logic verification rules based on the control logic of each component of the thermal power unit, and the logic verification rules include parameter range verification rules, logic consistency verification rules and fault mode verification rules; to perform simulation operation and logic verification based on the simulation model of the thermal power unit and the logic verification rules to obtain the control logic verification result of the thermal power unit.

[0101] The embodiments described above are only used to illustrate the technical solutions of the present invention, rather than to limit the same. Although the present invention has been described in detail with reference to the aforementioned embodiments, those skilled in the art should understand that the technical solutions described in the aforementioned embodiments may still be modified, or some of the technical features may be replaced by equivalents. Such modifications or replacements do not deviate the essence of the corresponding technical solutions from the spirit and scope of the technical solutions of the embodiments of the present invention, and should all be included in the protection scope of the present invention.

Claims

1. A control logic verification method for a thermal power unit based on a simulation platform, characterized in that: include: Acquire the architecture information of the thermal power unit and the control logic of each component; the architecture information includes the attribute information, interface information and connection relationship of each component; Based on the simulation platform and the architecture information of the thermal power unit, construct an architecture model of the thermal power unit; Based on the architecture model of the thermal power unit and the control logic of each component, a simulation model of the thermal power unit is constructed; Based on the control logic of each component of the thermal power unit, construct logic verification rules, wherein the logic verification rules include parameter range verification rules, logic consistency verification rules and failure mode verification rules; Based on the simulation model of the thermal power unit and the logic verification rules, simulation operation and logic verification are performed to obtain the control logic verification result of the thermal power unit.

2. The control logic verification method for a thermal power unit based on a simulation platform according to claim 1 is characterized in that: The method of constructing an architecture model of the thermal power plant based on the simulation platform and the architecture information of the thermal power plant includes: Start the simulation platform software and create a new blank project file; In the blank project file, based on the attribute information and interface information of each component in the thermal power unit, a module corresponding to each component of the thermal power unit is created, and each module file is stored; Based on the interface information and connection relationship of each component of the thermal power unit, and the modules corresponding to each component, an architecture model of the thermal power unit is constructed.

3. The control logic verification method for a thermal power unit based on a simulation platform according to claim 1 is characterized in that: The construction of a simulation model of the thermal power plant based on the architecture model of the thermal power plant and the control logic of each component includes: Based on the control logic of each component, in the architecture model, write the algorithm rules of each module; Based on the algorithm rules of each module and the logic conversion program in the simulation platform, rule conversion is performed to obtain an algorithm rule table, wherein each rule in the algorithm rule table is a rule identifiable by the simulation platform; Based on the algorithm rule table and the architecture model, a simulation model of the thermal power unit is constructed.

4. The control logic verification method for a thermal power unit based on a simulation platform according to claim 1 is characterized in that: The control logic of each component of the thermal power unit is used to construct a logic verification rule, including: Based on the control logic of each component of the thermal power unit, the key algorithm of the model is screened, and the module information and interface information corresponding to the key algorithm of the model are recorded; the key algorithm of the model includes a drive level algorithm, a PID adjustment algorithm and a sequential control algorithm; Based on the model key algorithm, and the module information and interface information corresponding to the model key algorithm, construct a logic consistency verification rule; Based on the control logic of each component of the thermal power unit, determine the logical relationship between the input parameters and output parameters of each module; Determine parameter range verification rules based on the logical relationship between input parameters and output parameters of each module; Based on the control logic of each component of the thermal power unit, determine the parameter range of each component in the failure mode; Determine the failure mode verification rules based on the parameter range of each component during the failure mode; The logic verification rule is constructed based on the parameter range verification rule, the logic consistency verification rule and the failure mode verification rule.

5. The control logic verification method for a thermal power unit based on a simulation platform according to claim 1 is characterized in that: The simulation model based on the thermal power unit and the logic verification rule are used to perform simulation operation and logic verification to obtain the control logic verification result of the thermal power unit, including: Based on the simulation model of the thermal power unit, a simulation operation is performed to obtain input parameters and output parameters of each module of the simulation model; Based on the input parameters and output parameters of each module and the logic verification rules, a logic verification is performed to determine abnormal parameters and abnormal modules during the operation of the thermal power unit; Based on the abnormal parameters and abnormal modules during the operation of the thermal power unit, a control logic verification result of the thermal power unit is generated.

6. The control logic verification method for a thermal power unit based on a simulation platform according to claim 5 is characterized in that: The logic check is performed based on the input parameters and output parameters of each module and the logic check rule to determine abnormal parameters and abnormal modules during the operation of the thermal power unit, including: Based on the parameter range verification rules, the input parameters and output parameters of each module are verified to determine the parameters and modules with out-of-range parameters; Based on the logic consistency checking rules, the input parameters and output parameters of each module are checked to determine the parameters and modules that are logically inconsistent between the modules; Based on the fault mode verification rules, the parameters and modules with out-of-range parameters, as well as the parameters and modules with inconsistent logic between modules, are verified to determine the parameters and modules of the unusual faults; Based on the parameters and modules with out-of-range parameters, the parameters and modules with logical inconsistency between modules, and the parameters and modules with unusual faults, the abnormal parameters and modules, as well as the abnormal attributes corresponding to the abnormal parameters and modules, are determined.

7. The control logic verification method for a thermal power unit based on a simulation platform according to claim 5 is characterized in that: The generating of the control logic verification result of the thermal power unit based on the abnormal parameters and abnormal modules during the operation of the thermal power unit comprises: Based on the abnormal parameters and the abnormal module, and the architecture information corresponding to the thermal power unit, determining the identification information of the abnormal components in the thermal power unit; Based on the abnormal parameters and the abnormal attributes corresponding to the abnormal module, determine the abnormal control logic and abnormal cause of the abnormal component; Based on the identification information of the abnormal component, the abnormal control logic of the abnormal component and the abnormal cause, the control logic verification result of the thermal power unit is determined.

8. A control logic verification device for a thermal power unit based on a simulation platform, characterized in that: include: A communication module is used to obtain the architecture information of the thermal power unit and the control logic of each component; the architecture information includes the attribute information, interface information and connection relationship of each component; A processing module, used for constructing an architecture model of the thermal power unit based on a simulation platform and architecture information of the thermal power unit; Based on the architecture model of the thermal power unit and the control logic of each component, a simulation model of the thermal power unit is constructed; based on the control logic of each component of the thermal power unit, logic verification rules are constructed, and the logic verification rules include parameter range verification rules, logic consistency verification rules and fault mode verification rules; based on the simulation model of the thermal power unit and the logic verification rules, simulation operation and logic verification are performed to obtain the control logic verification result of the thermal power unit.

9. The control logic verification device for a thermal power unit based on a simulation platform according to claim 8 is characterized in that: The processing module is specifically used to perform simulation operation based on the simulation model of the thermal power unit to obtain input parameters and output parameters of each module of the simulation model, and to perform logic verification based on the input parameters and output parameters of each module and the logic verification rules to determine abnormal parameters and abnormal modules during the operation of the thermal power unit; Based on the abnormal parameters and abnormal modules during the operation of the thermal power unit, a control logic verification result of the thermal power unit is generated.

10. The control logic verification device for a thermal power unit based on a simulation platform according to claim 9, characterized in that: The processing module is specifically used to check the input parameters and output parameters of each module based on the parameter range checking rule, and determine the parameters and modules with parameters exceeding the range; based on the logic consistency checking rule, check the input parameters and output parameters of each module, and determine the parameters and modules with logical inconsistency between modules; Based on the fault mode verification rules, the parameters and modules with out-of-range parameters, as well as the parameters and modules with inconsistent logic between modules, are verified to determine the parameters and modules of the unusual faults; Based on the parameters and modules with out-of-range parameters, the parameters and modules with logical inconsistency between modules, and the parameters and modules with unusual faults, the abnormal parameters and modules, as well as the abnormal attributes corresponding to the abnormal parameters and modules, are determined.

Images