Ada语言与Occam语言的比较

一、引言过去十年在计算语言领域的重要进展之一是出现了具有并行计算能力的Ada语言和Occam语言。Ada语言是具有类似Pascal语言的控制结构,并且能重植入过程和函数的大型语言,其初始设计目标是满足美国国防部所规定的要求,即首先考虑支持适于军事装备的嵌入式编程系统。就本质而言,Ada语言是在串行语言的结构上,扩充增加了并发执行的能力。 Occam语言是和Transputer同时设计实     

多Transputer网络的构造及其流水线操作的实现

介绍了Transputer的特性,着重论述建立多Transputer拓朴互连网络的一般方法,讨论了在多Transputer并行处理网络上实现流水线操作,并给出实例.     

超媒体技术—一个引入注目的研究方向

综述了超媒体技术的研究进展，详细叙述了Ｄｅｘｔｅｒ超文件参考模型的基本概念，定义以及从超文本和多媒体结合发展成为超媒体的技术途径和实例。     

基于Transputer的逻辑程序解释器的设计与实现

本文论述一个在Ｔｒａｎｓｐｕｔｅｒ环境上设计并实现的一阶谓词逻辑程序解释器ＩＦＬＰ，着重讨论了其核心词法分析部分与合一回溯算法部分的实现机制，并给出相庆的运行实例。ＩＦＬＰ具有程序动态跟踪功能，能够随时指示问题求解过程中的逻辑推理步骤和解题轨迹，有助于用户了解程序的动态行为和调试复杂的逻辑程序。     

超媒体技术──一个引人注目的研究方向

综述了超媒体技术的研究进展，详细叙述了Ｄｅｘｔｅｒ超文本参考模型的基本概念、定义以及从超文本和多媒体结合发展成为超媒体的技术途径和实例。基于Ｄｅｘｔｅｒ模型的超媒体系统划分为存储层、运行层和内部成员层，它用一种类似于面向对象的系统设计思想，使用链和结合点，将超文本和多媒体有机地结合在一起，成为能够支持分布式多媒体信息制作、演播和资源共享的崭新技术手段。     

多Transputer网络拓扑可重构系统的设计与实现

本文论述多Transputer网络拓扑可重构系统的设计与实现．提出了多Transputer网络拓扑可重构的技术途径、基本配置和重构软件的设计．着重论述重构软件中模块设置，通信协议，重构互连配置命令的格式，网络信息通信及有关重构命令各进程的CSP形式化描述．该重构软件能根据用户需求，快速重构所需的拓扑，并且直接支持Transputer上配置的各种语言编制的并行计算应用程序．最后给出一个实例．     

模糊不确定性模型库在通用专家系统开发工具中的构造

本文论述一个支持模糊不确定性知识处理的通用专家系统开发工具FGEST-Ⅱ的构造,它是在作者原已设计实现的通用专家系统开发工具GEST-1的基础上,扩充一个适合模糊不确定性处理的模型库。其核心是一个模糊产生式系统。文章着重叙述了模糊产生式系统的组成,各种模糊度量的计算以及工作原理。