体系对抗仿真SEB组合建模方法论

体系对抗仿真已经成为武器系统作战效能评估和武器装备论证的有效手段。然而，目前缺乏对于体系对抗仿真建模方法的研究。总结了面向效能评估的导弹体系对抗仿真基本概念和特点，分析了体系对抗仿真模型描述中存在的主要问题，在此基础上，提出体系-实体-行为的分层组合描述方法，作为体系对抗仿真的建模方法，即SEB组合建模方法，并给出其参考模型和各个层次建模的参考视图．SEB组合建模方法将体系对抗仿真建模的复杂性分解到各个层次的建模当中，再通过组合形成完整的战场对抗体系模型，可以有效指导体系对抗仿真的建模工作。     

DEVS研究进展及其对建模与仿真学科建立的作用

DEVS 作为一种系统建模与仿真的模块化、层次化和形式化描述机制,可用于描述离散、连续以及连续和离散事件构成的混合系统.DEVS从一般系统理论出发,提供的形式化描述可进行数学分析,以此为基础可推动建模与仿真方法和技术的发展,支持建模与仿真学科理论和方法体系的建立.概述了DEVS的思路和描述方式,从中归纳了其特点,分析了其实质.对国际上研究的情况进行综述,包括概况、类型、研究方向、工具和国内研究情况.探讨了通过DEVS研究来促进我国建模与仿真学科理论体系建立、仿真教学知识体系形成,仿真技术研究等问题.     

海军武器装备体系对抗的建模与仿真方法研究

提出了支持海军武器装备体系实验研究的顶层对象模型体系框架,以确保在不同研究层次、不同研究方向上保持对装备体系理解和描述的一致性。然后,针对体系对抗建模与仿真的主要目的,系统地论述了建模与仿真的方法和步骤,其中包括层次化指标体系的定义、不同层次指标之间映射关系的确定以及仿真的实验分析与结果分析。最后,对建模与仿真方法的主要特点进行了总结,并简要说明了今后的主要研究方向。     

面向体系对抗仿真的毁伤模型建模框架研究

在战争实验室中进行体系对抗仿真已成为当前迫切而急需解决的问题。针对体系对抗仿真中毁伤评估建模面临的新毁伤机制研究、软毁伤计算、毁伤计算细化要求、毁伤可信性要求等问题,提出了多层次毁伤评估模型的建模框架,此建模框架规范了战略级、战役级、战术级和工程级毁伤模型建模过程、内容和方法;探讨了毁伤评估模型体系和毁伤指标体系构建问题;提出了层间毁伤模型的验证方法,指导构建满足体系对抗仿真需要的具有一定可信度的多层次毁伤评估模型。     

基于MDA的DEVS/SMP2变换模型研究

SMP2是在欧航局内成功应用的仿真模型重用标准,DEVS是最具代表性的设计层仿真模型表示规范。研究DEVS到SMP2的映射与变换对于模型重用的实现具有重大意义。提出了基于MDA的变换方法论,给出了SMP2元模型的MOF兼容性改造方案,设计了基于MOF的DEVS元模型,搭建了DEVS元模型与SMP2元模型之间的映射关系,基于关系层QVT规范描述了该映射关系从而形成了DEVS与SMP2之间的变换模型,讨论了该变换模型的应用方案与下一步的工作。     

基于DEVS的多分辨率建模形式化描述规范研究

随着分布交互式仿真技术的发展，多分辨率建模成为建模与仿真的关键技术之一。提出了一种多分辨率模型系的概念，并分析了多分辨率模型系的重要性质。多分辨率模型系描述了同一实体的不同分辨率模型之间关系。在多分辨率模型系和DEVS描述理论的基础上提出了一种多分辨率模型系统的形式化描述规范MRMS，证明了该规范的重要性质，尤其是它的耦合封闭性。在MRMS的基础上，可以进一步深入开展多分辨率建模的理论和实现研究。     

基于DEVS的防空作战模型可重用性研究

