点击量 ：

第一作者 ： 王斌

发表时间 ： 2016-01-01

发表刊物 ： 计算机科学

所属单位 ： 数理与信息工程学院

文献类型 ： 期刊

卷号 ： 第43卷

期号 ： 第10期

页面范围 ： 70-73，92

ISSN ： 1002-137X

关键字 ： 多值决策图；动态故障树；马尔科夫；可靠性

摘要 ： 针对具有动态故障模式的复杂系统,动态故障树分析一直是很重要的可靠性分析技术。为了提升可靠性分析效率,已有研究提出了各种模块化方法,但是对于实际动态故障树模型中由于事件关联导致的大型动态子树,这些模块化方法的状态空间爆炸问题仍然很突出。因此介绍了一种基于多值决策图(Multiple-valued Decision Diagrams,MDD)来分析动态故障树的方法,通过多值变量编码动态门,利用单一系统MDD模型刻画各种动态和静态可靠性行为,有效地缓解了状态爆炸问题。通过一个具体的实例说明了多值决策图方法的应用

是否译文 ： 否