跨组织应急业务过程挖掘

对跨组织应急业务过程案例进行分析,给出了跨组织应急业务过程任务的形式化定义及其协作关系的定义,根据跨组织应急业务过程任务间的协作关系定义不同组织间的协同模式;然后,基于扩展消息库所的Petri网模型来描述跨组织应急业务过程模型;给出挖掘组织内业务过程模型和组织间协同过程模型的挖掘算法,最后通过模型集成算法将不同组织的内部业务过程模型和组织间协同过程模型进行合并,得到跨组织全局应急业务过程模型,使用PIPE对模型进行正确性验证。     

基于O-PPN的装备体系任务线程建模与分析

针对当前武器装备体系(weapon system of systems,WSoS)任务建模分析方法难以描述各装备系统多态性的问题,结合Petri网与Markov过程提出了一种基于O-PPN的装备体系任务线程建模与分析方法。在定义武器装备体系的基础上,对装备体系的使命任务进行形式化描述。改进传统Petri网,构建一种行动-性能Petri网(operation-performance Petri net,O-PPN),以满足装备体系一般任务线程的建模需要,同时针对装备系统性能退化及可能存在"提前"状态的问题,构建基于Markov的装备系统性能退化模型,通过输入各装备系统的可靠性参数得到相应的状态概率集合,并根据任务线程中各行动对于各装备系统性能水平的要求,结合作战任务及行动的任务成功与失败准则,计算装备体系整体的任务成功概率,最后通过对案例进行仿真运算,验证了所提方法的可行性。     

基于作战构想一体化分析的作战能力需求生成方法研究

通过总体研究作战顶层构想、从作战行动角度研究作战行动构想、从作战功能角度研究作战功能构想,提出对应的行动任务和功能任务,以此为基础综合研究提出作战一体化构想、一体化能力内容和能力需求。此方法是在拥有行动任务库和功能任务库的基础上,经过作战设计和一体化分析生成作战能力需求,原理简单,应用方便,适用于能力深入研究阶段。     

空天地协同作战混合分层指挥控制体系结构研究

为了解决空天地信息网络下作战系统中指挥决策的任务分级方式、上下级之间以及同级之间的协同决策问题,提出一种混合分层指挥控制体系结构,并对其组成元素进行分析。每个作战单元根据其所承担任务的粒度,被分成多个层次,并利用协同规划网络完成层次之间的链接。重点介绍了混合分层指挥控制系统多级协同规划方法,并针对相关的重点问题给出简单模型描述,为系统的进一步设计提供依据。     

复杂网络理论的作战网络动态演化模型

为动态评估作战组织结构对作战效能的作用影响,采用复杂网络分析了信息化条件下作战组织结构的网络化特性,综合考虑作战组织实体及组织结构关系的异质性,构建了基于多维加权的作战网络模型,定义了刻画作战网络性能的协同增益特征量.以提高作战效能作为网络演化动力,分别设计了择优演化和随机演化两种作战网络动态演化模型,结合协同增益指标提出了分析作战网络动态演化与作战效能之间内在关联及影响规律的方法,仿真结果验证了方法的可行性,为设计与优化作战组织结构提供理论依据.     

低层反导作战交战仿真模型研究

从低层反导作战特点和反导交战行动过程入手 ,用系统的观点和军事运筹方法对低层反导作战交战行动的本质和关键模型进行了研究 ;提出了低层反导作战交战过程模型、发射决策模型、引导模型、战斗部爆破杀伤效果模型。其目的是通过对低层反导作战交战仿真模型的研究 ,既为低层反导武器装备的研究论证提供参考模型 ,又为建立低层反导作战仿真系统提供模型支持     

无人机在未来美军空中遮断作战中的运用分析

