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的故障樹(shù)定性分析研究中，提出并實(shí)現了基于BDD和素數法相結合的單調關(guān)聯(lián)故障樹(shù)最小割集求解的新方法，用迭代法實(shí)現了非單調關(guān)聯(lián)故障樹(shù)質(zhì)蘊含的求解。
