论文部分内容阅读
首先定义了顺序失效符(SFS,Sequence Failure Symbol)的形式化框架,包括SFS定义、性质、规则和定理,这是动态故障树(DFT,Dynamic Fault Tree)形式规约的基础.然后给出了任意形式的静态故障树(SFT,Static Fault Tree)和DFT在SFS形式化框架下的形式规约方式和自动转换算法.最后,通过示例验证了方法的有效性.形式规约构建了DFT在数学层面上更加严密的理论体系,同时,基于SFS的形式规约自动转换算法有助于DFT计算机辅助建模的实现.
Firstly, the formal framework of Sequence Failure Symbol (SFS) is defined, including SFS definitions, properties, rules and theorems, which are the basis of formal rules of Dynamic Fault Tree (DFT) .And then, Form Static Fault Tree (SFT) and DFT formal formalism and automatic conversion algorithm under the formal framework of SFS.Finally, the validity of the method is verified by an example.Formal formal construction of the DFT is more mathematically Strict theoretical system, at the same time, based on SFS formal rules automatic conversion algorithm contribute to the realization of DFT computer-aided modeling.