陆军合成部队火力打击行动效果评估

为了有效地调控火力打击行动进程,陆军合成部队指挥员和指挥机关必须及时准确地评估火力打击行动效果,不断调配有限的作战资源。火力打击行动效果评估主要包含敌作战体系毁伤评估、弹药效力评估、己方生存力评估和误伤评估等内容,并通过评估模型进行定性与定量分析,为指挥员和指挥机关调整决心和指挥控制火力打击行动提供决策依据。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

临近空间飞行器纵向逆控制系统设计

建立了临近空间飞行器无动力滑翔阶段的纵向运动模型,并应用动态逆方法推导了模型的逆系统.系统相对阶等于绕质心运动模型的系统阶数,实现了绕质心运动模型的线性化.为了克服纵向运动模型的隐动态和参数的不确定性,在内环动态逆控制器的基础上,设计了外环最优调节器.仿真结果表明:飞行器纵向逆控制系统可以准确跟踪俯仰角或攻角指令,并对参数不确定性和外界干扰具有较好的鲁棒性,具有工程适用性.     

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

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

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

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

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

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

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

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

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

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

军事侦察与刑事侦察浅析

当前学术界对军事侦察与刑事侦察的概念界定尚存争议。军事侦察权是部队与生俱来的一种权力,正是因为它与部队相伴而生,熟悉军事侦察的内容,理解军事侦察概念、属性并为其准确定位尤为重要。它直接影响着军事侦察权的行使。同时,准确把握军事侦察与刑事侦察的区别和联系,对部队正确执行任务和依法履行职责也具有重要的理论和实践意义。     

越野汽车非线性悬架系统建模与仿真研究

针对越野汽车的行驶条件,对传统线性被动悬架、非线性被动悬架和非线性主动悬架的动态特性进行了研究。建立了悬架系统的动力学模型,采用统计线性化方法对非线性弹簧悬架进行求解,利用MATLAB／SIMULlNK工具箱对悬架模型进行了动力学仿真。仿真结果表明：非线性弹簧悬架模型比传统的线性悬架模型更符合越野汽车悬架系统的振动运动,而采用基于线性二次型最优控制方法的主动控制非线性悬架,则能获得更好的行驶平顺性和操纵稳定性。