切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
约束逻辑编程中宽数据算术运算算法
约束逻辑编程中宽数据算术运算算法
来源 :计算机工程 | 被引量 : 0次 | 上传用户:tianshui8085
【摘 要】
:
提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法.该方法解决了现有CLP求解器所能处理的最大整数限制问题.该文设计并实现了宽数据加法、减
【作 者】
:
万海
李暾
郭阳
李思昆
【机 构】
:
国防科学技术大学计算机学院
【出 处】
:
计算机工程
【发表日期】
:
2003年22期
【关键词】
:
约束逻辑编程
GNU
PROLOG
宽数据
运算分解
Constraint logic programming(CLP)GNU PrologWide dataD
【基金项目】
:
国家自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法.该方法解决了现有CLP求解器所能处理的最大整数限制问题.该文设计并实现了宽数据加法、减法和乘法运算的分解算法,运算分解扩展了现有CLP的功能,使其能适应实际的数据通路设计.实验结果表明方法是有效的.
其他文献
肺部超声在婴幼儿不同肺部疾病中的应用进展
呼吸系统疾病的传统影像学检查方法主要为X线和CT,但均有一定辐射,在儿童中应用受限。随着近年来超声技术的不断提高,肺部超声在肺部相关疾病的早期诊断、病情评估及预后监测
期刊
超声检查
肺
婴幼儿
肺部疾病
太原地区健康成人血清ALB正常值参考范围调查
目的通过调查太原地区2011年10月至2012年6月1454例体检健康成人的血清白蛋白水平(又称清蛋白,albumin,AlB,A),为建立太原地区健康成人血清ALB的参考值范围提供参考依据。方法收集
学位
血清白蛋白
参考值范围
全程优质护理在椎间盘镜治疗腰椎间盘突出中的应用
2006年1月~12月,我们对36例用椎间盘镜治疗腰椎间盘突出患者,实施术前访视、术中护理、术后随访的全程优质护理,效果满意。现报告如下。
期刊
腰椎间盘突出
全程优质护理
椎间盘镜
治疗
术前访视
术中护理
术后随访
旅游市场信息不对称的状况及对策
本文对旅游市场信息不对称的状况进行了分析,指出旅游市场信息不对称现象已成为制约我国旅游业良性发展的'瓶颈',直接侵害了旅游消费者的基本权益,并提出了相关建议
期刊
信息不对称
旅游市场信息不对称
信任危机
基于MIPS内核的SoC软硬件协同仿真
针对基于MIPS系列处理器内核的高清电视解码SoC,构建了一个软硬件协同仿真环境。连接MIPS处理器内核的VMC模型和SoC的RTL模型,利用VMC模型支持MIPS指令集的特性运行测试汇编程
期刊
VMC
片上系统
软硬件协同仿真
VMC SoC Software and hardware co-simulation
农民十盼
【正】 一盼“为人民服务”的宗旨继续发扬。建立社会主义市场经济体制之后,一些部门和干部为人民服务的观念逐渐淡化,一提起办事,就要先收费,而那些不能直接创收的服务项目,
期刊
“为人民服务”
市场经济体制
保民
减轻农民负担
为人民服务
农业保护
自身权力
垄断经营
水利设施建设
公益事业
对话于感知之中——临沂市人民广场典型节点使用活动分析
行为与环境是相互作用的关系,人作为城市空间的主体,人的相互作用和交往是城市存在的基本依据。城市空间的利用频率及人利用空间的方式直接反映了空间设计的成功与否,因此环
期刊
城市广场
典型节点
行为与环境
IPv6协议及其安全机制
讨论了网络协议Ipv4的缺点和新一代网络协议IPv6的优势,认为IPv6解决了IP地址匮乏的问题,同时,简化了协议报头,引入了两个新的扩展报头AH和ESP。帮助IPv4解决了身份认证、数据完
期刊
IPv6协议
验证算法
安全技术
Differential Cross Section of Electron Scattering From 3He and 3H Nuclei with Considering Pionic Con
The excess pion inside the nucleus could change not only nucleons structure function, but also electron scattering cross section from nuclei. In this paper, we
期刊
Pionic
CONTRIBUTION
Structure
Function
DIFFERENTIAL
CROSS
SECTION
Pionic Contrib
塔河常压渣油焦化辐射段进料性质及结焦倾向的研究
以塔河常压渣油为原料,分别在延迟焦化中试装置及重油结焦评价装置上,考察了循环比对循环油性质、加热炉辐射段进料性质及其结焦趋势的影响。结果表明:当循环比由0.92降低到0.
期刊
塔河常压渣油
焦化
循环比
加热炉
结焦
与本文相关的学术论文