求解面向进攻的武器-目标分配问题的蚁群算法

面向进攻的武器-目标分配问题是军事运筹学研究中的重要课题,旨在制定合理的打击策略以最大程度摧毁敌方目标。采用一种融合局部搜索和信息素控制的蚁群算法,兼顾控制解的局部收敛速度和全局收敛质量。在解的构造过程中直接处理约束条件,提高生成解的可行性,并大大缩小了搜索空间,提高了算法效率。通过采用多种算法对不同规模的武器-目标分配问题进行实验,结果表明改进的蚁群算法在收敛速度和求解质量上表现优异。     

状态数计算的卫星控制系统健康状态评估

健康评估是卫星在轨安全健康工作的关键技术之一.针对卫星控制系统的健康状态评估问题,首先分析了卫星控制系统的内部结构特征,将控制系统按其结构分层并提出了基于层次推理地健康状态评估方法,然后通过分析系统特有的工作关系确定了各级系统状态数的计算方法,最后以某型气象卫星的一种控制模式为例计算了从部件到整系统的各级别状态数.计算以及仿真的结果显示该方法能够利用状态数合理地表示控制系统的健康状态.     

人工免疫系统的战场异态电磁信号检测模型

分析了复杂电磁信号环境下电磁信号监测的现实需求,抽象出"异态电磁信号"的概念。结合人工免疫系统建立起基于人工免疫系统的适用于复杂电磁环境下异态电磁信号检测模型,初步的信号检测实验表明该模型在信号检测准确性、检测时间等方面具有一定优势。     

基于LPC3250的小型无人机航姿系统的设计

航向和姿态是无人机飞行控制系统的重要参数,传感器系统是整个无人机飞行控制系统的核心。采用LPC3250ARM9处理器、MEMS传感器以及存储器设计无人机航姿系统,完成传感器的数据采集与处理,获得无人机的航姿信息,最后进行数据传输。将Linux操作系统嵌入到无人机航姿系统中,实现系统的实时任务调度和进程管理。结果显示,该系统达到了无人机航姿系统的小型化、低功耗、高精度的目标。     

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

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

军事概念模型的仿真想定生成

研究仿真想定的规范化开发问题,针对目前存在的想定与仿真模型紧耦合等问题,为改善想定的重用性,提出了基于军事概念模型的仿真想定生成方法,将仿真想定的开发分为想定结构化描述和想定形式化描述两个阶段,设计并实现了基于军事概念模型的炮兵仿真想定生成系统,经实验表明有效实现了想定与仿真模型的分离,提高了想定的重用性。     

低频宽带SAR/GMTI试验系统

低频宽带SAR/GMTI能对开阔或叶簇覆盖地区的静止和运动目标进行侦察、监视及成像.详细介绍了低频宽带SAR/GMTI系统及其信息处理过程,讨论了其中的谱修正、成像及通道均衡等问题;针对系统的低载频特性,采用了STAP、DPCA结合ATI、图像域STAP 3种GMTI方法.外场试验证明,该系统能够有效地抑制杂波,检测运...     

压制干扰条件下雷达组网检测概率建模与仿真

如何评价雷达组网系统在多压制性干扰环境下的检测性能是雷达电子战研究的热点问题之一.推导了以"信干比"表征的多压制性噪声干扰环境下的雷达距离方程,提出了利用"信干比"与检测概率的近似推算关系来研究噪声干扰环境下雷达组网系统检测概率分布图的一种新思路,并建立了相应的检测概率模型,在"三对三"对抗条件下进行了仿真.仿真结果不...     

台湾制导武器发展剖析

台湾通过军购、仿制与自主研制 3种模式发展导弹武器,已拼凑起庞杂的导弹武器装备,并随着装备战略的变化,正在重点发展中远程精确打击能力。     

基于HLA的装备保障模拟训练联邦

针对当前我军装备保障模拟训练软件系统存在的互联、互通和互操作性差的问题, 在详细分析HLA特点和我军战役装备保障力量编组的基础上, 构建了基于HLA的装备保障模拟训练联邦体系结构, 并指出了HLA联邦中仿真子系统和传统仿真子系统的不同。最后, 探讨了建设HLA仿真联邦的一些方法。