动态故障树的边值多值决策图分析
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

北京市自然科学基金(4152048)


Analysis of Edge-Value Multiple-Valued Decision Diagrams of Dynamic Fault Tree
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 增强出版
  • |
  • 文章评论
    摘要:

    动态故障树分析对于复杂系统来说是一种重要的可靠性分析技术,但是二叉决策图等传统模块化方法存在严重的状态空间爆炸问题.本文系统介绍了边值决策图的动态故障树分析方法,其中边值多值决策图相对于其它现有的决策图具有更紧凑的表示函数,通过状态数的缩减,缩短了计算时间,有效缓解状态空间爆炸问题.实例证明了边值多值决策图在多状态系统和多功能系统中使用的方法和优势.

    Abstract:

    Dynamic fault tree analysis is an important reliability analysis technique for complex systems. However, there are serious state space explosion problems in traditional modular methods such as binary decision diagrams. This paper systematically introduces a dynamic fault tree analysis method of edge-value decision diagram, in which the Edge-Value Multiple-valued Decision Diagram(EVMDD) has a more compact representation function than other existing decision diagrams. By reducing the number of states, the computation time is shortened and the state space explosion problem can be effectively alleviated. The example demonstrates the method and advantage of EVMDD for multi-state systems and multi-functional systems.

    参考文献
    相似文献
    引证文献
引用本文

李莉,刘翠杰,王政,任逸飞.动态故障树的边值多值决策图分析.计算机系统应用,2018,27(12):123-128

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2018-04-03
  • 最后修改日期:2018-04-24
  • 录用日期:
  • 在线发布日期: 2018-12-05
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京海淀区中关村南四街4号 中科院软件园区 7号楼305房间,邮政编码:100190
电话:010-62661041 传真: Email:csa (a) iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号