网络化作战C2系统建模与仿真研究

信息化战争的体系对抗建模必须考虑网络化C2系统的建模问题.从实际需求出发,分析了信息网络及指挥机构建模问题,研究了C2组织结构中指挥决策节点的行为过程及其之间的信息交换关系,将整个C2组织结构看作耦合的两个网络：信息网络和指挥网络.建立了耦合的信息/指挥网络Agent模型和决策实体之间的信息流结构模型.设计并实现了一个基于网络化C2系统的信息化战争仿真实验平台.     

基于SOA和MDA的模型重用和组合技术研究

基于复杂产品总体设计部门的模型重用和组合需求,总结了现有的模型重用和组合方法在支持复杂产品总体设计上存在的不足.结合产品设计模型的特点提出了基于面向服务架构(Service-Oriented Architecture,SOA)和模型驱动架构(Model DriVen Architecture,MDA)的模型重用和组合方法,设计了组件模型的接口规范和组合模型描述规范,并在此基础上实现了组合模型代码的自动生成算法.最后将该方法应用于一个基于Web Service的分布式仿真动态组合框架,并给出了相应的应用实例,验证了方法的技术可行性.     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

基于多主体NetLogo平台的反无人机OODA体系对抗建模

针对日益严峻的无人机或无人机蜂群威胁问题,以及反无人机作战系统设计过程中存在的体系对抗建模、总体流程设计和作战效能评估等难题,研究无人机与反无人机系统的组织架构与作战流程,提岀基于多主体建模NetLogo平台的反无人机OODA (Observe-Orient-Decide-Act)体系对抗模型,利用仿算模型中主体作用的...     

基于降阶模型的GPS/PINS组合导航试验研究

卡尔曼滤波器的计算负担与其阶数的三次方成正比，为了研究GPS／PINS（Platform Inertial Navigationsystem）组合导航系统的性能，基于卡尔曼滤波器降阶模型，设计了GPS／PINS实时组合导航跑车试验系统，跑车试验过程中实时采集GPS的位置和速度信息以及平台惯组的加速度和姿态角等信息，进行滤波解算，实时输出解算结果。为评估二者的组合效果，同时接入差分高精度GPS，跟组合结果进行比对。试验结果表明，基于降阶模型的组合导航系统可以满意的完成导航任务。     

基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

模数驱动的智能武器装备作战建模方法

仿真建模作为一种模型驱动的机理建模,一直是武器装备系统采办、设计和评估等工作的主要手段.随着大数据和人工智能的深入应用,数据驱动的数据建模越来越受到关注.首先从模型驱动、数据驱动和模数驱动三个方面对武器装备作战建模方法进行概述,分析单独使用仿真建模或数据建模在应对当前武器装备作战建模工作的不足,提出一种模数驱动的数字化建模方法.该方法核心是模数驱动架构的设计,在此基础上运用功能决策树表示作战行为模型,对于行为模型中的决策环节,基于深度强化学习训练和嵌入数智Agent.通过构建弹道导弹突防过程中的多目标分配场景,对比仿真实验显示,采用智能网络决策比传统基于规则脚本的目标命中率有显著提高.     

基于相关因素的决策优化模型建模方法

结合机载导弹阵地战场抢修决策平台项目开发,提出了基于相关因素的决策优化模型建模方法。该方法建立在建模的可分离原则上,首先对决策问题自顶而下地进行相关环境和相关因素的分离,然后自底而上地建立综合集成决策优化模型。同时,该方法采用形式化表示体系来描述建模过程。应用该方法建立了面向机载导弹阵地战场抢修决策的优化模型。应用表明,该方法协调了建模过程中多角色的交互问题,为模型的可用、应用和复用打下了良好的基础。     

基于元建模的雷达电子战仿真语言研究与应用

基于元建模技术的领域建模语言(DSL)及其支撑环境可以大幅度提高软件的开发效率和可维护性。基于面向领域的设计思想,提出了雷达电子战仿真语言的技术架构,包括服务层、工具层、模型层和应用层;设计了支持模型开发全过程的六级建模机制和相应的模型功能体系。结合应用实例介绍了雷达电子战建模语言的实现方法,开发了支持多类型代码自动生成的模型解析器;采用信息总线和计算总线相结合的方法,实现了模型驱动平台。最后对该仿真语言的应用特征作了介绍。     

基于电商平台的供应商竞争和模式选择研究

考虑既自营又向第三方开放的混合电商平台企业,如京东和亚马逊等,其供应商既可以选择在平台上开辟官方直营店(寄售模式)也可以将产品批发给电商平台企业(批发模式).本文研究了基于混合式电商平台的两供应商的模式选择和价格与服务竞争策略.首先,在四种可能的供应商策略组合模式下分别建立了电商平台主导的价格与服务动态博弈模型;然后,研究了两供应商策略组合的Nash均衡;接着,分析了市场因素对供应商均衡策略组合和平台模式选择的影响.研究发现:当供应商的服务效率相对较高,服务敏感度和服务竞争强度较大或价格敏感度和价格竞争强度较小时,均衡策略为两个供应商均选择寄售模式;这些市场因素适中时,一个供应商选择寄售模式而另一个供应商选择批发模式为均衡策略;否则,均衡策略为两个供应商均选择批发模式.最后,结合产品特征分析了向第三方开放对平台的影响,研究发现:只有在平台具有较大的服务效率优势且产品具有价格竞争强度较大而服务竞争强度较小的特征的时候,平台才适合完全自营,否则都应该向第三方部分开放或者完全开放.这些研究结果对电商企业决策产品的销售渠道和平台模式选择具有重要的指导价值.