噪声图像压缩编码的小波变换方法

基于小波变换理论，研究小波变换域噪声图像的压缩编码方法，以实现在小波变换域同时达到对图像噪声的去除与图像压缩编码的目的，并且使两者均获得较好的效果。最后给出的实验结果证明了本文方法的有效性。     

利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

高精度有限体积格式在三维曲线坐标系下的应用

为了构造在光滑区具有较高分辨率并且可以无振荡捕捉激波的高精度有限体积格式,同时降低格式在模板选择上遇到的困难,基于逐维重构方法,发展了结构网格下的高精度有限体积格式,并将这一格式推广到三维曲线坐标系下,从而可以适应相对复杂外形下的计算。为充分验证格式的有效性,选取一系列典型算例进行计算:在等熵涡输运和二维喷管流动中验证了格式的精度可以达到设计精度;在双马赫反射问题中格式也表现出良好的捕捉激波的能力。数值计算表明,上述格式在曲线网格上具有较高的数值精度和鲁棒的激波捕捉能力,适用于流体力学方程的计算。     

红外成像导引头抗干扰性能评估方法

给出了一种对地面复杂干扰环境的红外成像导引头抗干扰性能评估方法,分析了红外成像导引头所面临的干扰因素,结合实际战场情况对干扰环境的等级进行了划分,并详细设计了红外成像导引头抗干扰性能仿真测试方案。采用半实物仿真方法得到红外成像导引头在不同干扰环境下的实验数据,运用bayes估计的方法建立红外成像导引头抗干扰概率计算模型。结合某实物红外成像导引头开展抗干扰性能半实物仿真测试,实验结果验证了该方法的合理性和有效性。     

新一代GPS卫星信号的研究

随着GPS现代化建设进程的不断推进,改善导航与定位精度、扩大服务覆盖面和改善服务持续性,提高系统安全性和抗干扰性、注重兼容与扩充等技术相继得到了应用与实施.为此,在分析新一代GPS卫星信号改进与变化的基础上,从包含新的信号调制体制、新的军用伪码信号及其增强型应用,考虑兼容和新需求的民用伪码及新频段增设等方面进行了较为系统的归纳与深入地研究,进一步通过仿真分析验证了新一代GPS卫星信号的先进性和拓展性,从而为发展我国天基导航系统提供依据.     

符号检验在空战对抗仿真试验数据分析中的应用

针对如何提高仿真试验数据分析的科学性和可靠性,增强仿真工作者试验设计和统计分析的能力,首先简要介绍了符号检验法的基本原理、使用方法和使用策略.再以两型装备开展作战效能对比评估为背景,借助某型战术空战仿真系统,设计和进行了人在回路战术空战仿真试验,通过对仿真试验数据的分析,探讨了符号检验法的适用条件、应用方法和特点.最后通过算例证明,符号检验法是一种有效的对比型仿真试验数据的分析方法,具有较强的实用性和有效性.     

基于概念模型的雷达仿真建模方法

针对传统的雷达仿真建模方法存在的问题,提出了基于概念模型的雷达仿真建模方法.首先,通过对雷达系统的抽象概念进行有机组合形成概念模型;然后,根据概念模型建立雷达系统的数学模型;最后,通过编码将数学模型转换为仿真模型.该方法优点在于可以通过概念模型这一公共平台在用户、建模人员和软件开发人员等之间形成统一认识.     

坦克铅酸蓄电池快速充电模糊控制研究

对于坦克用铅酸蓄电池快速充电问题,初步研究了采用模糊控制器控制充电过程,分析了其模糊控制器的组成,并讨论了模糊控制在铅酸蓄电池快速充电中存在的问题。     

基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。