1) BDD
二进制决策图
1.
Predicate Analysis and Optimization Based on BDD;
Sias等人提出的一种基于二进制决策图(BDD)的谓词分析系统(PAS);然后在其基础上,提出了结合芯片自身体系结构特点的谓词优化算法。
2) BDD Binary Decision Diagrams
二进制判决图
3) binary decision diagram
二元决策图
1.
Basic event ordering in fault tree analyses using binary decision diagram;
利用二元决策图求解故障树的基本事件排序
2.
Fault tree analysis based on Binary Decision Diagrams
故障树分析的二元决策图方法
3.
Based on the binary decision diagram(BDD),both the multistage equipments and the repeated events in the fault tree of MEL are well solved by using the multistate dependent operations(MDO) and MCSOR operation.
该算法基于二元决策图(binary decision diagram,BDD)技术,利用改进的多态运算法则和MCS或门求解法则,有效地解决了MEL故障树模型MCS求解过程中的多态部件和重复事件难题。
4) BDD
二叉决策图
1.
In this paper, a novel algorithm is presented to enhance the effectiveness of the binary decision diagram(BDD) engine.
提出一新的验证算法,利用电路拓扑信息选择有效割集,以减小验证规模,并对割集进行无依赖性处理,减少伪错误发生概率,提高验证效率;同时,利用启发式信息选择复杂度较高的节点变量进行量化,进一步减小二叉决策图(BDD)的内存要求。
2.
We propose a method of implementing a symbolic simulation system which uses symbolic simulation and BDD.
通过运用符号模拟的方法和二叉决策图技术,给出了一个RTL级的符号模拟系统的实现方法。
5) binary decision diagram
二分决策图
1.
Presents an algorithm for generating the sum of disjoint products by using binary decision diagram as well as certain ordering role of paths and Boolean algebra formulas.
利用二分决策图，同时采用道路排序技巧及布尔代数运算给出了求不交和的方法，它比单纯采用二分决策图的算法更简单，不交和的项数更少，从而得到一个求网络可靠度的有效算法。
6) binary decision diagram(BDD)
二元决策图
1.
An efficient way to analyze a fault tree is binary decision diagram(BDD) method,which can take advantage of computer technology to automatically deal with a large scale fault tree.
而在现在所有的故障树分析中,二元决策图(Binary Decision Diagram,BDD)又是其中最有效的方法之一。
补充资料：图的减缩图(或称图子式)
图的减缩图(或称图子式)
minor of a graph
图的减缩图(或称图子式)【.皿以ofa脚户;MHHoPrpa中a」【补注】设G是一个图(graph)(可以有环及多重边).G的一个减缩图(nullor)是从G中接连进行下述运算而得的任何一个图: i)删去一条边; 五)收缩一条边; 说)去掉一个孤立顶点. NRobe由on与P.D.Se脚aour的图减缩定理(脚Ph nl的。r theon习11)如下所述:已知有限图的无穷序列G，，GZ，…，则存在指标i
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条