软件测试工具的问题及解决方法

讨论了当前软件测试工具的关键技术,并指出了其弱点,介绍了如何基于.NET技术对这些弱点进行相应的改善.     

面向装备论证的大数据应用架构

本文围绕装备论证大数据的管理和应用,论述了装备论证大数据的基本概念和应用现状,探讨了大数据应用的重要意义,并结合实际应用需求构建了装备论证大数据应用总体框架,阐述了平台基础层、数据层、存储管理层、服务支撑层和应用层的内涵和组成,介绍了大数据应用框架遵循的标准规范体系、运维管理和安全管控措施。本研究着重分析了支撑装备论证大数据平台的通用服务和专用服务,阐述了各类服务的主要组成和基本功能,设想了装备论证大数据平台提供的装备评估研究、装备运用研究、装备仿真实验和装备数据信息查询等服务应用,分析了平台建设涉及的多源异构数据融合、装备大数据综合处理、多维数据可视化等关键技术。希冀该研究结果能够为装备论证大数据建设与应用研究提供一定理论支撑。     

大炸高频率捷变无线电引信的研究

分析了现代战争对无线电引信炸高提出的新要求,提出了一种采用频率捷变体制的大炸高无线电引信的设计方案,采用了软件无线电的设计思想,使引信具有软件可编程能力,提高了引信对战场环境的适应能力和抗干扰能力。在多工作频点捷变的基础上提出一种多频脉冲联合比相测距算法,利用回波相位差实现了引信炸高的测量。最后的算法仿真结果验证了这种基于频率捷变的大炸高无线电引信体制的可行性。     

战术指挥情报终端的插件式软件框架设计

复杂多变的现代战场环境要求指挥信息系统在满足基本作战需求的前提下,还应具备功能的高可伸缩性。以该军事需求为牵引,提出了一种以开源跨平台开发库Qt为基础平台的、基于微内核思想的QPAF插件式软件框架设计方法,深入阐述了QPAF的系统架构、插件扩展及管理机制以及框架运行机理,详细介绍了QPAF及其插件的实现方法。在某边境防务战术指挥情报终端的应用结果表明,QPAF框架设计方法同时兼顾了系统的稳定性与灵活性,使软件具备了很强的动态演化能力。     

AES轮变换的代数正规型及其应用

每个布尔函数的代数正规型(ANF)是唯一的,对于研究布尔函数有重要意义.利用Mathematica软件得到了高级加密标准的轮变换(Sbox,ShiftRow和MixColumn的复合)的128个分量函数的代数正规型.每个分量函数都是32元布尔函数,其项数在448 ～ 545,平均为496,远远小于随机32元布尔函数的平均项数231.这表明AES轮变换与随机置换有巨大偏差.得到这些ANF的时间复杂度在一个2GHz的PC机上只用几分钟.该方法优于通过真值表得到ANF的经典算法——其得到128个分量函数的时间复杂度为0( 128×32 ×232)=0(244).作为应用,利用得到的ANF建立了一轮AES的一个方程系统,并用Cryptominisat 2.9.0进行求解.使用Guess-and-Determine的方法,利用一个已知明密对,可以在PC机上233h内得到全部128比特密钥.     

导弹测发控系统软件质量评价

在分析了导弹测发控系统软件特点的基础上,建立了针对该软件的质量模型,运用集成改进层次分析法和多级模糊评判于一体的综合评价方法对该软件进行质量评价,最后获得该软件质量的定量评价结果,并对结果进行了分析。     

不平衡数据的软件缺陷预测方法

数据的不平衡问题是数据分类领域中的一个热点问题。当分类算法处理这些数据时,算法将偏向多数类而忽视少数类。在软件缺陷预测领域,它并没有引起足够的重视,在4组NASA不平衡数据上比较和分析了14种分类算法的性能,为了克服数据的不平衡性,采用SMOTE技术对软件缺陷数据进行平衡化,最后在AUC和F-measure评价指标下对算法进行评估。实验结果表明随机森林算法在4组数据上表现最佳,这为软件缺陷预测提供了很好的参考。     

Merkle-Damgård Hash结构并行扩展算法

利用松弛密码架构将Merkle-Damgrd结构的Hash算法扩展为并行结构的算法,可以利用多核处理器提高杂凑效率。给出的证明过程表明松弛密码架构在处理不同长度的消息时不具备抗碰撞特性。提出的新并行扩展算法基于松弛密码架构设计,该算法弥补了其安全缺陷,并给出了新并行Hash结构的安全性分析。分析结果表明新结构抗碰撞特性不低于Merkle-Damgrd结构的Hash算法。实验结果表明,新并行Hash结构处理长消息时有较高的处理性能。     

并行程序调试中的环境再现技术

为解决调试并行程序碰到的第一个困难:并行程序的不确定性,文中提出了环境再现技术。文中叙述了环境再现技术的思想和实现这一技术需要的数据结构,并用CCNPASCAL语言进行了描述,最后给出了一个典型的应用例子。     

一个面向指挥所的多通道交互框架

信息化条件下的指挥所建设、指挥行为和指挥艺术的转变是加快转变战斗力生成模式的重要组成部分。指挥所已经具备各种新型交互设备和交互手段,但相互之间"各自为政",不能在统一的框架下协调使用,导致大量设备和技术被搁置,难以真正融入指挥控制体系。针对这一问题,提出了面向指挥所的多通道交互框架。该框架详细描述了指挥空间多通道交互的软件体系结构,阐述了其中的各个模型(指挥空间概念模型、层次模型、过程模型、组成模型、整合模型)及其相互关系,同时对该框架所涉及的部分关键技术进行了深入探讨。通过一个综合案例,对课题的研究成果进行了充分验证。