有序二元决策图论文

二元决策图的排序优化及故障树转化方法的研究
论文摘要随着计算机软硬件系统日益复杂,保证系统的正确性和可靠性日显重要,为此提出的许多理论和方法中,模型检测以其简洁明了和自动化程度高而引人注目。论文介绍了二元决策图的基本原理...