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

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

加载龙伯透镜反射器的靶标RCS改型设计与仿真

针对武器装备试验、训练构建实战化空情模拟条件的要求,提出利用小型靶标加载龙伯透镜反射器模拟空袭武器雷达散射截面(Radar Cross Section,RCS)的方法。基于FEKO电磁仿真软件,分析了龙伯透镜反射器(Luneburg-Lens Reflectors)散射机理和散射特性影响因素,对不同形状、尺寸和位置反射板的龙伯透镜反射器RCS特性进行了数值仿真,总结了反射板对反射器RCS的影响规律,重点基于反射器对靶标RCS起伏特性进行了改型设计,对靶标加载单个和两个龙伯透镜反射器进行了联合仿真计算和分析。结果表明,利用靶标加载龙伯透镜反射器可以实现RCS改型的目的。     

基于配置管理的软件维护性评估

对软件质量进行定量化管理是软件工程领域的趋势,也是软件质量保证的重要手段。针对软件维护性定量评估难、数据获取难的问题,分析了软件维护性受配置管理关键要素的影响,提出利用配置管理数据对软件维护性间接评估的方法。结合软件工程开发实际,建立了配置管理数据收集过程,利用维护时间作为参数,统计5类功能点维护时间对软件维护性进行度量,实现了软件维护性的定量评估,并利用实际项目对方法的可行性和有效性进行了验证。     

智能天线DBF算法可重构的SCA设计及其仿真实现

文中在分析智能天线DBF算法与工作原理的基础上,结合软件通信体系结构(SCA),提出了一种智能天线DBF算法可重构系统的SCA设计方案,并在OSSIE平台上仿真实现。仿真结果表明,文中所提设计方案实现了DBF算法可重构,同时提高了系统的抗干扰能力。     

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

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

战场电磁态势融合感知技术框架研究?

为了高效精确感知现代战场条件下的电磁态势，分析了战场电磁态势感知的需求，研究了基于高层信息融合的电磁态势融合感知技术框架。战场电磁态势融合感知技术框架面向异构信息综合处理和融合模型柔性控制，基于电磁实体序列识别形成观测态势，基于作战行动企图估计形成估计态势，基于电磁威胁预测评估形成预测态势，构建现代战场综合电磁态势图。研究表明基于融合理论的战场电磁态势融合感知技术框架具有适应性强、高效精确的特点。     

基于TCP/IP协议栈构建的弹上飞控软件评测与验收系统的硬件实现

基于TCP/IP协议栈构建了弹上飞控软件评测与验收系统,详细描述了TCP/IP协议栈在该系统中的应用。     

软件测试方法综述

论述了软件测试技术近几年来研究的最新成果。包括软件的故障模型、白盒测试技术、黑盒测试技术、人工测试技术、可靠性测试技术和测试性设计技术等。以作为对近十几年来软件测试技术发展的总结,还初步的探讨了软件测试技术今后的发展。     

基于Petri网的某引信安全系统软件安全性分析

介绍了软件安全性和基于Petri网软件安全性分析技术。结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施。总结了基于Petri网的系统软件安全性分析的特点。     

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

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