用动态模拟方法实现C程序输入变量的取值分析

程序输入变量取值范围的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用.一般情形下,通过对源程序进行数据流和相关性分析,可实现输入变量的取值分析.但对某些有特殊取值限制要求的表达式,用静态分析方法,难以实现其输入变量的取值分析.为此,采用动态模拟的方法,对有特殊取值限制要求的表达式,进行输入变量的取值分析.实验表明,该方法是行之有效的.     

“海马斯”轮式火箭炮系统HIMARS

“海马斯”轮式火箭炮系统（“HIMARS”的音译）是继M270“钢雨”之后美陆军推出的又一新型火箭炮系统,该系统由洛克希德.马丁公司设计制造。在“自由伊拉克行动”期间,美军特种部队曾使用了3辆“海马斯”高机动火箭炮系统发射车,这3四辆“海马斯”是1998年部署到第18空降军第27野战炮兵团第3营进行先期概念技术演示的原型车。     

鱼与熊掌不能兼得吗？——无人机的成本与性能

通过无人化的作战手段,达成最大的军事目的,获取最好的政治与舆论效果,是以美国为首的西方国家多年来不断追求的目标。2001年12月中旬,当时阿富汗战争正在进行中,美国总统布什在一次讲话中指出:“我们正在进入一个各种无人平台将在空间、空中、海上和陆地起作用越来越大的时代。”随着无人机技术的不断发展,无人机正以其独特、强大的功能在现代战争中发挥着越来越重要作用。但是我们也应该注意到随着无人机功能的增强,它的成本也越来越高。如何在无人机成本和性能之间找到一个平衡点,成为世界各国关注的热点。一、无人机的成本现状无人机的…     

跳频通信抗扫描干扰研究

本文以扫描干扰为研究对象,结合跳频信号的特性,给出了一种扫描干扰的分类原则,提出了对各类扫描干扰信号的分解方法,讨论了通过干扰图案再生并修正跳频图案来克服扫描干扰的方法。     

信噪比盲评估算法分析与应用

正确地进行信噪比(SNR)评估是CDMA系统进行有效通信的基础,也是某些算法实施的基础,如功率控制、多径搜索与跟踪等。传统的方式中,往往以接收到的信号幅度(信号+噪声)的大小来判断接收信号质量,这在SNR较大的情况下是可行的,但在小信噪比条件下,由于噪声干扰严重,接收信号幅度的大小,不能反映接收信号质量水平。只有接收信号SNR的大小,才能反映接收信号的实际质量。本文提出了一种基于信号高阶统计矩分析的SNR盲评估算法,计算机仿真结果表明,该算法较其他算法有更好的适应性。     

海空战的主宰--无人战机

无人战机(UCAV)是无人机(UAV)族群中最新锐的一支。UCAV就是以遂行战斗为目的而专门设计的UAV。U代表Un米armed或者Uninllatbited。实际上,就无人机而言,前面两个相同英文字母其实质意义也相同。但据称,U1nmtlabited是官方认为比较“政治正确”的用字。     

美首艘以华裔命名的导弹驱逐舰服役

9月18日上午11时,美国海军在夏威夷珍珠港福特岛海．牟基地隆重集会,为最新建成的“宙斯盾”导弹驱逐舰“钟云”号(USS Chung—Hoon DDG93)举行了正式服役典礼。该舰被编入太平洋舰队服役,并将于2005年9月部署到西太平洋,是夏威夷太平洋海军拥有的第5艘“宙斯盾”导弹驱逐舰。这是美海军历史上第一艘以美籍华裔命名的导弹驱逐舰。     

在C#中通过数据库实现树视图无级动态维护

就树视图与数据库的结合实现树视图的无级动态维护提出了一种解决方法 ,进而拓展了树视图的功能 ,使其能够得到更多的使用。     

防空导弹武器系统的信息处理与通信延迟建模

对武器系统中的信息处理功能单元及其之间的信道通信从时间延迟的角度进行了建模,以便能更好地仿真整个武器系统的功能,并以某防空武器系统为例,对其各处理功能单元及其通信信道的时间延迟模型进行了描述。     

国外雷达技术发展管窥

随着高新技术的迅猛发展,雷达技术有了较大的发展空间,雷达与反雷达的相对平衡状态不断被打破。介绍了国外多种高性能雷达技术发展及其性能特点,窥探发展中的防空雷达体制、参数选择和附加措施等,根据不同目标的空域特性,制定防空对策及电子防御措施,不断提高雷达的适应性、有效性和战场生存能力。