一种用于故障树决策图分析的模块化事件排序方法

摘要

本发明涉及一种用于故障树决策图分析的模块化事件排序方法，它采用如下的方法步骤：步骤一：对故障树进行模块化；步骤二：生成每个故障树模块的事件排序；步骤三：生成模块化故障树的事件排序；步骤四：采用替换法获得最终完整边排序；它通过采用两遍排序的方法，把故障树模块和模块化故障树排序过程分开处理，能够获得最小的BDD。