面向体系对抗仿真的模型测试方法研究

模型的有效性评估一直是建模与仿真领域研究的重要课题.针对传统校核与验证方法难以确定模型被确认为无效的原因以及传统建模过程中模型开发与实现紧耦合的特点,通过对武器装备体系对抗仿真与模型测试的需求分析,以层次化建模为基础提出了面向武器装备体系对抗仿真的模型测试方法论,从纵向和横向两个层次论述了概念模型和仿真模型的测试方法,给出了层次化模型测试环境的参考实现.该方法不仅为武器装备体系对抗的仿真模型开发提供质量控制手段,同时也为其它仿真应用的模型校核、验证与确认提供有效的方法支撑.     

基于本体的仿真系统元概念模型研究*

在仿真系统的概念模型开发过程中存在着模型重用性不高和缺乏管理等问题,这些问题将影响模型开发效率和仿真系统的可靠性.为解决以上问题,提出了元概念模型(MCM)的概念,以实现在更高层次对概念模型进行抽象.将本体思想引入MCM的设计中,提出了基于本体的元概念模型(OMCM)建模方法,并给出了OMCM的层次结构和建模方法.最后,将该方法应用于装备保障仿真系统元概念模型的建模中,得到了较好的验证.     

国民经济动员仿真演练混合仿真策略研究

国民经济动员仿真演练是一个复杂的基于HLA的分布式离散事件仿真过程,包括人在回路与无人在回路的混合仿真环节,且一次演练中参演单位数量非常多,需要解决高效的实时与超实时混合仿真控制问题.在分析仿真演练特点的基础上,将并行离散事件仿真(PDES)技术应用于联邦成员仿真控制过程,提出联邦成员离散事件仿真与成员内部PDES混合仿真策略.在分析时间推进过程的基础上,设计全局仿真时间控制机制.混合仿真策略可以支持实时与超实时混合仿真模式,并能充分地提高仿真并行能力,而全局时间控制则保证了系统时间的有效推进.     

仿真系统概念模型验证方法的分析与选择

概念模型是对真实世界的第一层次抽象,是仿真系统开发的基础。概念模型的质量对于提高仿真系统的质量有着重要的影响,而概念模型验证是提高概念模型质量的重要手段。在对概念模型验证的定义、层次和内容进行分析的基础上,介绍了当前主要的四类概念模型验证方法,将其分为专家评审法、折衷分析法、形式化验证方法和可执行验证方法,并分析其优缺点,最后从语法、语义和语用三个层次出发,对概念模型验证方法的选择问题进行了探讨,其结果可以为概念模型验证人员提供理论参考。     

基于OMCM的仿真系统概念建模方法

针对仿真系统概念模型开发中存在的模型重用性不高和缺乏管理等问题,提出了元概念模型(Meta Concep-tual Model,MCM)的概念,以实现更高层次上的概念模型抽象。将本体思想引入MCM的设计中,提出了基于本体的元概念模型(Ontology-based MCM,OMCM)概念,并给出了OMCM的层次结构和建模方法。通过将OMCM和概念模型进行映射,实现了基于OMCM的概念模型建模。最后,将该方法应用于装备保障仿真系统概念模型的建模中,起到了很好的效果。     

作战任务计划想定建模及其视景仿真研究

仿真想定开发是军事仿真中的重要环节.如何将作战任务计划从军事自然语言描述最终转换成视景仿真表述,是军事推演仿真中急需解决的问题.借鉴军事概念模型的建模方法,运用面向对象的软件开发思想,提出了想定从概念建模到可视化仿真的基本思路,包括:想定的结构化描述;想定的军事概念建模;想定从概念模型到信息模型的映射;想定文档的规范化描述框架;想定数据库的构建;想定的类封装与可视化.结合某型武器作战任务背景对上述思路进行了实例化描述.最后确认了思路的可行性,并总结了若干实践经验.     

基于虚拟样机的仿真系统校核、验证与确认研究

虚拟样机模型的正确性和精确度直接影响到仿真的置信度，如何保证建立的计算机仿真模型的正确性是虚拟样机建模的一个重要问题。首先对虚拟样机技术的特点及其仿真步骤进行了描述；然后，在介绍仿真系统校核、验证与确认概念的基础上，讨论了分布交互仿真系统校核、验证与确认的原则；根据虚拟样机的特点，研究制定了虚拟样机仿真系统的校核、验证与确认的七步过程，重点对虚拟样机仿真系统的模型验证方法进行分析；最后，提出了的虚拟样机校核、验证与确认过程中应该遵循的原则。     

CPN在FCM形式化建模与验证中的应用

联邦概念模型(FCM)是整个联邦系统开发的依据.针对当前FCM建模能力差、可重用性低,以及很难实现FCM的动态行为验证的缺陷,分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Pe‘网(CPN)的联邦概念模型形式化建模与验证方法,给出了用CPN建立与验证FCM的步骤,并以-制造系统为例,利用CPN Tools建立了系统的FCM,验证了所建模型的活性、家态和公平性.研究表明,CPN能够为FCM的形式化建模和验证提供有效的支持.     

敏捷制造环境下基于面向对象的柔性裁剪仿真建模研究

为提高敏捷制造系统仿真建模的效率和效益。在讨论国内外有关系统建模理论的基础上,提出了敏捷制造环境下基于面向对象的柔性裁剪仿真建模的概念。然后,对基于面向对象的柔性裁剪仿真建模的形式化进行了研究。提出了一个敏捷制造环境下基于面向对象的柔性裁剪仿真建模框架,最后,以Arena集成仿真环境为例,提出了敏捷制造环境下基于面向对象的柔性裁剪仿真建模的一般步骤。     

装备保障仿真概念模型的语义验证方法研究

概念模型验证是保证概念模型正确、可信的重要手段。针对现有概念模型形式化验证方法复杂、繁琐,非形式化验证方法的主观性较强、可信性不高等问题,采用本体理论和语义网技术,提出了一种基于本体与规则推理的装备保障仿真概念模型语义验证方法。该方法的思路是:首先将UML描述的概念模型转化为本体描述语言OWL描述的概念模型;然后根据领域知识构建验证规则,并运用语义网规则描述语言SWRL描述验证规则;最后将模型和规则转换为Jess规则引擎识别的数据格式,输入到Jess规则引擎中进行模型与规则的语义推理,检查概念模型是否符合验证规则。实例表明,该方法使用验证规则和语义推理机替代领域专家在计算机上自动对概念模型的语义内容进行验证,提高了验证效率,减少了专家验证的主观性和不确定性,降低了形式化验证方法的复杂性。     

多领域建模仿真方法综述

多领域建模仿真是解决复杂产品设计过程的有效手段,当前多领域建模仿真有基于接口的多领域建模仿真,基于高层体系结构的多领域建模仿真和基于统一建模语言的多领域建模仿真三种模式。综述了这三种仿真模式的实施方法、应用以及优缺点。通过比较,认为基于统一建模语言的多领域建模仿真模式有更大的发展潜力。     

高层体系结构(HLA)在雷达网仿真中的应用

高层体系结构(HLA)是新一代分布式仿真结构,已广泛应用于电子系统仿真领域。该文以雷达网系统仿真为背景,建立了基于HLA的雷达网仿真平台,提出了统一的数据标准;并以对象建模的方法为指导,设计了雷达网仿真中主要模块的仿真模型;最后根据雷达网系统仿真要求,给出了所使用的RTI软件在时间延迟和吞吐量方面的性能测试结果。     

基于UML的卫星网路由算法仿真系统研究

本文首先介绍了我们提出的基于时空的路由算法思想，然后用UML(Unified Modeling Language)对基于该算法的仿真系统(Satellite Network Simulation based on Space Time，STSNS)进行建模。在仿真建模过程中，首先用用例(use case)对仿真系统的需求进行了分析，然后建立了STSNS的静态模型和动态模型，并用UML中相应的图例来描述。最后给出了STSNS的详细实现技术。STSNS能对基于时空的路由算法进行很好的仿真，仿真的结果表明，基于时空的路由算法能很好地满足卫星网路由的要求。     

感应电动机传动系统建模及仿真的一般方法

感应电动机传动系统是目前应用最广泛的交流传动系统,对其性能的计算机模拟和仿真具有重要的实际指导意义。结合MATLAB语言和环境,介绍在任息速参考坐标系下,基于感应电动机传动系统不同的控制策略和运行状态,导出其由状态变量方程描述的统一时域建模方法,详述仿真工具和方法的选择、逆变器的处理、及其完整的流程。对三相异步电动机的直接转矩控制（DTC）系统的仿真结果表明,该文所提出的仿真方法是有效和可行的。     

HLA仿真技术综述

建模与仿真高层体系结构(HLA)已成为电气和电子工程师协会(IEEE)标准。基于HLA所开发的仿真系统中的各成员既可能由现有的仿真系统改造而成，也可能要完全重新开发，而各种模型之间的关系必须体现在各成员的具体实现中。该文围绕基于HLA的系统建模与仿真问题从理论和实践两方面较为详细地介绍了HLA的有关概念、主要内容和基本规范，给出了基于HLA标准编写的鱼雷联邦成员仿真程序的部分代码的框架，并指出基于HLA标准编写的仿真程序是复杂大系统仿真、尤其是武器系统仿真的发展方向。该文对于学习HLA标准有一定的参考价值和指导意义。     

基于MDA的分布式建模仿真框架

分析现有分布式建模仿真存在的缺点,提出将模型驱动体系结构(MDA)应用于分布式建模仿真。设计一个基于MDA的分布式建模仿真框架,给出资源层、PIM建模层、PSM建模层和仿真运行平台层的四层仿真体系结构。研究该框架的开发过程及关键技术,并设计即插即用武器系统分布式仿真平台。仿真结果表明,该框架使得分布式仿真系统具有更好的可扩展性,提高了仿真组件的互操作性和可重用性。     

基于HLA的仿真程序设计研究及其应用

建模与仿真高层体系结构(HLA) 已成为电气和电子工程师协会( IEEE) 标准,正在成为今后仿真发展的主要方向.但是目前大多数学者只专注于HLA理论研究或者只从联邦内部数据交换的角度来研究基于HLA的仿真程序设计,缺乏直观性和实用性.文中从程序设计的角度、以C 语言实现为例剖析了HLA的编程代理模型和联邦成员代码的三个职责,并且还详细分析了FED文件中定义的对象类和交互类与联邦成员文件结构的对应关系,然后从联邦的执行过程出发给出了基于Windows方式下联邦成员的程序设计框架,最后以一个简单的planetrace联邦的例子来说明了联邦成员仿真程序的实现流程.     

Petri网在C3I系统仿真建模中的应用

建模仿真技术是C^3I系统性能评估、C^3I系统仿真分析与设计的一个重要方法。该文介绍了Petri网的基本概念,说明了Petri网建模的特征;给出了一种应用于C^3I系统仿真研究的建模方法：应用Petri网对C^3I系统进行分析与设计,实现从C^3I系统的组织框图到Petri网数学模型的转换;指出了Petrl网在C^3I系统仿真建模方面的不足和改进方向。最后,该文给出了用Petri网建模的一个简单应用实例。