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

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

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

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

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

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

空空导弹测试性验证方法探讨

本文对空空导弹的测试性验证的主要内容、参数以及测试性的验证方法进行了探讨。根据空空导弹的特点,提出了以数据收集为主,以测试性验证试验为辅的方法,并对验证方法进行了详细阐述。