分布式遗传模拟退火算法的火力打击目标分配优化

根据火力打击规则,建立了多目标函数的目标分配模型,提出了分布式遗传模拟退火算法对模型进行求解。分布式遗传模拟退火算法基于经典遗传算法进行改进:将单目标串行搜索方式变成多目标分布式搜索方式,适用于多目标寻优问题求解;采用保留最优个体和轮盘赌相结合的方式进行个体选择,在交叉算子中引入模拟退火算法,使用自适应变异概率,较好地保持算法广度和深度搜索平衡。最后,通过仿真实验验证了算法的有效性和可靠性。     

试论发展“灵敏精确型”军队后勤

21世纪初我军后勤保障发展目标是建立“灵敏精确型”军队后勤。这一目标是现代化后勤宏伟目标的阶段性目标,是后勤建设目标体系中的主体性目标,也是“保障有力”的标志性目标。其主要标志是:保障体制一体化、保障机构科学化、保障内容标准化、保障手段现代化、保障方式多样化、保障人员知识化。发展“灵敏精确型”军队后勤,应采取以下对策:进一步调整改革后勤编制体制,为实施灵敏精确保障理顺关系、疏通渠道;高度重视后勤信息化建设,为实施灵敏精确保障提供强有力的手段;建立和完善精干灵巧的保障力量体系,为实施灵敏精确保障做好组织准备;探索灵活机动的运作方式,为实施灵敏精确保障创造有利条件;培养和造就新型后勤人才,为实施精确保障提供智力支撑。     

基于多通道卷积神经网络的磁性舰船目标运动参数估计

传统磁性目标运动估计效果依赖于目标的初始状态信息,为克服这一缺陷,建立磁性运动目标三分量投影模型,并据此生成磁性舰船运动目标在运动速度、航向、信噪比等参数变化情况下的10类目标的训练数据集、验证数据集以及测试数据集。设计多通道卷积神经网络,对目标的正横距离和运动速度进行估计,并比较和分析了不同的学习方式和激活函数对网络性能的影响。结果表明:Adam+tanh组合方式的估计性能要优于其他组合方式,而且对磁性目标运动参数的估计效果比较精确,此方法相较于卡尔曼滤波、粒子滤波等估计算法的优越性在于运算复杂度低以及参数估计不需要目标初始状态信息。     

几种发展很快的空中威胁

在空中威胁特别是低空威胁中,发展变化最快的是直升机和无人驾驶飞行器。这两种目标的数量和品种越来越多。具有多方面的战术应用:突防、攻击、电子战、侦察、校射、空降、护航等。作战方式灵活:低空、隐蔽、佯攻、巡航待机、跃升攻击、垂直攻击等。它们是防空系统、特别是低空超低空防空系统必须认真对付的目标。     

中口径舰炮射击方法分析

中口径舰炮对海上目标的射击方法是射击指挥自动化研究中的一个重要课题。本文研究的中心问题是:海上目标机动时,在效力射中,中口径舰炮射击指挥自动化系统采用何种射击方式,才能确保目标毁伤,获得最好的射击效果。定量分析结果表明:海上驱逐舰类目标进行反炮火曲折运动时,在有指挥仪中口径舰炮效力射中,应对弹着方向偏差进行修正,然后采用同距射。     

预警探测系统目标交接班需求分析

针对临近空间高超声速飞行器(Near-Space Hypersonic Vehicle,NSHV)预警探测过程中的目标交接班问题,分析了目标交接班对轨迹预测的需求。首先,分析了地/海基和空基预警探测平台针对NSHV目标的威力覆盖范围,指出实现全程跟踪NSHV目标需要构建协同探测网络,其中目标交接班是必须解决的技术问题;其次,介绍了2种协同探测目标交接班方式;最后,研究了轨迹预测精度对目标交接班性能的影响。研究表明:预测交接是NSHV预警探测系统目标交接班的必然选择,提高轨迹预测精度有助于节省接班传感器资源、提高目标检测概率。     

突出发展重点 唱响田园牧歌

农九师党委按照兵团党委六届三次全委(扩大)会议提出的新要求,深入研究如何抓机遇、促发展,进一步明确了今年经济社会发展目标,坚定了科学发展、加快发展的信心和决心。师党委提出,要以发展为第一要务,以职工增收、团场增效和提升屯垦戍边实力为目标,按照调整经济结构、转变发展方式、创新体制机制、提高综合效益的发展思路,继续深化和升华田园牧歌发展方式,进一步提高农业综合效益,努力唱响田园牧歌最强音,力争实现生产总值14亿元,同比增长16.7%,使三次产业结构调整为40:24:36。     

我国装备价格定价模式研究

文章在对装备价格定价模式进行理论探讨的基础上,分析了我国目前装备定价模式的弊端,提出了与国家军事订货制度相一致的我国装备价格定价目标模式,包括目标定价、全程控价方式,市场定价方式,合同定价方式,事后定价方式和国际军品市场定价方式等。     

高超声速滑翔目标拦截弹方案设计与弹道规划北大核心

