逻辑程序并行执行模型及其体系结构的研究

一、引言1.1 研究目标、方式和结果目标:并行推理机系统结构。方式:自顶向下。     

数据流与控制流相结合的计算模型与体系结构

一、引言数据流计算模型是国外六十年代末期提出来的,至今,数据流计算机还没有诞生第一代产品。人们普遍认为数据流计算机技术上的主要问题是开销过高。造成数据流计算机开销过大的基本原因是并行的级别太低,或者说并行的粒度     

151-3/4大型计算机系统的可靠性分析

本文对151-3/4大型计算机系统的可靠性进行了一个较全面的分析。从系统、部件、元器件可靠性指标的确定,计算公式的推导,可靠性设计、计算与予分配以及各种实验和生产质量控制等环节都作了较详细地论述。     

一种结构化的编译型 PROLOG数据库及其管理策略

PROLOG数据库存放着构成PROLOG程序的子句以及表示成子句的全局数据,它的组织与管理是实用PROLOG系统的关键,这一点在提高执行效率的编译型PROLOG系统中尤为如此。本文以YH-SIM——一个扩充了的WAM模型为基础,提出一种新颖的编译型PROLOG数据库结构形式,其中·过程中的子句索引与子句彼此分离; ·子句索引块分成多个专门的子索引块; ·一个子句按两种形式存放,子句代码和子句项(源子句形式)。二者分离且共享同一索引,因此代码库和项库的管理是一体化的。这些结构化的特征,有力地支持PROLOG数据库的操作及管理(子句的插入删除,以及空间分配与回收)。文中还介绍了一种简明有效的管理方法。     

知识库系统及关系知识库机系统结构的研究

文中首先以数据库为基础研究了知识库系统KBS-1,然后基于关系知识模型,研究了一台关系知识库模型机,并以它为硬核研究了知识库系统KBS-2,最后进行了性能分析。