面向C程序的测试用例自动生成实现

软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的.对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的.介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法.该算法有效地改善了前有算法的一些缺陷,显示出不错的效果.     

如何改善路径测试用例生成的搜索算法

软件结构测试数据生成一直是软件测试领域一个较为复杂的问题,方法和手段尚未成熟。基于程序直接执行的测试数据生成方法因其动态性,显示出一定的优越性,本文主要针对该方法的核心部分——搜索算法进行讨论,探讨了有助于改善其功能的若干手段,目的在于提高算法效率,提高其实用化程度,显示出较好的实验效果。     

基于改进卡尔曼滤波方法的机动目标跟踪研究

针对在机动目标跟踪中当目标作高度机动飞行时卡尔曼滤波可能会出现严重发散的情况,提出利用BP神经网络校正其滤波结果,并将遗传算法应用于BP网络的训练过程,以解决BP网络训练速度慢的缺陷,提高算法的实时性。仿真表明该方法是可行的、有效的。     

基于现代信息技术的大学英语教学改革探索与实践

大学英语教学改革基于改变传统的以教为中心、向以学为中心、注重培养学生语言综合运用能力的教学模式,创造出一种崭新的教育理念和教学环境,真正意义上实现英语教学的实用性。作为试点院校之一,我们通过整合多媒体、构建大学英语多元化教学平台,探索并实践了新的教学模式,开展了创新性和实效性的教学工作。     

链块倒角对链式超越离合器工作效率的影响

分析了链式超越离合器的摩擦阻力放大链（FRAC──Friction－typeRests－tanceAmplifyingChain）的受力,从改善链式超越离合器工作效率角度出发,重点分析了链块倒角对放大链工作效率的影响．     

某型反坦克导弹充电器改进研究

简析了某型反坦克导弹武器系统充电器的工作原理及主要缺点,按照简单、高效、可靠的原则对电路提出了改进方案。应用开关电源技术完成了充电主回路的设计,应用线性恒流源技术完成了容检放电回路的设计。实验结果表明,该改进方案切实可行。     

点火具参数对RLPG点火过程的影响

采用考虑固体点火药燃烧过程的再生式液体发射药火炮(RLPG)膛内再生喷射燃烧过程的零维数学模型,研究了点火具参数对RLPGG点火过程的影响,分析并揭示了点火具参数对点火性能的影响规律.     

含压电片梁的振动控制

借助阶梯函数，建立了含有任意分布的用作执行器的压电片的梁横向振动方程，并利用模态法，进行了梁的振动控制研究。仿真结果表明，无论对自由振动还是受迫振动，控制效果都十分明显。     

军民融合与技术创新

军民融合成为适应时代和平主旋律的一种新的国际趋势。随着现代科学技术的发展,技术创新有助于促进我国转变经济增长方式、有助于建设创新型国家、有助于增强我国的综合国力。军民融合与技术创新两者并不是相分离的,技术创新需要军民融合的不断深化提供资金、人才以及法律支持,同时军民融合促进技术创新模式选择。     

周期平稳通信信号时差估计

研究了一种利用信号谱相关特性对周期平稳通信信号进行时差估计的方法。研究表明,谱相关时差估计方法较之经典的广义互相关(GCC)法具有更强的抗干扰能力,在多辐射源环境下,该方法可以无模糊地估计各个辐射源的时差。