面向故障的软件测试方法研究

提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指针引用、数组越界和未初始化变量等5类故障.该方法在词法分析和语法分析的基础上,利用检查点查找算法查找可疑点,通过适当的人工确认,能够有效找出软件中的故障.     

隐身与反隐身技术的发展研究

通过对国外几种典型隐身飞机隐身机理的分析和隐身效果的对比,阐明隐身的必要性及其关键技术,并介绍当前用于隐身性能计算的几种数值解法及其特点.分析隐身飞机RCS减缩的局限性,说明雷达反隐身的可能性,并阐述当前隐身和反隐身技术的实现途径和发展方向.     

飞行控制系统的重构技术研究

飞行控制系统的重构技术可以有效地提高飞行器的生存能力和任务效能,已成为现代飞行器综合设计领域的热门研究专题之一.介绍了飞控系统重构技术的发展历史及现状,对目前几种重要的飞行控制系统重构方法进行了概述和分析,总结了飞控系统重构技术领域里的一些热点问题,最后展望了未来飞控系统重构技术的发展趋势.     

毫米波合成孔径雷达成像技术

毫米波合成孔径雷达(SAR:Synthetic Aperture Radar)成像技术是雷达技术、现代电子技术和数字信号处理技术的有机结合,使系统雷达的功能发生了质的飞跃.随着SAR成像处理技术的发展,其成像质量不断提高,成为当今高科技条件下一种不可取代的探测、侦察手段,在军事、经济和科学研究等方面都有重大价值和广泛应用前景.主要介绍了毫米波成像雷达与微波雷达相比具有的技术特点,较详细地讨论了毫米波合成孔径雷达的成像原理技术.     

大区域防空的进化群决策机制研究

大区域防空所涉及的区域广阔,因素众多,其作战计划的制定比较复杂。为解决此问题,提出了一种基于改进德尔菲法的具有进化学习功能的群决策机制,得到了纳什均衡解,使作战方案的制定更加合理,有助于防空作战效能的提高。     

静止无功补偿器的串联补偿控制

通过建立串联补偿装置的数学模型,给出了主要环节的参数设计原则和一种适合不对称控制的快速系统负序电压检测方法.利用串联补偿控制方法解决StatCom在系统不对称条件下的运行问题.仿真结果证明了所提方案的可行性和有效性.     

用随机仿真方法验证液体火箭发动机静特性数学模型

以某泵压式液体火箭发动机为研究对象，用试车数据对发动机静特性数学模型进行了验证，在验证模型时既考虑了外部干扰因素的实际测量误差范围和内部干扰因素的实际变化范围，又考虑了发动机参数实测量的误差范围，并且使用了随机仿真的方法。验证结果表明，发动机静特性的非线性数学模型是足够准确的，所用的计算方法是合理的。     

量子算法模拟实现技术研究

量子计算并行性展示了强大的运算能力 ,但现实条件决定了目前量子算法研究主要依靠模拟进行。本文介绍了量子计算的基本原理和计算模型 ,对量子算法的模拟实现技术进行了分析。通过对量子算法模拟的时空分析 ,指出目前量子算法模拟中存在的一些问题 ,讨论了今后的一些研究方向。     

直线度误差分离方法的误差分析

在研究精密和超精密加工技术的发展对直线度误差分离技术所提出的新要求的基础上 ,定量分析了传感器初始对准误差 ,忽略摆角误差和传感器漂移特性差异在时域和频域直线度误差分离方法中造成的误差 ,同时指出了频域方法中权系数对测量误差的放大作用。并讨论了一些消除误差的方法。最后由此得出两点法与三点法相结合的组合方法是最适用于超精密直线度测量的误差分离方法的结论。     

技勤保障机构战场行动计算机模拟方法研究

为把技勤保障机构战场行动计算机化,采用对各类技勤保障机构进行详细区分,从而制定相应的模拟规则、方法,其结果是在计算机上把技勤保障机构战场行动实时、动态地显示出来。