基于ExSpect领域模型库的装备维修机构仿真环境构建

应用可执行规格说明语言及工具Exspect,建立了支持维修机构建模仿真分析的领域模型库.该环境支持下,通过可重用组件的安装和实例化,可显著提高维修机构的建模效率.在模型仿真环境中,可自动运行模型,直观分析系统运行特性,并可进行定量分析,为维修保障建模、仿真提供了实用、高效的技术手段.     

C4ISR体系结构描述的逻辑和行为验证

针对体系结构描述过程中遇到的产品一致性问题,提出一种用可执行模型来分析验证模型一致性的方法.首先根据C4ISR体系结构描述过程中形成的活动模型、规则模型、数据模型,生成体系结构可执行模型,然后将可执行模型的仿真执行顺序、运行结果与作战想定以及动态模型进行对比,来对C4ISR体系结构描述进行逻辑和行为验证.用一个歼击机防空的例子来说明此个过程.     

复杂系统的可执行模型仿真方法研究

针对复杂系统早期验证评估过程中,由于模型不可执行造成的问题,提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义入手,将复杂系统模型分为结构模型和行为模型,扩展fUML元模型得到复杂系统的可执行元模型,使用这些元模型来构建复杂系统的可执行模型,并为可执行模型定义了行为语义。为了支持可执行模型的仿真,设计了相应的仿真执行系统,定义模型仿真所需要的仿真语言和执行规约,将行为模型转换为可执行的进程项,依据执行规约对进程项进行仿真执行来实现复杂系统的可执行模型仿真。最后以区域防空系统为例说明了方法的可行性。复杂系统; 可执行模型; 可执行模型代数; 模型验证     

基于ExSpect的复杂离散事件动态系统建模

随着petri理论与应用研究的不断发展，petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析，没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件，提出了基于Exspect的复杂离散事件动态系统建模的方法，并进行了实例研究。     

可执行能力需求模型的动作语义研究

针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified modeling language, UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型,描述了动作语义的基本内容、执行机制以及表示。最后构建了可执行能力需求模型的仿真平台,并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义,同时也实现了能力需求模型的仿真和验证。     

基于RTW和VxWorks的飞行控制系统实时仿真

介绍了一种使用Simulink/RTW建模工具和Tornado/VxWorks嵌入式实时操作系统进行飞行控制系统快速原型的方法。首先对一个非线性的纵向短周期运动的飞机模型进行了线性化后的动态逆控制系统的设计。该控制系统满足C^＊准则。然后使用Simulink的模型代码自动生成技术,生成经优化的可直接在VxWorks系统上实时运行的应用程序,并且能够实时监控目标机的运行状态以及对Simulink模型实现在线调参。接着,以Pentium4处理器微机为目标机,在以太局域网的环境中下载可执行模块,实时运行和监控目标机的运行。最后,将实时仿真的结果与Simulink的数字仿真结果进行了对比分析。     

基于HLA的电子信息作战训练仿真系统分析与设计

应用工程化的过程、方法和工具进行分析与设计是仿真系统开发的基础环节。参照建模与仿真领域和软件工程领域中的模型开发与运行过程模型,将基于HLA的电子信息作战训练仿真系统的分析和设计过程划分为一系列相互关联的阶段,每个阶段形成不同应用目的的模型,其中,系统结构和行为模型的创建基于联邦成员软件框架代码自动生成工具KD-FedWizard。示例表明,分阶段的分析与设计过程具有较好的工程可实现性;联邦成员软件框架代码自动生成工具的运用提高了电子信息作战训练仿真系统分析和设计的效率。     

Petri网：一种可视化建模支持工具

Ｐｅｔｒｉ网作为建模工具已有广泛的应用，本文把Ｐｅｔｒｉ网引入到决策支持系统之中，把它作为ＤＳＳ的可视化模型管理和建模支持的工具．文中讨论了基于Ｐｅｔｒｉ网的模型表示方法，研究了Ｐｅｔｒｉ网表示的模型的循环和连通问题，并给出了模型求解过程和模型生成的算法     

基于DEVS-SYSML-CPN的复杂武器体系建模方法研究

提出了一种基于DEVVSy-SysML-CPN的层次化武器体系建模与分析方法,该方法通过系统构件的逐层分解,以及系统静态模型、逻辑模型、可执行模型逐级映射的途径,能有力地应对集成复杂武器体系结构的分析问题,很好地支持了DoDAF的建模规范.重点阐述了DoDAF建模规范在复杂体系结构建模方面的不足,以及DEVS、SysML所做的改进.     

基于可执行规格说明的维修机构建模与仿真

为分析维修机构的性能,采用基于赋时有色Petri网的可执行规格说明语言建立了维修机构模型。模型采用自顶而下逐层分解细化、组件重用和基于状态的Petri网建模方法,对维修机构进行维修资源分析,并对动态组成维修小组和维修过程的系统状态变化过程进行了详细描述,准确反映了维修机构的维修等待和资源竞争现象,同时将定量关系嵌入到描述模型中。通过模型执行,以动画显示系统状态的变化,分析系统性能。最后给出了一个建模与仿真实例。实例表明,基于可执行规格说明建模和仿真方法是研究维修机构运行的有效工具。     

