A new dynamic heuristic binary decision diagram (BDD) minimization algorithm is proposed.
提出了一种新的动态启发式二叉判定图(BDD)最小化算法。
This paper presents a testability optimization method based on free binary decision diagram transformation.
提出了一种基于自由二元判决图转换的可测性优化方法。
Ordered Binary Decision Diagram (OBDD) is one of the most efficient tools for computing network reliability.
有序二分决策图(OBDD)是计算网络可靠度最有效的工具之一。
Binary Decision Diagram and Markov method are applied in the DFT modeling of satellite key devices to process static subtree and dynamic subtree, respectively.
分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析。
The Binary Decision Diagram (BDD) technique which can be implemented on the computer efficiently has the characteristics of the high efficiency of calculation and precise result.
用于辅助故障树分析的BDD(二元决策图)技术则具有计算效率高、结果精确、并可在计算机上有效进行计算等特点。
The combinational equivalence checking methods based on binary decision diagram(BDD)are dis-cussed, the false negative problem during equivalence checking and its eliminating methods are analyzed.
讨论了基于二叉判决图（BDD）的组合电路等价性检验方法，并分析了等价性检验过程中的误判问题及其消除方法；
The combinational equivalence checking methods based on binary decision diagram(BDD)are dis-cussed, the false negative problem during equivalence checking and its eliminating methods are analyzed.
讨论了基于二叉判决图（BDD）的组合电路等价性检验方法，并分析了等价性检验过程中的误判问题及其消除方法；
应用推荐