并行推理机相关论文
《逻辑程序语言及其实现技术》 本书详细论述了逻辑程序设计语言的实现技术和面向逻辑程序设计语言的体系结构。其主要内容包括:......
在总结现有级进模 CAD/ CAM系统产品信息模型的基础上 ,提出了集成信息模型的概念 ,并结合正在开发的级进模智能 CAD/ CAM系统 CAM......
日本研制的第五代计算机计划的中心部件是称为并行推理机(PIM)的处理器网络。第五代计算机系统的第三次国际会议的与会者看到了日......
在本刊1986年第12期上我们介绍了1985年以前日本第五代计算机的主要研究结果。本文介绍日本第五代计算机1986年的主要研究结果,包......
文中给出了并行推理机ＰＡＰ／ＬＯＰ－ＰＩＭ和它优化的并行编译器的设计和实现。首先，简要描述并行执行模型ＲＡＰ／ＬＯＰ。它的搜索空间采用ＯＲ树林描述。通过静态子句级......
据Ｐｅｔｒｉ网结构及图形表示，分析了一般专家系统的推理机制，针对其规则集，研究 了基于Ｐｅｔｒｉ网的并行推理机制．
According to Petri net structure ......
本文简要介绍FGCS计划的总体框架、PIM机及其基本软件。FGCS原型系统的核心是并行推理系统,包括并行推理机PIM和它的操作系统PIMOS......
1.引言 我们的研究目标是设计一个并行执行逻辑程序的计算机系统结构。从1984年初开展这一工作以来,已取得的主要结果包括:提出了......
产生式系统并行推理机PPIM是为提高产生式系统的 推理能力而设计的一种专用机。其硬件结构是由一台微机和四台TRANSPUTER组成的多......
基于谓词逻辑的逻辑程序设计语言将逻辑推理对应计算,它丰富的表达能力特别适合于知识信息处理。Warren提出的编译技术大大提高了......
告别第五代计算机研制第五代计算机的１０年计划是要制造出包含１０００个处理器芯片、完成并行操作的复杂任务并由新型软件控制的计算机。然而......
RAP/LOP-WAM并行推理机基于OR树林描述,扩展WAM,开展逻辑程序的限制与/或并行性。本文论述了RAP/LOP-WAM编译器的设计思想和方法,......
本文介绍面向逻辑程序的并行推理机系统ＥＣ－ＰＩＭ。它以逻辑程序设计语言ＰＲＯＬＯＧ为核心，以硬件、软件两方面结合的方式直接实现以ＰＲＯＬＯＧ所描述的推理任务，系......