空中遮断作战作为美军空中力量对地面部队实施支援的一种重要方式,是美军联合空中作战核心任务之一.在近几场美军主导的局部战争中,空中遮断均发挥了重要的作用.海湾战争中,盟军空中力量出动对地打击战机4万多架次,其中3.8万余架次被列为空中遮断;伊拉克战争中,美空军仅为支援陆军第三机械化步兵师的作战行动,就出动了3324架次的飞机实施战场遮断,摧毁目标2400个.在新军事技术革命大潮影响下,美军大力推进无人作战体系建设,军用无人机得到快速发展,已从传统的侦察监视拓展到电子干扰、空中交战、火力打击和通信中继等多个领域,在未来空中遮断作战行动中呈现出广阔的运用前景.     

以工作过程为导向构建高职软件技术专业课程体系

以工作过程为导向的课程体系符合职业岗位对专业人才的要求,基于工作过程分析工作任务、导出行动领域、构建学习领域、设计学习情境,实现了学习领域与工作领域一致、学习过程与工作过程一致、学习任务与工作任务一致。     

无人机目标搜索/识别/攻击作战效能评估方法研究

探讨了攻击型无人机目标搜索、识别、攻击作战效能评估方法问题.通过分析典型作战情况,在搜索理论基础上,运用概率方法,针对非任务协同的单机/单目标、单机/多目标、多机/单目标、多机/多目标情况及多机/多目标的任务协同情况,分别建立了数学模型,并给出单目标、多目标搜索生成树和目标识别矩阵.分析表明,虚假目标攻击率FTAR对任务成功概率PMS的影响,随着FTAR值大于0.01而变得更加敏感,且降低较多.任务协同对所有作战情况并不一定都能提高PMS,这对实际作战安排给出了指导性原则,对提高无人机机群的作战效能具有实际意义.     

基于细胞膜演算的Dryad形式化描述

由于Dryad编程模型的实现并不开源,导致关于Dryad编程模型的理论研究较为缺乏。本文利用细胞膜演算在描述并发系统的优势,对Dryad编程模型中任务执行过程进行了准确清晰的形式化描述,并对Dryad编程模型的容错机制进行了描述,最后通过一个实例检验了形式化描述结果。本文的形式化描述方法有效地丰富了编程模型的理论体系,为编程人员提供了任务调度的优化依据,同时该形式化描述还可作为验证程序正确性的辅助工具。     

岛上城市进攻作战装备保障面临的问题及对策

岛上城市进攻作战是一场对坚固防御之敌实施的联合作战行动,是我军未来军事行动的重要作战任务;详细分析了集团军岛上城市进攻作战装备保障面临的一系列难点问题;确立了装备保障的指导思想,认为:岛上城市进攻作战装备保障必须科学使用保障力量并切实加强指挥协调,灵活运用多种保障方法,提高装备物资供应的连续性,增强生存防卫能力。     

军事力量结构平衡模式及转换

联合作战是我军军事斗争准备的主要作战样式。实施联合作战的军事力量,特别是军事力量结构平衡状态的质量,是关系联合作战行动成败的重要影响因素;分析了军事力量结构平衡的一般样式,并对军事力量结构平衡状态的演变过程进行了初步探讨;提出了军事力量结构平衡的调节方式、优势军事力量的特征和"杀手锏"装备的特征,为我进行军事力量结构平衡与调整、"杀手锏"装备建设提供理论基础。     

雷达兵作战管理灰决策模型研究

提出了雷达兵作战管理的概念,并对密集空中目标作战环境下的任务分派灰决策进行了构模。基于该构模过程,介绍了雷达兵作战管理建模思想与方法。文章后提出了若干可能的雷达兵作战管理模型。     

联合战役决心方案的形式化表示方法

总结了信息化战争形态下,军事训练模拟领域对联合战役自动决策的军事需求;采用实体、行动、任务、交互(entities,actions,tasks,interactions,EATI)方法和XML(extensible markup language)技术,对联合战役决心方案中需要描述的内容、实体、行动、任务等分别建立形式化描述模板,并在此基础上,构建了联合战役决心方案形式化描述模板,用来支持联合战役自动决策系统的研制。     

