CN116257969A - GO-FLOW automatic modeling and analysis method, system and medium based on system FLOW chart - Google Patents

GO-FLOW automatic modeling and analysis method, system and medium based on system FLOW chart Download PDF

Info

Publication number
CN116257969A
CN116257969A CN202211101472.7A CN202211101472A CN116257969A CN 116257969 A CN116257969 A CN 116257969A CN 202211101472 A CN202211101472 A CN 202211101472A CN 116257969 A CN116257969 A CN 116257969A
Authority
CN
China
Prior art keywords
equipment
flow
modeling
model
node
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN202211101472.7A
Other languages
Chinese (zh)
Inventor
杨军
何展宇
蒋陈煜
马浩铭
薛友
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
South China University of Technology SCUT
Original Assignee
South China University of Technology SCUT
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by South China University of Technology SCUT filed Critical South China University of Technology SCUT
Priority to CN202211101472.7A priority Critical patent/CN116257969A/en
Publication of CN116257969A publication Critical patent/CN116257969A/en
Pending legal-status Critical Current

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/20Design optimisation, verification or simulation
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F2119/00Details relating to the type or aim of the analysis or the optimisation
    • G06F2119/02Reliability analysis or reliability optimisation; Failure analysis, e.g. worst case scenario performance, failure mode and effects analysis [FMEA]

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Testing And Monitoring For Control Systems (AREA)

Abstract

The invention discloses a GO-FLOW automatic modeling and analyzing method, a system, electronic equipment and a storage medium based on a system FLOW chart, wherein the method comprises the following steps: the system FLOW structure and the equipment composition information are identified and extracted through analysis and reading of the system CAD or the visual data structure file, the GO-FLOW componentization model of the system equipment is built by further combining the consideration of the general system equipment division and the equipment failure mode, the system model data structure file is automatically generated according to the modeling mapping relation of the GO-FLOW operator, and finally the generated system model file is imported into the GO-FLOW calculation engine to realize the system reliability analysis.

Description

