基于扩展Petri网的动态服务聚合流程描述模型及其BPEL4WS表示方法

针对现有服务聚合流程建模方法的不足,基于扩展Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了动态服务聚合流程模型中不确定路径选择和服务的动态变化性问题。给出了WSCP/R-net模型向BPEL4WS的转换算法,并以城市应急处理为例说明了转换算法的有效性。     

C4ISR需求开发新途径：基于本体建模

针对C4ISR需求客观上复杂且特殊、主观上难沟通等特点导致C4ISR需求开发难的问题,研究C4ISR需求本体,提出开发C4ISR需求的一条新途径:基于本体建模。首先,构建C4ISR需求本体元模型、语义模型,很大程度上澄清了C4ISR需求领域知识结构;然后,提出基于本体建立C4ISR需求模型的具体步骤;最后,示例说明方法的可行性、有效性,展示了方法的应用前景。     

基于活动的C4ISR系统作战需求综合建模方法

在综合分析DoDAF作战视图产品的基础上,对基于活动、以信息为中心的C4ISR系统作战需求综合建模方法进行了研究.首先利用UML的扩展机制(包括构造型、标记值和约束),建立了作战需求综合建模的元模型;其次,通过面向对象方法确定了最小核心要素集模型,并深入分析各个核心要素及其相互之间关系;最后,在上述基础上,明确提出了C4ISR系统作战需求综合建模的开发框架,为作战需求综合建模的过程提供指导.     

基于本体的CADM建模方法研究

体系结构核心数据模型(CADM)作为体系结构建设的通用参考资源之一,对C4ISR系统的顶层设计具有重要意义.通过深入分析CADM的开发要求及其特性,提出了一种基于本体的建模方法.该方法的主要特点是:通过在领域原始信息与最终实体联系模型之间建立本体模型,作为自然语言描述信息与逻辑数据模型之间的过渡,实现前者到后者的合理转换.该方法在逻辑数据模型设计及C4ISR系统数据工程两方面均有所突破.     

自行高炮武器系统机动生存能力建模评估

首先根据自行高炮武器系统的特点和功能,建立了自行高炮机动生存能力评估指标体系,然后根据自行机动能力的特点,建立了自行高炮武器系统的机动能力评估指标体系,运用层次分析法得出自行高炮的机动能力指数,并对武器系统抗毁伤、抗侦察、抗电磁干扰和防空拦截能力进行了量化,采用指数法建立自行高炮生存能力的综合指数评估模型.最后对某型自行高炮武器系统的生存能力进行了评估分析,验证了该模型的正确性.     

坦克分队战斗过程仿真

坦克分队战术训练模拟系统是在合成作战背景下,根据上级作战企图,指挥所属坦克分队完成具体作战任务行动过程的描述.战斗过程仿真模块是其中一个重要的组成部分,是建立整个作战模拟系统的核心.在开发坦克分队战术训练模拟系统当中,实施坦克分队战斗过程描述而进行的仿真建模研究,主要对坦克分队战斗仿真的要素,包括机动、交战过程、态势显示等进行了描述与建模,重点建立了交战过程中目标搜索、交火条件判断、交火单位选择、实力修正等模块,对分队训练模拟系统的研制与开发有一定的借鉴作用.     

组合建模的航母战斗群威胁预警方法

根据航母战斗群的运动特性,提出用灰色模型与自回归时序组合建模方法构建其运动预测模型.依据此模型对双方火力控制区的变化进行预测,最后给出了航母战斗群威胁预警仿真系统的实现思路.解决了陆基常规导弹对抗航母战斗群的作战保障工程的部分问题,具有较强的军事应用价值.     

CPN在导航装备维修保障效能中的应用

有色Petri网(CPN)作为目前离散动态系统建模中最活跃的建模工具之一,不仅有充分的模拟能力和丰富的分析方法,还便于使用和理解.首先介绍了有色Petri网的一些基本知识,然后运用有色Petri网的建模理论对导航装备维修保障系统进行了描述和建模,并运用Design/CPN对具体实例进行了仿真实现,其维修保障效能结论证明了建模思想的可行性.     

高炮组网战术信息分发系统(AAANTIDS)作战结构

首先概要分析了高炮组网战术信息分发系统(AAANTIDS)的定义、功能和作战运用设想,据此,针对高炮在未来防空反导作战中的运用方式,具体从未配备指挥自动化系统情形下高炮群组网作战、配备指挥自动化系统情形下高炮团(旅)组网作战、防空导弹与高炮混编组网作战3个方面分析了AAANTIDS的作战结构,为AAANTIDS进一步的概念建模、研制发展提供了总体思路与框架.     

基于Agent的综合电子战系统建模与仿真方法研究

Agent技术作为面向对象技术的延伸,为解决含有智能体、智能行为的复杂系统建模与仿真问题提供了有效手段。本文介绍基于Agent的综合电子战系统建模与仿真方法,对Agent的模型、结构和通信问题进行了较为详细的阐述。