基于Z形式化规范的多Agent协作模型研究

用形式化规范语言Z定义了多A gen t协作模型的基本元素,包括:A gen t、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通过城市区域的连锁超市物流调度系统说明了该形式化规范为多A gen t协作提供了一致性和连贯性。     

网络化防空作战C~2结构模型抗毁性

从网络动力学特征的角度,研究网络化防空作战C2结构模型抗毁性问题,针对以往的抗毁性测度指数不适用于C2网络抗毁性研究的现状,考虑C2网络信息融合的时延及战场感知覆盖率等因素,提出的抗毁性测度指标:最大连通片尺寸与网络规模比,最大连通片平均最短路径长度L,网络化效能系数。在指标的基础上对C2网络模型的抗毁性进行研究,并分析不同的空袭策略对防空作战C2网络抗毁性的影响。     

系统可靠性分配的研究进展

系统可靠性分配是可靠性设计的重要任务之一,其主要作用是为可靠性设计提供辅助决策。给出了可靠性分配流程,研究了可靠性分配模型的发展状况,重点介绍了可靠性分配问题的求解算法,指出了各类算法在分配中的应用及其需进一步解决的问题,同时分析了国内外典型的分配软件,总结了各软件中可靠性分配的主要功能,最后对可靠性分配提出了进一步的研究展望。     

MIMO雷达目标子空间建模与检测性能分析

针对具有分布孔径结构的MIMO雷达系统,建立了能描述空域和时域不确定性的目标子空间模型,即多维信号模型,并利用不变原理给出了这种MIMO雷达系统的最大不变检验统计量以及几种子空间检测器。对这些检测器性能的研究表明,目标子空间的维数以及各维上目标功率分布的均匀性对MIMO雷达系统的检测性能都有较大影响;与具有相同天线尺寸的相控阵雷达相比,在角闪烁目标的检测问题中,MIMO雷达系统除了具有非相参积累增益的优势以外,还具有较强的主瓣杂波抑制能力。     

动态武器目标分配问题的马尔可夫性

动态武器目标分配(weapon target assignment,WTA)问题是军事运筹学研究的重要理论问题,也是作战指挥决策中迫切需要解决的现实问题。在对动态WTA问题进行描述分析的基础上,运用随机过程理论证明了动态WTA过程的马尔可夫性;给出了该马尔可夫决策过程的状态转移概率的解析表达式,并对其状态特点进行了简要分析。研究结果可以为动态WTA及相关问题的研究提供理论和方法依据。     

用户偏好提取MDP建模研究

将马尔可夫判决过程和智能强化学习算法相结合,给出了异构无线网络环境下用户业务偏好评估模型的技术框架。为动态环境下用户需求的感知、量化和适配特征的研究提供了基本的数学描述,对解决用户体验的评价问题和业务与业务环境的适配问题提供了新的研究思路。仿真结果表明所构建的MDP模型能够在多状态条件下学习用户偏好,根据用户需求智能选择业务。     

联合作战规划中资源调度算法研究

以联合作战为例建立任务和作战平台资源模型,通过多维动态列表规划算法(Multidimensional Dynamic List Scheduling,MDLS)进行任务-平台分配,对平台选择提出了两种不同的优先权计算方法,通过对案例求解比较了不同方法的结果.     

无人侦察机作战效能评估模型

以层次分析法为基础,应用模糊评价的方法,综合考虑无人侦察机自身系统以及在作战运用中的多种情况,提出了完整的无人侦察机作战效能评估指标体系.建立了无人侦察机作战效能评估模型,从而实现了无人侦察机作战效能的定量评估,其中效能指标综合计算中融合了层次分析法和模糊系统理论.通过仿真计算,验证了模型的正确性.研究结果避免了复杂推理过程,且计算方便,可用于无人侦察机发展论证及实际作战.     

基于装备水平和知识的空中作战效果分析

分析了按作战效果进行空军武器装备需求分析的三种常用方法的特点,建立了一种全自动化解算模型,比较完整地讨论并描述了根据装备水平分析作战效果时需要考虑的关键因素,总结了需要使用的相关军事知识,并给出了表达方法,研究了推理机制.构建了各种战斗类型的效果评估模块,实现了软件系统并应用于一个重要课题研究,取得了比较理想的效果.     

基于黑板模型的空袭目标识别专家系统

在对空袭目标信息进行综合利用的基础上,建立了基于黑板模型的多传感器空袭目标识别融合专家系统模型,模拟专家识别思维.给出了知识库的构造方法和知识的表示方法;推理机的设计结合了问题求解的黑板模型和D-S证据推理方法.该模型对目标的综合应用识别具有很好的借鉴作用,测试表明该系统具有很强的推理能力,融合模型有较高的识别准确性和可靠性.