GO-FLOW automatic modeling and analysis method, system and medium based on system FLOW chart
Technical Field
The invention belongs to the field of process system reliability and safety analysis, and particularly relates to a GO-FLOW automatic modeling and analysis method, system, electronic equipment and storage medium based on a system FLOW chart.
Background
System reliability and safety issues are always a major concern for high risk industrial process systems. System reliability and probabilistic security analysis are also important technological bases for risk guideline-based security management. The safety management based on the risk guidance aims to provide technical support for system operation decision by rapidly updating a risk monitoring model according to the actual operation characteristics and equipment configuration instant change of the system, calculating a real-time risk profile and timely and effectively reflecting the current risk level of the system. Therefore, the system reliability and probability risk monitoring model needs to meet the requirements of accurate model mapping, rapid updating, efficient calculation, traceability of analysis processes and results, and the like.
The security management system based on risk guidance is a development of the traditional probability security evaluation technology, and the basic method is still an event tree/fault tree method. The fault tree method has the advantages of mature method, high identification degree, clear logic relation expression and convenience in identifying weak links of the system, but is difficult to process the problems of system structure configuration change, time sequence failure, equipment service life effect and multi-stage tasks, the method has higher professional requirements, fault tree models constructed by different modeling analysts often have larger differences and are difficult to verify and confirm, and the defects directly limit the further application of the fault tree method in an online risk monitoring management method.
The GO-FLOW method is a successfully guided system reliability and safety analysis technology, can describe the complex characteristics of the system under the multi-task profile, and can handle the timing problem. The GO-FLOW method directly builds a GO-FLOW model according to a system physical FLOW chart, the GO-FLOW operator is used for simulating functions and failures of components in the system or simulating logic relations among the components, and the signal lines reflect the interrelationships and actions among the components. The established GO-FLOW model is compact, corresponds to the system configuration, is easy to realize in verification, and is convenient to modify and update.
Disclosure of Invention
Aiming at the technical problems of complex modeling, high professional requirement, lack of automatic modeling tools, difficult verification of models and the like of the traditional system reliability analysis method, the invention provides a GO-FLOW automatic modeling and analysis method, a system, electronic equipment and a storage medium based on a system FLOW chart, the method automatically identifies system FLOW structure relation and equipment composition information through analysis of CAD or Visio data structure files, and combines a general equipment GO-FLOW modeling mapping relation to construct a system reliability model which is successfully guided, thereby realizing direct conversion of a system CAD or Visio design diagram to generate the system reliability model, solving the problem of inconsistent models caused by uneven proficiency or modeling understanding deviation of different professionals in use of the method, and facilitating system design improvement and reliability evaluation; meanwhile, the system reliability model is used as an effective supplement of the traditional event tree/fault tree method oriented to system failure, and the accurate mapping and quick updating capacity of the system reliability/risk model to the actual physical process system are improved, so that a technical foundation is laid for the real-time running risk guiding safety management of the system.
A first object of the present invention is to provide a GO-FLOW automatic modeling and analysis method for a system FLOW chart.
A second object of the present invention is to provide a GO-FLOW automatic modeling and analysis system for a system FLOW diagram.
A third object of the present invention is to provide an electronic device.
A fourth object of the present invention is to provide a storage medium.
The first object of the present invention can be achieved by adopting the following technical scheme:
a GO-FLOW automatic modeling and analysis method based on a system FLOW diagram, the method comprising:
according to the classification of the system equipment, determining typical fault modes and reliability parameters of various general equipment through equipment fault modes and influence analysis;
according to classification of system equipment, typical fault modes and reliability parameters, and combining functional modeling characteristics of the GO-FLOW operators, modeling mapping relation between the general equipment and the GO-FLOW operators is established, and a GO-FLOW componentization model library of the general equipment is constructed;
analyzing the structure data file of the system flow chart to obtain the connection relation between the system devices;
according to the connection relation between the system devices, a GO-FLOW model file is generated by using a modeling mapping relation between the general device and the GO-FLOW operator, so that the automatic generation of the GO-FLOW model of the system is realized;
And reading the GO-FLOW model file of the system by the GO-FLOW calculation engine to realize dynamic update calculation of the system reliability.
Further, according to classification of system devices and typical fault modes and reliability parameters, and by combining functional modeling characteristics of the GO-FLOW operators, a modeling mapping relationship between the general device and the GO-FLOW operators is established, and a GO-FLOW componentization model library of the general device is constructed, including:
according to the classification basis of the system equipment, automatically selecting corresponding GO-FLOW operators to carry out equipment basic function reliability componentization model expression;
functional componentized model modules are selectively added according to device failure modes or specific functions.
Further, classifying the system equipment into a non-action part and an action part according to the functional structural design and the operation characteristics of the system equipment, and establishing a mapping relation between the non-action part and a GO-FLOW operator according to the classification of the system equipment, wherein the non-action part refers to the system equipment without action requirements, and is divided into a source part and a non-source part according to whether a signal source is formed or not; the action component is a component containing specific required actions and is divided into a normally-closed component, a normally-open component and a switch component according to the design and operation characteristics of the action component.
Further, according to the task description of the system stage, the system configuration structure model under different stages is converted through corresponding operators; wherein the stage task componentization model is composed of a plurality of corresponding operator-connected AND logic gates, representing conditions and correlations between the stages of the multitasking.
Further, the obtaining the connection relationship between the system devices by parsing the structure data file of the system flow chart includes:
converting the structural data file of the system flow chart into a data file in a text file format by utilizing an analysis module;
traversing all block structures in the block segments in the data file in sequence, and simplifying the block structures into rectangular frames for judging physical connection relations among the devices in the entity segments if the block structures are real system devices;
traversing the entity in the entity section in the data file, if the entity is equipment, reading the center coordinates and reliability modeling parameters of the equipment, and storing the center coordinates and reliability modeling parameters into a self-defined equipment parameter information data structure; if the entity is a pipeline, reading coordinates of a starting point and an ending point of the pipeline, and storing the coordinates into an equipment parameter information data structure;
and finding connected equipment for all the pipelines in the equipment parameter information data structure, and storing the physical connection relation between the equipment and the pipeline into the equipment connection relation data structure.
Further, the finding of the connected device for all the pipes in the device parameter information data structure includes:
sequentially extracting the information of the pipelines from the equipment parameter information data structure, and taking the extracted pipelines as current pipelines;
judging whether the current pipeline is connected with other pipelines or equipment, if so, storing the physical connection relation between the current pipeline and the other pipelines or equipment into an equipment connection relation data structure; if a pipe is connected, the connected equipment or pipe is searched along the connected pipe until a connected equipment is found.
Further, the generating the GO-FLOW model file according to the connection relationship between the system devices and by using the modeling mapping relationship between the generic device and the GO-FLOW operator includes:
constructing a front device list and a rear device list according to the connection relation between every two devices in the device connection relation data structure;
judging the equipment as starting point equipment, end point equipment, multi-output equipment or multi-input equipment according to the repeated occurrence times of the equipment in the front equipment list and the rear equipment list;
adding all starting point devices into a stack by nodes, traversing all nodes in the stack, generating corresponding GO-FLOW operator parameter tables according to the modeling mapping relation respectively according to whether the nodes are the starting point devices or the multi-input devices, and constructing a GO-FLOW model data structure to realize the construction of the system model data structure;
Writing the GO-FLOW operator parameter table into the GO-FLOW model file according to the GO-FLOW operator type sequence number;
according to the characteristics of the system running task process and the defined time point sequence, writing the signal intensity values of different time points into the GO-FLOW model file according to the sequence number of the operator;
and writing the operator serial number corresponding to the end point equipment into the GO-FLOW model file as a final output signal to realize the complete construction of the GO-FLOW model file of the system.
Further, the adding all the starting point devices to the stack with the nodes, traversing all the nodes in the stack, and further respectively generating corresponding GO-FLOW operation symbol parameter tables and constructing GO-FLOW model data structures according to the modeling mapping relation, including:
adding all starting point devices into a stack by nodes, sequentially popping the nodes from the stack, and taking the popped nodes as current device nodes;
judging whether the current equipment node is a starting point equipment or not, comprising:
if the equipment is the starting point equipment, generating a main input signal and constructing a GO-FLOW model data structure; otherwise: judging whether the current equipment node is a multi-input equipment or not comprises the following steps:
if the current device node is a multiple input device, then: if all the input device nodes are accessed, generating a logic gate and constructing a GO-FLOW model data structure; if not, a node is popped out from the stack and is used as the current equipment node, and whether the current equipment node is the starting point equipment is judged; otherwise, generating a corresponding GO-FLOW operator parameter table according to the modeling mapping relation and constructing a GO-FLOW model data structure;
If the current equipment node is the terminal equipment, the method comprises the following steps: if the stack is empty, indicating that all the equipment nodes have completed traversing, and ending traversing; if not, a node is popped out of the stack to be used as a current equipment node, and whether the current equipment node is a starting point equipment or not is judged; otherwise:
searching a downstream equipment node of a current equipment node, judging whether the downstream equipment node is one or more, if only one downstream equipment node exists, taking the downstream equipment node as the current equipment node, and judging whether the current equipment node is a multi-input equipment; otherwise, adding the searched downstream equipment node into a stack, popping a node from the top of the stack to serve as the current equipment node, and judging whether the current equipment node is a multi-input device or not.
The second object of the invention can be achieved by adopting the following technical scheme:
a GO-FLOW automatic modeling and analysis system based on a system FLOW diagram, the system comprising:
the reliability characteristic parameter determining module is used for classifying the system equipment according to the composition and design operation characteristics of the system equipment; according to the classification of the system equipment, determining typical fault modes and reliability parameters of various general equipment through equipment fault modes and influence analysis;
The mapping relation establishing module is used for establishing a modeling mapping relation between the general equipment and the GO-FLOW operator according to classification of the system equipment, typical fault modes and reliability parameters and combining functional modeling characteristics of the GO-FLOW operator to construct a GO-FLOW componentization model library of the general equipment;
the connection relation acquisition module is used for acquiring the connection relation between the system devices by analyzing the structure data file of the system flow chart;
the GO-FLOW model generation module is used for generating a GO-FLOW model file by utilizing a modeling mapping relation between the general equipment and the GO-FLOW operator according to the connection relation between the system equipment, so as to realize automatic generation of a GO-FLOW model of the system;
and the updating calculation module is used for reading the GO-FLOW model file of the system through the GO-FLOW calculation engine and realizing dynamic updating calculation of the system reliability.
The third object of the present invention can be achieved by adopting the following technical scheme:
an electronic device comprises a processor and a memory for storing a program executable by the processor, wherein the processor realizes the GO-FLOW automatic modeling and analysis method when executing the program stored by the memory.
The fourth object of the present invention can be achieved by adopting the following technical scheme:
a storage medium storing a program which, when executed by a processor, implements the GO-FLOW automatic modeling and analysis method described above.
Compared with the prior art, the invention has the following beneficial effects:
1. the method provided by the invention can directly generate the system reliability model through the conversion of the system CAD or the Visio design drawing, greatly reduces the complexity of the system reliability modeling analysis, and is convenient for model checking and verification because the established model is similar to the system flow diagram; and the signal FLOW in the GO-FLOW method is visual existence expression of material FLOW, energy FLOW and control FLOW signals in the actual physical world, and the modeling analysis thought facing task success accords with the cognitive thinking habit of human beings, so that the model understanding is facilitated.
2. The equipment GO-FLOW componentization modeling method provided by the invention combines comprehensive consideration of the design characteristics of the functional structure of the equipment of the system, the characteristics of the operation process and the fault mode, disassembles the basic reliable functional requirement of the equipment into relatively independent functional modules, disassembles the operation process, the functional recovery maintenance process and the like, and can easily realize the construction of the GO-FLOW model of the system according to the specific refinement degree requirement of modeling analysis even by non-professional staff through standardized GO-FLOW componentization model library construction. And the GO-FLOW componentization model library also comprises specific functional componentization model expressions such as control signal delay effect, signal difference relation, stage task conversion and the like, so that the modeling expression capacity of GO-FLOW is enhanced.
3. According to the method for automatically generating and analyzing the GO-FLOW model file, the GO-FLOW model data structure can be automatically read and written in the text file according to the modeling mapping relation between the general equipment and the GO-FLOW operator, so that model updating, modification and calling analysis are facilitated, and the related technology can be further expanded and applied to online real-time reliability monitoring and risk monitoring of the system.
Drawings
In order to more clearly illustrate the embodiments of the present invention or the technical solutions in the prior art, the drawings that are required in the embodiments or the description of the prior art will be briefly described, and it is obvious that the drawings in the following description are only some embodiments of the present invention, and other drawings may be obtained according to the structures shown in these drawings without inventive effort for a person skilled in the art.
Fig. 1 is a schematic diagram of a GO-FLOW automatic modeling and analysis method based on a system FLOW chart in embodiment 1 of the present invention.
Fig. 2 is a schematic diagram of a device GO-FLOW modeling mapping relationship according to embodiment 1 of the present invention.
Fig. 3 is a flowchart of a system flowchart data structure reading algorithm according to embodiment 1 of the present invention.
Fig. 4 is a flowchart of the system GO-FLOW model automatic generation and analysis algorithm of embodiment 1 of the present invention.
Fig. 5 is a schematic diagram of a simplified water supply system structure based on CAD drawing design according to embodiment 2 of the present invention.
Fig. 6 is a diagram illustrating analysis of a CAD data file of the system according to embodiment 2 of the present invention.
Fig. 7 is a schematic diagram of a data structure of a system GO-FLOW model file according to embodiment 2 of the present invention.
FIG. 8 is a graph showing the result of GO-FLOW analysis in example 2 of the present invention.
Fig. 9 is a block diagram of the GO-FLOW automatic modeling and analysis system based on the system FLOW chart of embodiment 3 of the present invention.
Fig. 10 is a block diagram showing the structure of an electronic device according to embodiment 4 of the present invention.
Detailed Description
For the purpose of making the objects, technical solutions and advantages of the embodiments of the present invention more apparent, the technical solutions of the embodiments of the present invention will be clearly and completely described below with reference to the accompanying drawings in the embodiments of the present invention, and it is apparent that the described embodiments are some embodiments of the present invention, but not all embodiments, and all other embodiments obtained by those skilled in the art without making any inventive effort based on the embodiments of the present invention are within the scope of protection of the present invention. It should be understood that the description of the specific embodiments is intended for purposes of illustration only and is not intended to limit the scope of the present application.
Example 1:
as shown in fig. 1, the GO-FLOW automatic modeling and analysis method based on the system FLOW chart provided in this embodiment specifically includes:
(1) And establishing a modeling mapping relation between the universal class equipment and the GO-FLOW operator, and constructing a GO-FLOW componentization model library of the universal class equipment.
According to the system equipment composition and design operation characteristics, carrying out generalized classification definition on the system equipment, and further determining typical fault modes and reliability parameters of various general equipment through equipment fault modes and influence analysis;
and combining the functional modeling characteristics of the GO-FLOW operators, establishing a modeling mapping relation between the general equipment and the GO-FLOW operators, and constructing a GO-FLOW componentization model library of the general equipment.
Specifically, corresponding GO-FLOW operators are automatically selected according to the equipment classification basis to carry out equipment basic function reliability componentization model expression, and a function componentization model module is selectively added according to specific consideration of equipment failure modes or specific functions;
classifying the system equipment into a non-action part and an action part according to the functional structure design and the operation characteristics of the system equipment; the non-action part refers to system equipment without action requirement, and is further classified into a source part and a non-source part according to whether a signal source is formed or not, and a No. 25 GO-FLOW operator or a No. 21 GO-FLOW modeling expression is used respectively; the action part is a part containing specific required actions, and can be subdivided into a normally-closed part, a normally-open part and a switch part according to the design operation characteristics of the action part, and is respectively represented by a No. 26 GO-FLOW operation, a No. 27 GO-FLOW operation and a No. 39 GO-FLOW operation;
And respectively establishing an operation or standby failure componentization model of the equipment according to the category of the equipment time-related fault mode so as to represent the life characteristics of equipment failure along with time. Wherein, the device operation failure is represented by a No. 35 GO-FLOW operator, and the device standby failure is represented by a No. 37 GO-FLOW operator. For repairable equipment repair procedures, represented by the No. 38 GO-FLOW operation Fu Jianmo;
according to the differential relation of the device output at different time points, the trend change of the device reliability or risk value along with time is described by using a No. 24 GO-FLOW operator;
according to the delay effect of the equipment control signal, utilizing a No. 28 GO-FLOW operator to establish a delay function componentization model expression of the equipment; the delay function componentized model data structure includes a delay time;
constructing a system function to realize a logic structure through AND, OR and NOT GO-FLOW logic operators according to the design characteristics of the system function and the FLOW structure relation of the system equipment;
according to the task description of the system stage, the system configuration structure model under different stages is converted through a No. 40 GO-FLOW operator; the stage task componentization model consists of a plurality of GO-FLOW operators No. 40 connected with an AND logic gate, representing conditions and dependencies between the stages of the multitasking.
The modeled mapping relationship between the generic device and the GO-FLOW operator established in this embodiment is shown in fig. 2.
(2) And analyzing the structure data file of the system flow chart to acquire the connection relation between the system devices.
Further, as shown in fig. 3, step (2) includes:
(2-1) converting the system process flow diagram (PI & D) design data structure file into a text file format by using a Python Numpy analysis module, and opening and reading the structured information in the data file.
The contents of the data structure file include a HEADER section (HEADER), a class section (class), a table section (tabs), a block section (BLOCKS), an entity section (ENTITIES), an object section (object). In the file data reading and analyzing process, the header section, the class section and the table section information in the system flow chart are ignored, and the file data is directly jumped to the block section to realize the identification of the system equipment.
(2-2) sequentially reading block structures in the data structure file, judging whether the block structures are real system equipment, if so, simplifying the identified intangible block structures into a rectangular frame for further judging physical connection relations among the equipment in the entity section; otherwise, jumping to the reading of the next block structure and identifying by the system equipment until all the block structures are traversed; the block structure refers to the outline structure of the system equipment in a Computer Aided Design (CAD) drawing.
(2-3) entering an entity section, sequentially reading the entities along the compiling sequence of the text data, judging whether the current entity is equipment or a pipeline, if so, further reading the center coordinates and reliability modeling parameters of the equipment, and storing the center coordinates and reliability modeling parameters into a self-defined equipment parameter information data structure; if the pipeline is the pipeline, further reading coordinates of a starting point and an ending point of the pipeline, and storing the coordinates into an equipment parameter information data structure; if not, jumping to the reading and judging of the next entity until all the entities in the entity section are completely traversed. The entity section may be simply understood as an entity queue, during which all entity information is recorded, and the entity constitutes the most basic information block, or may refer to the basic block structure or the combined block structure.
(2-4) sequentially extracting pipe information from the equipment parameter information data structure, judging whether the current pipe is connected with other pipes or equipment, and storing the physical connection relation between the pipes into the equipment connection relation data structure if the current pipe is connected with the equipment; if the connection pipeline is the pipeline, further searching the connected equipment or pipeline along the connection pipeline until one connected equipment is found, and storing the physical connection relation between the equipment and the pipeline into the equipment association relation data structure.
(3) And generating a GO-FLOW model file according to the connection relation between the GO-FLOW componentization model library and the system equipment, and realizing automatic generation of a system GO-FLOW model (namely a system reliability model).
Further, as shown in fig. 4, step (3) includes:
and (3-1) judging the devices according to the connection relation between every two devices in the device association relation data structure.
Constructing a front device list and a rear device list according to the connection relation between every two devices in the device association relation data structure;
comparing the repeated occurrence times of the equipment in the front equipment list and the rear equipment list, and judging the equipment as a starting point equipment if the equipment only appears in the front equipment list; if only appears in the post device list, determining to be an end device; if the device appears in the front device list for a plurality of times, the device is indicated as a multi-output device; if multiple occurrences occur in the post device list, then a multiple input device is indicated.
And (3-2) adding all the devices which are judged to be the starting point devices into a stack as nodes, sequentially popping the nodes from the stack, taking the popped nodes as current device nodes, respectively generating corresponding GO-FLOW operation symbol parameter tables according to the condition that the current device nodes are judged to be the starting point devices or the condition of multiple input devices, constructing a GO-FLOW model data structure, and constructing a system model data structure.
Further, the step (3-2) specifically includes:
adding all starting point devices into a stack by nodes, sequentially popping up device nodes from the stack, judging whether the current device node is the starting point device or not, if so, generating a main input signal and constructing a GO-FLOW model data structure; if not the origin device, then: judging whether the current equipment node is a multi-input equipment or not, if so, further judging whether all the input equipment nodes are accessed or not: if all the input device nodes are accessed, generating logic gates and constructing a GO-FLOW model data structure; otherwise, the next equipment node is popped out from the stack and used as the current equipment node, and whether the current equipment node is the starting point equipment or not is judged in a returning mode; if the current equipment node is not the multi-input equipment, directly constructing a GO-FLOW model data structure;
after constructing the GO-FLOW model data structure, judging whether the current equipment node is an end point equipment, if so, ending the searching of the related system FLOW structure diagram of the current equipment node, and judging whether a stack is empty, if so, indicating that all the equipment nodes have completed traversing, and ending the cycle; if equipment nodes are still in the stack, whether the next equipment node is the starting point equipment is repeatedly popped out of the stack or not is judged; if not, continuing to search the downstream equipment nodes of the current equipment node and judging whether the downstream equipment nodes are one or more, if only one downstream equipment node exists, taking the downstream equipment node as the current equipment node, and returning to judge whether the current equipment node is a multi-input equipment; if a plurality of downstream equipment nodes exist, adding the searched downstream equipment nodes into a stack, popping a node from the top of the stack to serve as a current equipment node, and returning to judge whether the current equipment node is a multi-input device or not; based on the completed system model data structure, writing a GO-FLOW operator parameter list generated when the GO-FLOW model data structure is constructed into a GO-FLOW model file according to the GO-FLOW operator type serial number;
Defining a time point sequence according to the characteristics of the system running task process, and writing signal intensity values at different time points into the GO-FLOW model file according to the sequence numbers of the operators;
and writing the operator serial number corresponding to the end point equipment into the GO-FLOW model file as a final output signal to realize the complete construction of the GO-FLOW model file of the system.
(4) And the GO-FLOW model file is read in by the GO-FLOW calculation engine, so that the automatic analysis and calculation of the system reliability are realized.
Example 2:
this embodiment provides a simplified water supply based on CAD drawing design, see fig. 5. The case system comprises two water storage tanks (Tank #1 and Tank # 2), five electric isolation valves (V1, V2, V3, V4 and V5), one check valve (V6), two water supply transport pumps (Pump #1 and Pump # 2) and related pipelines.
Step 1: and reading the data file.
Data file conversion: and converting the exported CAD data structure file (dxf format file) into a text file format (txt text file) through a Python Numpy analysis module, opening and extracting data structure information in the file, wherein the information content of the converted CAD data structure file comprises a HEADER section (HEADER), a class section (CLASES), a table section (TABLES), a block section (BLOCKS), an entity section (ENTITES) and an object section (OBJECTS). In the file data reading and analyzing process, the header section, the class section and the table section information in the system flow chart are ignored, and the file data is directly jumped to the block section to realize the identification of the system equipment.
Block structure name identification: sequentially reading block structures in the block segments along the data compiling sequence, firstly identifying the names of the block structures, and if the names of the block structures are custom names, reading the information of the block structures; if the block structure is simply a name code, such as U2 and U3, the block structure is considered to be a system automatic generation fast structure, and no parsing process is performed.
And (3) reading block structure information: for the system equipment block structure, the relative central coordinate position of the block structure is read and recorded, various basic drawing elements (such as circles, line segments and the like) forming the block structure are further extracted, so that the maximum value and the minimum value of the block structure on the x axis and the y axis are obtained, and the block structure system equipment is represented by a rectangular frame to cover the expression of the drawing shape information of the system equipment.
Reading entity segment information: and then, reading the file entity segment to obtain the coordinates and parameters of the starting point/ending point of the equipment and the pipeline. The entity section contains all attribute information of the equipment and the pipeline, such as coating layers, absolute coordinate positions, colors, fonts, parameters and the like of the equipment and the pipeline, but the invention only needs to extract the coordinate positions and the parameter information of the equipment and the pipeline, and other information is considered as irrelevant information and is directly ignored. In view of the possible flipping, rotating, zooming-in and zooming-out actions of the device, after obtaining a rectangular physical device, the location parameters need to be updated to determine the final coordinate location of the device.
As shown in fig. 6, (1) represents representative block information of an embodiment; (2) the name representing the currently selected block structure is "rank"; (3) a three-dimensional center coordinate position (0, 0) representing the currently selected block structure; (4) indicating that the currently selected block structure is composed of basic drawing elements such as circles, line segments, etc.
Step 2: and determining the physical connection relation of the system equipment.
Device/pipe connection information identification: since the read information of the entity section in the previous step does not contain the connection information of the equipment/pipeline, the pipeline is required to be used as an object next, and the connection equipment before and after the pipeline is searched, so that the connection relation of equipment-pipeline or pipeline-equipment is established. Consider the following two cases: (1) the pipeline is directly connected with the equipment, and the coordinates of the starting (final) point of the pipeline just fall into the rectangular frame of the entity equipment; (2) the pipeline is connected with the pipeline: the starting (final) point of the pipeline is connected to another pipeline, and the other pipeline can be used as an extension line of the current pipeline to further search the equipment connection relation of the other pipeline until the connected system equipment is searched. Irrespective of the fact that the device is not directly connected to the device via a pipe.
Constructing a device connection information table: under the precondition that the influence of the pipeline on the reliability of the system is not considered (note that the reliability of the pipeline can be considered in the reliability calculation of the system according to the requirement), the physical position information of the pipeline and the connection relation between the pipeline and equipment are deleted (the partial information is only used for determining the physical connection relation of the equipment and is not used for the reliability analysis calculation of the system), and only the reliability parameters of the equipment and the series connection relation between the equipment are reserved.
Step 3: and generating a GO-FLOW model file.
GO-FLOW data structure generation: according to the GO-FLOW model file, automatically generating and analyzing starting point equipment and end point equipment which are obtained through identification by an algorithm, sequentially generating functional operators corresponding to system equipment along the working medium flowing direction by adopting a depth-first traversal method, and supplementing logic operators according to multiple input equipment; then, the reliability parameters in the GO-FLOW operator parameter list are written into a model file, the main input signal strength of the starting point equipment is uniformly set to be 1 (which indicates that an active signal exists), and the secondary input signal strength of all equipment is set to be 0 (which indicates that no action acts on system equipment); and finally, defining a final signal according to the identified terminal equipment, and outputting to obtain a complete GO-FLOW model data structure file as shown in fig. 7.
And in the construction process of the GO-FLOW componentization model of the equipment, selecting a corresponding GO-FLOW operator according to a specific equipment category to finish the modeling expression of the equipment. For the embodiment, the water tanks Tank #1 and Tank #2 are used as source equipment, the 25 GO-FLOW operators are used for representing the generation of water source signals, the 21 GO-FLOW operators are used for representing the basic reliability of the water Tank equipment, and the equipment normal working probability P g The method can be obtained by directly reading the parameters of the equipment; the feedwater delivery pumps (Pump #1, pump # 2) and the electric isolation valves (V1, V2, V3, V4, V5) are switch action components, the functional demand failure of which is represented by No. 39 GO-FLOW operation Fu Jianmo, the operation failure of which is represented by No. 35 GO-FLOW operation Fu Moni, and the equipment reliability characteristic parameters include equipment early on/off probability P p Probability of successful shutdown of device P c Probability of successful device turn-on P o The failure rate lambda and the maintenance rate mu can be directly obtained from the equipment parameter list; the check valve V6 is a two-state conduction non-action part, the normal working state is expressed by a No. 21 GO-FLOW operator, the process of failure over time is expressed by a No. 37 GO-FLOW operator, and the reliability characteristic parameters comprise P g Lambda and mu.
As shown in fig. 7, the generated system data structure includes five parts, respectively: system architecture model, equipment reliability feature parameters, task time series, source signal strength, and final signal identification. The different data structures are separated by 0 empty rows.
(1) And (5) a system structure model.
The system structure model reflects the connection relation between the upstream and downstream physical and logic of the system equipment, and can realize qualitative analysis of the system reliability by combining graph theory searching to obtain the combination of the successful mode road sets of the system.
The first column in the system architecture model module represents the generated operations Fu Xuhao, the second column represents the types of operators, the third column represents the same type of operators but different parameter setting row numbers, the fourth column represents the operator output signal names, and the subsequent columns represent the number of the operator primary input signals, the source of the primary input signals, the number of the operator secondary input signals, and the source of the secondary input signals, respectively. If the operator has multiple primary input signals, multiple columns are inserted after multiple columns of primary input signals, and also if the operator has multiple secondary input signals, multiple columns are inserted after multiple columns of secondary input signals.
For example, the first row of data structures in the system structure model module represents, from left to right, that the operator #1 (the starting device Tank # 1) is the 25 GO-FLOW operator (the signal generator), and that the operator has no parameters, so the third column number is 0, and the output signal number is 1. Other data lines may be parsed in a similar manner and are not described in detail herein.
(2) Device reliability feature parameters.
The equipment reliability characteristic parameters can be directly obtained through equipment parameter lists in CAD or Visio computer aided design platforms so as to realize quantitative calculation of the system reliability.
The first column in the device reliability feature parameter module represents the operator type, the second column represents the operator parameter setting row number, the third column to the fifth column represent specific parameters of operators, and the maximum number of GO-FLOW operator parameters is 3, and the number is less than three and is 0.
For example, the first row in the device reliability feature parameter module represents reliability feature parameter setting for a GO-FLOW No. 21 operator representing the device's probability of normal operation P g =0.9999. Other data lines may be parsed in a similar manner and are not described in detail herein.
(3) Task time series.
The task time series expresses the system running and manipulating task processes through a series of discretized time points to support the timing system reliability analysis.
The first row in the task time sequence module represents the number of time points, and the middle row between the second row and the end of the task time sequence module represents the definition description of each time point.
For example, the number 5 in the first row in the task time series module represents 5 points in time, and the "1 input STATE" in the second row represents a definition description of point in time 1, and other point in time descriptions can be similarly parsed and understood in the manner described above.
(4) Source signal strength.
The source signal strength represents the generation capability of the source function device for the source signal at each point in time, and is represented by a probability value set.
The source signal strength module adopts double-row single-source signal expression, wherein the first row in the double-row structure represents the serial number of a source signal generator GO-FLOW operator, and the second row represents the signal strength of the source signal on different time points.
For example, the first row in the source signal strength module represents operator #1, namely Tank #1; the 5 numbers 1.000e+00 in the second row represent that the signal intensity value of the source signal at 5 time points is 1, respectively.
(5) And (5) final signal identification.
The final signal identification is used to help system modeling analysts extract system reliability analysis results.
The final signal identification represents the output signal number of the endpoint device.
Step 4: and (5) analyzing and calculating the GO-FLOW model.
And importing the generated GO-FLOW model file into a GO-FLOW engine to realize qualitative and quantitative analysis and calculation of the system reliability. The GO-FLOW analysis results for this example are shown in FIG. 8.
Those skilled in the art will appreciate that all or part of the steps in a method implementing the above embodiments may be implemented by a program to instruct related hardware, and the corresponding program may be stored in a computer readable storage medium.
It should be noted that although the method operations of the above embodiments are depicted in the drawings in a particular order, this does not require or imply that the operations must be performed in that particular order or that all illustrated operations be performed in order to achieve desirable results. Rather, the depicted steps may change the order of execution. Additionally or alternatively, certain steps may be omitted, multiple steps combined into one step to perform, and/or one step decomposed into multiple steps to perform.
Example 3:
as shown in fig. 9, the present embodiment provides a GO-FLOW automatic modeling and analysis system based on a system flowchart, which includes a reliability feature parameter determining module 901, a mapping relation establishing module 902, a connection relation obtaining module 903, a GO-FLOW model generating module 904, and an update calculating module 905, wherein:
the reliability characteristic parameter determining module 901 is configured to classify system devices according to the composition and design operation characteristics of the system devices; according to the classification of the system equipment, determining typical fault modes and reliability parameters of various general equipment through equipment fault modes and influence analysis;
the mapping relation establishing module 902 is configured to establish a modeled mapping relation between the generic device and the GO-FLOW operator according to classification of the system device and typical failure modes and reliability parameters, and by combining functional modeling characteristics of the GO-FLOW operator, and construct a GO-FLOW componentization model library of the generic device;
The connection relationship obtaining module 903 is configured to obtain a connection relationship between the system devices by parsing a structure data file of the system flowchart;
the GO-FLOW model generation module 904 is configured to generate a GO-FLOW model file according to a connection relationship between system devices by using a modeling mapping relationship between a generic device and a GO-FLOW operator, so as to realize automatic generation of a system GO-FLOW model;
the update calculation module 905 is configured to read the system GO-FLOW model file through the GO-FLOW calculation engine, and implement dynamic update calculation on the system reliability.
Specific implementation of each module in this embodiment may be referred to embodiment 1 above, and will not be described in detail herein; it should be noted that, the apparatus provided in this embodiment is only exemplified by the division of the above functional modules, and in practical application, the above functional allocation may be performed by different functional modules according to needs, that is, the internal structure is divided into different functional modules, so as to perform all or part of the functions described above.
Example 4:
the present embodiment provides an electronic device, which may be a computer, as shown in fig. 10, and is connected through a system bus 1001 to a processor 1002, a memory, an input device 1003, a display 1004, and a network interface 1005, where the processor is configured to provide computing and control capabilities, the memory includes a nonvolatile storage medium 1006 and an internal memory 1007, where the nonvolatile storage medium 1006 stores an operating system, a computer program, and a database, the internal memory 1007 provides an environment for the operating system and the computer program in the nonvolatile storage medium, and when the processor 1002 executes the computer program stored in the memory, the GO-FLOW automatic modeling and analysis method of the foregoing embodiment 1 is implemented as follows:
According to the classification of the system equipment, determining typical fault modes and reliability parameters of various general equipment through equipment fault modes and influence analysis;
according to classification of system equipment, typical fault modes and reliability parameters, and combining functional modeling characteristics of the GO-FLOW operators, modeling mapping relation between the general equipment and the GO-FLOW operators is established, and a GO-FLOW componentization model library of the general equipment is constructed;
analyzing the structure data file of the system flow chart to obtain the connection relation between the system devices;
according to the connection relation between the system devices, a GO-FLOW model file is generated by using a modeling mapping relation between the general device and the GO-FLOW operator, so that the automatic generation of the GO-FLOW model of the system is realized;
and reading the GO-FLOW model file of the system by the GO-FLOW calculation engine to realize dynamic update calculation of the system reliability.
Example 4:
the present embodiment provides a storage medium, which is a computer readable storage medium storing a computer program, where the computer program when executed by a processor implements the GO-FLOW automatic modeling and analysis method of the foregoing embodiment 1, as follows:
According to the classification of the system equipment, determining typical fault modes and reliability parameters of various general equipment through equipment fault modes and influence analysis;
according to classification of system equipment, typical fault modes and reliability parameters, and combining functional modeling characteristics of the GO-FLOW operators, modeling mapping relation between the general equipment and the GO-FLOW operators is established, and a GO-FLOW componentization model library of the general equipment is constructed;
analyzing the structure data file of the system flow chart to obtain the connection relation between the system devices;
according to the connection relation between the system devices, a GO-FLOW model file is generated by using a modeling mapping relation between the general device and the GO-FLOW operator, so that the automatic generation of the GO-FLOW model of the system is realized;
and reading the GO-FLOW model file of the system by the GO-FLOW calculation engine to realize dynamic update calculation of the system reliability.
The computer readable storage medium of the present embodiment may be a computer readable signal medium or a computer readable storage medium, or any combination of the two. The computer readable storage medium can be, for example, but not limited to, an electronic, magnetic, optical, electromagnetic, infrared, or semiconductor system, apparatus, or device, or a combination of any of the foregoing. More specific examples of the computer-readable storage medium may include, but are not limited to: an electrical connection having one or more wires, a portable computer diskette, a hard disk, a Random Access Memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or flash memory), an optical fiber, a portable compact disc read-only memory (CD-ROM), an optical storage device, a magnetic storage device, or any suitable combination of the foregoing.
In summary, the GO-FLOW automatic modeling and analysis method based on the system FLOW chart provided by the invention automatically identifies the system FLOW structure relationship and the equipment composition information through analyzing CAD or Visio data structure files, and constructs a system reliability model which is successfully guided by combining the general equipment GO-FLOW modeling mapping relationship, thereby being used as an effective supplement of the traditional event tree/fault tree method which is oriented to system failure, improving the accurate mapping and quick updating capability of the system reliability/risk model to the actual physical process system, and laying a technical foundation for the system real-time operation risk guiding safety management.
The above-mentioned embodiments are only preferred embodiments of the present invention, but the protection scope of the present invention is not limited thereto, and any person skilled in the art can make equivalent substitutions or modifications according to the technical solution and the inventive concept of the present invention within the scope of the present invention disclosed in the present invention patent, and all those skilled in the art belong to the protection scope of the present invention.

