银河智能工具机系统

银河智能工具机（ＹＨ－ＩＴＭ）是一个同时支持高速逻辑推理和数值计算，支持多种人工智能语言的通用型人工智能计算机系统，本文简要介绍了该机的硬件、软件等方面的特点。     

服务器容错与磁盘阵列技术的集成

介绍了两种常用的服务器容错技术,详细阐述了ＲＡＩＤ技术的基本原理,最后给出了一个工程集成实例。     

软部件描述：模型,方法和语言

软件重用技术是软件工程领域的一项关键技术。目前,支持软件重用的方法主要有两种:块重用,即使用可重用的程序块;模式重用,即通过程序转换获得可重用性。其中,最为系统化、为工程化的软件重用活动是基于重用库的块式重用。块式重     

面向对象C＋＋并行编译系统的总体设计和实现

面向对象语言在大型并行软件设计和开发上具有巨大的潜力。本文介绍了在网络环境上，我们设计 的面向对象Ｃ＋＋并行编译系统ＯＯＣＰＣＳ的面向对象的大粒度数据流并行模型和总体设计，并讨论了其中一些重要的实现技术。     

一种独立对称的I／O体系结构模型

本文详细地讨论了一种基于ｋ元ｎ维立方体互连网络的独立对称的Ｉ／Ｏ体系结构模型，并对该模型的几个关键参数进行分析。     

卷读对加速读磁盘过程的特性分析

卷读是优化磁盘访问的一种有效方法。本文提出了简单卷读和优化卷读两种方法，并对其性能进行了定量的分析和比较，其分析结论表明ＯＲＲ方法最好，它不但有最快的读盘速度，而且能有效发挥高性能磁盘的潜能。     

一种Agent互操作语言的设计

分布计算可视为Agent互操作与合作的过程,互操作是通过通信实现的.本文首先提出了Agent通信语言的三个层次,据此针对若干典型研究领域对通信的需求分析了现有几个代表性Agent通信环境(工具)的不足,然后提出了一种新的Agent互操作语言ACOL.该语言以KQML语言为基础,着重增加了对组Agent通信的支持.其方法是根据我们提出的共享组和私有组、面向组的信号量等概念,在语言中定义相应的操作名和参数值的约定.最后通过两个实例,简单地说明了ACOL在实践中的若干优越性.     

面向事件图和事件时态逻辑的模型检验方法

针对目前没有适合直接对事件图模型进行性质规约的时态逻辑语言,提出一种基于事件的时态逻辑(event temporal logic,简称ETL).ETL以事件作为原子命题,根据事件图的特点增加了对事件取消操作、模型实例化、时间约束和同时事件优先级的表达能力,便于仿真领域的用户在模型检验过程中简洁地对基于事件图的模型应满足的性质进行描述.然后,在ETL公式和自动机理论的基础上,给出了面向事件图和ETL的模型检验方法来判断事件图模型是否满足ETL描述的性质规约.实例验证了ETL对事件图模型具有足够的表达能力以及该方法的有效性.     

PSL构造双向交换自动机及非确定自动机的方法

PSL(property specification language)是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL(foundation language)和分支时序逻辑OBE(optional branching extension)两部分.由于OBE就是CTL(computation tree logic),并且具有时钟声明的公式很容易改写成非时钟公式,因此重点研究了非时钟FL逻辑.为便于进行模型检验,每个FL公式必须转化成为一种可验证形式,通常是自动机(非确定自动机).构造非确定自动机的过程主要是通过中间构建交换自动机来实现.详细给出了由非时钟FL构造双向交换自动机的构造规则.构造规则的核心逻辑不仅仅局限于是在LTL(linear temporal logic)基础上的正规表达式,而且全面而充分地考虑了各种FL操作算子的可能性.并且给出了将双向交换自动机转化为非确定自动机的一种方法.最后,编写了将PSL转化为上述自动机的实现工具.FL双向交换自动机的构造规则计算复杂度仅是FL公式长度的线性表达式,验证了构造规则的正确性.在此基础上,证明了双向交换自动机与其转化的等价的非确定自动机接受的语言相同.上述工作对解决复杂并行系统建模和模型验证问题具有重要的理论意义和应用价值.     

基于HLA结构的分布交互仿真的结构设计问题

对基于ＨＬＡ／ＲＴＩ结构的分布交互式多机仿真系统的体系结构,底层通信网络、运行支持系统、仿真应用对象模型和管理对象模型进行了论述,旨在为分布仿真应用系统的开发探索一条有效途径。