对已经建模成功的动态故障树，进行模块的划分。用的是深度优先回溯搜索法，要进行两次的搜索，第一次搜索是记录每次访问节点所用的步数，第二次搜索是寻找该节点以下的连接事件中第一次被访问步数的最大值和最后一次被访问的最小值。