离散数学中“关系”教学的认识与实践

“关系”是离散数学中一个非常抽象的概念，通过提出问题-分析问题-解决问题的层层递进式教学，将抽象概念与具体应用相结合，是非常有效的教学方式。     

AUV水下导航信息融合方法研究

通过构建一种虚拟导航设备,并将其作为Kalman滤波的量测信息构成一个水下导航信息处理方法.计算机仿真模拟和海试结果分析表明,带数据库Kalman是一个非常实用的方法,能有效提高水下推算船位的精度.     

装甲兵作战仿真系统信息存储与回放

在分析DIS信息结构和数据库的基础上,对基于DIS的装甲兵作战仿真系统信息存储与回放进行了研究,并将其应用于装甲兵作战仿真实验室的建设中,收到了良好的效果.     

知识库系统及关系知识库机系统结构的研究

文中首先以数据库为基础研究了知识库系统KBS-1,然后基于关系知识模型,研究了一台关系知识库模型机,并以它为硬核研究了知识库系统KBS-2,最后进行了性能分析。     

一种实用有效的循环查询处理策略

通过分析研究面向对象数据库及其循环查询的特点，本文提出了一种实用有效的循环查询处理策略，并对其进行了正确性证明和性能分析。     

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

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

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

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

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

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

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

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

移动数据库的应用研究

阐述了移动数据库的概念和特性,介绍了其应用现状及市场上存在的相关产品,分析了移动数据库在应用中要解决的关键问题,指出了其发展目标。