摘要
为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题,给出了一个基于同构节点的动态故障树分析方法。为每个节点建立一个对象,识别同构节点,求解时对于同构节点仅计算一次,从而减少状态空间中的状态数目、缩短计算时间。运用该方法对空间信息处理平台进行可靠性分析,并与其他方法进行对比,结果表明,如果系统结构具有较强的冗余特征,该方法在求解效率上具有比较明显的优势。
In order to solve the problem of state space explosion of Markov chains in the research field of dynamic fault tree,a new method based on isomorphic node is presented.By means of creating an object for every node,identifying the isomorphic node and computing only once for the same kind of nodes,this method reduces the number of states and the computation time.Finally,through applying the method on our platform of space information system and comparing to other methods,the results show the simpleness and convenience of this method.
出处
《计算机工程与设计》
CSCD
北大核心
2011年第1期1-4,共4页
Computer Engineering and Design
基金
国家自然科学基金项目(60904082)
国防预研基金项目(51320010201)
关键词
动态故障树
同构节点
空间信息处理平台
故障树分析
可靠性分析
状态空间爆炸
dynamic fault tree
isomorphic node
platformof space information system
fault tree analysis
reliability analysis
state space explosion
作者简介
张红林（1977-），男，河南温县人，博士研究生，研究方向为可靠性分析、容错设计；
付剑（1985-），男，浙江金华人，博士，研究方向为容错设计；
张春元（1964-），男，黑龙江巴彦人，博士，教授，博士生导师，研究方向为计算机体系结构、高性能计算：
王英鸿（1978-），男，吉林桦甸人，工程师，研究方向为光电系统可靠性分析。E-mail：honglin518@gmail．com
