军事信息系统需求模型一致性检验方法

在大型军事信息系统研制项目中,如何获取军事需求、分析系统需求、发现需求规约中的各种问题,一直是困扰系统研发部门的难题。提出了一套军事信息系统需求建模和一致性检验方法,该方法由军事信息系统需求概念本体、基于UML的军事信息系统需求建模方法,以及基于描述逻辑的军事信息系统需求模型推理验证技术3部分组成。该方法可以有效检验需求分析人员所构建的需求模型的语义是否正确,内容是否全面如实地反映用户要求,进而为系统后续建设提供参考和决策支持。     

基于优化SVR的军用软件可靠性预测方法

为了避免军用软件在投入部队使用后频繁出现失效问题,进而造成训练及战时的损失,提出一种优化SVR算法的军用软件可靠性预测方法,旨在军用软件大量投入部队使用前,做好军用软件自身的可靠性预测工作。进行度量元采集,并对度量元进行数据预处理;通过引入相关性的概念,提取出与软件可靠性指标相关程度较大的度量元;再通过网格寻优法优化SVR中的参数;通过案例对比分析,证明了基于优化SVR算法的军用软件可靠性预测方法可以提高软件可靠性的预测精度。     

基于似然比检验的橡胶密封件加速试验机理一致性判别方法

加速退化试验广泛应用于橡胶密封件等长寿命产品的可靠性评估,试验过程中需要将高应力水平下的试验结果外推到正常应力水平。要获得准确的产品可靠性评估结果,需要保证加速应力下的退化失效机理与正常应力下的退化失效机理一致。基于似然比检验原理,提出加速退化试验机理一致性判别方法及流程。针对失效机理一致与失效机理变化两种场合,提出对数线性及非对数线性两类加速模型,并结合混合效应模型描述产品退化过程。利用似然比检验判断加速模型参数是否变化,完成失效机理一致性判别。仿真算例和应用实例表明,该方法能够有效判别橡胶密封件失效机理是否变化,并找到失效机理不变的应力水平边界。     

基于信息优势的决策能力分析

随着信息优势评估的不断深入,信息优势支持下的决策优势能力,已成为C4ISR系统作战效能评估的又一重要研究内容.从决策优势的基本概念入手,通过分析决策优势与信息优势的关系,提出了决策周期时间、决策质量和决策循环速度三个衡量决策优势的基本度量,并结合典型作战样式和信息优势的准确性、完备性指标,分析了这些度量的基本构成和量化方法.通过兰彻斯特方程,导出了一种可用于仿真评估的决策优势能力量化公式,进而指明了夺取决策优势应采取的主要措施.     

基于数据融合的某型导弹智能温度测量控制系统

介绍了应用于某型导弹的温度测量控制系统的硬件组成和工作过程。为了消除测量干扰,提出一种一致性加权融合估计算法,给出了多传感器一致性检验的准则,并利用多元统计理论推导出了最优权值的计算公式。最后将该算法应用于导弹温度测量控制系统。实验证明:该算法具有较好的稳定性,可有效降低噪声干扰,提高测量精度。     

一种面向关键属性更新的优化数据一致性算法

规模巨大且分布性强的P2P系统可能导致部分数据副本发布的更新被长时间地延迟,从而降低Internet上资源定位的效率。针对关键属性更新的特点,提出一种解决关键属性更新冲突的优化数据一致性算法。算法中分离出用户提交的更新请求中关于关键属性的更新,在对关键更新冲突分类的基础上,采用更新缓冲预处理和关键更新表两层机制并结合最新写胜出和分而治之规则,优化关键更新冲突的发现和解决。关键属性更新的优化处理使得不会产生因为关键属性更新的延迟而降低系统基于关键属性的资源定位效率,满足面向Internet的P2P系统的要求。模拟测试结果表明该算法在一致性维护开销、资源定位开销与资源访问开销以及鲁棒性方面均具有较好的性能。     

涵盖I/O的广义存储一致性模型

作为计算机体系结构核心问题之一的存储一致性研究主要是围绕CPU访存一致性问题展开的,I/O设备DMA操作引发的存储一致性问题则一直处于研究的边缘。从I/O与存储体系结构一体化设计理念出发,针对支持全局DMA访问的分布共享存储(DSM)系统存储一致性问题,研究广义存储一致性,定义了涵盖I/O的广义程序概念,建立了广义域存储一致性模型,研究了基于广义域存储一致性模型的Cache-Memory-I/O一致性协议实现技术,对于DSM系统实现全局共享I/O具有指导意义和参考价值。     

超凸度量空间中KKM理论的一些应用

在超凸度量空间利用广义度量KKM映象原理的特性得到一类新的广义极大极小不等式,并进一步借助这类极大极小不等式,在更广泛的条件下,获得鞍点问题的一个新的存在性结果。