马尔可夫链的模块化软件可靠性研究

针对模块化软件系统,考虑到模块自身的可靠性和模块相互转移调用对其系统重要度的影响.利用马尔可夫预测的基本原理,将马尔可夫链引入到模块化软件可靠性模型建立中,通过建立转移概率矩阵,对软件系统的可靠性进行分析并建立可靠性模型.该模型利用从软件开发过程中收集出的可靠性数据,对模块化软件进行可靠性分析,以此来研究软件系统总体的可靠性.     

多路中频数字化DS-CDMA空地数传系统的设计

提出一种基于软件无线电的多路中频数字化DS-CDMA空地数传系统设计方案.发射通道将信息分解成16路并行码后用相互正交的PN码分别扩频,再由多通道数字上变频器AD6623完成BPSK调制,最后进行中频合成.接收通道在对16路接收信号并行解扩后再合并得到原始信息.     

JTIDS网络设计方案及其辅助软件实现

首先分析了JTIDS网络特点,研究了其时分多址、网络参与群以及两种接入模式.其次基于排队论得出了两种模式的接入延时及投递率计算公式.接下来创新提出了适用于JTIDS网络设计的"战术任务信息规划→参与群需求计算→时隙块资源分配"三步规则及相关算法.最后展示了根据这些规则编制的网络设计软件平台,该平台能快速的为复杂战术任务提供设计方案,从而有效指导JTlDS网络的网络设计和优化.     

Java语言在军用软件中的应用及实现方法

简要地分析了军用软件的现状和需求、Java语言的体系结构和系统特性、Java语言实时性的实现方法等。实时军用软件对开发语言的实时性要求很高,但是标准规范的Java语言本身不满足实时性能,因此,要想把Java语言应用到实时军用软件中必须首先解决Java语言的实时性的问题。     

武器系统研制中软件标准化工作研究

随着计算机技术为核心的火控系统在武器研制中的广泛应用,软件设计成为武器系统开发中的一个重要组成部分。现代意义上的武器系统具备的许多功能如：弹道解算、武器系统定位、武器的控制和管理、指挥系统问数据的传输及信息的交互都需要计算机加以控制和协调以完成这些功能,     

美军用软件保障综合研究

本文主要叙述了美军用软件的维护与评估、软件保障组织和软件的保障方案及软件的保障研究与实践。     

战友,请管好你的手机

随着科技的迅猛发展,各种性能强大、功能齐全的新型手机如海潮般卷涌而至,部队官兵手机持有人数也与日俱增。手机上网看新闻、查资料、发邮件、聊天、炒股、理财等已从昔日神话变成今朝现实。然而,你可知道?小巧手机给你的生活工作带来便利的同时,也给敌人窃密增添了通道。网络盛行,一款款针对手机的     

一种GPS数字中频信号软件模拟器的设计

为了给GPS系统中基于C/A码的卫星捕获及跟踪算法提供信号源,以GPS卫星发送信号模型为基础,分析了GP2010的工作原理,采用Matlab/Simulink以软件的方式模拟了GP2010的工作过程,完成了一种数字中频GPS信号软件模拟器的设计,最后采用一种基于C/A码的捕获和跟踪算法对软件模拟器进行了验证.仿真结果表明:设计的软件模拟器可以给基于C/A码的卫星捕获和跟踪算法提供信号源,与常规GPS信号模拟器相比,所设计的软件模拟器结构简单,设计灵活并可扩展,易于使用.     

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

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

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

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