分布式数据库操作的形式化描述

这篇论文提出了一种分布式数据库的形式化描述表示,如何将分布式数据库的全局操作变为局部操作。这种形式化描述可以作为描述全局层与局部层操作转换的工具,也可以作为分布式程序语言的起点。从实用化角度来说,也可以作为一般的D—DBMS操作部分实现的设计工具。     

基于RBAC的分布式数据库系统安全管理技术

分析了分布式数据库系统安全管理的必要性 ,引入了基于角色的访问控制模型 ,结合分布式数据库系统的开发实例 ,阐述了利用Delphi实现基于SQLServer的分布式数据库系统安全管理的技术。     

分布式数据库系统中数据一致性维护方法研究

分布式数据库系统是数据库领域中的一个主要研究方向 ,数据一致性维护是分布式数据库系统中的一个非常关键的技术问题。在深入分析和比较各种维护数据一致性方法的基础上 ,提出了一种较为有效的维护数据一致性的方法 ,详细论述了该方法如何解决并发执行引起的冲突问题 ,以及如何利用消息队列机制保持各数据副本的一致     

一种新的分布事务处理模型和算法

分布事务处理是分布式数据库管理系统设计中的一项关键技术。为保证分布事务的原子性,对基本分布事务处理模型和加工协议进行改进,提出了一种新的分布事务处理机制,并给出了其在分布式工程数据库管理系统dEDBMS中的实现方法。     

分布式数据库及在I—NET网上的实现

本文简述了分布式数据库的主要技术及实现分布式数据库所涉及的问题,并在 I—NET 网实现分布式数据库管理系统的基础上,介绍了该系统的组成和各模块功能以及该系统的优缺点和发展方向。     

分布式事务处理模型

本文给出了一个分布式数据库环境下的事务处理模型,该模型强调了在处理用户的事务中,场所间所需要的基本的相互作用,为描述和分析分布式并发控制方法提供了一个统一的框架。本文也是有关分布式并发控制研究的导引性文章,为后续论文奠定了基础。     

技术保障信息化分布式数据库系统研究

针对我军装甲装备技术保障信息化建设的特点和要求,应用分布式数据库理论,提出了建立装甲装备技术保障分布式数据库系统的方法,阐述了实现该系统的设计要求和关键技术。     

基于改进Markov模型软件测试策略

针对已有软件测试Markov模型与工程实践不符的情况,通过引入软件需求覆盖率改进Markov模型。在改进的Markov模型基础上,本文以软件测试过程中测试总代价最小为控制目标,采用交叉熵方法修正测试剖面,由优化测试剖面生成测试用例序列。仿真结果表明这种方法能够有效地降低软件测试总代价,是一种有效的软件测试方法。     

分布式数据库技术研究

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

分布式数据库数据同步技术研究

针对分布式数据库要求,在研究Oracle及相关系统的基础上,分析比较了几种数据同步技术方案的实现原理和优缺点,并讨论了其适用场合.     

基于PETRI网的防空指控系统的建模及分析

防空导弹武器指控系统是一个分布式实时多任务数据处理系统,其特点是实时性、并发、异步和多任务。PETR I网是一种描述和分析异步并发现象的一种有效的模型工具。以PETR I网为工具,建立了防空导弹武器指控系统模型,并对其结构性能、任务的忙闲程度、死锁进行了定性分析,然后实现了模型和程序结构的自动转换。从一个新的角度对防空导弹武器指控系统进行了分析和评价,实践证明这种方法是可行的。     

一种新的近似优化方法——变复杂度优化

随着仿真技术的发展,基于仿真的优化在工程、军事等领域越来越占据突出的地位。随着高逼真度仿真模型的大量使用,仿真优化计算的时间复杂度成倍增长,使得采用传统的优化技术无法取得令人满意的效率。提出了一种基于近似模型的变复杂度优化方法,它通过标度函数保证优化的收敛性,通过信赖域方法保证优化在有效的范围内进行。数值算例表明这种算法能有效降低对于高复杂度模型的调用次数,达到降低仿真优化计算复杂度的目的。     

