混合模糊测试中混合符号执行优化策略评估与分析

针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。     

具有吞吐量和时延约束的软件无线电波形部署决策算法

针对当前具有吞吐量和时延约束的软件无线电波形部署决策算法在内存开销方面考虑的不足,提出一个更为通用的波形部署决策系统模型,将波形的处理开销、内存开销和通信带宽开销都纳入到波形部署决策过程中,并设计了一种基于动态规划的波形部署决策算法以最小化波形对平台各种计算资源的占用总和。仿真结果表明,内存对波形部署决策具有重要影响,与未考虑内存开销的解决方案相比,平台支持的平均最大波形数目和平均处理资源利用率均下降40%左右。     

HLA框架构建空战导弹武器作战效能设计

武器系统作战效能是指在攻防对抗的战场环境下完成规定任务的能力,武器系统的效能是研制、使用该系统所追求的总目标。为获得空战导弹武器作战效能,避免传统主观评价带来的缺陷,设计了采用仿真方法评价空战导弹武器作战效能的架构。设计了基于HLA(high level architecture)的空战仿真框架和组成模块,对HLA的盟员进行了开发,规划了接口,提出了能够保证仿真实时性的整体方案。     

舰艇编队反潜战海洋环境影响指标体系构建与实验建模

为了评估海洋环境对大型水面舰艇编队反潜作战效能的影响,在分析大型水面舰艇编队反潜作战样式和武器装备构成的基础上,采用层次分析法构建海洋环境对大型水面舰艇编队反潜作战效能影响评估指标体系和函数关系模型。以直接警戒区反潜作战效能评估为例,引入B样条函数,建立海洋环境要素与海洋环境影响指数之间的映射函数模型,得到影响评估的量化结果。该结果基本反映了海洋环境对大型水面舰艇编队反潜作战的影响程度。     

军用软件研制过程存在问题与对策研究

<正>通过分析当前军用软件在研制过程中存在的几个较为普遍的问题,结合日常开展软件质量管理的工作经验,提出了军代表在研制过程应该分别注意的环节以及采取的对策。引言随着武器装备信息化、自动化程度的提高,军用软件在武器系统中占有的比重和作用越来越大。软件产品规模和层次的提高,带来了软件研制、生产、使用和维护中的一系列技术、管理问题。按照传统"手     

大型水陆两栖飞机在反潜战中的运用

大型岸基固定翼反潜飞机虽然具有航程、航时、速度等多方面的优势,但由于其大部分的时间都花费在了巡逻飞行和盘旋等待上面,实际作战能力的发挥有限,且效费比也较低。若发展一型速度和岸基涡扇动力固定翼飞机相当,作战半径大、抗浪性能好、且具备水面持久驻留和低速巡航功能的大型水陆两栖反潜飞机,则可以较好的解决上述问题。文章分析了大型水陆两栖反潜飞机的特点和发展现状,并对其在应召反潜、检查反潜、巡逻反潜和持久威胁组网式反潜中的运用和优势进行了分析和探讨。研究发现,通过利用可在水面起降和长时间驻留停泊的特点,以大型水陆两栖为平台的反潜飞机不仅可以大大提高航空反潜作战的有效性,还能极大的降低运行成本,对增强海军中远海作战能力和体系化作战能力具有重要的意义。     

某型舰近程反潜防御区反潜直升机配置＊

针对某型舰近程反潜防御区反潜直升机的配置问题,依据近程反潜防御区反潜作战的任务、性质和兵力配置要求,提出了反潜直升机配置的基本原则,建立了反潜直升机前出距离计算模型,给出了反潜直升机配置的具体方法,并给出了具体的量化计算结果,可为编队指挥员优化某型舰近程反潜防御区反潜直升机配置提供决策支持和参考。     

反潜火控软件复用及构件化开发

随着反潜火控设备的快速发展,火控软件中成熟的解算技术需要有效继承,同时需要开发适合新型武器的操控及解算技术,为后续其它型号软件提供高效的功能继承。因此开展软件复用及构件化开发研究在反潜火控软件研制过程中具有重要意义。本文研究了在反潜火控软件开发过程中进行软件复用及构件化开发的技术,并详细介绍了适合反潜火控软件开发的方法和过程。该项技术的使用有效提高了反潜火控软件的可靠性和开发效率,目前已被成功应用在反潜火控软件中。     

某型舰近程反潜防御区反潜直升机配置

针对某型舰近程反潜防御区反潜直升机的配置问题,依据近程反潜防御区反潜作战的任务、性质和兵力配置要求,提出了反潜直升机配置的基本原则,建立了反潜直升机前出距离计算模型,给出了反潜直升机配置的具体方法,可为编队指挥员优化某型舰近程反潜防御区反潜直升机配置提供决策支持和参考。