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

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

仿真建模与形式化

离散事件仿真在复杂系统的分析和设计中正得到越来越广泛的应用, 在仿真研究中仿真建模是一项十分复杂而且难以掌握的工作。对仿真建模形式化的研究可以增强对离散事件系统的认识, 改进仿真建模过程、从而构造出更有效的仿真模型。本文讨论了形式化在仿真建模中的作用, 回顾了在仿真建模形式化方面所进行的研究工作, 重点讨论了基于系统理论的形式化系统描述和离散事件仿真的数学形式理论。     

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

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

一种语义扩展的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的形式化组合方法以及基于MDA的组合建模仿真方法。通过对不同方法的分析比较，提出进一步研究多层次组合问题以及跨县次组合建模仿真方法的展望。     

基于HLA/RTI的联合仿真建模技术框架

针对复杂系统仿真建模中存在的分布式交互、协同性及动态性等问题,分别着重研究了HLA/RTI、人工生命MAS、DEVS等仿真建模技术及其相互间的联合策略,在HLA/RTI高层软件体系框架下,以人工生命MAS为系统基本单元建模,以DEVS为系统基础环境建模,并在此基础上,提出了一种联合仿真建模技术框架,给出了在军事后勤保障仿真建模中的应用实例.     

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

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

连续/离散混合型制造系统的生产过程虚拟仿真建模

离散事件仿真建模被广泛应用于制造系统的设计及运行控制,但是很多制造系统兼有离散系统和连续系统的特点。提出一种将离散事件与连续系统结合起来的仿真建模方法,以支持动态展现这类制造系统的生产过程。该方法的主要思想是,主机内部的机构运动主要采用连续系统进行仿真建模,而主机之间的加工顺序则利用离散系统来构建其仿真模型,然后由统一的仿真管理器管理。论文详细描述了虚拟仿真引擎中的仿真时钟推动机制,并用这一方法建立了面向啤酒灌装生产线生产过程的虚拟仿真模型,说明了这一方法的可行性。     

本体在建模与仿真中的应用

在知识工程中,本体论方法主要用于知识的重用和共享,为解决建模与仿真领域中的领域信息描述、系统重用与互操作、仿真可组合等问题提供了思路.首先分析了信息科学领域中的本体定义,然后研究了基于本体的模型开发,包括本体在一般模型开发过程中的作用,离散事件建模本体和本体驱动仿真方法,接着探讨了本体在可组合性仿真中的作用,最后作为总结,指出了本体在建模与仿真领域的方展方向.     

基于状态流的一类混杂动态系统仿真方法

针对一类使用离散逻辑算法控制连续状态系统的混杂动态系统,应用Simulink仿真中的建模困难和协调连结问题,提出了利用StateFlow模块为离散逻辑系统建模并加入触发机制的解决方案.介绍了StateFlow的建模方法,以鱼雷采用自动调整提前角导引算法的水平面自导仿真为例,详尽叙述了基于StateFlow实现离散逻辑导引算法的具体步骤,建立了鱼雷水平面自导系统Simulink模型,并对整体混杂动态系统进行仿真计算.算例表明,所建立的仿真方法能有效地解决混杂动态系统仿真过程中的同步协调问题,并且简洁高效.     

通用一体化仿真平台软件的设计与实现

主要介绍了一个通用一体化仿真平台的概念模型和设计与实现技术方法。所开发的仿真平台既能对不同的工程和社会应用问题实现建模、仿真、分析和可视化,又能对一般工控过程系统进行实时仿真和监控,并且能支持其它仿真系统或与之进行数据交换和资源共享。 该仿真软件平台已成功地在一些实际工控系统的过程仿真与优化控制、辅助决策分析和教学仿真实验等方面得到应用,获得了较好的经济和社会效益。     

复杂系统管理中的仿真方法研究：挑战与机遇

