After then, a new method of solving the minimal cuts of s-coherent tree based on BDD and prime number was given in the qualitative analysis of FTA based on BDD, the prime implicant sets of non s-coherent tree was calculated by an iterative method.

• 再次，在基于BDD的故障树定性分析研究中，提出并实现了基于BDD和素数法相结合的单调关联故障树最小割集求解的新方法，用迭代法实现了非单调关联故障树质蕴含的求解。