红外成像型空空导弹目标自动识别技术

针对红外导弹和红外诱饵弹的对抗,构建了红外导引头图像探测器的透视投影几何模型.基于模型证明了飞机和目标在不同距离和相对飞行速度下,成像序列中相邻两帧图像间飞机目标的相似性,并且提出了适合导弹的目标快速识别算法,该算法是基于当前帧图像与前一帧图像的目标特征匹配的.最后以实测的飞机及诱饵红外图像数据对文中提出的算法进行了仿真,仿真结果表明了算法对目标识别是可行和有效的,并且能够满足较高实时性的要求.     

开展系列课程学习指导帮助学生学会学习

在扼要介绍开展系列课程学习指导研究的基础上,重点论述了课程学习指导的目的、意义及主要内容.提出了军事工程院校系列课程学习指导应具有的特色,以及在实施学习指导进程中应把握的几个基本观点.     

三个并行排序算法的可扩充性分析

可扩充性分析是评价并行算法或并行系统性能的重要工作,特别是在大规模并行处理环境下更是如此。本文利用新近提出的扩张串行分量分析技术,研究了三个并行排序算法的可扩充性,以及这些算法在超立方体结构上的实现的可扩充性。给出了使三种算法都为可扩充的条件,解释了每个算法的适用范围。展示了算法的实质性质,计算了它们的扩张串行分量、扩张效率以及扩张加速比。本文的解析分析结果与其它文献中的实验结果一致。     

基于单亲遗传算法的战时维修力量抽调模型研究

分析了影响维修力量抽调决策的因素,对装备维修力量的抽调问题进行了数学描述,建立了一种基于灰色关联度的多目标优化模型。针对装备维修力量抽调的非线性多目标优化问题,提出了基于单亲遗传算法的求解方法,该算法用换位算子取代了传统的交叉、变异算子,但仍然保持了他们的进化功能。通过仿真算例分析表明,该方法可有效求解多目标的保障力量抽调问题。     

信息心理战理论模型以及量化模型探讨

军事理论的研究在心理战方面已经取得了一些成果,但在量化分析方面显示不足。从信息心理战基本作用原理入手,利用数学建模的思想,构建基本信息传播扩散原理模型并且设置合理参数模拟动态过程,从而获得军事行动中心理战的心理攻击信息内部传播动态数学模型,对于未来信息化战争量化分析以及效能分析有一定参考价值。     

并行程序中同步瓶颈的检测和优化方法

针对并发程序中锁的不当使用可能导致性能瓶颈的问题,提出检测和优化并发程序中同步瓶颈的方法IdeSync。IdeSync使用静态分析方法获取同步方法和同步块,构建静态同步依赖图,采用基于执行路径的动态分析技术进行同步依赖关系分析,构建同步依赖图。为了暴露性能瓶颈,在同步依赖图上通过增加程序工作负载的方式,监测临界区的性能变化,并针对检测到的同步瓶颈给出优化建议。在实验中通过HSQLDB、SPECjbb2005和RxJava等12个大型实际应用程序对IdeSync的有效性进行验证,共检测到72个同步瓶颈,根据优化建议进行优化后程序性能均有所提升。实验表明,IdeSync能够有效地检测和优化同步瓶颈。     

面向RISC-V内核的标记指令复算与纠错机制的设计

由宇宙辐射等环境因素引起的硬件瞬时故障会极大降低计算机系统的可靠性。为了减小硬件瞬时故障对系统可靠性的影响,保证程序的正确运行,基于RISC-V开源内核“蜂鸟e203”提出一种标记指令复算与纠错机制。该机制为指令码额外增加了复算标记,以较小的硬件开销实现对指定指令的复算操作。此外,该机制可以在第一次复算结果与初始运算结果不等时自动进行二次复算,并由三次运算结果的多数表决结果来纠正大部分硬件瞬时故障所引起的数据流异常。实验表明,通过与中断处理程序相结合,在随机注入瞬时故障的情况下,程序的正确执行概率平均增加了86.67%。     

一种简易高效的加速措施——移位常数

本文介绍在不增加硬件额外开销的情况下,提高巨型机“取操作数”速度的一种基于直接数指令的移位常数方法。     

复杂零件产品虚拟开发技术研究

本文针对复杂零件产品制造精度要求高,工艺性差,残次品率高,生产周期长等特点,在探讨虚拟产品开发技术及其原型系统的基础上,提出了一种复杂零件产品开发的新模式：即在虚拟状态下对产品进行构思、设计、分析、仿真、装配、测试、性能及经济性评估、快速原型及产品数据管理等。     

战术弹道导弹攻防对抗及电子战仿真模型

本文提出一种用于研究战术弹道导弹攻防对抗及电子战的面向对象的仿真模型，结合导弹攻防对抗仿真的特点给出仿真模型的结构，并讨论了相应的仿真算法。