-
题名并行推理机设计的主要论题
被引量：2
- 1
-
-
作者
高耀清
胡守仁
-
机构
国防科技大学计算机系
-
出处
《小型微型计算机系统》
CSCD
北大核心
1989年第8期21-26,共6页
-
基金
国家自然科学基金
霍英东教育基金
-
文摘
基于谓词逻辑的逻辑程序设计语言将逻辑推理对应计算,它丰富的表达能力特别适合于知识信息处理。Warren提出的编译技术大大提高了顺序执行Prolog的时空效率。但是,为了满足知识信息处理应用的要求,需要研究并行推理机以并行执行逻辑程序。本文论述了并行推理机设计中涉及到的一些问题,从逻辑语言,执行模型和体系结构等方面探讨了并行推理机中并行性开发方法和需考虑的问题。
-
关键词
并行推理机
逻辑程序
执行模型
-
分类号
TP387
[自动化与计算机技术—计算机系统结构]
-
-
题名产生式系统并行推理机PPIM的研究与设计
- 2
-
-
作者
宋震
李莲治
-
机构
哈尔滨工业大学计算机科学与工程系
-
出处
《高技术通讯》
EI
CAS
CSCD
2001年第2期77-79,共3页
-
基金
国家自然科学基金!(6 9475 0 14 )
国防"九五"预研!(15 .3 .2 )资助项目
-
文摘
产生式系统并行推理机PPIM是为提高产生式系统的推理能力而设计的一种专用机。其硬件结构是由一台微机和四台TRANSPUTER组成的多机系统。讨论了PPIM的系统结构 。
-
关键词
并行推理机
产生式系统
并行推理模型
PPIK
人工智能
-
Keywords
Parallel inference machine, Production systems, Parallel inference model
-
分类号
TP399
[自动化与计算机技术—计算机应用技术]
-
-
题名RAP/LOP-WAM并行推理机的编译器设计
- 3
-
-
作者
高耀清
刘志宏
胡守仁
-
机构
国防科技大学
-
出处
《计算机工程》
CAS
CSCD
北大核心
1990年第6期25-30,共6页
-
基金
霍英东教育基金资助
-
文摘
RAP/LOP-WAM并行推理机基于OR树林描述,扩展WAM,开展逻辑程序的限制与/或并行性。本文论述了RAP/LOP-WAM编译器的设计思想和方法,它将逻辑程序转换成高效的并行抽象机指令。
-
关键词
并行推理机
编译器
逻辑程序
-
分类号
TP387
[自动化与计算机技术—计算机系统结构]
-
-
题名并行推理机编译技术的研究
- 4
-
-
作者
黄志毅
胡守仁
-
机构
长沙工学院计算机系
-
出处
《计算机科学》
CSCD
北大核心
1990年第3期10-15,共6页
-
基金
霍英东教育基金委员会资助
-
文摘
自动模式识别,数据相关性分析、AND并行性的开发、副作用处理、并行性的粒度分析、并发语言的处理和WAM指令集的扩充是并行推理机编译中所面临的一些课题。本文对这些课题及我们所做的工作逐一作了论述,并展示了并行推理机编译技术研究的前景。
-
关键词
并行推理机
编译技术
-
分类号
TP387
[自动化与计算机技术—计算机系统结构]
-
-
题名逻辑程序并行推理机EC─PIM的系统设计与实现
- 5
-
-
作者
谢康林
霍义兴
郑飞
-
机构
上海交通大学
-
出处
《小型微型计算机系统》
CSCD
北大核心
1995年第3期6-11,共6页
-
文摘
本文介绍面向逻辑程序的并行推理机系统ＥＣ－ＰＩＭ。它以逻辑程序设计语言ＰＲＯＬＯＧ为核心，以硬件、软件两方面结合的方式直接实现以ＰＲＯＬＯＧ所描述的推理任务。系统设计基于Ｅａｒｌｅｙ算法、ＶＬＳＩ技术以及适当的系统结构及部件的设计方案。在提出并行推理机及其概念模型的前提下，作出ＥＣ－ＰＩＭ体系结构的设计，包括互连结构。公共存储器系统的设计方案。并成功地实现了双八路二级并行逻辑推理模拟机的研制。
-
关键词
程序语言
逻辑程序
并行推理机
PROLOG语言
-
Keywords
Parallel inference, Master-slaver structure, Interconnection, Multiprocessor, Public memory
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名一个并行推理机模拟实验系统——SES-PIM
- 6
-
-
作者
孙成政
慈云桂
-
机构
长沙工学院计算机系
-
出处
《计算机学报》
EI
CSCD
北大核心
1989年第1期75-78,共4页
-
文摘
1.引言 我们的研究目标是设计一个并行执行逻辑程序的计算机系统结构。从1984年初开展这一工作以来,已取得的主要结果包括:提出了一种描述逻辑程序执行过程的新方法——OR树林方法及其执行模型PSOF。
-
关键词
并行推理机
模拟实验
SES-PIM
-
分类号
TP391.1
[自动化与计算机技术—计算机应用技术]
-
-
题名并行推理机及其基本软件综述
- 7
-
-
作者
张静
刘海燕
王献昌
-
出处
《计算机科学》
CSCD
北大核心
1994年第4期19-24,共6页
-
文摘
本文简要介绍FGCS计划的总体框架、PIM机及其基本软件。FGCS原型系统的核心是并行推理系统,包括并行推理机PIM和它的操作系统PIMOS。知识库管理系统(KBMS)建立在并行推理系统上,并与PIMOS共同构成FGCS原型系统的基本软件。在此基础上,开发出约束逻辑程序设计语言的LP(Language Processor)、并行定理证明器、自然语言处理系统等高级知识程序设计软件,以支持有力的推理和知识处理。为评估PIM和探索知识处理的新领域,研制了几个实验性应用系统。总之,有关PIM的成果和基本软件远远超过了FGCS计划的初始研究目标。
-
关键词
并行处理
并行推理机
软件
-
分类号
TP338.6
[自动化与计算机技术—计算机系统结构]
-
