基于任务空间概念模型（CMMS）的作战想定研究

任务空间概念模型是建模与仿真通用技术框架的三个组成部分之一，其目的是促进国防建模与仿真领域仿真部件的重用和互操作。而作战想定是综合电子信息系统建设过程中的重要组成部分，本文针对目前想定与仿真模型紧耦合而带来仿真系统重用性差等缺点，利用CMMS的思想，提出了一种能够实现想定与仿真系统相分离的处理机制，以促进想定的重用的和仿真的互操作性。     

基于HLA的机场行李传送仿真开发

HLA提供了一个应用于建模与仿真的通用技术框架的描述,是目前国内外大规模分布式交互仿真的趋势。介绍了分布交互仿真技术的发展,分析了基于HLA的分布式交互仿真系统的开发过程,开发了机场行李传送仿真模型。     

基于主模型的协同设计软件架构技术研究

运载火箭总体方案论证过程中,由于涉及专业多、专业间迭代交互频繁、设计方案多变等特点,容易造成多专业协同设计时版本与技术状态的不统一,需要研究针对运载火箭产品的通用建模方法,并开发相应的软件系统;基于统一数据源的协同设计理念,结合运载火箭总体设计与数据模型特点,通过定义基础信息模型、概念模型、参数模型、外部定义模型4种数据模型,提出了针对运载火箭产品的通用主模型构建方法;将此通用建模方法软件化,搭建了基于主模型的协同设计软件系统整体架构;此架构包含主模型管理系统、主模型建模工具及应用客户端三部分,实现了多专业协同设计过程中数据与版本的统一管理、技术状态一致性分析、谱系追踪、数据展示与应用等功能;该主模型建模工具与客户端软件系统的实现,为运载火箭的总体协同设计提供了工具支撑。     

基于HLA的仿真系结构及调度问题研究

HLA是构造建模与仿真通用技术框架的起点和基础.文中结合最新的HLA/RTI 技术文献,提出了基于HLA的分布-集中式仿真体系结构,提供针对该结构的多级调度方案, 并给出了时间Petri网性能模型和分析.这个方案结合了尽可能快的分析型仿真成员和独立 时间推进的实时仿真成员对时间服务的要求,能解决连续系统综合仿真中的实时协同问题, 具有实现简单、便于控制、易于扩展等优点,对充实HLA标准的可操作性具有现实意义.     

支持网络建模和仿真的Modelica模型管理框架

针对基于Modelica的多领域仿真模型组织方式不能支持模型的网络化共享控制及网络环境下在线建模仿真的问题,提出一种支持网络环境下建模与仿真的Modelica模型管理框架。首先分析了现有Modelica模型组织方式在支持网络多用户模式下的模型共享及建模仿真方面的问题,然后提出了基于数据库与文件仓相结合解决方案,既支持Modelica知识模型的网络共享,又支持网络环境在线建模与仿真。最后基于该模型管理框架开发实现基于网络的多领域统一建模仿真平台。     

基于CMMS的综合电子信息系统想定研究

任务空间概念模型是建模与仿真通用技术框架的三个组成部分之一,其目的是促进国防建模与仿真领域仿真部件的重用和互操作.而想定是综合电子信息系统建设过程中的重要组成部分,是进行战争模拟的基本前提;它针对研究分析和训练的问题,对模拟的战争系统的空间、时间、过程以及为了实现这一模拟仿真过程所需要的背景、条件、约束、规则以及仿真资源的设定.作战想定具体刻画了战争系统中需要描述的实体种类、数量以及需要关注的实体属性和活动.针对目前想定与仿真模型紧耦合而带来仿真系统重用性差等缺点,利用CMMS的思想,提出了一种能够实现想定与仿真系统相分离的处理机制,以促进想定的重用的和仿真的互操作性.     

可扩展建模与仿真框架的候选标准和运作模式