基于EUO架构的战场网络作战能力生成模型研究

根据作战力量建设评估需要，重点研究了基于EUO架构的战场网络作战能力生成模型。首先，从作战能力生成的分层构建思想入手，阐述了战场网络作战能力生成的EUO架构内涵，对作战要素能力、作战单元能力、作战行动能力和作战程序链分别进行了定义说明，分析了层级能力生成关系；之后，通过叠加要素的自衍生作用、互耦合作用、单元的促优化作用和外部环境的影响波动作用，构建了战场网络作战从要素能力、单元能力到行动能力的动态生成模型；最后，通过反无人机作战行动想定实例，验证了该模型的可行性和有效性，为战场网络作战能力建设提供模型和方法支撑。     

基于工作过程的成本计算与分析课程优化改革

成本计算与分析是高职院校财务会计类专业的核心课程。为了突出职业能力培养,按照"工作任务分析—行动领域归纳—学习领域转换—学习情境设计"的思路,以企业生产组织方式和生产工艺的类型(任务)为载体,介绍了高职院校成本计算与分析课程基于工作过程的优化改革背景、课程设计思路和实施方法,以期为同类院校的相关课程改革提供有益借鉴。     

面向计划任务的综合集成协同模型研究

在分析CSCW领域中常用的群体协同工作模型基础上，设计了一种面向计划任务的综合集成协同模型，解决了计划群体或计划人员在制定作战计划过程中所面临的协同问题．该模型在DOPGS系统中得到了应用，取得了一定实效．     

应用Pi 演算描述工作流高级模式

分析了对工作流进行形式化建模的意义,应用Pi演算对工作流高级模式进行了形式化描述。在深入研究工作流过程基本结构特征与Pi演算基本理论的基础上,提出了一种语义清晰的描述方法,该方法相比以前的方法可以更好地描述工作流的动态改变,为进一步形式化分析、描述工作流奠定了基础。最后以旅游预订业务系统为实例进行了业务过程建模。     

多UCAV协同打击多目标实时三维航迹规划

为提高无人作战飞机(Unmanned combat aerial vehicle, UCAV)协同实时航迹规划的实时性和可操作性,针对多架UCAV协同执行对地作战任务过程中的协同实时航迹规划问题,提出一种基于自学习策略和Lévy飞行的正弦余弦优化算法(Sine cosine optimization algorithm with self-learning strategy and Lévy flight, SCASL)的多UCAV协同打击多目标实时三维航迹规划方法.首先,构建三维任务空间模型并根据UCAV平台性能设计了飞行速度、飞行高度、相对距离以及威胁规避等约束条件;其次,基于UCAV的三自由度运动学和动力学质点模型设计了协同实时航迹规划的决策变量;最后,根据UCAV作战使用战术原则构建了目标函数将协同实时航迹规划问题转化为优化问题,采用所提出的自学习策略和Lévy飞行的正弦余弦优化算法对模型进行求解,并采用病毒搜索算法(Virus colony search, VCS)求解模型作为对比实验.仿真结果表明,同等条件下,VCS求解模型得到的仿真结果满足协同性要求但不满足实时性要求,SCASL求解模型得到的仿真结果满足实时性与协同性要求,验证了本文所提出的基于SCASL的多UCAV协同实时航迹规划方法的有效性与优越性.     

无人机自主飞行任务管理器规则集的Petri网建模与验证

针对规模与复杂度日益增大的自主飞行无人机任务管理器策略规则集,提出采用将"颜色"表达为质数形式的改进的有色Petri网方法对规则集进行建模研究,并依据改进的有色Petri网模型运行过程中各库所内托肯数值的特征设计了规则集存在问题的判定准则。采用该方法对某无人机自主飞行任务管理器规则集进行了建模与验证,结果表明了该验证方法的有效性。