期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
约束编程与约束满足在产品装配中的应用
被引量：
1
1
作者
姚向华
葛思擘
施仁
《计算机应用》
CSCD
北大核心
2003年第1期60-62,共3页
约束编程与约束满足问题是近三十年来在人工智能领域发展起来的一个研究方向。产品配置器是近十几年来发展起来的一项技术。文中介绍约束编程及约束满足问题在按订单装配型产品配置器中的应用,并通过讨论说明了相对于传统配置方案求解过...
约束编程与约束满足问题是近三十年来在人工智能领域发展起来的一个研究方向。产品配置器是近十几年来发展起来的一项技术。文中介绍约束编程及约束满足问题在按订单装配型产品配置器中的应用,并通过讨论说明了相对于传统配置方案求解过程,应用约束满足的优越性。
展开更多
关键词
约束编辑
约束
满足
产品装配
人工智能
产品配置器
产品设计
在线阅读
下载PDF
职称材料
RTL数据通路模拟矢量自动生成方法研究与实现
被引量：
2
2
作者
李暾
郭阳
李思昆
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2004年第8期1062-1069,共8页
针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约...
针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约束 ,并利用CLP求解器GProlog进行约束求解 ,最终生成满足输出要求的模拟矢量 该方法约束求解速度快 ,生成的约束是统一的 ,得到的模拟矢量较完备 ,能满足模拟验证的要求 实验结果表明 。
展开更多
关键词
RTL
数据通路
模拟矢量自动生成方法
约束
逻辑
编辑
CLP
VLSI
形式化描述
模型检验
位向量算术
约束
求解
在线阅读
下载PDF
职称材料
题名
约束编程与约束满足在产品装配中的应用
被引量：
1
1
作者
姚向华
葛思擘
施仁
机构
西安交通大学控制科学与工程系
出处
《计算机应用》
CSCD
北大核心
2003年第1期60-62,共3页
文摘
约束编程与约束满足问题是近三十年来在人工智能领域发展起来的一个研究方向。产品配置器是近十几年来发展起来的一项技术。文中介绍约束编程及约束满足问题在按订单装配型产品配置器中的应用,并通过讨论说明了相对于传统配置方案求解过程,应用约束满足的优越性。
关键词
约束编辑
约束
满足
产品装配
人工智能
产品配置器
产品设计
Keywords
AI
constraint programming
product configurators
constraint satisfaction
assemble to order
分类号
TB472 [一般工业技术—工业设计]
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
RTL数据通路模拟矢量自动生成方法研究与实现
被引量：
2
2
作者
李暾
郭阳
李思昆
机构
国防科学技术大学计算机科学与技术学院
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2004年第8期1062-1069,共8页
基金
国家自然科学基金 ( 90 2 0 70 19
60 3 0 3 0 11)
国家"八六三"高技术研究发展计划 ( 2 0 0 2AA1Z14 80 )资助
文摘
针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约束 ,并利用CLP求解器GProlog进行约束求解 ,最终生成满足输出要求的模拟矢量 该方法约束求解速度快 ,生成的约束是统一的 ,得到的模拟矢量较完备 ,能满足模拟验证的要求 实验结果表明 。
关键词
RTL
数据通路
模拟矢量自动生成方法
约束
逻辑
编辑
CLP
VLSI
形式化描述
模型检验
位向量算术
约束
求解
Keywords
VLSI
datapath
constraint logic programming
automatic simulation vectors generation
分类号
TN47 [电子电信—微电子学与固体电子学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
约束编程与约束满足在产品装配中的应用
姚向华
葛思擘
施仁
《计算机应用》
CSCD
北大核心
2003
1
在线阅读
下载PDF
职称材料
2
RTL数据通路模拟矢量自动生成方法研究与实现
李暾
郭阳
李思昆
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2004
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
