一种基于混合二元决策图的动态故障树分析方法

摘要

一种基于混合二元决策图的动态故障树分析方法，属于软件可靠性工程领域，目的在于考虑组件间的顺序依赖关系，结合逻辑代数模型，实现更高效的可靠性分析方法。方法如下：自上而下的遍历动态故障树，利用基于时序结构函数的代数模型表示每个动态门，得到动态故障树的代数结构函数；基于改进的香农分解算法，消除动态依赖关系，赋予二元决策图左右分支新的含义，利用新的形式表示根节点、中间节点和叶子节点；基于上述步骤，利用二元决策图的特点对系统进行定量分析，计算整个系统的不可靠度。本发明解决了决策图中产生无效节点的问题，适用于任意失效时间分布的系统和包含任意动态门的动态故障树，可用于动态和静态的混合分析模型，具有普适性。