基于到达时差法的目标定位系统

运用声被动定位理论探索空中目标的定位问题。建立了一种平面波声被动定位模型,利用简易被动声传感器阵列,分析并设计了定位系统的总体结构。提出了一种简易的计算到达时差电路设计方案,此电路利于目标的实时定位。在利用这种系统定位远距离目标时,可消除有效声速的影响。最后给出了几组实验结果,证明了此系统的可行性,但对近距离目标的定位结果较差,模型需进一步研究。     

基于统一描述框架的导弹设计知识模型研究

为了解决基于知识的导弹设计中异构知识难以共享、重用及有效支持推理的问题,提出了一种基于统一描述框架的本体化知识模型.首先研究了导弹设计中各类知识的表达形式,针对这些异构的知识提出了一种统一描述框架,而后研究了基于这种统一描述框架的本体化知识模型,在该模型中定义了知识基本建模单元,其可直接用于各类异构知识的表达和建模.最后利用导弹气动设计知识建模的应用示例说明了研究成果的有效性.     

武器系统研制费投资分布规律的仿真研究

针对大型项目多峰、复杂费用分布的传统仿真建模方法模型选取过于复杂、且难以达到精度要求等不足,提出将一种基于支持向量机的机器学习方法应用于大型复杂武器系统研制费投资分布研究.计算结果表明,这种方法有效弥补了传统建模方法的缺陷,有更好的泛化能力和实用性,因而可以作为研究此类问题的一种新方法.     

一种新的模式识别模型及其实现

模式识别是机器智能的一个重要研究领域,针对当前模式识别方法的难点和应用的要求,本文从模式识别问题描述出发,构造了一种新的模式识别模型,并对这种模型的动力学过程进行了描述和分析,论述了这种模型的可能实现途径,并详细论述了两种神经网络的实现方法。     

ATM TraP:异步传输模式通信量与性能测量工具

我们经常用理论通信量模式来进行ATM网络通信量控制算法的分析与开发。根据这些模型已经提出了用于通信量成形、管理、流量控制和交换结构的算法。当模型帮助我们获得初步的解决办法时,提出的这种算法的成功和有效将会成为一种假模想模型与真实通信量模型程度相似的一种功能。 本文介绍的ATMTraP,即异步传输模型通信量和性能测试工具,是一个试验性样机,它能够用来表征构成ATM网络的信息源和部件。ATMTraP已经用于Nectar千兆位试验台,用来收集来自各信息源,诸如Cray C-90巨型计算机、Sun工作站、iWARP systolic阵列等的初步通信量统计数据。     

跟踪机动目标的参数辩识——滤波两步走算法

本文提出了一种跟踪机动目标的参数辩识—状态估计两步走算法。由于采用了描述目标运动的状态自回归新模型,使得算法具有线性递推的形式,避免了既往两步走算法的不足。文中还对典型的目标俯冲机动,做了仿真分析,结果证明这种两步走算法是有效的。     

群指挥系统分析与设计问题

对系统的开发方法进行了深入的分析比较,认为原药－结构化生命周期法是一种比较有效的方法,应用这种方法和过程－数据矩阵分析方法对炮兵群指挥系统进行了分析与分解,提出了系统的总的逻辑模型。文中还在系统配置、通信与软件结构等方面提出了改善系统反应速度和可靠性所能采用的措施,还提出了一种避免火力交叉的任务分配方法与火力分配及弹药消耗量的优化算法。     

TBM模型的目标综合识别算法

利用电子支援措施(ESM)和光学成像传感器等不同类型传感器进行目标综合识别,是现代综合电子战中的一个重要研究课题。TBM是D-S证据理论的一个扩展模型,它研究了D-S证据理论的动态部分,从数据融合的角度来看,它是一种层次化的递进模型,尤其适用于需要逐层进行数据、特征或决策级融合的融合系统。提出了一种基于TBM模型的异类传感器目标综合识别算法,充分利用了电子侦察和光学成像侦察提供的独立、互补的信息,获得了对目标的有效识别。仿真结果证明了这种算法的有效性。