基于语境的仿真模型可组合性判定准则研究

组合仿真理论和方法研究的核心是仿真模型的可组合性.论文基于面向组合的MS框架描述了语境与可组合性判定的关系,通过定义应用语境和模型语境,论证了可组合性问题的本质是在应用语境约束下判定仿真模型及其组合在模型语境中是否为真,进而基于应用语境对模型语境的接口剪裁和行为剪裁提出了模型组合在满足应用需求方面应具备的条件,构建了四个IO规范层次上可组合性的判定准则.判定准则的提出不仅清晰地描述了可组合性判定的研究层次和内容,而且有利于将语境显式地表达为仿真模型的元数据从而促进可组合性设计以及仿真模型成熟度的工程实践.     

基于HLA的坦克装备综合保障建模与仿真

为了解决装备综合保障系统仿真效率低、模型可重用性和可扩展性差,以及分布式协同建模环境不完善的问题,提出了基于HLA的装备综合保障建模与仿真系统框架以及建模流程,建立了某坦克师的装备保障模型并仿真,获取了保障系统的主要性能参数,模拟了装备的综合保障.既提高了装备综合保障仿真系统的建模效率以及仿真能力,又增强了模型的可重用性和互操作性.     

基于BOM组件模型的可组合性研究

首先讨论了仿真模型及其接口,模型的语法组合、语义组合以及组合的判定方法。重点研究了BOM模型组件在HLA中的运用,利用BOM状态机分析了基于BOM的仿真模型组件的组合特性,探讨了基于BOM仿真模型组件的仿真系统框架的构建方法,研究了在资源库管理系统中基于BOM组件的模型组合装配问题。通过对基于BOM的组件模型的可组合性研究,促进了模型开发和接口设计的标准化,同时增强了模型的重用性和互操作性,提高了建模仿真的效率。     

支持语义验证的卫星网络仿真框架研究

为保证卫星网络仿真异构模型和服务的可重用性和互操作性,支持仿真的正确性验证,使用基于本体的集成工具Protégé和推理机Pellet建立了支持语义的卫星网络仿真框架.在分析支持语义的仿真验证概念基础上,明确了卫星网络集成仿真框架的实现目标,并提出仿真框架三维视图.针对卫星网络覆盖特性仿真任务,根据仿真框架生成的一致性仿真实例,开发了仿真应用并给出仿真分析结果,证明仿真框架可以保证仿真应用的语义正确性.     

基于MDA的仿真模型开发与集成方法研究

主要介绍了一种基于MDA的仿真模型开发与集成方法。探讨了MDA在仿真模型组件重用和可组合中的应用,如实现实验、想定、分析和模型集成的一致性;提高仿真模型组件的重用性和可组合性;支持仿真模型和仿真系统需求和设计的工程化;更容易支持体系结构视图的描述;支持开发可配置强的和柔性的仿真系统等。介绍了当前基于MDA的仿真应用的发展,并提出了一个基于MDA的仿真模型集成框架和仿真模型开发与集成方法。该集成框架采用MDA的思想,将仿真模型分为仿真模型设计组件和仿真模型运行组件,通过建立面向仿真设计模型组件的仿真元模型规范、仿真组件对象规范、仿真服务规范和仿真模型组件组合规范确保仿真模型的设计、开发、集成和运行的一致性和仿真系统发展的可持续性。     

舰艇综合防空反导作战仿真框架研究

仿真框架的制定可有效提高仿真系统开发效率和水平,提高资源的可重用性和系统的自适应更改能力。确定了舰艇综合防空反导作战仿真研究的体系边界,从战术和技术两个层面提出了舰艇综合防空反导作战仿真框架。对战术仿真框架结构及各模块功能进行了阐述;基于模型驱动架构(MDA)及组件技术的理论和方法,建立了可灵活重组的技术框架。该框架为舰艇防空反导仿真提供了较为全面、可行的技术实现方法,且具有较强的通用性。实际应用表明,在该框架的指导下,仿真系统开发过程规范、简单,仿真资源可重用性强,仿真系统可扩展性强。     

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

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

基于CMMS的团队仿真训练形式化概念建模

为解决基于EBAT的团队仿真训练概念建模过程中,领域专家、训练专家和仿真专家之间有效沟通,以及提高概念模型质量和重用性等问题,基于建模要素分析,提出一种基于CMMS的仿真训练概念模型分层逻辑结构,以及概念模型形式化描述方法。基于工作流模式与团队训练的交互特征,提出事件因果关系模式及其形式化描述方法,并应用于事件响应过程描述。在此基础上,提出形式化概念模型的正确性校验规则。训练实例描述及校验验证了概念模型形式化描述及校验方法的有效性。     

