欢迎来到天天文库
浏览记录
ID:53575687
大小:356.80 KB
页数:6页
时间:2020-04-19
《基于顺序失效符的动态故障树形式规约.pdf》由会员上传分享,免费在线阅读,更多相关内容在应用文档-天天文库。
1、2012年9月北京航空航天大学学报September2012第38卷第9期JournalofBeijingUniversityofAeronauticsandAstronauticsV01.38No.9基于顺序失效符的动态故障树形式规约王波刘东李艺(装备学院复杂电子系统仿真国防科技重点实验室,北京101416)(装备学院科研部,北京101416)摘要:首先定义了顺序失效符(SFS,SequenceFailureSymbo1)的形式化框架,包括SFS定义、性质、规则和定理,这是动态故障树(DFT,DynamicFaultTree)形式规约的基础.然后给出了任意形式的静态
2、故障树(SFT,StaticFaultTree)和DFT在SFS形式化框架下的形式规约方式和自动转换算法.最后,通过示例验证了方法的有效性.形式规约构建了DFT在数学层面上更加严密的理论体系,同时,基于SFS的形式规约自动转换算法有助于DFT计算机辅助建模的实现.关键词:动态故障树;顺序失效;形式规约中图分类号:TP202.1文献标识码:A文章编号:1O01.5965(2012)09—1255.06FOrmaIspecificationofdynamicfaulttreebasedonsequencefailuresymbolWangBoLiuDong(Nationa
3、lKeyLaboratoryofComplexElectronicSystemSimulation,AcademyofEquipment,Beijing101416,China)LiYi(DepartmentofScientificResearch,AcademyofEquipment,Beijing101416,China)Abstract:Theformalframeworkofthesequencefailuresymbol(SFS)wasdefined,includingdefini—tions,properties,rulesandtheorems,whic
4、histhebasisoftheformalspecificationfordynamicfaulttree(DFT).UndertheformalframeworkoftheSFS,formalspecificationsmethodsandautomaticconversionalgo-rithmsforanyformofstaticfaulttree(SFT)andDFTweregiven.Anexampledemonstratedtheeffectivenessoftheproposedapproach.Formalspecificationhelpstobu
5、ildamorerigorousmathematicaltheoreticalsystemofDFT.Meanwhile,automaticconversionalgorithmsbasedonSFS’Sformalspecificationareconducivetotherealizationofeffectivecomputer—aidedmodelingforDFT.Keywords:dynamicfaulttree;sequencefailure;formalspecification动态故障树(DFT,DynamicFaultTree)由静ralBayes
6、ianNetwork)、连续时间Markov链模型态故障树(SFT,StaticFaultTree)拓展而来.通过(CTMC,ContinuousTimeMarkovChains)和随增加新的逻辑门,如PAND,FDEP,CSP,WSP,HSP机Petri网模型(SPN,StochasticPetriNets)等.(本文将CSP,WSP,HSP统称为XSP)等,DFT提状态空间模型不足之处在于:①欠缺通用性;②存升了SFT对优先失效、储备失效和功能触发等动在指数爆炸问题.直接法是从DFT形式规约出态特性的建模能力.发,构建DFT的结构函数.DFT形式规约是将DFT的研
7、究方法主要有仿真方法和数学分析DFT动态逻辑门定义中模糊的自然语言转化成严方法,本文属于后者.DFT的数学分析方法有间接谨的数学描述语言,从而构建DFT的严密理论体法和直接法.间接法是将DFT转换为同构的状态系.DFT形式规约的典型研究有Pandora法、Merle空间模型,如时序贝叶斯网络模型(TBN,Tempo—法及割序集(CSS,CutSequenceSet)模型.Pandora收稿日期:2011-09-30;网络出版时间:2012.03.0910:36网络出版地址:http://www.enki.net/kems/detail/11.2625
此文档下载收益归作者所有