摘要：分布式操作系统形式化系统模型ＤＯＳＦＳ主要由文法ＤＯＳＦＳＧ和语义ＤＯＳＦＳＳ两部分组成。其中文法部分采用了上下文无关文法，语义部分则是一个带操作集的语义系统。ＤＯＳＦＳ按照抽象、描述、细化三个过程自动模拟生成分布式操作系统。本文主要介绍了文法ＤＯＳＦＳＧ的定义、性质，语义系统ＤＯＳＦＳＳ的设计思想、相关的数据结构、操作及其定义等。

摘要：提出了一个用户隐私保护的安全协议.该协议由服务发现者对用户进行认证和盲签名,随后用户以匿名的方式访问服务提供者提供的资源.根据匿名与不可关联性具有紧密的关系,设计了普适计算的匿名攻击模型,通过匿名攻击模型分析可以看出:隐私保护安全协议不仅允许服务提供者对用户的认证,同时也可以保护用户隐私,并且能够防止重放攻击以及设备间的恶意串通.

摘要：本文详细地描述了计算机病毒判定专家系统的原理与具体设计方法,一定程度上解决了流行病毒的判定问题。该系统主要利用专家们研究计算机病毒所得的知识和经验构造而成的规则库以及已知病毒的档案库,运用正向不精确的推理机制,来鉴别某一程序是否染毒。该系统不仅克服了传统的检测技术误检测率高的缺点,而且适合于鉴别病毒变种,对判定将来出现的病毒也有一定作用。

摘要：本文介绍了面向对象地理信息系统Ｓａｍ中用于数据输入、空间数据显示输出的子系统ＳａｍＥｄｉｔ和ＳａｍＶｉｅｗ。

摘要：本文给出一种适用于SIMD并行算法的共享存储器设计方案,它允许多个处理机按相应的同步并行算法并行无存取冲突地存取各自的数据,以满足算法执行的需要,该方案包含两部分,即数据在共享存储器内的存放方法和互联网络的结构及其功能,文章最后说明了该方案的若干性能、实现方法和优点。

摘要：近年来，网络技术发展迅速，网络之间互连的要求也越来越多，网络路由成为影响网络总体性能的一个重要因素。本文简单介绍了网络路由器的优缺点和发展前景，着重介绍了网络路由发展方向，并将其分为三个主要类型，即分层路由、动态路由、和综合网络上的健壮路由，并提出了一个健壮性网络的设计模型。

摘要：在分布式系统中，任务分配策略的优劣直接影响着整个系统的效率和开销。本文介绍了两种算法：遗传算法（ＧｅｎｅｔｉｃＡｌｇｏｒｉｔｈｍ）和模拟退火算法（ＳｉｍｕｌａｔｅｄＡｎ－ｎｅａｌｉｎｇ），并提出了一个基于这两种算法思想而设计的一种新的任务分配算法。

摘要：本文着重研究了Jordan数字流形上的渐变填充,设计了紧缩渐变填充算法和分裂渐变填充算法;并证明:如果D是离散网格空间上的Jordan凸集,那么存在O(|D||D|)时间的紧缩算法去做渐变填充.最后,我们对Jordan正方形区域、三角域和圆盘,分别给出了它们各自的O(|D|log_2|D|)时间的分裂渐变填充算法.

摘要：本文讨论MDS/DOS中通信机制的设计思想与实现方法,内容包括通信系统模型、通信协议、信箱通信方式、消息缓冲栈通信方式、报文分组以及报文的发送与接收等。

摘要：1.引言 演绎数据库WDeDB建立在关系数据库WD-DBS(武大数据库系统)的基础之上,LOGSQL是其界面语言,它实现了数据库语言和逻辑程序设计语言基于SQL的紧耦合,LOGSQL的特色在于: (1)保留SQL的原有特性及语法结构,便于使用,规范性良好。 (2)支持规则的定义及操纵,支持规则分层的概念;允许用规则定义复杂的虚关系,如递归定义的关系。