%0 Journal Article
%T 基于顺序失效符的动态故障树形式规约
%A 王波
%A 刘东
%A 李艺
%J 北京航空航天大学学报
%P 1255-1260
%D 2012
%X 首先定义了顺序失效符(SFS,SequenceFailureSymbol)的形式化框架,包括SFS定义、性质、规则和定理,这是动态故障树(DFT,DynamicFaultTree)形式规约的基础.然后给出了任意形式的静态故障树(SFT,StaticFaultTree)和DFT在SFS形式化框架下的形式规约方式和自动转换算法.最后,通过示例验证了方法的有效性.形式规约构建了DFT在数学层面上更加严密的理论体系,同时,基于SFS的形式规约自动转换算法有助于DFT计算机辅助建模的实现.
%U http://bhxb.buaa.edu.cn/CN/abstract/abstract12404.shtml