1) 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级的符号模拟系统的实现方法。
2) ordered binary decision diagram
有序二叉决策图
1.
By encoding the assembly states with binary variables and establishing the Boolean characteristic functions of assembly operations,a novel symbolic scheme to represent assembly sequences is proposed using ordered binary decision diagrams(OBDD).
通过建立装配状态的二进制编码和装配操作的布尔特征函数,给出了装配序列描述的有序二叉决策图(OBDD)方法;建立了从装配序列的与或图模型到OBDD模型的转换规则;并对装配序列表示的与或图模型和OB-DD模型进行了存储效率比较。
2.
Using the ordered binary decision diagram principle,firstly a method to constructed the environmental information in the workspace for robot based on ordered binary decision dia-gram(OBDD) is proposed,and the binary coding for the model is presented.
借助有序二叉决策图的原理,首次采用有序二叉决策图数据结构来表示机器人工作空间中的信息环境模型,并对它们进行了二进制编码,建立一个有效紧凑的OBDD环境模型。
4) OBDD
有序二叉决策图
1.
The disassembly constraints rationally is represented,and an algorithm of judging the geometric feasibility of the disassembly operations with OBDD is designed.
引进有序二叉决策图OBDD合理表示拆卸约束,设计了基于OBDD的几何可行性判别算法,比较了基于OBDD的判别算法与基于移动函数的判别算法的时间复杂度,结果表明基于OBDD的几何可行性判别算法比基于移动函数的判别算法具有更高的判别效率。
2.
Ordered binary decision diagrams(OBDDs)are a data structure for efficient representation and manipulation of Boolean functions.
有序二叉决策图(OBDD)是一种有效表示布尔函数的数据结构,其大小依赖于所采用的变量序。
3.
In addition, Ordered Binary Decision Diagrams (OBDD) is employed to represent sub-graph set.
割集生成算法和子图过滤算法是基于割集的装配序列规划的基础,本文通过分析不同基本割集组合之间的关系,设计了更合理的割集生成算法,同时还引进了有序二叉决策图OBDD表示子图集合,设计了更高效的算法以过滤已分解的子图,从而提高了装配联接图的分解效率。
5) Free Binary Decision Diagrams(FBDD)
自由二叉决策图
补充资料：1,3-二硫戊环-2-叉-丙二酸二异丙酯
分子式：C12H18O4S2
分子量：290.40
CAS号：50512-35-1
性质：白色结晶固体。熔点50-54.5℃，沸点167-169℃（66.7Pa）。易溶于苯、醇、丙酮等有机溶剂，在20℃水中溶解度为48mg/L。蒸气压力0.015Pa。
制备方法：用丙二酸二异丙酯与二硫化碳为主要原料而制得。丙二酸二异丙酯的生产方法：氯乙酸钠与氰化钠、氢氧化钠反应，生成丙二酸钠。在硫酸存在下，丙二酸钠与异丙醇反应，生成丙二酸二异丙酯。原料消耗定额：氯乙酸（折100%）760kg/t、氰化钠（折100%）410kg/t、异化醇（折100%）220kg/t、二硫化碳（折100%）710kg/t、二氯乙烷（折100%）810kg/t。
用途：该品为内吸杀菌剂，对水稻颈瘟有特效，对稻叶瘟的防治效果亦高于稻瘟净，对稻苗瘟与小球菌核病也均有效。大面积使用还可兼治稻飞虱。
分子量：290.40
CAS号：50512-35-1
性质：白色结晶固体。熔点50-54.5℃，沸点167-169℃（66.7Pa）。易溶于苯、醇、丙酮等有机溶剂，在20℃水中溶解度为48mg/L。蒸气压力0.015Pa。
制备方法：用丙二酸二异丙酯与二硫化碳为主要原料而制得。丙二酸二异丙酯的生产方法：氯乙酸钠与氰化钠、氢氧化钠反应，生成丙二酸钠。在硫酸存在下，丙二酸钠与异丙醇反应，生成丙二酸二异丙酯。原料消耗定额：氯乙酸（折100%）760kg/t、氰化钠（折100%）410kg/t、异化醇（折100%）220kg/t、二硫化碳（折100%）710kg/t、二氯乙烷（折100%）810kg/t。
用途：该品为内吸杀菌剂，对水稻颈瘟有特效，对稻叶瘟的防治效果亦高于稻瘟净，对稻苗瘟与小球菌核病也均有效。大面积使用还可兼治稻飞虱。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条