协议测试中测试序列生成方法综述

文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。     

基于时间状态维的信息度量模型研究

网络空间中大数据海量汇聚,交互信息中隐藏的行为模式已对网络安全提出了全新挑战。如何分析网络节点规模、信息激增和恶意威胁等带来的网络安全问题,已成为当前网络防御的重要研究内容。文章从已有网络安全框架基础上,着重考虑终端用户行为模式,通过描述信息状态,增加时间状态维来度量异构群体中节点交互所带来的信息变化,建立了基于结构化的动态评估框架和信息度量模型,对于维护网络信息秩序,适时引导网络认知环境,有效解决网络防御有关问题具有重大指导意义。     

基于品质度量的移动Ad Hoc网络分层密钥管理优化技术

提出了一个分布式的基于品质度量的分层密钥优化管理机制。该机制通过动态选择高品质的节点作为PKG来增强移动Ad Hoc网络的安全性,并将网络生存时间最大化。节点的选择可以归结为随机(restless bandit)问题,并且将密钥更新过程分为在线和离线两个部分,从而降低了计算复杂性。仿真结果表明,该机制可增强网络的安全性和将网络生存时间最大化,非常适合移动自组网的应用要求。     

飞机CGF用于战术模拟训练的关键因素研究

根据战术模拟训练系统的实际需要,飞机CGF能够提高模拟训练的规模、复杂度和真实性,完成战术进攻和防御任务。首先分析了飞机CGF的系统组成和仿真粒度,重点研究了影响飞机CGF性能的关键因素,包括飞行控制方法、智能决策水平、雷达火控模型以及组件化的开发方式和飞机CGF组网的关键因素,即统一的网络体系标准、规范的数据接口、时间和空间的一致性及统一的导调管理;最后实现歼击机CGF系统。实践证明,歼击机CGF能够顺利地完成作战任务,达到预定的目的。     

创新型国家与国家创新体系绩效的度量

本文着重介绍了欧洲创新计分牌(EIS)和全球创新计分牌(GIS),探索了创新型国家与国家创新体系绩效的度量方法.     

基于置信椭球的V/M故障检测与隔离算法改进

动态系统的故障诊断技术在组合导航系统中有着重要意义.首先介绍了一类经典状态一致性故障检测/隔离方法-Kerr的基于置信椭球的V/M处理方法的原理与处理过程.Kerr的V/M方法以偏差方向的累计和进行隔离判断,可能发生两种情况下的隔离模糊问题.为此,对Kerr的经典V/M算法进行了改造,在其投票函数中采用偏差距离的累计代替偏差方向的累计,使得故障隔离的敏感性大幅度增加,解决了经典V/M算法在实用中存在的第一种情况下的隔离模糊问题.采用算例证明了新方法的有效性.     

三种实时误差配准算法性能分析与比较

对雷达组网中现有的三种实时误差配准算法即扩维扩展卡尔曼滤波算法(Augmented State Extended Kalman Filter)、解耦卡尔曼滤波算法(decoupled Kalman Filter)和准确算法(Exact method)进行了介绍与分析,并通过蒙特卡罗仿真试验从算法估计的均方根误差、估计的...     

弱紧局部一致凸空间中的度量投影

本文研究了弱紧局部一致凸空间中度量投影的弱连续性,将ＢＢＰａｎｄａ和ＯＰＫａｐｏｏｒ的相应结论推广到更一般的弱紧局部一致凸空间。最后给出了局部一致凸点的一个必要条件。     

美军战场态势一致性对海战场态势图体系构建的启示

信息化战争中,战场态势图已经成为各类指控系统的核心。本文对美军互操作作战图族FIOP发展现状进行分析研究,总结出美军FIOP的特点和美军实现战场态势一致性的关键技术,在对美军态势图的研究基础上,提出了对海战场态势图体系构建的启示和需要解决的关键技术。     

软件质量度量研究

大量的软件产品在社会生产、生活中的广泛应用使得软件质量问题备受关注。如何在软件开发过程中有效地管理和控制软件质量成为重要的研究课题,而要想实施有效地软件质量控制,一个重要的基础是能够对软件质量进行客观、准确地度量。文章从软件质量的概念内涵入手,分析了软件质量度量对于软件质量控制的重要意义,并比较、总结了现有的软件质量度量方法和模型,指出了这些方法、模型的优点和不足,为后续的研究指明了方向。