Automatic fault tree model generation method based on unified model
An automatic generation and fault tree technology, applied in the field of gate transformation rules and transformation algorithms, which can solve the problems of low efficiency, poor modeling consistency, and error-prone manual establishment of fault tree models.
Active Publication Date: 2021-06-01
BEIHANG UNIV
View PDF5 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
To establish a fault tree model, it is necessary to clarify the system function and operating principle, and use the fault tree model analysis method to carry out manual modeling. This manual modeling method not only has the shortcomings of relying heavily on the experience and ability of analysts, but also poor consistency in modeling by different personnel. , at the same time, for complex systems, manually building a fault tree model is inefficient and extremely error-prone
Method used
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0082] A method for automatically generating a fault tree model based on a unified model of the present invention, the flow chart of its implementation steps is as follows figure 1 shown.
[0083] Step 1: Define a unified function and reliability model that integrates expression functions and reliability characteristics, and clarify the formal expression of the meta-model, which is recorded as M={S,P,I,E,T,C,Su,L,Tr};
[0084] 1. Define the metamodel of the unified model of function and reliability, which is a 9-tuple, recorded as M={S, P, I, E, T, C, Su, L, Tr}, and each element in the tuple is specific It is defined as follows:
[0085] 1) S (State): state, generally represents the state of the functional unit itself, and the corresponding concept of stateful space, that is, the enumeration of all possible functional states of the functional unit;
[0086] 2) P(In Port / Out Port): the input / output variables of the meta-model, where the input variable P I The state space of...
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More PUM
Login to View More Abstract
An automatic fault tree model generation method based on a unified model comprises the following steps: (1) defining the unified model fusing expression functions and reliability characteristics, and defining formal expression of meta-model elements and connection and dynamic trigger relations between meta-models, wherein elements contained in the meta-model comprise a state, an input / output variable, an initial value of the variable, an event, transition, logic, a subunit, static connection and dynamic trigger; (2) according to a fault tree model logic judgment process based on logic constraints, judging a logic relationship between state variables; (3) correspondingly converting the function and reliability unified model and a static fault tree model event, and logic gates 'AND','OR'and 'K in N' into a top event, a middle event, a bottom event and a logic gate of a fault tree model; and (4) giving a complete process algorithm for automatically generating a static fault tree model from the connection relation of the function and reliability unified model, and automatically generating a fault tree model based on the function and reliability unified model.
Description
[0001] (1) Technical field [0002] The invention provides a method for automatically generating a fault tree model based on a unified model, aiming to establish a unified model that integrates and expresses functions and reliability characteristics by defining a unified model of function and reliability, and provides the unified model and static fault Tree model events, conversion rules and conversion algorithms of static logic gates, and then automatically generate static fault tree models to improve reliability modeling work efficiency. The invention belongs to the field of reliability engineering. [0003] (2) Background technology [0004] As the most representative basic reliability model, the fault tree model is a typical binary logic basic model. missing link. The starting point of the fault tree model analysis method is a serious fault or failure event. Through the top-down method, the lower-level events and their combinations that lead to the occurrence of upper-lev...
Claims
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More Application Information
Patent Timeline
Login to View More Patent Type & Authority Applications(China)
IPC IPC(8): G06F30/20G06F119/02
CPCG06F30/20G06F2119/02
Inventor 王自力任羿杨德真李志峰冯强孙博
Owner BEIHANG UNIV