基于顺序失效符的动态故障树形式规约.pdf

《基于顺序失效符的动态故障树形式规约.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