论文部分内容阅读
针对Godel语言成分复杂，难以采用Prolog语言的并行推理策略，给出了基于该语言程序中间代码的并行推理模型，并对该并行模型的加速效果进行了分析，结果表明新提出的Godel并行策略具有良好的加速比．
Godel语言的一种并行推理模型
【摘 要】
：
针对Godel语言成分复杂，难以采用Prolog语言的并行推理策略，给出了基于该语言程序中间代码的并行推理模型，并对该并行模型的加速效果进行了分析，结果表明新提出的Godel并行策略具
【机 构】
：
厦门大学计算机科学系
【出 处】
：
集美大学学报：自然科学版
【发表日期】
：
2008年2期
【基金项目】
：
福建省自然科学基金资助项目（A0310007）
其他文献
大型工件的大平面的精加工,特别是钢件,表面粗糙度和平面度的质量一直是机械加工中长期而突出的问题。本文通过对试用陶瓷刀具解决这一难题,作了较为成功的试验和研究。
随着生产力的发展和社会的进步，人们逐渐在岭问开辟了通道，岭北与岭南的交往才频繁起来，据历史古籍记．载和本刊记者的实地考察。岭南与中原地区的交流通道最主要有3条古道：分别是
目的应用斑点追踪技术定量分析正常成人右室局域心肌形变能力,并探讨年龄对形变能力的影响。方法应用斑点追踪成像技术测量75例健康成人的右室游离壁各节段心肌应变及应变率,
本文基于"理实一体化"课程体系改革的实践,探索"理实一体化"课程体系改革的途径,阐述实施"理实一体化"过程中应重点关注的若干问题,以及推进"理实一体化"课程体系改革应该加
随着煤层气产业的发展,在煤炭勘查阶段针对勘查钻孔测试必要的煤层气(瓦斯)参数是相关勘查规范所要求的,然而,常规勘查钻孔不能满足煤层气注入/压降试井方法及设备的基本要求
研究了黑鲷暴露于不同浓度的苯并（a）芘水体中，其肝、脾、肠等内脏组织的病理变化．观察结果表明：黑鲷较长时间暴露于含有苯并（a）芘的水体中，其肝、脾、肠等内脏器官组织结构受到不同程
书籍是人类文明传播的工具,也是文化的具象载体和媒介,是能够触摸得到的文明,提供信息的读取和获得,最直观的触觉即书籍的材料。中国古代书籍记载传承着历代特有的文化思潮,
低碳，（low carbon），意指较低（更低）的温室气体（二氧化碳为主）排放。就是低能量，低消耗的生活方式。低碳生活代表着更健康、更自然、更安全的生活，同时也是一种低成本、低代价的生活方式
随着电子商务的快速发展,越来越多的企业开始重视网络营销。文中在系统需求分析的基础上,从系统的功能、软件的架构视图、数据库三方面进行了系统分析和设计;根据大部分网上