基于规则的动态故障树与Markov链的自动转化

摘要：

对于动态故障树的求解,一般采用将其转化为Markov链的方式来实现,但目前造化的转化方法尚无公开报道.在分析动态逻辑门故障机理的基础上,给出了完整的基于规则的动态故障树与Markov链自动转化流程,提出了基于时序规则约束和故障规则约束的组合分析+回溯搜索方法,可以自动剪裁、枚举出全部的状态空间,并进行状态空间简化合并,生成Markov链.

关键词： Markov链 自动转化 动态故障树 嵌入式计算机 可靠性 故障容错

作者: 张海燕 曾声奎

作者单位: 北京航空航天大学可靠性工程研究所(北京)

会议类型: 国内会议

会议名称: 中国航空学会可靠性专业委员会学术年会

会议地点: 井冈山

会议语种:中文

页码: 191-196

在线出版日期: 2003-08-01（万方平台首次上网日期，不代表论文的发表时间）