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.
应用原子参数人工神经网络方法研究了过渡元素二元合金相图中的有限固溶度问题。
应用推荐