仿真模型重用是当前仿真领域的热点问题,其在工程领域的实现能够极大提高开发效益。鉴于各类现代防空作战行动中的相似性,采用DEVS方法为其建立分层耦合的离散事件模型(DEM),在事件驱动层面对各类应用情景中的模型状态转移做了统一的、规范的描述,并针对不同的应用情景引入行为模型(BM)建模,在行为表示层面上描述模型状态转移的具体算法,最后设计了BM和DEM结合的动态链接方式,给出仿真程序组成示例,实现了从事件驱动层到行为表示层的模型重用。     

一种基于离散事件系统规范的复杂产品行为模型描述方法

基于离散事件系统规范(discrete event system specification,DEVS)的多分辨率形式化描述具有层次化、结构化的描述能力,但对模块内部智能行为描述相对匮乏,而基于Agent的建模可以刻画个体的感知行为、通信协作和学习进化.在多分辨率建模框架下,结合DEVS和Agent模型描述以提供对事件...     

复杂电磁环境仿真试验体系的模型验证方法研究

依据无人飞行器复杂电磁环境适应性能力试验验证评估需求,提出了"一条主线、两级仿真、三个层次、分层仿真、综合评估"的复杂电磁环境抗干扰仿真试验体系。其中"一条主线"是指紧扣应用需求,坚持仿真全过程的模型校核、验证和确认(VV&A)开展仿真;"两级仿真"是从建模与仿真的角度出发,建立交战级(系统级)和工程级(部件级)两级仿真,向上可以支撑任务级(体系级)仿真系统仿真模型的建模与验模;"三个层次"是指探测设备的仿真模型粒度分为信号级仿真模型、介于信号模型与功能仿真模型之间的模型、功能仿真模型三个层级;"综合评估"是对"两级三层次"试验得到的关于对抗进程和结果的数据进行综合处理,对复杂环境下某型装备抗干扰能力进行综合性评估。在此基础上,详细阐述了复杂电磁环境仿真试验体系的模型验证方案,并且提出了信号级、功能级仿真系统的模型验证方法及其实施步骤,为复杂电磁环境下仿真试验体系的模型验证工作提供有效的技术支撑。     

基于Agent的体系对抗仿真建模方法研究

面向信息化战争的武器装备体系对抗仿真，从复杂系统建模的角度对传统系统仿真建模方法提出了严峻挑战。因此，需要以CAS理论为依据，研究新的武器装备体系对抗仿真建模方法，以适应信息化战争模拟的需要。为此，我们在分析体系对抗仿真需求的基础上，从基于Agent的体系对抗仿真建模概念、仿真建模概念框架、仿真建模策略，基于Agent的体系整体“涌现”行为建模等问题入手，探讨了基于Agent的体系对抗仿真建模方法问题，并结合体系对抗仿真实验，研究了基于Agent的实体行为建模、实体交互建模和实体模型结构，提出了基于Agent的体系整体“涌现”行为建模思想和建模规范。     

Research on system-of-systems combat simulation model formal specification and representation

1. INTRODUCTION Weapon equipments acquisition and demonstration has become more and more prominent in the informationalized war conditions while operational effectiveness evaluation is its core part. The compl- exity and uncertainty of weapon systems operational effectiveness evaluation make traditional analysis methods or expert evaluation methods less effective to solve problems. Simulation based operational effe- ctiveness evaluation is an efficient solution. The increased complexity o…     

一种语义扩展的DEVS模型表示方法

离散事件系统规范（DEVS）是建立在一般系统理论的基础上的有效的模块化系统建模规范。针对当前基于DEVS的仿真模型表示方法不能描述模型上下文,不能有效支持模型语义组合、重用的问题,提出了语义扩展的DEVS模型表示方法（SEM-DEVS）。SEM-DEVS在原有的DEVS模型规范基础上,增加了模型的实验框架和语义扩展接口,增加了对模型行为表示能力的要求。在SEM-DEVS形式化定义的基础上给出了实验框架以及语义扩展接口的逻辑关系及匹配方法。以逻辑公式方式表示实验框架和语义扩展接口,给出SEM-DEVS的一种实现方法。

