期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
并行推理机RAP/LOP-WAM的方案设计和性能评价
1
作者 高耀清 胡守仁 《微电子学与计算机》 CSCD 北大核心 1991年第2期1-4,共4页
本文首先简要介绍了逻辑程序并行执行模型RAP/LOP.它基于OR 树林描述,扩充WAM 支持限制与/或并行执行逻辑程序.然后重点论述了并行执行模型和它的抽象机映射到多处理机系统的方案,探讨用通用CPU 芯片和附加专用硬件构造并行推理机,最后... 本文首先简要介绍了逻辑程序并行执行模型RAP/LOP.它基于OR 树林描述,扩充WAM 支持限制与/或并行执行逻辑程序.然后重点论述了并行执行模型和它的抽象机映射到多处理机系统的方案,探讨用通用CPU 芯片和附加专用硬件构造并行推理机,最后通过软件模拟系统对系统体系结构进行评价. 展开更多
关键词 程序设计 并行逻辑程序 并行推理机 RAP LOP-WAM 性能评价
全文增补中
并行逻辑程序系统RAP/LOP-WAM中的并行调度策略和否定的并行实现
2
作者 高耀清 胡守仁 《小型微型计算机系统》 CSCD 北大核心 1990年第10期10-17,共8页
本文论述并行逻辑程序系统RAP/LOP-WAM中的并行调度策略和否定的实现。受限与/或并行执行逻辑程序模型RAP/LOP,采用改进的RAP技术开发与并行,即通过程序级和子句级的分析,动静相结合识别子句体中子目标间的数据相关性,开发独立目标的与... 本文论述并行逻辑程序系统RAP/LOP-WAM中的并行调度策略和否定的实现。受限与/或并行执行逻辑程序模型RAP/LOP,采用改进的RAP技术开发与并行,即通过程序级和子句级的分析,动静相结合识别子句体中子目标间的数据相关性,开发独立目标的与并行,OR并行的开发受限于处理机个数,有效地控制了进程数和空间量的指数爆炸。RAP/LOP相应的抽象机称为RAP/LOP-WAM,它基于OR树林描述,扩展WAM支持受限与和或并行执行逻辑程序。本文这里首先描述RAP/LOP-WAM中的并行调度策略,分析评价了几种调度算法及它的实现方法。其次论述了否定的实现方法,最后提出了今后我们研究的方向。 展开更多
关键词 并行逻辑程序 并行调度 否定
下载PDF
并行逻辑程序设计语言PALOG及其效率的初步估计
3
作者 吴陈 《镇江船舶学院学报》 1991年第3期52-57,共6页
在E. Y. Shapiro教授的Concurrent Prolog语言的基础上,作者扩充并增强其功能后设计实现了并行逻辑程序设计语言PALOG(PArallel LOGic programming language)。它是国内目前真正能在微型计算机上运行的一门并行逻辑程序设计语言。本文... 在E. Y. Shapiro教授的Concurrent Prolog语言的基础上,作者扩充并增强其功能后设计实现了并行逻辑程序设计语言PALOG(PArallel LOGic programming language)。它是国内目前真正能在微型计算机上运行的一门并行逻辑程序设计语言。本文介绍了PALOG的有关特征和语法规则,并通过一个并行逻辑专家系统在PALOG环境中的执行,初步演示了其功能,评价了其效率。 展开更多
关键词 并行逻辑程序 设计语言 效率 PALOG
下载PDF
并行逻辑程序设计语言系统
4
作者 金海 李智勇 《计算机杂志》 1992年第1期74-77,共4页
关键词 并行逻辑程序 程序语言 PROLOG
下载PDF
分布式并行约束归纳逻辑程序设计研究 被引量:1
5
作者 卢向澄 郑磊 刘椿年 《计算机应用研究》 CSCD 北大核心 2005年第9期34-36,45,共4页
CILP是关系数据挖掘的主要技术之一。为提高CILP系统的效率,提出了一种基于C3模型,元学习技术和主从式静态负载平衡策略的分布式并行CILP算法,并实现了一个基于COW机群结构的分布式并行CILP原型系统。实验表明该算法是高效的,能获得较... CILP是关系数据挖掘的主要技术之一。为提高CILP系统的效率,提出了一种基于C3模型,元学习技术和主从式静态负载平衡策略的分布式并行CILP算法,并实现了一个基于COW机群结构的分布式并行CILP原型系统。实验表明该算法是高效的,能获得较好的负载平衡,较高的加速比和并行效率。 展开更多
关键词 约束归纳逻辑程序设计 分布式并行逻辑程序归纳设计 关系数据挖掘
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部