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

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

基于DEVS扩展SRML大纲:仿真模型表示和重用的基础

总结了SRML用于仿真模型表示和重用的意义与存在的不足，提出结合DEVS理论，对SRML大纲进行扩展的途径。重点阐述了DEVS到SRML的映射关系，确定SRML的基本语法和语义，来描述原子模型和组合模型的结构及行为。模型的结构，如属性、输入接口、输出接口、子模型组成等由一组XML标签元素进行描述；模型的行为，如外部转移函数、内部转移函数、输出函数、时间推进函数等由Script标签中的脚本语言以及仿真器提供的一组标准接口进行描述。归纳了扩展的SRML元素体系，并给出一个利用SRML求解微分方程的仿真实例。     

体系对抗仿真模型形式规范研究

体系对抗仿真已经成为武器系统作战效能评估和武器装备论证的有效手段。然而,目前缺乏对于体系对抗仿真模型抽象方法的研究。在总结体系对抗仿真实体层次建模和体系层次建模基本要素的基础上,对DEVS进行扩展,给出了面向体系对抗仿真的模型形式规范描述,包括实体模型形式描述、事件类型形式描述、体系模型形式描述以及实验模型形式描述。体系对抗仿真模型形式规范是对DEVS向体系层次描述的有益扩充,可以有效地指导体系对抗仿真的建模工作。     

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

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

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

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

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

基于BOM的仿真模型组件研究

基于组件的建模方法能有效地减少建模任务的复杂性,通过重用、替换、改进以及扩展组件实现快速构建动态的仿真系统和仿真环境。首先描述BOM(Base Object Model,基本对象模型)模板结构,接着分析BOM与SOM(Simulation Object Model,仿真对象模型)/FOM(Federation Object Model,联邦对象模型)的关系,设计基于BOM的仿真模型组件。从语法层和语义层研究仿真模型组件的基本结构,比较仿真模型组件与软件工程组件的区别,并通过支持工具进行仿真模型组件的设计与开发。     

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

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

基于HLA /DEVS的协同仿真高层建模研究

针对目前缺乏一种基于HLA的具有通用性、可扩充性的协同仿真建模方法，提出基于HLA／DEVS的协同仿真高层建模方法．首先提出基于DEVS的联邦高层模型表示方法，然后讨论了HLA联邦高层模型的接口变量映射到HLA数据对象的原则和实现方法，最后给出基于HLA／DEVS的高层建模软件框架，以支持层次化和模块化的协同仿真高层建模。     

基于基本对象模型的HLA仿真系统VV&A过程探究

基本对象模型(BOM)是SISO提出的标准化仿真模型组件的描述规范,基于BOM的HLA仿真系统可以从仿真模型组件层面上提高系统的重用性和互操作性.VV&A过程的探究有助于VV&A工作的开展和规范.介绍了BOM在HLA应用中的体系结构,并简要提出基于BOM的HLA仿真系统的开发步骤,最后对该类仿真系统的VV&A过程展开研究,重点研究了用户模型、仿真模型组件及联邦成员三者的V&V.实践表明:提出的VV&A过程切实可行,对VV&A工作起到了很好的指导作用.     

基于DEVS的BOM组件与仿真引擎研究

在组件化建模与仿真领域内,基于BOM规范的KD-XSRFrame组件建模与仿真框架得到了广泛的应用,但是以离散时间仿真为手段的设计模式使得由BOM组件构成的仿真系统性能不高。因此,如何提高运行效率成为基于BOM的组件式建模与仿真必须解决的问题。根据现有组件系统的不足,引入离散事件的概念重新设计了BOM组件模型和仿真引擎,提出了基于离散事件系统规范的BOM组件建模框架,实现了以事件为中心的仿真引擎。测试结果表明该系统能有效地减少模型调用和引擎工作的开销,显著地提升了整个仿真系统的运行性能。

Abstract：

In the field of MS of Component, the modeling and simulation framework based-on Basic Object Model （BOM） named KD-XSRFrame has been used widely, but its performance is inefficient for the design basis of discrete time. And the key issue in BOM component MS is how to improve the performance of simulation application. The deficiencies of legacy system was profoundly discussed, the BOM component and its engine were reengineered by using the concept of discrete event, a new modeling framework of BOM base-on Discrete Event System Specification was put forward, and a new engine was designed which focused on events. The experiment shows that the BOM component and engine of discrete event can sharply decrease the spending of model function calling and time advancing, and greatly improves the performance of simulation application system.     

基于HLA的基础对象模型研究

在HLA仿真领域中,FOM的开发对于HLA的推广十分重要。但随着应用的不断增长,这项工作变得越来越困难。基础对象模型(BOM)则是一种正在发展的新技术,它是经SISO批准的RFOM的一种模型,在遵守HLA规范的前提下提供了一种基于构件的开发方法,从而在更广阔的领域内进一步促进了仿真的互操作和可重用。本文将探讨BOM技术的概念、描述及构造方法。     

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

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

