基于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雷达系统除了具有非相参积累增益的优势以外,还具有较强的主瓣杂波抑制能力。     

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

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

雷达网优化部署仿真系统研究

雷达网优化部署仿真系统可以模拟雷达网的部署,自动地计算出雷达网各项战术指标,并能对雷达网的部署方案进行评估、调整、选优.主要描述了雷达网优化部署仿真系统的组成、其核心部分优化部署模块数学模型的建立及其理论依据、该数学模型优化算法的实现及其与其它优化方法的性能比较.     

作战指挥工作流程建模方法

针对作战指挥工作流程的建模与仿真研究较少的现状,采用了基于高级Petri网的建模方法。首先在企业相关概念定义基础上,对建模对象———作战指挥工作流程进行了定义,简要介绍了Petri网建模方法的特点以及对基本Petri网的扩展,举例说明了4种过程机制映射到Petri网上的方法,提出结合树状组织结构图和资源管理表的方法扩展Petri网库所容量的含义及管理机制。     

一种基于双目视觉原理的飞机尾旋运动姿态测量方法

针对飞机尾旋运动研究中的姿态测量问题,提出一种基于双目立体视差原理的测量方法.通过两部相机拍摄图像的视差,恢复模型表面特征空间三维信息,由表面特征计算模型运动姿态.设计了一组有特定形状和严格尺寸的人工特征,具有识别正确率高、定位精确等特点.提供人工特征的设计方法.最后,分别给出旋转天平实验和风洞实验的实测数据,实测结果表明该方法测量准确,鲁棒性好,在立式风洞飞机模型尾旋运动测量的应用中十分有效.     

基于认知模型的人为差错分类方法

为了保证人为差错分类的全面性和一致性,在详细分析现有人为差错分类方法的基础上,提出了一种新的人为差错分类框架.该框架以"执行差错,忽略"为起点进行细化,得到五种基本的人为差错类别.以此作为人为差错原语,结合认知模型,分析了不同认知阶段可能出现的人为差错模式.实例证明,在这种分类方法指导下来分析人为差错,对提高人为差错分类结果的全面性和一致性有着重要意义.     

电子战条件下雷达接收信号模型

文中建立了电子战条件下雷达信号环境数学模型,包括雷达发射信号数学模型,目标回波信号数学模型,电子干扰（有源干扰和无源干扰）信号数学模型,杂波数学模型以及噪声数学模型