• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Reliability Engineering & System Safety >Solving dynamic flowgraph methodology models using binary decision diagrams
【24h】

Solving dynamic flowgraph methodology models using binary decision diagrams

机译：使用二元决策图求解动态流程图方法模型

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Dynamic flowgraph methodology (DFM) is a computationally challenging approach to the reliability analysis of dynamic systems with feedback loops. To improve the computational efficiency of DFM modelling, we propose a new approach, based on binary decision diagrams (BDDs), to solving DFM models. The objective of DFM analysis is to identify the root causes of a postulated top event. The result is a set of prime implicants that represent system faults resulting from diverse combinations of software logic errors, hardware failures, human errors and adverse environmental conditions. Two approaches to solving prime implicants have been implemented in software called YADRAT. The first approach is based on meta-products, and the second on zero-suppressed BDDs (ZBDD). Both approaches have been used previously in fault tree analysis. In this work, the ideas of prime implicant computations are adapted to a dynamic reliability analysis approach combined with multi-valued logic. The computational efforts required for the two approaches are compared by analysing three example systems. The results of the comparison show that BDDs are applicable in DFM computation and that in particular the ZBDD-based approach can solve moderately sized DFM models in a reasonable time.
机译：动态流程图方法（DFM）是具有反馈回路的动态系统可靠性分析的一种计算挑战性方法。为了提高DFM建模的计算效率，我们提出了一种基于二进制决策图（BDD）的新方法来求解DFM模型。 DFM分析的目的是确定假定的顶级事件的根本原因。结果是一组主要含义，它们表示由于软件逻辑错误，硬件故障，人为错误和不利的环境条件的各种组合而导致的系统故障。在称为YADRAT的软件中已经实现了两种解决素数蕴涵的方法。第一种方法基于元乘积，第二种方法基于零抑制的BDD（ZBDD）。两种方法先前都已用于故障树分析。在这项工作中，素数蕴涵计算的思想适用于结合多值逻辑的动态可靠性分析方法。通过分析三个示例系统，比较了两种方法所需的计算量。比较结果表明，BDD适用于DFM计算，尤其是基于ZBDD的方法可以在合理的时间内求解中等大小的DFM模型。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号