高阶稠密矩阵的并行求逆与应用

采用基于列交换的Ｇａｕｓｓ－Ｊｏｒｄａｎ并行算法来解决空气动力学中超音速高阶面元法的稠密矩阵求逆问题,该方法采取了块循环数据分配方式,尤其对超立方体结构的并行机系统来说具有通讯优势。在４台ＳＧＩ工作站构成的２×２网格上进行的实验表明,对秩为１０００左右的矩阵可得到５７％～６４％的效率。     

动态灰色时序系统 DGTS 及其在安全策略规范中的应用

设计安全策略模型时应考虑安全策略的时序特性和灰色特性,还应综合考虑保密性、完整性和可用性三方面的需求。已有的安全模型没有描述时序性和灰色特性,而且一般只侧重描述保密性或完整性。为此,本文提出了动态灰色时序系统（简称ＤＧＴＳ）。本文详细描述了ＤＧＴＳ,以及基于ＤＧＴＳ的动态语义设计的灰色时序安全策略规范语言ＧＴＳＬ。     

尾喷流底部流场与外流场干扰的拓扑结构数值模拟

本文从非定常全ＮＳ方程出发,运用时间推进方法,采用有限体积方法离散控制方程,模拟了轴对称钝锥尾喷流场与外流场的干扰,得到了随时间发展的精细的流场拓扑结构,并对几种出口压力比的不同情况进行了比较和分析。     

实时图像的采集与显示

本文介绍了一个实时图象采集与显示系统,较为详细地说明了系统的工作原理,分析了各部分的实现过程。特别是本系统中引入多体存储器存储图象的方法,改善了数据接口的带宽,实现了图象数据采集、存储、传送的实时操作。     

柔性制造系统的计算机仿真

目前FMS的规划设计还不可能象普通的机械制造系统设计那样,有一些数学公式可循,对于方案的优化也不可能进行实物试验,国外最有效的方法是应用计算机仿真技术。本文是用ACD图对FMS进行分析,建立模型,通过一个例子用GPSS语言对模型进行了计算机仿真。初步揭示了FMS设计规划中的某些问题,为寻找解决方法提供了依据。     

类比推理中的一种相似性准则及其验证方法

类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性准则,并且基于项重写技术,提出了相应的验证方法。     

舰船后传动装置的分析及其发展概况

介绍了后传动装置的主要元件及目前舰船典型的传动方式,在此基础上简述了今后的发展动态。     

智能控制理论与船舶系统综述

简要综述了智能控制的主要研究成果,分析了其在船舶系统中的应用领域,提出了几个重要的研究课题。