软件保障费用估算模型研究

分析了软件保障费用的基本构成和一般表达式,构建了软件错误更改费用估算模型、新功能保障费用估算模型和有时间限制的保障费用估算模型,并结合实例进行了分析。软件保障模型估算的研究对提高软件保障费用估算的精度和效率有重要意义。     

一种光电瞄准系统的建模仿真方法

基于某型飞机的光电瞄准系统,给出了光电瞄准系统的工作原理,建立了光电瞄准系统接受到的热辐射强度和热辐射检测门限的算法模型.然后根据所建立的模型, 编写软件进行了仿真测试,验证了模型的合理性,形成了一个完整的光电瞄准系统的仿真软件.     

基于超导软件无线电的抗同址干扰技术

适应现代战争发展要求,军事通信装备集成度不断提高,通信系统同址干扰日益成为一个迫切需要解决的问题.详细分析了同址干扰的原理,对常用抗干扰技术进行深入讨论.研究超导软件无线电的最新发展,针对同址干扰的特点和软件无线电在抗干扰中的优势.重点介绍和分析超导软件无线电在抗同址干扰的应用原理,最后探讨其关键技术.     

基于遗传算法的结构测试数据自动生成

生成测试数据是软件测试的主要过程,将遗传算法引入到测试数据的自动生成中,重点介绍其生成过程,并对遗传操作进行改进,在一定程度上降低算法的过早收敛性.最后构建出基于遗传算法的测试数据生成模型.并用实例证明算法的高效性.     

基于数据库和构件技术的通用ATS软件框架

针对当前测试软件中存在的通用性、扩展性和升级性差的问题,提出了通用ATS软件框架的设计准则,设计了基于数据库与构件技术的通用ATS软件框架,即＂框架＋数据库＋构件＂的软件体系结构,该结构降低了系统的复杂性,解决了ATS软件的通用性、灵活性、可靠性、扩展性差的问题。     

基于改进Markov模型软件测试策略

针对已有软件测试Markov模型与工程实践不符的情况,通过引入软件需求覆盖率改进Markov模型。在改进的Markov模型基础上,本文以软件测试过程中测试总代价最小为控制目标,采用交叉熵方法修正测试剖面,由优化测试剖面生成测试用例序列。仿真结果表明这种方法能够有效地降低软件测试总代价,是一种有效的软件测试方法。     

高校教育信息化建设问题及对策

高校信息化建设是高校建设的一项重要任务,我国高校信息化经过十几年基础设施建设后,现阶段仍然存在一些问题。总结分析现阶段教育信息化建设中存在的问题及解决策略,有助于高校教育信息化建设健康、有序发展。     

基于ANSYS软件的管道漏磁场分析

介绍了漏磁场分析的基本理论以及由麦克斯韦方程导出的泊松方程对应的能量泛函,利用基于此理论基础的ANSYS有限元分析软件的ANSYS Multiphysics软件包对管道漏磁场进行模拟仿真,能得出大量缺陷漏磁场数据,这为缺陷漏磁检测定量化打下基础.     

面向GPU的5G新型无线电的高吞吐率LDPC译码器

提出了一种基于图形处理单元(graphic processing unit, GPU)的5G软件无线电准循环低密度奇偶校验(low density parity check, LDPC)码译码器,为了节省片上和片下带宽,采用码字缩短和打孔技术、两级量化和数据打包方案,以提升数据带宽的利用率。实验基于Nvidia RTX 2080Ti GPU平台实现了高码率情况下的最小和近似译码算法的并行译码,通过分析GPU上的最优线程设置,将码率为5/6的(2 080,1 760) LDPC算法的译码吞吐率提升至1.38 Gbit/s,译码吞吐率性能优于现有其他基于GPU的LDPC译码器。     

作战应用软件评测指标及方法研究

作战应用软件装备部队前进行黑盒评测必须以规格需求为基础。根据作战应用软件的功能区分,提出了作战应用软件评测指标确定的原则和依据,建立了评测的指标体系,给出了评测方法。应用层次分析法自底向上对各级指标属性值进行计算,并对计算方法进行了分析。所用的评测指标体系和评测方法适用于各军种兵种作战应用软件评测,具有通用性特点。