二叉决策图(BDD)相关论文
该论文的作者进行了工作包括:对基于BDD的面向逻辑综合的化简和转换进行研究,提出了删除-移动-合并算法.该算法对ROBDD作了进一步......
在网络可靠性分析中,使用二叉决策图(binary decision diagram,BDD)技术能够在很大程度上提高算法性能和效率。网络可靠性BDD分析......
学位
探讨了二叉决策图(BDD)求解故障树失效概率和最小割集(MCS)的方法,包括如何将故障树转化为BDD、用BDD求解最小割集、利用零压缩二......
期刊
