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

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

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

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

“战术战斧Ⅳ”巡航导弹

美海军新一代“战术战斧”(TacticalTomahawkBlockⅣ)巡航导弹于今年4月份成功完成了第一次技术评估性(TECHEVAL)发射试验。在试验中,导弹由“阿利·伯克”级“斯特蒂姆”(StethemDDG-63)号从海上测试场发射,掠海飞行并穿过陆上区域,最后命中试验场的目标。此次试验成功完成了所有的预期目标,包括验证导弹从预飞状态到击中目标之间的性能、各种飞行模式的演示、可从海上平台发射并制订攻击任务的功能、末端机动飞行、攻击俯冲角度的变化、最终引爆功能、卫星双向通信和GPS导航等。这是美国海军水面舰艇首次发射“战术战斧”导弹,试…     

跳频通信抗扫描干扰研究

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

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

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

美国间谍船到台湾海域干什么？——世界最新军情扫描之十六

美国间谍船既打探我军可能的登陆点．又打探台军动向,说明美国不甘心陈水扁闹“台独”,而激怒我军攻台．从而失去牵制大陆的“台湾牌”;千余战机窥视俄罗斯,必然激起俄罗斯大搞棱战争演习,以牙还牙;法德英成立“战斗群”．没有美国参加,耐人寻味;蒙古登上维和舞台,澳大利亚暴涨军费,说明大国炫耀武力,小国也不甘寂寞。     

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

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

战争文化研究概况

本文简要论述了战争文化研究的发展情况 ;战争文化研究的方法、研究的重点、以及今后研究的方向 ;最后 ,简要说明了战争文化研究的重要性     

以大学为主研制小卫星

4月18日23时59分在西昌发射基地,由“长征”二号丙运载火箭成功发射“试验卫星一号”升空。此后,卫星运行正常并开始了太空试验。 它是由哈尔滨工业大学联合中国空间技术研究院、中国科学院长春光机所、西安测绘研究所共     

越肩发射空空导弹大攻角飞行自动驾驶仪设计

研究了越肩发射空空导弹大攻角飞行时的两种自动驾驶仪的设计方法.一种是利用双时标的方法将导弹的姿态动力学和运动学系统分别看作快子系统和慢子系统,解决由气动力剧烈变化引起的非线性.另一种采用了变结构控制策略.这两种方法均使用了反作用喷气装置来增强在大攻角情况下的转弯能力和机动能力.数学仿真显示出两种自动驾驶仪的良好性能.