逻辑程序AND并行的一种无冲突处理技术

来源 :计算机学报 | 被引量 : 0次 | 上传用户：xixiyibobo

【摘要】

：

为了提高逻辑程序的执行效率,研究逻辑程序的并行处理技术,是当前逻辑程序设计研究课题中的重要方面之一.本文提出了一种实现AND并行的无冲突派生处理技术.基于这一处理技术,

【作者】

：

陈世鸿李成夫

【机构】

：

武汉大学计算机系,武汉大学计算机系

【出处】

：

计算机学报

【发表日期】

：

1989年12期

【关键词】

：

逻辑程序 AND并行无冲突处理

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

为了提高逻辑程序的执行效率,研究逻辑程序的并行处理技术,是当前逻辑程序设计研究课题中的重要方面之一.本文提出了一种实现AND并行的无冲突派生处理技术.基于这一处理技术,我们在以太网连接的多处理机系统上,开发了一个PROLOG的AND并行处理系统WUMPPS.该系统对一类问题的求解具有较高的效率.

其他文献

2005/06年度中国大豆市场回顾及未来展望

在即将过去的2005／06年度，我国的大豆市场发生了进一步的变革，外资加工厂比例进一步扩大，豆粕市场价格持续低迷导致大豆加工厂初榨效益不断降低。之所以发生这些变化，原因是多样的

期刊

中国大豆市场回顾展望大豆市场市场价格加工厂外资

ISO／OSI会话协议标准在VM／CMS下的实现

ISO/OSI会话层协议是开放系统互连七层模式中的重要组成部分.本文在中型计算机IBM 4341上,用PASCAL语言,在VM/CMS操作系统下实现了这一功能. 作者描述了对协议标准的理解及软

期刊

会话层协议开放系统互连VM/CMS

奶牛双芽巴贝斯虫病的诊治

晚秋昼夜温差大,牛容易患感冒.患牛主要表现为精神沉郁,时有流泪,鼻流清涕,咳嗽,鼻镜干燥,食欲减退乃至废绝,少见甚至不见反刍,产奶减少,体温升高达41℃以上.

期刊

双芽巴贝斯虫病奶牛诊治昼夜温差食欲减退温升高鼻镜感冒

纯母乳喂养与混合喂养的泌乳状况分析

期刊

母乳喂养混合养泌乳状况

图象数据库组织与图象数据查询语言

本文是一个综述。介绍近年来综合图象处理模式识别技术和数据库枝术而发展起来的图象数据库技术研究。介绍了作者在参加美国Purdue 大学的IMAID(Integrated Image Analysis a

期刊

ZGL：一个异型环境的分布式操作系统

本文介绍一个异型环境的分布式操作系统ZGL.这个系统的特点是能够容纳异型的硬件和异型的现有操作系统.该系统对现有操作系统进行了扩充,使得原来为单机环境开发的程序不经修

期刊

操作系统异理环境分布式ZGL系统

山羊野八角叶中毒病例

野八角产于贵州、云南、四川西北部，本种之叶人药，具有杀虫生肌，行气止痛之功效。常用于疥疮，胃寒作吐，胸前胀痛等。但本品有大毒，山羊误食过多易中毒。山羊野八角中毒报道尚少。介

期刊

中毒病例野八角山羊西北部杀虫止痛疥疮胃寒

稳定转染CD151或CD163的Marc145细胞系的建立及其在PRRS疫苗生产中的应用

为了进一步探讨提高PRRSV感染靶细胞滴度的有效方法，本研究采用脂质体介导方法，通过G418筛选稳定转染Marcl45细胞，并利用单个细胞克隆技术，获得了稳定超表达CDl51蛋白和（或）CDl63蛋

期刊

猪繁殖与呼吸综合征CD151分子CD163分子真核表达疫苗生产Porcine reproductive and respiratory syndrom

一种以模糊数学为基础的布局方法

本文从布局问题相关联的二次分配问题的连接矩阵出发,应用模糊集合论推出了一个具有自反性、对称性和最大积传递性的模糊相似关系.根据这个模糊相似关系和经过修改的模糊c-划

期刊

模糊数学布局设计布局算法

波尔山羊产气荚膜梭菌病的诊治

产气荚膜梭状芽孢杆菌,是一种梭状芽孢属条件性致病菌,广泛分布于自然界,长期存在于土壤、污水、人畜粪便和饲料饲草中,同时也是肠道中的常见菌之一,在一定条件下,可引起各种

期刊

产气荚膜梭菌病波尔山羊产气荚膜梭状芽孢杆菌诊治饲料饲草一年四季致病菌自然界

逻辑程序AND并行的一种无冲突处理技术

与本文相关的学术论文