论文部分内容阅读
针对Godel语言成分复杂，难以采用Prolog语言的并行推理策略，给出了基于该语言程序中间代码的并行推理模型，并对该并行模型的加速效果进行了分析，结果表明新提出的Godel并行策略具有良好的加速比．
Godel语言的一种并行推理模型
【摘 要】
：
针对Godel语言成分复杂，难以采用Prolog语言的并行推理策略，给出了基于该语言程序中间代码的并行推理模型，并对该并行模型的加速效果进行了分析，结果表明新提出的Godel并行策略具
【机 构】
：
厦门大学计算机科学系
【出 处】
：
集美大学学报：自然科学版
【发表日期】
：
2008年2期
【基金项目】
：
福建省自然科学基金资助项目（A0310007）
其他文献
目的应用斑点追踪技术定量分析正常成人右室局域心肌形变能力,并探讨年龄对形变能力的影响。方法应用斑点追踪成像技术测量75例健康成人的右室游离壁各节段心肌应变及应变率,
本文基于"理实一体化"课程体系改革的实践,探索"理实一体化"课程体系改革的途径,阐述实施"理实一体化"过程中应重点关注的若干问题,以及推进"理实一体化"课程体系改革应该加
随着煤层气产业的发展,在煤炭勘查阶段针对勘查钻孔测试必要的煤层气(瓦斯)参数是相关勘查规范所要求的,然而,常规勘查钻孔不能满足煤层气注入/压降试井方法及设备的基本要求
研究了黑鲷暴露于不同浓度的苯并（a）芘水体中，其肝、脾、肠等内脏组织的病理变化．观察结果表明：黑鲷较长时间暴露于含有苯并（a）芘的水体中，其肝、脾、肠等内脏器官组织结构受到不同程
随着电子商务的快速发展,越来越多的企业开始重视网络营销。文中在系统需求分析的基础上,从系统的功能、软件的架构视图、数据库三方面进行了系统分析和设计;根据大部分网上