一种基于二元决策图的事件树分析方法

本发明属于概率安全分析领域，具体涉及一种基于二元决策图的事件树分析方法。包括：步骤1：用BDD结构表示事件树；步骤2：遵循BDD的化简规则对结构进行预处理，删除BDD中多余的节点和同构子图，并将终节点合并，得到简化BDD结构；步骤3：基于相邻变量交换的动态变量排序算法优化BDD结构；步骤4：利用步骤2简化及步骤3变量序的动态排序优化后的BDD获得对应的优化后的事件树；步骤5：利用BDD结构对优化后的事件树进行定性分析和定量分析。有益效果在于：本发明以最小化事件树的CD序列为目的，提出了一种适用于各类事件树简化的动态变量排序算法，并通过实例验证了算法的有效性，可有效降低算法的空间和时间复杂度，提高了事件树的分析效率。