巨型计算机系统综述

近年来,为了处理大量数据和解算特大课题,许多行业对巨型计算机的吞吐量和计算能力提出了更高的要求。本文简要介绍了当代几种典型巨型计算机系统的性能、特点和应用,着重从硬件、软件及系统结构的改善上展望了它的未来趋势,预计了八十年代的发展前景。     

基于WAM的Prolog系统中内部谓词的实现方法

本文论述了在WAM框架下内部谓词的实现方法,着重讨论了数据库操作内部谓词以及cut操作符、call和算术运算类等比较特殊的内部谓词的实现方法和算法。     

Management of Statically Modifiable Prolog Code

The Warren Abstract Machine is an efficient execution model for Prolog,which has become the basis of many high performance Prolog systems.However.little support for the implementation of the non-logical components of Prolog is provided in the WAM.The original Warren code is not modifiable.In this paper,we show how static modifications of Warren code can be achieved by adding a few instructions and a little extra information to the code.The implementation of the code manager is discussed.Algorithms for some basic operations are given.     

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

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

785型计算机总体设计

<正> 前言近10年来,随着半导体技术与集成电路工艺的不断提高,计算机科学与工程得到了飞速地发展,计算机的应用日益广泛和深入。它和通讯技术相结合构成了各种各样集中式或分布式网络,形成了巨大的资源,联系着千千万万个用户。从系统结构来说,微型计算机和超微型计算机,巨型计算机和超巨型计算机以及整个大叫中小型计算机序列都正在日新月异地蓬勃发展之中。当前所谓巨型计算机是指运算速度在亿次/秒以上,主存容量在100万字以上,外存容量在10亿字节以上,配有比较完整的外围设备,具有巨大的数值计算能力和数     

一种新型无冲突访问存贮系统的分析

本文叙述了一种新型存贮系统的特点,分析了交叉访问存贮系统无冲突成组访问的过程,讨论了影响存贮器带宽和访问速度的因素。计算确定了AP-601计算机存贮器所采用的素数模块的个数,导出了地址变换公式并设计了相应的逻辑网络。     

一种描述逻辑程序执行过程的新方法—OR树林方法

本文提出了一种描述逻辑程序执行的新方法——OR树林方法。这种方法不仅具有并行子任务独立性强的优点,而且有效地解决了传统OR树方法中的两个问题:一是不能描述AND并行执行;二是描述OR并行执行中存在大量冗余,为建立能高效开发AND和OR两种并行性的执行模型提供了新的框架。     

DRDB演绎数据库系统的实现

本文讨论了演绎数据库系统DRDB实现中的有关问题。DRDB巳在VAX-11/780超级小型机上实现。     

编译型Prolog系统中的反编译算法及其实现

在编译型Prolog系统中,实现数据库操作的一个关键问题是如何快速地获得子句的数据形式。本文提出一种关于复杂子句的反编译实现方法,它是以子句的编译代码为输入,在一定的系统结构支撑条件下,动态地产生出相应子句的数据形式。与其它方法相比,反编译实现具有空间省、实现简洁的优点。     

151-3/4大型计算机系统的特点

本文概述151-3/4大型计算机系统的特点并给出一个简要的系统可靠性分析。