1) T heory of Bipartite Graph
二部图的判定
2) bipartite graph decision
二部图判定
3) ROBDD
简化的有序二叉判定图
4) BDD
二叉判定图
1.
Author presents the design of MCML standard cell based on the BDD Algorithm.
分析了一种基于二叉判定图算法的MCML标准单元的设计方法。
2.
The methods to structure the BDDs of outputs are discussed,and two different kinds of algorithms dealing with the boolean operations between BDDs are discussed.
本文分析了基于BDD的组合电路等价性检验;讨论了构造输出函数的二叉判定图BDD的不同方法,并分析了BDD间布尔操作的不同的算法的异同;然后给出了一种基于BDD的组合电路等价性检验方法。
5) binary decision diagram(BDD)
二叉判定图
1.
A new dynamic heuristic binary decision diagram(BDD) minimization algorithm is proposed.
提出了一种新的动态启发式二叉判定图(BDD)最小化算法。
6) Binary decision diagram
二叉判定图
1.
： This paper analyzes the formal verification ／synthesis system VIS，and expands the key technology－binary decision diagram to timed binary decision diagram in order for expressing timing properties of circuit，with the pupose of verifying some real－time properties of circuits
文章在分析形式化验证／综合系统VIS 的基础上，改进了该电子系统中的关键技术——二叉判定图（BDD），使BDD能表示电路的定时性质，这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。
补充资料：《乾隆平定准部回部战图》
| 《乾隆平定准部回部战图》 中国清代宫廷绘画作品。作者郎世宁、王致诚、艾启蒙、安德义。系铜版组画，共16幅，每幅纵55.4厘米 、横90.8厘米。画于乾隆廿九年(1764)，第二年完成，经广州海运至法国 ，由法兰西皇家艺术院制成铜版画，每幅印制200张。作品描绘了清乾隆二十至二十六年，平定蒙古族准噶尔部的阿睦尔撒纳和维吾尔族的布那敦、霍集占叛乱的经过。场面宏大，人物众多，景物繁复，以恢宏的气势和精致细微的手法 ，从《平定伊犁受降》到《凯宴成功诸将》,真实地表现了平叛战斗过程、规模、面貌。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条