Abstract：

Based on general theory, DEVS is an effective and module modeling specification. For the problem of lacking capability of current model representation approaches to describe context and support semantics reuse and composition of simulation model, a Semantic Extended DEVS （SEM-DEVS） model representation approach was proposed. On the base of DEVS, experiment frame and semantic extended port of model were extended to SEM-DEVS. Stricter request to describe the behavior of model was proposed in SEM-DEVS. Logic relationship and match method of experiment frame and semantic extended port of model was brought forward base on formal definition of SEM-DEVS. An implement of SEM-DEVS was proposed, in which experiment frame and semantic extended port were both represented by logic formulas.     

基于语义匹配的作战体系仿真想定生成方法

针对传统的想定建模方法耗时长、成本高的问题,为了实现作战体系概念模型数据到仿真想定的数据映射重用, 提出一种基于语义匹配的作战体系仿真想定生成方法。首先,基于网络爬虫技术获取武器装备的参数信息, 构建了作战领域知识库。在此基础上, 提出了新型的混合式语义匹配方法以提供仿真想定的数据来源, 根据自然语言数据库WordNet开展调参实验确定算法参数, 通过对比人工打分结果有效提高了算法的可信性。在确定了概念模型与仿真想定的数据映射关系后, 给出了仿真想定的生成方法。最后, 通过编队突防仿真应用案例, 验证了该方法的可行性。     

武器装备体系对抗的一种研究方法

武器装备对抗的体系化是信息化战场的显著特征,然而体系对抗过程的复杂性使得体系作战效能研究相对较为困难。基于系统工程思想提出了一种体系对抗的研究方法,方法将研究内容分为四个层次:对抗交互层、系统损伤层、功能层、效能层,首先给出了各层次的定义。然后对该研究方法的思想和步骤进行了详细的阐述,通过建立各层次描述指标,研究层次间相互关系,在此基础上从分析体系对抗的物理规律入手,采用定量与定性相结合,依次完成各层指标的推理和计算,得到对抗条件下武器装备体系的作战效能。最后以导弹防御体系与具有突防能力的某导弹武器系统的对抗为例,验证了方法的有效性。     

基于DEVS原子模型的智能体离散仿真构建方法

智能体由于自身交互行为与学习行为的复杂性,难以直接被建模和仿真.针对智能体离散仿真中的常见问题,借助DEVS (discrete event system specification)原子模型的事件转移机制表示智能体的交互与学习过程,通过对智能体交互模式、多状态外部事件转移控制、端口连接模式、以及强化学习事件转移表示等...     

DEVS/HLA分布仿真系统的时间推进方法研究

离散事件系统规范(DEVS)和高层体系结构(HLA)关注于不同的系统层次,将它们结合起来可以有效实现模型重用并利于仿真系统的校核和测试.DEVS/HLA分布仿真环境是将两者集成在一起的实现形式,该环境的核心在于如何利用时间管理服务在HLA分布模式下实现DEVS协议.在对DEVS/HLA环境的体系结构进行详细分析的基础上,详细研究了协调者控制和基于映射机制的两种时间推进方法,着重针对映射式方法提出了一种改进的时间推进算法,该算法能够为成员提供尽可能大的前瞻量,从而改进了DEVS/HLA系统的时间推进效率,算法的实际性能通过实验进行了验证.     

体系作战效能评估与优化方法综述

分析了体系作战效能评估与优化的特点,基于"整体论"提出了将体系作战效能评估与优化划分为综合评估、分析、优化3个阶段的思路,针对3个阶段需要解决的实际问题,归纳总结了适用于解决各阶段问题的典型方法,并对比分析了不同方法的优缺点.针对"整体论"思想指导下体系作战效能评估与优化在实施中面临的实际困难,从综合应用框架设计、评估...