软件静态分析融合技术研究

当代军备竞技以武器技术为核心,提升武器装备质量一直以来都是研制重点.装备软件作为武器装备调度的"大脑",关键程度不言而喻.随着武器研制技术的提升,代码规模激增,对装备软件的质量检测技术手段以及效率提出更严格的要求.为弥补单一测试工具检测造成的误检、漏检,提出了基于跨语言文本聚类的静态代码测试结果融合技术,实现多类型测试...     

一种RetinaNet与SE融合的航空取证目标检测算法

针对在开展航空侦察取证时缺乏自动化、智能化取证手段的情况,提出了一种基于Reti-naNet与SE融合的航空取证目标检测算法,解决目标尺度变化大、数据集中类别不均衡的问题,并通过SE (squeeze-excitations)模块引入注意力机制进一步改进性能.该改进算法中的特征金字塔网络FPN可有效应对目标尺寸变化较大...     

数字化计量系统移动现场检测平台设计

针对数字化电能计量设备现场安装分散、现场检测困难的问题,提出了构基于无线通讯的模拟量输入合并单元、数字化电能表现场检测原理以及基于复合辛普森算法的电能计量算法;构建了数字化计量回路现场测试系统,设计了车载移动检测平台整体结构.采用一套传统计量装置现场检测系统与该平台进行比对,检测结果满足0.05级准确度要求.该平台实现...     

新加坡打造“袖珍军事强国”

据美国《国防工业日报》2006年12月12日报道,新加坡国防部将与德国联邦国防部达成协议,计划购买96辆德国"豹-2"A4坦克("豹-2"出口型,66辆投入使用,30辆备用)和训练设备,德国还将负责对人员进行坦克操作培训."豹-2"坦克原本是作为北约应对前苏联庞大装甲集群而研制的,突出强调"以质胜量",是世界上公认的整体性能最好的坦克.东南亚其他国家现役或即将装备的坦克无论在机动力、火力还是防护力方面都与"豹-2"存在"代差".     

信息化条件下维修保障系统的基元模型及其动力学特性

信息化条件下维修保障系统是由分散的维修保障节点所构成的网络化系统,其节点规模与节点间连接关系决定了维修保障系统的效能,因而维修系统具有典型的网络效应特性.为测度维修保障系统的网络效应这一动力学特性,从维修系统基本构成要素出发引入基元模型的概念,建立了与现有维修保障策略相对应的维修保障系统的最小网络表示,定义了网络效应的计算公式,并从连接增长与节点增长两个方面研究了维修保障系统的结构效应和演化效应.初步的计算结果表明,该方法能较好地测度不同维修保障系统的效能,从而可用于指导维修保障信息化建设的布局和研究信息化条件下维修保障系统的运作规律.     

对消防部队开展基地化训练的思考

在论述公安消防部队开展基地化训练必要性和迫切性的基础上,分析了当前在建设消防部队训练基地和开展基地化训练过程中存在的问题,提出了消防训练基地建设、以训练基地为平台实施基地化训练、开展网上训练为基地化训练奠定基础的基本构思,并剖析了实施基地化训练应注意的问题。