符号执行火控系统诸元解算程序测试用例生成技术

火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。     

案例教学法在“网络营销”课程中的应用研究

网络营销是一门综合性较强的经济管理类专业课程,对学生的操作性与实践性有很高要求,开展案例教学对培养大学生的创新创造能力有着十分重要的作用.本文从案例教学的视角出发,结合网络营销课程的实际情况,分别从网络营销实施案例教学的必要性、应遵循的原则、网络营销案例教学的主要内容、实施案例教学应注意的事项等四个方面进行了系统的应用研究,以期提升网络营销课程的教学效果与质量.     

"微时代"对大学生学习绩效影响的调查与分析

近几年来,"微时代"对远程学习绩效的影响已经成为研究者们广泛关注的热点问题,而对以接受传统教育方式为主的大学生学习绩效的影响关注者却不多见."微时代"对大学生的学习绩效产生了哪些影响、原因何在、如何去解决,这正是本研究着力要解决的问题.研究首先结合大学生特点和学习绩效影响因素明确了"微时代"大学生学习绩效这一概念和测量维度,在此基础上设计了调查问卷,并对西部某高校289名大学生进行了调查研究,然后从大学生日常学习行为、移动学习行为、学习态度及学习结果四个维度分析了"微时代"对大学生学习绩效的影响,最后在原因分析的基础上,分别从学校、教师和学生层面分别提出了改进大学生学习绩效的对策与建议.     

2017年世界军事装备技术发展

2017年,世界军事技术装备发展将呈现出一些新趋势.航母仍是大国竞相发展的国之重器,第五代战机逐步开始列装,新一代防空反导系统将投入使用,“常规快速全球打击”装备技术试验稳步推进,军用卫星技术国际竞争将更加激烈,核武器小型化将取得重要进展,无人作战装备与技术依然是新宠,网络攻防技术将向物联网领域拓展,新概念武器实战化有望取得新突破,军用新材料将引发新的热潮.     

微波调制型虚阴极振荡器的受迫振荡模型

利用受迫振荡模型分析了外部微波与自反馈微波调制入射电子束的虚阴极振荡的特点,得到了促使虚阴极振荡幅度增大的频率与位相条件。     

红外脉冲强光辐射源中电爆丝爆炸机理研究

利用电爆丝的一种红外脉冲强光辐射新技术,从理论和实验上研究了电爆丝的爆炸机理。用电爆丝绝热加热模型数值模拟了电爆丝在冲击大电流作用下的电爆炸特性,电爆丝根数对电爆炸特性的影响。实验结果与理论模拟相一致。     

C3I系统中作战文书自动生成句子优化聚合

作战文书的自动生成依赖于知识库,而知识库在构造时为保持信息的完全而高度冗余,这就导致输出也呈现较多的冗余.为使生成的文书每一句话内容合理、结构清晰、简明连贯,具有较好的可读性就必须对内容规划的输出进行优化聚合(aggregtion)处理.讨论了作战文书中优化聚合的概念、类型,并给出了Schema和RST表示下的优化聚合实现方法.     

扩展时差直方图方法研究

论述了扩展时差直方图的原理和基本方法 ,以三站时差定位系统为例 ,介绍了基于参数分割的扩展时差直方图方法的应用 ,并与传统的时差定位系统信号处理方法进行了比较 ,指出扩展时差直方图方法实现实时处理的有效途径     

基于FPGA的内容可寻址存储器研究设计与应用

内容可寻址存储器 (CAM )是一种快速匹配存储器件 ,在通信、雷达等许多领域有着广泛的应用。在介绍CAM基本原理的基础上 ,提出了在两类新型FPGA上实现CAM的设计方法 ,并讨论了两种基于CAM的新型关联比较器 (CP)实现途径 ,通过半实物仿真实验 ,验证了CAM和CP的实时信号处理性能。     

C3I配合下炮兵间瞄对抗及取胜概率仿真模拟

研究了在各自 C3 I情报系统的配合下 ,红蓝双方炮火间瞄对抗过程的计算机仿真模拟 ,建立了仿真模拟模型 ,给出了作战持续时间 ,双方的取胜概率 ,作战结束时双方的剩余兵力等重要作战数据的仿真模拟算法。通过改变作战系统的初始值 ,可以获得理想的刻画作战系统重要特征的作战数据 ,这在兵力部署与作战运筹中具有十分重要的意义。