语境驱动的仿真模型测试方法论

组合模型的有效性验证是利用模型组合实现仿真系统快速开发的迫切需求,也是组合仿真理论和方法研究的一个重要问题.在分析组合模型抽象层次的基础上讨论了不同层次组合有效性的研究内容,并针对组合模型的行为从测试的角度提出了语境驱动的仿真模型测试方法论,重点讨论了方法论中语境的概念、语境驱动的测试框架生成以及测试框架的嵌入和运行时刻检验等内容,目的是判断仿真模型及其组合行为是否忠实反映了设计信息,实现了行为无错的演化.     

分布交互仿真/高层体系结构中作战想定的可视化生成系统

对DIS／HLA中作战想定的可视化生成和加载进行了研究，着重分析了基本模型的管理，模型的实例化参数化，代码自动生成，文档自动生成以及模型数据的自动加载等。并研究了实体模型的可重用性和作战想定可视化生成系统的互操作性。最后针对导弹攻防对抗仿真系统开发了作战想定的可视化生成系统，它基于高效的数据管理方法并提供对信息管理系统的无缝连接，论文不仅研究和实现了作战想定的可视化生成系统，,同时为DIS／HLA的各种支撑系统的可视化研究提供了重要的参考依据。     

航空装备对地突击效能评估主动元模型研究

在武器装备作战效能评估领域,低分辨率仿真元模型具有维数低、运算量少和省时等特点比高分辨率仿真模型更具有使用上的优势是目前仿真建模领域研究的热点。根据多分辨率建模的思想,采用主动元建模技术,建立起对地突击的低分辨率仿真元模型,在给定作战想定方案下,结合作战因果关系和数据拟合方法对高分辨率仿真模型进行两次拟合,得到仿真元模型的数学结构描述形式,提出效能评估指标,最后通过计算实例对模型和方法进行了检验。     

面向空军战役仿真的一个想定自动生成框架

基于想定的方法是处理要解决的问题中不确定性的最有效的手段。对空军战役仿真而言,如何利用丰富的军事原则和复杂的战场环境去构建满足仿真需求的想定,是一个迫切需要解决的问题。通过利用已知的、可被建模的时间、空间和组合关系,对想定生成模型的特性进行分析,提出了一个想定自动生成框架。实验表明,该框架可以较迅速地生成符合需求的空军战役仿真想定。     

战略模拟想定生成系统框架

军事想定设计是一项有很强创造性和艺术性的工作，同时又非常烦琐费时。利用计算机技术，采用规范化、结构化的方法进行想定设计并完成模拟系统运行前资源准备，对于提高模拟系统应用效率具有非常重要的意义。模拟想定继续保留想定的传统含义，又增添了模拟系统运行前准备任务，如完成系统配置、数据准备、模型准备等。本文就战略模拟系统的应用需求，提出了想定生成系统的框架。     

一种基于军事概念模型的想定生成方法

想定是作战模拟的基本依据,任何一个成功的作战模拟模型都是建立在成功的想定基础之上的.实践表明,想定的拟制工作非常复杂、费时,提出了一种基于军事概念模型的想定生成方法,实现了军事人员在开发想定的同时完成了仿真运行前的数据资源准备工作,提高了仿真的开发效率,保证了仿真的真实性.     

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

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

面向应急管理的人工社会元建模方法

针对非常规突发事件应急管理建模的需要探索新的方法,面向应急管理的人工社会元建模方法尝试利用元模型描述人工社会基本要素,利用领域建模方法刻画应急管理领域模型,采用模型变换和代码生成支持计算实验.本文以公共卫生突发事件应急管理研究为案例,利用人工社会元建模方法构造了人工社会元模型、突发事件模型、应急管理模型,并采用仿真模型代码生成技术直接产生计算实验模型代码框架.案例的构造过程表明面向应急管理的人工社会元建模方法是一种自洽的、贴近应急管理问题研究的建模方法,可以在集成项目的工作中发挥重要的作用.     

基于多Agent的多机协同空战仿真系统设计和实现

设计了一种基于多Agent的多机协同空战仿真系统,分别对该系统的建模框架和仿真框架进行了构建。在建模部分提出了系统各类Agent的Petri网模型和基于知识查询处理语言（knowledge query manipulation language, KQML）的模糊通信机制,仿真部分则采用独立于建模框架的仿真信息控制结构和小规模协同分配算法实现。仿真结果表明,该系统与实际符合较好,仿真速度和精度高,验证了该系统的有效性。     

基于ABMS的体系效能评估框架研究

分析了基于信息系统武器装备体系基本特征和仿真评估要求,研究了基于Agent建模仿真(Agent based modeling and simulation, ABMS)方法的体系效能仿真开发和评估过程,针对基于信息系统武器装备体系仿真评估的要求,建立了由体系效能评估准备、联合作战想定编辑、ABMS体系仿真引擎、作战过程表现及战果统计,以及体系效能综合评估等组成的体系效能评估技术参考框架,并通过开发相关系统验证了框架的合理性和实用性。