编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

针对复杂检测系统的微机数据管理系统设计方法探讨

本文以陆军战术导弹性能检测系统为研究对象,探讨复杂检测系统中微机数据管理系统的设计方法,给出了此类系统标准化设计的规范步骤。     

Novell网络环境下分布式文件系统的设计与实现

在局部网络环境下实现分布式文件系统和远程过程调用是实现高层分布式软件的基础。本文在分析Netware层次结构的基础上,给出了一个在网络层上的分布式文件系统和远程过程调用的设计与实现,详细讨论了该系统的功能、用户界面和实现中的技术问题,包括可靠性和并发控制等必须解决的问题。本文的工作是为在Novell网上实现分布式数据库而设计的。     

地理信息数据库实现

地理信息库是Ｘ－２０００高速三维地形显示系统的重要组成部分,主要对地图和地理实体进行存储和管理。地图、地理实体和其他图形对象一样,其属性值具有不定长性、层次性和多媒体性,难以用简单的数据类型表示等特征。本文在解决如何用传统数据模型来描述和存储复杂的地图和地理实体的基础上,用商用数据库管理系统（ＯＲＡＣＬＥ５．１Ｂ版本）,采用全关系型结构,设计和实现了地理信息数据库。     

基于关系数据库的仿真模型管理

本文将讨论仿真模型库管理技术。从仿真模型库管理的实际需求出发，提出以关系代数系统实体结构（ＲＡＳＥＳ）框架为理论依据、利用关系数据库进行模型库管理的方法，并给出模型库管理算法的形式化描述及系统设计。     

通用装备机械液压系统综合检测试验平台数据库设计

在分析通用装备机械液压系统综合检测试验平台数据管理特殊需求的基础上,针对检测试验前后产生的数据种类多、数据量大、不便于集中统一存储的问题,运用以数据为中心的数据库设计思想,以稳定的数据结构实现了装甲、军械、工兵、防化、车辆、船艇等6个专业结构化与非结构数据的统一存储,较好地解决了系统数据的集中管理问题。     

基于虚拟仪器的航空电子设备检测系统设计

设计了一种基于虚拟仪器技术的航空电子设备自动化检测系统。详细介绍了系统软硬件的结构和功能。说明了通过程序、配置文件管理系统硬件,实现软件的仪器无关性的方法。并讨论了用数据库和文本文件定义被测设备的数学模型,从而实现检测系统与被测设备分离的方法。由于从检测系统和被测设备两方面实现了检测的通用性,对检测系统的升级换代和扩展检测新型机载设备具有重要意义。     

军用数据库安全审计系统的设计

在指控系统应用过程中,需要审查与系统安全相关的所有操作,并对不安全的操作行为进行报警。根据指控系统中数据库审计四要素的要求,提出将应用系统级审计与数据库级审计相结合的方法,最终实现两种级别审计的统一。解决了以往指控系统审计方式单一的问题,满足了军用数据库安全防护的要求。     

一个通用数据库管理工具的研究与实现

目前我国行业信息化建设已经跨越了初级阶段,但在许多行业的信息化应用中还存在着烟囱效应和信息孤岛效应。为了将行业信息化引向深入,需要对原有系统进行数据集成。文中首先对数据集成的基本概念进行了探讨,并进一步对数据集成的一个重要工具——通用数据库管理工具的功能及实现方法进行了研究。文中所讨论的通用数据库管理工具与其他工具的区别在于:能够对物理上分布的、异构的多个数据库进行管理,还能够在更高的层次上对多个数据库中的数据进行逻辑上的重新组织。文中所讨论的通用数据库管理工具是为最终用户服务的,而不是一个开发工具。     

基于故障树的导航装备故障诊断专家系统研究

针对导航装备比较常见的故障诊断方法,提出了基于故障树的通用故障诊断的概念．为使故障诊断专家系统具有通用性,在分析故障树流程图特点的基础上,提出了逻辑关系的数字编码和故障诊断数据库的思想,设计了对导航装备故障诊断专家系统具有通用性的系统软件及数据库．