军用建模与仿真领域存在许多问题,而Web技术已经在信息技术领域取得了前所未有的成功,如何将Web技术应用于建模与仿真领域,正是可扩展建模与仿真框架要解决的问题.文章介绍了可扩展建模与仿真框架的背景,描述了这个框架的定义,分析了用于构建这个框架的若干候选标准,包括元建模和模型驱动架构、可扩展的三维图形、Web服务、语义Web、覆盖组播、仿真参考标记语言、基本对象模型和概要文件标准等,重点研究了如何基于这些标准构建可扩展建模与仿真框架,接着讨论了用于描述如何使用这个框架的运作模式,最后进行了简要的总结并对这一领域当前存在的问题给出了自己的看法.     

一种组件化仿真模型(SCM-1)及其实现

火箭飞行仿真系统是一种复杂大系统;为降低系统开发的复杂度,相关专业仿真模型应具有较高水平的可重用性以及较低水平的建模复杂度,并且遵照统一的建模规范,提出了一种新的仿真组件模型(SCM-1),论述了该模型的输入/输出接口、控制接口和功能接口组成形式,设计了基于XML的模型描述规则和C语言标准代码框架,在此基础上研究了一系列该模型的通用支持工具,最后给出了某弹道模型的实例,实践表明该仿真模型建模规范能够有效提高火箭飞行仿真系统的效费比。     

面向通信与指挥军事建模框架研究

军事建模框架是军事仿真研发过程中提出并运用的重要概念。鉴于我国军事通信与指挥的实际情况,提出了支持仿真模型集成及多分辨率模型的面向通信与指挥的军事建模框架(MMFOC2),设计了仿真模型体系的功能区分及分类体系,用实例说明了运用该建模框架进行作战仿真的基本流程,结果表明该模型及方法对于战术仿真系统建模是十分有效的。     

复杂系统基于Agent的建模与仿真设计模式及软件框架

提出了一种基于Agent的建模与仿真设计模式——ABMS设计模式，阐述了ABMS设计模式的主要内容。该模式的提出有利于在建模与仿真领域以及软件开发界之间建立关于ABMS的对话联系与交流。然后设计了一种包含仿真服务模型ServerAgent和仿真模型结构SimAgent的ABMS分布仿真框架，该框架将最大限度实现仿真重用，并将支持大规模的基于Agent的复杂系统的仿真，包括军事对抗以及天战系统的仿真。该框架部分借鉴了HLA的思想，其中的ServerAgent提供底层的通用仿真服务。     

基于HLA的火车站行李监测系统仿真开发

HLA是分布交互仿真的高层体系结构,它为复杂系统建模与仿真提供了公共的技术支撑框架.针对火车站的行李监测系统,提出了基于HLA的仿真开发设计.研究了系统的体系结构和工作原理,在此基础上着重论述了联邦仿真平台的构成和基于联邦开发和执行过程模型(FEDEP)的开发过程,进行了对象类和交互类的开发,对系统中主要的成员对象进行了联邦对象模型(FOM)和仿真对象模型(SOM)设计,给出了基于运行支撑框架(RTI)的仿真程序.     

A model framework-based domain-specific composable modeling method for combat system effectiveness simulation

Combat system effectiveness simulation (CoSES) plays an irreplaceable role in the effectiveness measurement of combat systems. According to decades of research and practice, composable modeling and multi-domain modeling are recognized as two major modeling requirements in CoSES. Current effectiveness simulation researches attempt to cope with the structural and behavioral complexity of CoSES based on a unified technological space, and they are limited to their existing modeling paradigms and fail to meet these two requirements. In this work, we propose a model framework-based domain-specific composable modeling method to solve this problem. This method builds a common model framework using application invariant knowledge for CoSES, and designs domain-specific modeling infrastructures for subdomains as corresponding extension points of the framework to support the modeling of application variant knowledge. Therefore, this method supports domain-specific modeling in multiple subdomains and the composition of subsystem models across different subdomains based on the model framework. The case study shows that this method raises the modeling abstraction level, supports generative modeling, and promotes model reuse and composability.     

多技术系统基于VHDL-AMS的统一建模与仿真技术研究

