并行面向对象数据库中的查询优化

为了在开发并行性的同时，进一步提高查询处理的效率，本文针对并行面向对象数据库的异步并行查询执行模型的特点，提出了三种并行查询优化策略：（１）数据子集预选策略；（２）信息流延迟策略；（３）信息流消减策略。它们既适用于单查询处理，又适用于多查询处理，测试结果表明它们是实用有效的并行查询优化策略。     

X-2000空间数据库系统的设计和实现

空间数据库技术是地理信息系统（ＧｅｏｇｒａｐｈｉｃＩｎｆｏｒｍａｔｉｏｎＳｙｓｔｅｍ，简称ＧＩＳ）的核心技术。我们设计和实现了一个新型的空间数据库系统——Ｘ－２０００空间数据库系统，它综合利用了空间数据库的新技术，提出了新的空间数据库的组织方法。本文重点介绍该空间数据库系统的设计思路和实现方法。     

熵、信息、控制与系统的组织化程度

本文首先通过分析与推演导出了描述熵、信息与系统的组织化程度之间联系的几个基本关系式;然后据之分析指出,人类的意识行为,是高度有序的主体向有序度较低的对象系统输入信息、减少其熵、提高有序度从而使其得到同化或改造的过程;最后,利用上述结论剖析了系统工程方法论的合理性与有效性。     

SN-PDB 中一种先进的结点容错法

本文简单介绍了无共享并行数据库（ＳＮ－ＰＤＢ）中几种常见的结点容错方法,重点叙述了链式分布法,给出了此方法的负载平衡算法。     

用于复杂系统环境的遗传分类器系统

设计了一个针对复杂系统分析的遗传分类器系统,该系统不仅利用了遗传算法强大的搜索能力和便于从大量历史数据中发现规律的优点进行分类器获取,而且还具有如下两个主要特点;①它能够适用于复杂的、缺少完整描述且训练信号带有噪声的系统环境;②它是一个白箱系统,所获取分类器的置信度与统计结果相符,从而支持定性、定量相结合的综合推理模式。     

单调关联系统模糊可靠度函数的性质和界

应用经典可靠性和模糊数的理论,给出了单调关联系统的模糊可靠度函数的三条性质。在较复杂的单调关联系统中,精确获得单调关联系统的模糊可靠度函数非常困难,讨论了系统模糊可靠度的界,并给出了系统模糊可靠度的界的两种求法。     

管理信息系统通用工具软件MT-1

MT—1是在汉字dBASE—Ⅱ的基础上开发的数据库工具软件,它具有图形化的数据描述和数据操纵语言,是一个实用的微机管理信息系统开发工具。它在图形化用户界面、数据字典、视图、数据完整性和安全性等方面优越于dBASE—Ⅱ。本文描述了MT—1的总体结构和主要功能,讨论了主要设计和实现问题。     

网络安全脆弱性分析与处置系统的研究与实现

在分析国内外研究现状的基础上,针对现有的漏洞库系统在漏洞信息的组织、使用等方面存在的不足,采用分布计算技术、数据库技术、Web技术实现了网络安全脆弱性分析与处置系统。该系统实现了基于Web的漏洞库(含补丁库)的访问与维护工具,便于获取相应漏洞的解决方案和下载相应的补丁程序,降低了系统维护的开销,提高了系统的可维护性;补丁推送程序实现了对系统补丁程序的远程推送、漏洞修补和补漏检测,提高了系统的自动化程度,为网络安全脆弱性处置提供了有力工具。     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

基于MAS的武器装备供应管理支持系统设计

对武器装备供应管理系统结构和功能进行了分析,给出系统的一般构成模式和运行要求,阐明了其所需的决策支持;以系统一般模式为背景,探讨了利用多Agent系统理论构建装备供应管理支持系统的思路,提出支持系统的组成框架,并说明了其主要特点;最后,对支持系统的信息监控过程做了具体研究,给出了相应程序。