二叉决策图

作品数：79被引量：110H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：古天龙徐周波常亮莫毓昌潘竹生更多>>
相关机构：桂林电子科技大学浙江师范大学西安电子科技大学南京理工大学更多>>
相关期刊：《电子电路与贴装》《现代电信科技》《计算机学报》《系统仿真学报》更多>>
相关基金：国家自然科学基金广西壮族自治区自然科学基金浙江省自然科学基金浙江省教育厅科研计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机辅助设计与图形学学报x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
装配序列规划问题的CSP模型及其符号OBDD求解技术被引量：8
《计算机辅助设计与图形学学报》2010年第5期803-810,共8页徐周波 古天龙 
国家自然科学基金(60963010;60903079)
完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向...
关键词：装配序列生成 装配联接图 约束满足问题 有序二叉决策图 
基于有序二叉决策图的装配序列符号表示方法被引量：4
《计算机辅助设计与图形学学报》2007年第10期1315-1320,共6页古天龙 杨志飞 
国家自然科学基金(60563005)
通过建立装配状态的二进制编码和装配操作的布尔特征函数,给出了装配序列描述的有序二叉决策图(OBDD)方法;建立了从装配序列的与或图模型到OBDD模型的转换规则;并对装配序列表示的与或图模型和OB-DD模型进行了存储效率比较.实验结果表明...
关键词：装配规划 装配序列表示 与或图 有序二叉决策图 
结合无依赖性割集和量化的等价性验证被引量：2
《计算机辅助设计与图形学学报》2005年第10期2215-2219,共5页卢永江 严晓浪 葛海通 杨军 
国家自然科学基金(90207002)
提出一新的验证算法,利用电路拓扑信息选择有效割集,以减小验证规模,并对割集进行无依赖性处理,减少伪错误发生概率,提高验证效率;同时,利用启发式信息选择复杂度较高的节点变量进行量化,进一步减小二叉决策图(BDD)的内存要求.最后用IS...
关键词：二叉决策图 形式验证 割集 量化 
用VIS验证微处理器PIC被引量：2
《计算机辅助设计与图形学学报》2000年第5期390-395,共6页杜慧敏 刘建元 韩俊刚 高德远 
国家自然科学基金!( 69473 0 17)
近年来 ,二叉判定图 BDD(Binary Decision Diagram )和符号模型检验在形式化验证数字电路设计中取得了突破性进展 .文中介绍了符号模型检验的基本原理和方法 ,重点介绍如何用 VIS系统验证微处理器 PIC设计的正确性 .利用 VIS证明了 PIC...
关键词：微处理器 检验 VIS 二叉决策图 PIC 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部