工程数据库管理系统DATFEA的符号对象模型及实现技术

本文主要论述符号对象模型的形式化定义及DATFEA标识系统的实现技术,文中对COHOR复杂对象模型的属性(域)进行了广义扩展,引入了对象标识、符号值、符号对象、值对象等概念,并讨论了DATFEA的总体结构及符号对象模型的逻辑组织方法。     

VCOHOR:一个面向复杂对象的版本模型

复杂(组合)对象的版本管理是工程数据库的重要组成部分,承担着工程DBMS定义、描述和操作同一对象的多个不同的表示或一致性状态、支持工程设计反复性和试探性过程的综合控制任务。而版本化复杂对象的数学模型、版本控制机制的逻辑设计以及版本对象的差分存贮等一直是工程数据库版本管理的重点和难点,笔者在以上诸方面进行了有益的探索。     

分布式数据库技术研究

针对Ｃ３Ｉ系统对军用数据的实用需求,文章重点对分布式数据库技术进行了研究,并对分布式数据库的Ｃ３Ｉ系统应用提出了具体应用建议。本文可对Ｃ３Ｉ系统工程总体技术设计提供参考。     

基于PG图的空间信息服务链建模方法

空间数据的异构、分布与海量的固有特点导致了空间信息应用的分布与难于集成的现状,成为制约空间数据大规模应用的主要因素。根据服务链的思想,提出了基于PG(优先图)构造服务链图进行空间数据应用集成建模的方法,并定义了一组变换实现对模型的逐步精化和向现实模型转化。该方法在面向资源环境的空间信息应用服务中进行了初步应用。     

基于网格的资源目录管理的设计与管理

资源目录管理是网格系统软件的重要组成部分。通过实例研究基于网格的资源目录管理的设计与实现。资源目标管理的设计基于LDAP协议 ,直接采纳了LDAP的标准数据表示和数据存储方法 ,并结合网格系统的自身特点设计网格中的信息表示方法和数据模型。资源目录管理的实现采用目录管理软件Openldap1 2 7和后台数据gdbm1 8 0 ,对其中的关键技术和主要步骤都做了重点研究并举例说明     

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

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

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

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

模拟器测试与维修训练应用仿真研究

为提高武器系统的故障诊断与维修水平,在模拟器中应该依据电路特点通过故障分析建立故障诊断与维修数据库,然后在此基础上进行故障设置。介绍了故障分析的原理以及数据库的组成,并且举例说明了2类故障的设置方法,为武器系统测试与维修的训练提供了新的方向。经实际使用,该模拟器具有良好的应用前景和显著的军事效益。     

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

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

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

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