基本对象模型(BOM)在HLA仿真系统中的应用

为了促进在世界范围政府部门和非政府部门的仿真互操作能力,仿真互操作标准组织(SISO)引进BOM支持和提高仿真组件的重用性。BOM作为一种促进互操作性、重用性和可组合性的实现机制,鼓励灵活、快速、有效地开发和管理模型。通过研究BOM模板规范和体系结构,设计基于BOM的通用HLA仿真框架,实现通过基于BOM的仿真模型组件快速组合和重用,从而构建具有功能可扩展性和规模可控性的多样性联邦成员和联邦,提高分布式仿真系统的重用性和互操作性。     

基于COSIM的鱼雷武器弹道建模与仿真研究

简述了协同仿真平台(COSIM)的体系结构,针对通用仿真程序设计语言开发一体化仿真软件包难以规范和重用的问题,研究了基于COSIM仿真环境的模块化建模方法,通过COSIM的图形化建模工具实现不同粒度的可重用性模型的设计,完成了鱼雷武器的静态和动态行为建模。通过仿真概念推演,验证了所建模型的正确性,并反映了该建模方法具有快捷、规范、重用性好等优点。     

一种语义扩展的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.     

复杂仿真系统重用模型可信度评估方法

在资源高度共享的今天,模型重用可增强仿真应用的灵活性和可扩展性,是复杂仿真系统构建的必然选择。然而,评估多模型组合仿真下的可信性是模型能否实现有效重用的基本问题。针对面向实物和面向数值解算两个不同应用环境的仿真模型重用,提出基于偏差传播的仿真重用模型可信度评估方法,详细介绍了各自建模方式及评估方法。以无人机复杂仿真系统为例,通过与经典可信度评估方法对比,说明了该方法可降低在重用模型可信度方面的评估难度,验证了方法的可行性。     

防空C3I系统综合集成仿真环境研究

防空C3 I系统综合集成仿真环境的研究 ,是降低防空C3 I系统仿真复杂性、提高仿真全过程透明度以及系统重用性的根本途径。根据防空C3 I系统仿真的特点 ,探讨了防空C3 I系统综合集成仿真环境的概念框架 ,并针对其综合集成仿真环境的体系结构和仿真支撑环境等关键技术进行了深入的分析 ,提出了构建防空C3 I系统综合集成仿真环境的基本框架。     

基于SMP2的仿真模型测试方法研究

仿真模型的有效性评估一直是建模与仿真领域研究的重要课题。在工程大系统的仿真模型集成过程中,由于传统仿真模型的验证方法受到建模方法和建模语言的多样性以及模型重用语境变化的影响,使工程总体难以确定导致系统行为产生偏差的模型单元。从测试的角度以SMP2（仿真模型可移植性规范）为基础提出层次化语境驱动的仿真模型测试方法论,从测试框架的描述机制、测试框架的分解机制以及面向测试的仿真模型验证方法等三个方面讨论方法论的具体内容,为基于SMP2的仿真模型提出可测试性设计方法。     

基于Agent的复杂系统智能仿真建模方法的研究

文章提出的包括仿真建模结构、控制结构和智能模型的基于Agent的复杂系统智能仿真方法，在借鉴了HLA体系结构同时，对HLA中的对象概念的做出扩展。文章提出的建模方法能最大限度的共享建模与仿真技术，提高建模与仿真的可重用性和互操作性，同时也弥补了HLA的不足之处，使得计算机仿真技术的辅助决策能力得到了充分的体现。针对智能仿真的体系结构，给出了相应的仿真实例模型。     

空间交会GNC仿真系统建模中的设计模式

为实现空间交会仿真系统的快速建模，降低研制成本与风险，采用可复用面向对象设计模式对空间交会GNC仿真系统进行了抽象，讨论了策略模式、生成器模式、抽象工厂模式在积分过程，摄动力对象组合和GNC子系统中的应用。设计模式的应用为GNC系统建模提供了一种基本框架，使得系统更容易维护、扩展和复用。     

武器装备体系论证仿真环境的设计

HLA的出现为武器装备体系论证提供了新的技术支撑，但对于一个部门如何有效的利用HLA来为武器装备体系论证服务，还需要整体上对其仿真环境进行系统的设计。本文从重用的思想出发，根据武器装备体系论证的需求和作战仿真的特点，对一个部门的武器装备论证仿真，提出了采用以HLA为核心的先进分布仿真技术框架，以仿真资源库为中心，建立包含联邦开发、运行支撑、演示、控制管理、分析评估的仿真环境，在此仿真环境的支撑下，通过重用快速建立各种样式的分布仿真应用系统的思路。