面向组件的仿真系统构建方法研究

随着软件组件技术的不断发展,基于组件的软件开发方法在仿真领域逐渐被接受,特别是基于分布式的仿真软件开发。SISO（仿真互操作标准组织）提出的BOM（基本对象模型）通过标准化规范描述面向组件的仿真模型,为构建具有可扩展、可组合和可互操作的仿真系统提供了面向组件的实现技术。首先,描述BOM的模板结构及其体系结构,设计基于BOM的仿真模型组件结构,分析这种结构的仿真模型组件间的互操作性;接着从概念层次、联邦成员层次和联邦层次三个不同层次提出面向组件的仿真系统构建方法;最后讨论一种通用的仿真运行框架,通过组合不同的仿真模型组件实现仿真系统的快速构建。

Abstract：

With the development of the software component technique, the components based software development method is accepted in the simulation domain and specifically in the distributed simulation’s software development. The standard of Base Object Model （BOM） developed by SISO （Simulation Interoperability and Standard Organization） is the component-oriented specification of simulation models which gives a component-oriented technique to construct extensible composable and interoperable simulation systems. Firstly, the template and architecture of BOM were described based on which the structure of simulation model components were designed and the interoperation between them were analyzed; Secondly, the processes for constructing simulation systems were argued from the concept level and the federate level to the federation level; Lastly, by composing various of simulation model components, the general simulation running framework which was argued provided component-oriented capabilities to rapidly building simulation systems.     

仿真系统概念模型的有效性确认

仿真技术在各种系统分析、系统设计、管理控制、性能评价以及人员培训等诸多方面都得到了广泛应用。但是，不幸的是仿真很容易被利用不当，原因主要是缺乏模型确认。本文旨在阐述如何应用决策理论对仿真系统概念模型的有效性进行确认，并提出某些个人见解。     

基于BOM的STSS系统仿真设计与实现

以空间跟踪与监视系统（Space Tracking and Surveillance System,STSS）为仿真对象,基于高层体系结构（High Level Architecture,HLA）分布式仿真技术设计、开发STSS仿真系统。分析了STSS技术特点及仿真需求,按照基本对象模型（Base Object Model,BOM）开发标准构建系统的层次化联邦架构,提高了系统开发效率和模型的可重用性。通过对不同场景的多次仿真,初步验证了STSS的性能指标,说明该系统具有良好的适应性。

Abstract：

Based on HLA distributed simulation technology, design and implementation of STSS simulation system, the technical traits of STSS system and demands of simulation were analyzed. According to BOM development standard, a framework in hierarchy of STSS simulation system was constructed, which has effectively improved the efficiency of system realization and the capability of model reuse. By simulating the different scenarios repeatedly, the performance parameter of the STSS simulation system was tentatively verified, and applicability of the simulation system was proved.     

仿真概念模型的开发过程研究

仿真概念模型是为了满足仿真应用目标而对真实世界进行的首次抽象,它为领域专家、开发人员和VV&A人员提供了关于真实世界的一致规范的描述,它把具体的仿真需求转化成为详细的设计框架.仿真概念模型包括仿真背景,任务空间和仿真空间三个组件,针对它们各自的特点,提出了工程上可用的仿真概念模型的开发过程.     

社会大规模群体行为仿真概念建模框架ARE

任何一个仿真系统中,概念建模是首要的也是最关键的环节。针对EATI(实体、行动、任务、交互)和EBI(实体、行为、交互)概念建模框架在社会域概念描述方面的不足,为体现大规模社会民众群体行为的涌现性特征,将实体和行为有机结合起来用主体Agent进行描述,并采用复杂网络的有关研究成果建立Agent之间的社会结构——社会关系网络,以及突出强调环境对行为的影响和制约作用,用智能环境的思想来简化行为描述的复杂度,提出了大规模社会群体行为建模的Agent、社会关系网络、智能环境(Agent Relation Environment:ARE)概念建模框架,给出了该框架所涉及的一系列概念的定义,并对框架的内容和特点进行了较为详细的阐释和探讨。     

基于领域规则的军用仿真模型组合建模

分析了仿真模型的句法和语义组合方法,针对当前的组合方法在表达领域知识对组合建模约束存在的问题,提出了基于领域规则的仿真模型组合建模方法。采用符合HLA标准的基本对象模型表示原子模型和层次组合模型。通过逻辑规则表示组合建模的接口匹配规则和组合模型的领域知识,并根据领域知识建立组合建模的领域规则。用通用逻辑推理引擎实现领域规则对组合建模的约束检验和接口匹配检查。通过某电子对抗仿真系统的应用,结果表明,该方法和BOM结合是一种有效的组合建模方法,能有效的表示领域知识对组合模型的约束。