Claims (10)

1. A GO-FLOW automatic modeling and analysis method based on a system FLOW chart, the method comprising:
according to the classification of the system equipment, determining typical fault modes and reliability parameters of various general equipment through equipment fault modes and influence analysis;
According to classification of system equipment, typical fault modes and reliability parameters, and combining functional modeling characteristics of the GO-FLOW operators, modeling mapping relation between the general equipment and the GO-FLOW operators is established, and a GO-FLOW componentization model library of the general equipment is constructed;
analyzing the structure data file of the system flow chart to obtain the connection relation between the system devices;
according to the connection relation between the system devices, a GO-FLOW model file is generated by using a modeling mapping relation between the general device and the GO-FLOW operator, so that the automatic generation of the GO-FLOW model of the system is realized;
and reading the GO-FLOW model file of the system by the GO-FLOW calculation engine to realize dynamic update calculation of the system reliability.
2. The GO-FLOW automatic modeling and analysis method of claim 1, wherein the establishing a modeling mapping relationship between a generic device and a GO-FLOW operator according to classification of system devices and typical fault modes and reliability parameters and combining functional modeling characteristics of the GO-FLOW operator, and constructing a GO-FLOW componentized model library of the generic device comprise:
according to the classification basis of the system equipment, selecting a corresponding GO-FLOW operator to perform equipment basic function reliability componentization model expression;
Functional componentized model modules are selectively added according to device failure modes or specific functions.
3. The GO-FLOW automatic modeling and analysis method according to any one of claims 1 to 2, characterized in that the system equipment is classified into a non-action part and an action part according to the functional structural design and operation characteristics of the system equipment, and a mapping relation with a GO-FLOW operator is established according to the classification of the system equipment, wherein the non-action part refers to the system equipment without action requirements, and is divided into a source part and a non-source part according to whether a signal source is formed; the action component is a component containing specific required actions and is divided into a normally-closed component, a normally-open component and a switch component according to the design and operation characteristics of the action component.
4. The GO-FLOW automatic modeling and analysis method according to any one of claims 1-2, wherein the system configuration structure model conversion at different stages is realized through corresponding operators according to the task problem description at the system stage; wherein the stage task componentization model is composed of a plurality of corresponding operator-connected AND logic gates, representing conditions and correlations between the stages of the multitasking.
5. The GO-FLOW automatic modeling and analysis method of claim 1, wherein the obtaining the connection relationship between the system devices by parsing the structure data file of the system FLOW chart comprises:
Converting the structural data file of the system flow chart into a data file in a text file format by utilizing an analysis module;
traversing all block structures in the block segments in the data file in sequence, and simplifying the block structures into rectangular frames for judging physical connection relations among the devices in the entity segments if the block structures are real system devices;
traversing the entity in the entity section in the data file, if the entity is equipment, reading the center coordinates and reliability modeling parameters of the equipment, and storing the center coordinates and reliability modeling parameters into a self-defined equipment parameter information data structure; if the entity is a pipeline, reading coordinates of a starting point and an ending point of the pipeline, and storing the coordinates into an equipment parameter information data structure;
and finding connected equipment for all the pipelines in the equipment parameter information data structure, and storing the physical connection relation between the equipment and the pipeline into the equipment connection relation data structure.
6. The GO-FLOW automatic modeling and analysis method of claim 5, wherein said finding connected devices for all pipes in the device parameter information data structure, comprises:
sequentially extracting the information of the pipelines from the equipment parameter information data structure, and taking the extracted pipelines as current pipelines;
Judging whether the current pipeline is connected with other pipelines or equipment, if so, storing the physical connection relation between the current pipeline and the other pipelines or equipment into an equipment connection relation data structure; if a pipe is connected, the connected equipment or pipe is searched along the connected pipe until a connected equipment is found.
7. The GO-FLOW automatic modeling and analysis method of claim 5, wherein the generating the GO-FLOW model file using the modeled mapping relationship between the generic device and the GO-FLOW operator according to the connection relationship between the system devices comprises:
constructing a front device list and a rear device list according to the connection relation between every two devices in the device connection relation data structure;
judging the equipment as starting point equipment, end point equipment, multi-output equipment or multi-input equipment according to the repeated occurrence times of the equipment in the front equipment list and the rear equipment list;
adding all starting point devices into a stack by nodes, traversing all nodes in the stack, generating corresponding GO-FLOW operator parameter tables according to the modeling mapping relation respectively according to whether the nodes are the starting point devices or the multi-input devices, and constructing a GO-FLOW model data structure to realize the construction of the system model data structure;
Writing the GO-FLOW operator parameter table into the GO-FLOW model file according to the GO-FLOW operator type sequence number;
according to the characteristics of the system running task process and the defined time point sequence, writing the signal intensity values of different time points into the GO-FLOW model file according to the sequence number of the operator;
and writing the operator serial number corresponding to the end point equipment into the GO-FLOW model file as a final output signal to realize the complete construction of the GO-FLOW model file of the system.
8. The GO-FLOW automatic modeling and analysis method according to claim 7, wherein the adding all the start devices into the stack with nodes, traversing all the nodes in the stack, generating corresponding GO-FLOW operator parameter tables and constructing GO-FLOW model data structures according to whether the nodes are start devices or multiple input devices, respectively, further according to the modeling mapping relation, comprises:
adding all starting point devices into a stack by nodes, sequentially popping the nodes from the stack, and taking the popped nodes as current device nodes;
judging whether the current equipment node is a starting point equipment or not, comprising:
if the equipment is the starting point equipment, generating a main input signal and constructing a GO-FLOW model data structure; otherwise: judging whether the current equipment node is a multi-input equipment or not comprises the following steps:
If the current device node is a multiple input device, then: if all the input device nodes are accessed, generating a logic gate and constructing a GO-FLOW model data structure; if not, a node is popped out from the stack and is used as the current equipment node, and whether the current equipment node is the starting point equipment is judged; otherwise, generating a corresponding GO-FLOW operator parameter table according to the modeling mapping relation and constructing a GO-FLOW model data structure;
if the current equipment node is the terminal equipment, the method comprises the following steps: if the stack is empty, indicating that all the equipment nodes have completed traversing, and ending traversing; if not, a node is popped out of the stack to be used as a current equipment node, and whether the current equipment node is a starting point equipment or not is judged; otherwise:
searching a downstream equipment node of a current equipment node, judging whether the downstream equipment node is one or more, if only one downstream equipment node exists, taking the downstream equipment node as the current equipment node, and judging whether the current equipment node is a multi-input equipment; otherwise, adding the searched downstream equipment node into a stack, popping a node from the top of the stack to serve as the current equipment node, and judging whether the current equipment node is a multi-input device or not.
9. A GO-FLOW automatic modeling and analysis system based on a system FLOW diagram, the system comprising:
the reliability characteristic parameter determining module is used for determining typical fault modes and reliability parameters of various general equipment through equipment fault modes and influence analysis according to the classification of the system equipment;
the mapping relation establishing module is used for establishing a modeling mapping relation between the general equipment and the GO-FLOW operator according to classification of the system equipment, typical fault modes and reliability parameters and combining functional modeling characteristics of the GO-FLOW operator to construct a GO-FLOW componentization model library of the general equipment;
the connection relation acquisition module is used for acquiring the connection relation between the system devices by analyzing the structure data file of the system flow chart;
the GO-FLOW model generation module is used for generating a GO-FLOW model file by utilizing a modeling mapping relation between the general equipment and the GO-FLOW operator according to the connection relation between the system equipment, so as to realize automatic generation of a GO-FLOW model of the system;
and the updating calculation module is used for reading the GO-FLOW model file of the system through the GO-FLOW calculation engine and realizing dynamic updating calculation of the system reliability.
10. A storage medium storing a program which, when executed by a processor, implements the GO-FLOW automatic modeling and analysis method of any one of claims 1 to 8.
CN202211101472.7A 2022-09-09 2022-09-09 GO-FLOW automatic modeling and analysis method, system and medium based on system FLOW chart Pending CN116257969A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202211101472.7A CN116257969A (en) 2022-09-09 2022-09-09 GO-FLOW automatic modeling and analysis method, system and medium based on system FLOW chart

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202211101472.7A CN116257969A (en) 2022-09-09 2022-09-09 GO-FLOW automatic modeling and analysis method, system and medium based on system FLOW chart

