事件驱动过程链在军事信息系统建模中的应用

要实现军事信息系统的合理设计必须进行有效的系统建模.通过分析事件驱动的过程链(EPC)和Petri网的特点,提出两者相结合的建模方法,着重研究了基于EPC的系统过程描述方法,在EPC模型中引入组织描述和数据流描述,并分析了控制流、数据流相结合的结构合理性验证方法.设计实现了系统建模工具,并通过实例介绍建模过程,验证方法...     

装备保障能力的动态评估

进行装备保障能力的评估研究,对于武器装备战斗力的形成和保持有着重要意义.针对评估过程中存在的不确定性因素和动态变化的特征,提出基于集对理论和马尔科夫链的装备保障能力动态评估方法,为装备管理决策者制定装备保障方案提供了科学依据.     

大攻角导弹控制的经典和现代方法比较

比较研究了大攻角导弹的经典和现代控制方法的精度和鲁棒性.基于大攻角非线性弹体动力学模型,根据经典三回路控制系统结构和动态逆双时标极点配置方法分别设计了控制器,研究了两种控制方法的指令跟踪精度和抗弹体气动参数摄动的鲁棒性.结果表明,传统控制方法的鲁棒性和快速性与现代方法基本一致,而现代方法则具有更好的稳态精度.     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

装甲装备智能化发展的主要方向探究

当前,人工智能技术已在军事领域全方位渗透,"智能参谋"、无人机蜂群、无人战车、仿生机器人等武器装备已投入军队使用并取得了良好作战效果.装甲装备作为军事武器装备的重要组成部分,在未来智能化战争中仍然是陆战场的主角,而装甲装备的智能化发展也正在由单个"功能点"的突破向"战术面"融合的阶段迈进.本文认为,未来智能化战争对装甲...     

基于逆向分层的工作流时间-费用优化方法

针对效用网格下基于优先级因子的工作流时间-费用优化问题,基于工作流的同步完成特征对任务进行分层并提出三种实时调度算法:基于逆向分层的sufferage(BLSuff)、基于逆向分层的min-min(BLMin)及基于逆向分层的min-max(BLMax)。算法设计基于优先级因子的衡量标准对时间与费用同时进行优化,并为任务设置期望完成时间以达到充分利用费用优化空间进行费用优化的目标。实验结果表明这三种算法在各种优先级因子下都能对工作流的执行时间与执行费用进行较好的优化。     

基于LOG算子的激光雷达图象边缘检测算法改进

针对LOG算子的不足之处,提出了一种激光雷达图像的边缘检测改进LOG算子算法:用二维自适应Wiener滤波代替Gaussian滤波。仿真结果表明:对于含有高斯噪声和乘性噪声的激光雷达图像,该算法能够有效提高LOG算子的边缘检测能力。     

一种基于神经网络调整权值的雷达信号识别法

研究了一种基于神经网络训练修改权值的加权M距离法用于雷达信号的识别,通过仿真试验验证了此法的正确性和有效性,并对试验结果进行了分析和讨论。     

当前消防管理体系存在问题及对策

以调研为依据,分析了当前消防管理体系存在的问题。并从进一步建立和完善社会化消防管理体系、善消防力量体系、社会消防保障体系、消防宣传教育体系几个方面,提出了一系列健全和完善消防管理体系的方案。     

舰队CEC系统的对抗方法研究

CEC系统的使用使得舰队真正成为了一个整体,同时使得舰队的作战能力相比以前有了很大的提高.如何与舰队CEC系统进行对抗是未来作战的重要研究内容.在对CEC系统进行介绍的基础上,分析研究了美军舰队的作战方式和其CEC系统的结构特点.通过分析提出了对抗CEC系统的方法和手段.