针对高超声速滑翔目标的拦截问题,分析了拦截窗口、拦截方式以及毁伤方式等拦截问题,并提出了拦截弹总体方案及弹道规划需求;开展了拦截弹总体方案设计,设计了一种两级助推的拦截弹方案,确定了推进系统、操纵系统的总体基本参数,并完成了拦截弹气动外形设计与质心定位;构建了拦截弹弹道规划的分析方法和工具,根据设计约束开展了针对HTV-2高超声速滑翔目标的拦截弹道规划研究,采用粒子群算法对弹道进行了求解。结果表明:采用空基拦截的方式可达到预期的最大拦截速度,满足拦截弹拦截滑翔武器的速度约束指标;此外开展了该拦截弹拦截概率评估,确定了针对高超声速滑翔目标可采用分层防御的方式从多个拦截站依次拦截。     

水下基阵探测空中噪声目标建模仿真

针对水下基阵探测空中噪声目标的可行性问题,运用建模与仿真实验的手段进行了定量研究,通过建立声波由空气向海水入射的能量传播模型、海洋环境噪声模型、水下基阵的指向性增益和检测阅模型,通过仿真实验得到了当基阵检测阈及指向性增益变化时,水下对空中噪声目标的探测距离曲线,通过分析发现:在现有检测方式下,水下基阵直接探测空中噪声目标非常困难,难以对空中噪声目标实现远程预警.     

顺序PROLOG机KD-PP的系统结构和硬件实现技术

本文提出的KD-PP系统是一种基于编译技术的顺序PROLOG推理系统,该系统的设计为逻辑型程序语言PROLOG的实现提供了硬件支持,因而能高效地执行PROLOG程序。本文从数据表示、存储系统、机器状态和指令系统等方面全面地介绍了顺序PROLOG机KD-PP的系统结构和硬件实现技术。     

一种开发逻辑程序中AND并行性的静态编译方法

逻辑程序AND并行性的开发是逻辑程序并行执行研究中的一个重要课题。文中提出了一种开发逻辑程序中AND并行性的静态编译方法。该方法分成三个阶段:第一阶段,进入模式(entry mode) 的分析;第二阶段,退出模式(exit mode) 的生成;第三阶段,执行图表达式(execution graphexpression) 的确定。通过运行一些基准程序可知,与其它方法相比,该方法能在“生产者一消费者”原则(producer-consumer scheme) 下最大限度地开发AND并行性,且只需很小的动态开销。     

液体火箭发动机故障诊断的命题逻辑方法

为对液体火箭发动机诊断知识的表达和组织提供一种简洁有效和易于处理的方式 ,通过以命题逻辑公式和子句的形式对系统观测信息和定性特征加以描述建立定性诊断模型 ,同时诊断问题基于归结原理和假言推理规则的演绎推理方法求解。基于试车数据的诊断结果表明方法具有较强的诊断能力。     

并行程序运行故障原因识别

高性能计算系统的复杂性和规模的不断增长使得系统的平均无故障时间越来越短,因此系统的硬软件故障导致并行程序运行出错的概率随之增加。此外,并行程序本身可能存在的编程错误也会导致运行出错。由于处理上述两类故障原因的措施迥异,所以在程序运行出现故障时,用户需要关注故障原因的类别。针对这一问题,设计和实现了一种基于作业管理系统Slurm的并行程序运行故障原因识别系统。通过对Slurm进行扩展,监控作业状态,重提交和重运行作业。根据作业运行结果,区分故障原因类别。故障注入方式进行的实验表明,该系统具有较高的识别准确率。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

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

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

仿真语言自动排序器

连续系统高级仿真语言是一种非过程的程序设计语言,程序的书写顺序与执行顺序无关。为了将仿真语言程序编译成能在计算机上正确执行的程序,必须对源程序进行排序。本文在讨论分析了高级仿真语言动力学段特性的基础上,给出了并行仿真软件PAR-SIM中高级仿真语言PARCSSL编译器的自动排序器的实现算法。     

基于HLA的维修保障仿真系统设计研究

针对作战单元维修保障能力评估的需求,提出建立基于HLA的维修保障仿真分析平台。在分析维修保障系统构成和运行过程的基础上,阐述了仿真联邦的设计思想和构建方法,并进行了系统设计。根据实际系统的运行逻辑开发了联邦剧情,基于HLA的开发和执行过程模型构建了联邦系统框架,设计了联邦对象模型,并指出了仿真实现的关键技术所在。     

顺序PROLOG机存储组织研究

YH-SIM是一种正在研制中的顺序PROLOG机。本文介绍该机存储组织的设计考虑。根据PROLOG过程执行的具体特点,文中提出了一种多专用Cache的存储子系统结构,旨在支持深度优先加回溯的顺序PROLOG求解机制。即按照不同的访问方式,设立常规Cache和栈式Cache,分别支持存储空间中的随机访问区域和栈式访问区域。作为一个典型的子部分,文中详细讨论了选择点Cache的控制和调度策略。     

军事专家系统的谓词Petri网描述及其时延分析

介绍了一种基于产生式系统的军事专家系统结构,用谓词Ｐｅｔｒｉ网描述了其不精确推理过程和推理网的动态推理过程。给出了一种适合于平行处理的谓词Ｐｃｔｒｉ网模型并对军事专家系统的时延进行了分析。