Publications (1)

Publication Number Publication Date
CN116257969A true CN116257969A (en) 2023-06-13

Family

ID=86681491

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202211101472.7A Pending CN116257969A (en) 2022-09-09 2022-09-09 GO-FLOW automatic modeling and analysis method, system and medium based on system FLOW chart

Country Status (1)

Country Link
CN (1) CN116257969A (en)

Similar Documents

Publication Publication Date Title
CN111125052B (en) Big data intelligent modeling system and method based on dynamic metadata
US20140324908A1 (en) Method and system for increasing accuracy and completeness of acquired data
CN112527256A (en) Integrated hydropower station model development system and method
Sturmer et al. Test suite design for code generation tools
CN107103363A (en) A kind of construction method of the software fault expert system based on LDA
Lipaczewski et al. Comparison of modeling formalisms for safety analyses: SAML and AltaRica
US20070245327A1 (en) Method and System for Producing Process Flow Models from Source Code
Lipaczewski et al. Using tool-supported model based safety analysis--Progress and experiences in SAML development
CN114168615A (en) Method and system for querying SCD (substation configuration description) file of intelligent substation by natural language
Khan et al. Handling non-fuctional requirements in IoT-based machine learning systems
CN113220664B (en) Satellite telemetering intelligent interpretation system and method for rapidly generating Lua script rule
CN116257969A (en) GO-FLOW automatic modeling and analysis method, system and medium based on system FLOW chart
CN115080448B (en) Method and device for automatically detecting inaccessible path of software code
CN116974799A (en) Fault diagnosis method and system of lighting system based on knowledge graph
El-Boussaidi et al. Detecting patterns of poor design solutions using constraint propagation
CN115310095A (en) Block chain intelligent contract mixed formal verification method and system
CN114936111A (en) Front-end variable anomaly detection and restoration method, device, equipment and storage medium
Lai et al. Defining and verifying behaviour of domain specific language with fUML
Decker et al. The Thousand Faces of Explainable AI Along the Machine Learning Life Cycle: Industrial Reality and Current State of Research
AU760395B2 (en) Program reproducing method and device, and medium on which program for program reproduction recording
US8019716B2 (en) Reflective processing of TMK hierarchies
CN110928761A (en) System and method for demand chain and application thereof
Brameret Assessment of reliability indicators from automatically generated partial Markov chains
Voit et al. Verification Method for Diagrammatic Workflow Specifications in Computer-Aided Design
CN115328442B (en) Hazardous chemical substance enterprise safety risk management and control platform constructed based on low code platform

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination