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

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

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

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

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

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

地理信息数据库实现

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

基于衰减记忆的地形辅助导航算法

地形辅助导航是解决惯性导航系统定位误差随时间不断增大的缺点的重要方法之一。提出了基于衰减记忆的地形辅助导航算法,算法使用了一个新的相关算子,根据量测值存在的历史时间长短,对量测值赋以不同的权值,用一个递归表达式递归地计算相关值。该算法在提高定位精度的同时减少了计算量和存储空间,从而提高计算速度,并连续输出定位结果。仿真结果表明该算法的正确匹配率、均方根误差和圆概率误差均优于TERCOM算法。     

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

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

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

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

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

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

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

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

基于CompactPCI的共享内存通信研究与实现

文中介绍了CompactPCI总线的地址映射机制,分析了基于VxMP实现多处理机间通信可能存在的问题,重点讨论了利用互访共享内存实现通信的方法,给出了测试结果,并作了理论分析。