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.
提出了一种基于自由二元判决图转换的可测性优化方法。
Limited solid solubility of transition elements in binary alloy phase diagram is studied by (using) atomic parameters and artificial neural network.
应用原子参数人工神经网络方法研究了过渡元素二元合金相图中的有限固溶度问题。
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 research status of binary and multi-component phase diagram of magnesium alloys has been analyzed and several problems existing in alloying of magnesium alloys have been pointed out.
论文分析了镁基合金二元和多元相图的研究现状；指出了镁合金在合金化中存在的问题。
Ordered Binary Decision Diagram (OBDD) is one of the most efficient tools for computing network reliability.
有序二分决策图(OBDD)是计算网络可靠度最有效的工具之一。
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(二元决策图)技术则具有计算效率高、结果精确、并可在计算机上有效进行计算等特点。
Binary Decision Diagram and Markov method are applied in the DFT modeling of satellite key devices to process static subtree and dynamic subtree, respectively.
分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析。
Binary Decision Diagram and Markov method are applied in the DFT modeling of satellite key devices to process static subtree and dynamic subtree, respectively.
分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析。
应用推荐