近年来,随着工业技术和社会生产力的发展,很多系统呈现出复杂性和不确定性两个显著的特征,其中复杂性可以进一步刻画为大规模、网络化和动态性等。计算机仿真是这类复杂系统建模的重要工具,可以用来解决复杂系统管理中的很多问题。系统的复杂性和不确定性也给现今的仿真工具带来了很多挑战,在建模、预测和优化领域都有很多问题亟待解决。包括高性能计算、大数据和人工智能技术在内的很多新兴技术则为解决这些挑战带来了机遇,这些技术与仿真工具的深度融合将是下一代仿真工具研发的关键。     

工程级和交战级仿真系统体系结构研究

提出了工程级和交战级仿真系统体系结构,指出该体系结构由数字仿真层和硬件在回路中的仿真层组成.还提出了工程级和交战级仿真支撑环境体系结构,指出该体系结构由建模与仿真支撑环境、建模与仿真资源库以及相应的模型标准组成.以联合建模与仿真环境JMASE为例对工程级和交战级仿真体系结构的实现方法和技术进行了详细研究.     

略论军用仿真技术面临的需求与发展的方向

面对高技术战争,军事怀国防领域在多个方面对仿真技术有更广和更深放的需求,把握这些需求是发展仿真技术的基础。本文主要从战法研究、指战人员训练和武器装备建设三个方面分析了国防与军事领域对仿真的需求,着重讨论了仿真技术对武器全寿命周期的支持。从需求的分析中,归纳了军用仿真技术应着重发展的方向,特别提出了作战仿真是满足各类需求的基础。     

协同仿真运行管理平台研究与实现

研究协同仿真运行管理平台的设计和实现。协同仿真平台支持异地建模、分布仿真、支持不同仿真工具之间的互操作。协同仿真运行管理平台是协同仿真平台的一部分，具有仿真运行管理、仿真时间管理、仿真数据管理等功能。本文探讨了运行管理平台的实现机理，最后介绍了一个应用实例。     

仿真与教育

仿真科学与技术不仅是一种新的教学方法、是一种实践与实验教学的新手段，而且是未来智能化教学的基础。以上观点在实际应用中得到证实。     

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…     

仿真优化在制造系统中的应用现状及发展趋势

仿真优化技术是实现传统制造向可预测制造、科学制造转变的关键技术,目前已经引起科学界和企业界的广泛关注。在阐述了仿真优化基本原理和方法的基础上,介绍了国内外仿真优化技术在制造系统中各个层次的应用概况、研究成果及各种仿真优化系统采用的开发工具,并对国内外发展状况进行了简要的对比分析,指出了目前仿真优化研究中存在的问题以及主要发展趋势。     

车载人因协同仿真系统研究及实现

为提高现代车路协同系统中人车联合测试能力,搭建车载人因协同仿真系统。运用分布式理论建立汽车模拟仿真联合平台,构建车载人因协同仿真系统,基于MQTT(message queuing telemetry transport)消息队列遥测传输协议,优化数据分发效率与数据采集效率。仿真实验表明:构建的车载人因协同仿真平台降低了参与实验HMI(human machine interface)子系统与主系统的耦合性,具有良好的鲁棒性和灵活性,分布式数据分发机制使多终端子系统埋点数据采集与数据融合效果大大提升,且可扩展以支持更多的车辆子系统和其他终端设备的仿真研究。     

一种基于HLA的卫星仿真系统的设计与实现

针对当前卫星仿真中仿真工具可扩展性差和空间环境模型复杂的问题,设计并实现了一种基于HLA的分布式卫星仿真系统.在架构设计层面,遵循分布式系统设计思想,把系统自底向上划分为数据支撑层、仿真支撑层和仿真应用层,并基于负载均衡的考虑,设计了四个功能集中的仿真应用子系统.在系统实现层面,结合虚拟现实技术,实现了想定方案的灵活配置以及星空环境和在轨卫星的实时渲染,搭建了支持多种卫星仿真应用的通用仿真运行平台.在仿真应用层面,实现了在此平台上对卫星编队变轨过程的仿真,并实时采集仿真数据对仿真结果进行分析和评估.