空间站环境污染分析及其仿真模式

在确立正确的空间站环境污染概念的基础上,依据污染成因可将其分为本体污染（分子污染）、羽流污染（操作污染）和粒子云污染三大污染源。针对各自不同的形成机理,提出进行污染潜势预报的相应的分析模式,作为研制环境污染分析的仿真软件的基础。对于最严重的污染源羽流污染,从建模、算法、流场模拟与效应分析出发,作一体化处理,构思模块式结构的仿真软件框架,为防止污染,研制和发展实用的污染控制系统提供依据     

GNSS接收机离散化处理对解扩性能的影响

建立扩频信号防混叠滤波、采样、量化与解扩输出关系的数学解析模型,推导得到解扩输出信噪比的解析表达式。分析与仿真表明,当量化位数大于等于4 bit,解扩得到总的信噪比损失可以分解为由量化引起的损失和滤波加采样引起损失的乘积,且量化器最优限幅系数只与量化位数相关;当量化位数小于4 bit时,信噪比损失在一定条件下可近似为量化损失和滤波加采样损失的乘积。当量化位数大于4 bit、滤波器带宽大于5倍码率、采样频率大于4倍码率时,再增大上述参数引起的信噪比损失波动小于0.05 dB,对解扩性能提升不明显。该结论可为实用型全球导航卫星系统接收机前端离散化处理优化设计提供理论指导。     

振荡器相位噪声对GNSS接收机载波跟踪数字锁相环性能的影响

关于振荡器相位噪声引起的GNSS接收机载波跟踪数字锁相环相位抖动,目前的解析结论仍是基于模拟锁相环的,不能说明相位抖动大小与中频积累时间的关系,因此不能有效指导高灵敏度、高精度载波跟踪锁相环参数设计.本文首先推导中频积累输出的频率白噪声、频率游走噪声序列的功率谱,然后基于数字二阶锁相环离散线性模型导出了环路相位抖动公式并进行了仿真验证,最后对公式进行了解析和数值分析.分析结果表明:频率白噪声、频率游走噪声引起的二阶载波跟踪锁相环相位抖动,均随中频积累时间单调递增,随环路带宽先递减后递增.本文推得的相位抖动公式及其随参数变化特征的分析结论,可用于具体指导GNSS载波跟踪锁相环参数设计.     

基于VxWorks的软件无线电硬件平台的设计

通过对软件无线电体系结构中的实时操作系统的分析,选用了性能可靠、实时性好的VxWorks作为系统的实时操作系统。然后构建了基于多DSP处理器4通道软件无线电硬件平台,使软件无线电的运算能力达到12 000 MFLOPS,很好地满足了系统的运算速度的要求。整个系统具有处理数据量大、传输速度快、实时性好、可扩展性好等诸多优点。     

一种基于UML/OCL的软件测试方法

根据UML/OCL和建模环境提供的软件模型信息,以一个武器装备管理信息系统的装备入库顺序图为例,在分析UML/OCL顺序图的语法和对象间的交互信息的基础上产生测试场景,提供了一种基于UML/OCL的面向对象的软件测试方法,并提出测试自动化的设想,对软件测试有一定的借鉴作用。     

仿真环境下嵌入式软件测试技术研究与应用

嵌入式软件的开发运行是针对特定的环境条件,作为第3方的测试,在有些运行平台和条件无法保障下,要测试嵌入式软件是非常困难的.主要论述在普通PC机上怎样实现对嵌入式软件测试的方法和步骤.     

面向对象的软件维护性分析研究

对现有的软件维护性分析方法进行了比较,包括软件维护性度量分析方法、软件维护性指标分析方法和软件维护模型分析方法.针对面向对象的软件维护性的研究现状,在美国空军软件维护性评估理论基础上,提出了适合面向对象的软件维护性的定性分析规则与指标,对于提高软件的维护性具有一定的理论意义和实际应用价值.     

软件可测性评估

介绍了现有的软件可测性评估方法,继而提出了基于程序结构的软件可测性评估方法,该方法充分考虑了软件的失效机理,针对测试对象的不同特点,给出了面向控制流的软件故障执行的概率、数据状态感染的概率及以变量的定值-引用为基础的被感染数据状态传播到输出的概率等估计方案,在此基础上,进行了软件可测性的评估.     

变量度量估计软件的复杂度

提出软件的变量度量方法分别度量软件的变量个数、变量距离及变量聚合缺乏度来估计软件的复杂度.该方法与已有的软件复杂度度量方法,如Halstead科学度量法、McCabe圈复杂度度量法以及Chidamber的6个度量OO代码的指标等不同,它通过度量构成软件的基本元素-变量,更能从底层抓住软件的本质,而且该方法运用于实际的软件复杂度估计十分准确有效.     

指控软件可用性工程生命周期模型

针对当前装甲指控软件的应用现状和存在的问题,运用可用性工程理论和方法,提出了指控软件的可用性工程生命周期模型,该模型包括可用性需求分析、模型构建、可用性设计、可用性测试与评估、安装部署与使用体验、用户反馈等过程。通过与一般软件测试的比较,强调可用性测试实验环境的作用。该模型突出用户的作用,重视用户反馈,可为指控软件的设计和开发提供理论指导。