机电一体化系统设计要求跨领域的统一建模与仿真，多刚体动力学是其中的一个难点．通常的做法是采用动力学专用软件建模，求得DAEs形式的运动方程后再转化为集成环境中的统一建模语言．首先基于广义基尔霍夫网络理论，提出了基于端口的多技术系统集成组件，并采用VHDL—AMS混合系统建模语言进行描述．为了更有效的集成多刚体动力学，通过选取参考基作为端点，构造了计算多刚体系统动力学的广义基尔霍夫网络模型，具体阐述了基本组件的VHDL-AMS行为模型，从而将多刚体系统纳入基于VHDL—AMS的集成设计和仿真环境中．最后用一个实例进行了具体说明．     

基于HLA的战场攻防仿真系统设计研究

HLA是分布交互仿真的高层体系结构,它为复杂系统建模与仿真提供了公共的技术支撑框架.该文以导弹部队火力突击仿真系统开发设计为例,描述了一种基于HLA的战场攻防仿真系统的设计方法,这种仿真系统要能对真实战场攻防过程中可能涉及到的各个方面进行不同层次的体系对抗仿真,并能够对仿真全过程进行管控、监视、分析和记录.同时该文介绍了KD-FMT联邦运行管理工具、KD-DCT数据采集工具、KD-Fed Wizard联邦成员框架自动生成工具等几种国内较实用的系统仿真工具软件.     

Modeling group structures in pedestrian crowd simulation

Grouping is a common phenomenon in pedestrian crowds and plays important roles in affecting crowd behavior. Group modeling is still an open challenging problem and has not been incorporated by existing crowd simulation models. Motivated by the need of group modeling for crowd behavior simulation, this paper presents a unified and well-defined framework for modeling the structure aspect of different groups in pedestrian crowds. Both intra-group structure and inter-group relationships are considered and their effects on the crowd behavior are modeled. Based on this framework, an agent-based crowd simulation system is developed and crowd behavior simulations using two different group structures are presented. The simulation results show that the developed framework allows different group structures to be easily modeled. Besides, different group sizes, intra-group structures and inter-group relationships can have significant impacts on crowd behaviors.     

一种基于HLA的交互式仿真框架及其应用

HLA提供了一个应用于建模与仿真的通用技术框架的描述，是目前国内外大规模分布交互仿真的趋势。但是在构建基于HLA的仿真平台时，大部分系统都是针对特定的仿真问题，平台的扩充性和重用性较差。该文针对构建基于HLA的仿真平台，提出了一种基于HLA的交互式仿真框架ISF。由于ISF没有局限于具体的问题，且充分考虑到扩充性和重用性，昕以在ISF上可以方便地构建一个解决特定问题的基于HLA的仿真平台。同时，给出了一个在ISF上实现模型联邦成员和视景联邦成员交互的仿真应用。     

一类伺服控制系统的MLD建模与仿真研究

为了实现一类伺服控制系统的高性能控制,本文提出了基于混杂动态系统理论的混合逻辑动态（MLD）建模方法对系统进行建模。从分析系统的混杂特性出发,介绍了离散混杂自动机（DHA）建模框架和建立系统MLD模型的基本原理和步骤。将本质上混杂的伺服控制系统在DHA框架下进行建模分析,然后利用混杂系统描述语言（HYSDEL）这种统一的建模语言对系统进行抽象描述,并转换成便于计算和性能分析的MLD模型,最后通过仿真试验验证了本文所建立的MLD模型在对系统进行开环控制时具有高性能。     

SCICOS环境下通信链路层次化仿真建模研究

基于开放源代码软件SCILAB和图形化动态仿真器SCICOS,提出了一种构建通信系统动态集成设计环境的技术方案。该方法具有很强的描述能力和可扩展性,图形模块与实际物理环境具有一致性,并且对各种仿真资源进行了统一的管理。仿真实验证明,该系统架构为通信链路系统的建模仿真提供了通用的框架。     

OWL-S过程模型的形式化描述与相容性分析

构建组合服务的形式化模型是对其进行验证的前提与基础,然而缺乏统一的构建框架使得建模过程变得难以把握且无法实现自动化。通过对确定型有限自动机的扩展,建立了用于描述OWL-S过程模型的有限迁移系统——服务过程自动机,为组合服务的形式化建模提供了统一框架和自动化基础。同时,通过分析服务过程自动机的可接受位置及其在组合过程中可能产生的约束,将相容性划分为三个等级,从而能够在不同强度的可靠性要求下进行组合服务的验证工作。