%0 Journal Article %A 闫剑平 %T 一种故障树模块的划分方法 %D 2000 %R %J 星空电竞app2026最新版学报 %P 63-66 %V 24 %N 5 %X 故障树中模块的划分可以有效地降低故障树分析的计算代价.基于在图中寻找强连接节点的算法,给出一种线性时间复杂度算法来检测故障树中的模块.该算法通过对故障树进行两次深度优先最左遍历来实现,其复杂度与故障树中的节点数、边数之和呈线性关系. %U https://jdxb.bjtu.edu.cn/CN/abstract/article_1996.shtml