基于MBTY的水下航行体控制系统的建模与仿真

水下航行体运动控制系统复杂,研制难度较大,利用三轴转台和MBTY软件对其进行建模及仿真研究是该文的主要目的。文中首先简要介绍了MBTY软件和三轴运动模拟转台,描述了水下航行体的动力学和运动学数学模型,给出了水下航行体控制系统的数学模型,并建立了相应的MBTY仿真图形模型,最后介绍了仿真过程和仿真结果。结果表明,利用“MBTY＋三轴转台”的模式进行运动控制系统的仿真,数据接口灵活、开放;通用和专业模块丰富;无需进行大量软硬件的开发,与“dSPACE＋Matlab／Simulink（或MATRIXx）＋三轴转台”的仿真模式相比具有一定的优势。     

157百合（Lilium cr.Gran sasso）染色体核型研究

本文对１５７百合进行了染色体核型研究,结果表明：１５７百合体细胞染色体数为２ｎ＝２ｘ＝２４;染色组成为Ｒ（２ｎ）＝２ｘ＝２ｍ（ＳＡＴ）＋２ｍ＋２Ｓｍ（ＳＡＴ）＋１６Ｓｔ＋２ｔ;在第１,２,对染色体上有随体;其核型分类属于３Ｂ型。     

基于Simulink的水灭火系统仿真研究

该文提出一种新的基于Visual c＋＋的水灭火系统仿真模型,通过将C＋＋代码转换成C代码植入到仿真模型中,可以大大优化仿真模型的开发,该文中Simulink软件和VSULAL C＋＋软件的优点在仿真模型中得到完整的体现。该文还详细讨论了水灭火仿真系统的开发和实现。     

中心刚体-柔性梁刚柔耦合动力学模型降阶研究

有限单元法被广泛的采用来描述柔性体的弹性变形,然而有限元节点坐标数目庞大,将会给动力学方程求解带来巨大的计算负担.如何降低柔性体的自由度,是当前柔性多体系统动力学研究的一个重要命题.本文以中心刚体-柔性梁系统为例,采用Krylov方法和模态方法进行降价.然后分别采用有限元全模型、Krylov降阶模型和模态降阶模型,对中心刚体-柔性梁进行刚-柔耦合动力学仿真.仿真结果表明,与采用模态降阶方法相比,采用Krylov模型降阶方法只需要较低的自由度,就可以得到与采用有限元方法完全一致的结果.说明Krylov模型降阶方法能够有效的用于柔性多体系统的模型降价研究.     

基于OpenGL的飞机航迹动态仿真

以地球为背景的飞机航迹动态演示模型已经被广泛应用于航迹监控、目标定位、航空管理等众多领域.论文利用OpenGL开放图形库和Visual C＋＋开发环境进行了以地球为背景的飞机航迹建模与仿真.详细介绍了将飞机位置始终保持在视野中心的实现方法和三维坐标转换、视角调整等主要步骤,并由此开发了一款飞机航迹动态仿真软件.     

基于CA与MAS的野战装备维修中心选址模型

野战装备维修中心地址的合理选择,是战时装备维修保障系统建设的重要环节.从实际需要和具体应用出发,通过对元胞自动机(CA)与多智能体(MAS)特性的分析,论证了将两者结合应用于野战装备维修中心选址建模与仿真问题的可行性,建立了基于元胞自动机与多智能体相结合的野战装备维修中心选址的环境层和主体层模型,最后应用Nedogo仿真平台,对模型进行了仿真.仿真结果表明,方法能够在距离、维修需求、交通因素等约束条件下,通过构建较为简单的规则模拟系统的演化过程,快速求得较好的选址结果,为战时装备保障体系建设规划提供参考.     

一种基于可传递置信模型的分布智能体决策融合方法*

在分析与研究对抗性多机器人系统决策问题的基础上,提出了一种基于可传递置信模型的多智能体决策融合方法;构建了决策融合体系架构,分别设计了基于证据推理的观测智能体模型,基于TBM的决策智能体模型以及决策融合中心模型,给出了相应的算法。通过在机器人足球中的应用及仿真实验,体现了本方法在对抗性多机器人系统中决策制定的良好性能及效果。     

基于VC++.Net与Matlab的燃油调节器仿真

该文详细阐述了如何使用Vc＋＋．NET和Matlab进行某型燃油调节器仿真软件的设计开发。该仿真系统以Vc＋＋．NET与Matlab混合编程为技术基础,结合燃油调节器部件特性建模,提出了软件设计的四层体系模型,降低模块间的耦合性,优化软件结构配置,提高了两者的集成度与易用性。该系统使用Vc＋＋．NET开发主体框架和用户界面,调节器模型采用simulink建模和M文件,Matlab作为后台数据处理和图形显示,前后台模块之间通过Matlab引擎进行数据通讯。仿真结果表明所提供方法快捷直观、易用维护,具有良好的应用价值。     

双向拾取技术在视景仿真系统中的研究与实现

利用三维建模软件MuhiGencreator、仿真软件MultiGenVega及VC＋＋6．0平台开发虚拟校园视景仿真漫游系统。以模型数据库与外部数据库结合实现的方式,将”文字-模型”的交互过程引入到视景仿真领域,设计了根据所选模型来提取所需要的信息以及根据自动提取或用户选择的关键词来关联模型的交互访问功能,提供了良好的人机交互效果。     

虚拟原型多体动力学中设计模式仿真模型研究

通过分析机械系统多体动力学解算模型特点。从机械产品的协作开发与仿真角度。研究了基于组件方法建立机械系统虚拟原型,提出利用MVC设计模式构建多体动力学解算仿真模型。这种解算模式,实现了多体动力学解算仿真中。模型与解算逻辑的分离,维护了系统仿真中构件、铰约束、力元等组件的状态一致性。利于在不同的解算逻辑下组件和仿真方案的配置,方便了基于组件的协同开发与仿真。结果表明,基于组件的机械虚拟原型模型与多体动力学MVC仿真模型是可行的。     

虚拟战场中的作战飞机仿真模型

该文简要介绍了虚拟战场中仿真建模的特点和要求，重点讨论了作战飞机仿真模型的设计，包括物理模型、决策模型和三维模型，最后给出了在某系统中的仿真结果。     

基于元模型的可重用仿真模型表示方法研究

仿真模型的组合与重用是当前复杂系统建模仿真领域的热点研究问题,统一的仿真模型表示方法与表示规范是实现模型重用的关键技术.模型表示在仿真研究中有着重要作用,可重用仿真模型对表示方法和表示规范有具体的需求,当前用于表示仿真模型的方法包括程序设计语言表示、仿真语言表示和通用建模语言表示三种,这三种仿真模型表示方法在满足可重用仿真模型表示需求方面均存在不足,为此文中提出了基于元模型的仿真模型表示方法,给出了元模型表示规范的设计策略.元模型表示方法较好地克服了现有方法存在的不足,可满足模型重用对模型表示的需求.     

基于物理特性的光伏电池建模仿真及验证

提出了一种基于光伏电池物理特性的数学模型,并在Matlab/Simulink环境下建立了仿真模型。仿真结果表明,所提出的数学模型能很好地模拟光伏电池的特性。以此光伏电池模型为基础,建立了光伏电池最大功率点跟随系统的仿真模型,仿真结果验证了此光伏电池模型的正确性,为实际应用中,光伏电池的输出可靠性提供了新的解决思路。     

基于事件图的离散事件仿真模型并行检验方法

非形式化仿真模型验证方法易受主观因素的影响且具有不完备性,而传统的形式化模型检验方法由于受到状态空间爆炸问题的影响,很难处理大规模的仿真模型.并行模型检验方法以其完备性、高效性已经在工业界中得到了成功的应用,但是由于涉及到形式化规约、逻辑学以及并行计算等多项技术,应用难度较大.针对上述问题,提出了基于事件图的离散事件仿真模型并行检验方法.该方法首先对事件图在模型同步方面进行了扩展,给出了扩展事件图的形式化定义、语法及语义;然后将扩展事件图模型转换到分布并行验证环境的DVE模型,成功地将并行模型检验方法应用于仿真模型验证领域.该方法使得仿真人员无须学习新的形式化验证语言就能采用并行模型检验方法对仿真模型进行形式化验证,可降低模型并行验证的难度,从而有效提高模型验证的效率和完备性.实验结果表明了该方法的有效性,有利于扩展并行模型检验方法在仿真领域中的应用.     

飞机环境控制系统计算机仿真模型库的开发

介绍了飞机环境控制系统中发动机引气、热交换器、管道、文氏管以及阀门等部件的数学模型。在此基础上,采用分模块建模的思想,利用MATLAB/SIMULINK仿真平台开发了飞机环境控制系统计算机仿真模型库。所开发的模型库具有仿真速度快、通用性以及实时性好的特点。利用该模型库可任意构建飞机环控系统仿真模型,完整地仿真我国现行的飞机环境控制系统,并对其进行稳态及动态性能仿真计算。以某型飞机环境控制系统为例,利用该模型库构建了环控系统完整的全流量仿真模型,并给出稳态计算结果和动态响应分析。     

Data-driven modeling and simulation framework for material handling systems in coal mines

In coal mining industry, discrete-event simulation has been widely used to support decisions in material handling system (MHS) to achieve premiums on revenues. However, the conventional simulation modeling approach requires extensive expertise of simulation during the modeling phase and lacks flexibility when the MHS structure changes. In this paper, a data-driven modeling and simulation framework is developed for MHS of coal mines to automatically generate a discrete-event simulation model based on current MHS structural and operational data. To this end, a formal information model based on Unified Modeling Language (UML) is first developed to provide MHS structural information for simulation model generation, production information for simulation execution, and output requirement information for defining simulation outputs. Then, Petri net-based model generation procedures are designed and used to automatically generate a simulation model in Arena® based on the simulation inputs conforming to the constructed information model. The proposed framework is demonstrated for one of the largest open-pit coal mines in the USA, and it has been demonstrated that the framework can be used to effectively generate the simulation models that precisely represent MHS of coal mines, and then be used to support various decisions in coal mining such as equipment scheduling.     

Turbo码网格调制仿真平台的设计

本文根据Turbo码网格调制（TTCM）的原理,详细介绍了如何利用Matlab中Simulink功能搭建TTCM仿真平台的方法。该仿真平台具有一定的灵活性和通用性。由于TTCM研究尚缺乏理论的证明,所以该仿真平台对于TTCM研究的仿真验证具有重要的意义。仿真证明了该平台具有正确性。     

雷达侦察设备功能仿真数学模型

雷达侦察设备功能仿真是雷达对抗仿真中的基础并且是一门不断发展的仿真技术。该文在分析了目前存在的雷达侦察设备仿真模型不足的基础上，根据具体的应用环境，从工程应用的角度出发提出了一套简单实用的雷达侦察设备功能仿真的数学模型。该模型主要针对侦察设备的截获能力、测量能力和识别能力等功能／性能进行分析建模，共设计了雷达侦察设备噪声仿真模型、测量性能仿真模型、截获能力仿真模型和辐射源识别能力仿真模型四种模型。该仿真模型在基于HLA的雷达侦察设备仿真成员中得到了有效的验证和使用，为相关设计提供了有益的参考。     

A new specification-based qualitative metric for simulation model validity

Informal validation techniques such as simulation are extensively used in the development of embedded systems. Formal approaches such as model-checking and testing are important means to carry out Verification and Validation (V&V) activities. Model-checking consists in exploring all possible behaviors of a model in order to perform a qualitative and quantitative analysis. However, this method remains of limited use as it runs into the problem of combinatorial explosion. Testing and model-checking do not take into account the context of use objectives of the model. Simulation overcomes these problems but it is not exhaustive. Submitted to simulation scenarios which are an operational formulation of the V&V activity considered, simulation consists in exploring a subset of the state space of the model. This paper proposes a formal approach to assess simulation scenarios. The formal specification of a model and the simulation scenarios applied to that model serve to compute the effective evolutions taken by the simulation. It is then possible to check whether a simulation fulfills its intended purpose. To illustrate this approach, the application study of an intelligent cruise controller is presented. The main contribution of this paper is that combining simulation objectives and formal methods leads to define a qualitative metric for a simulation evaluation without running a simulation.     

基于粒子系统的爆炸效果仿真研究

针对目前诸如军事、铁路等领域事故爆炸仿真模型运算复杂、仿真效果较差的问题,提出了改进的仿真模型,该模型以粒子系统为基础,用定性、定量的随机变化模型代替爆炸物理过程的流体模型。将粒子发射速度参数与随机扰动速度参数相结合,建立通用仿真模型,通过给定不同的参数形成烟雾、火焰与爆炸碎片的具体仿真模型,可以有效降低爆炸效果模拟的计算复杂度。实验证明,该方法运算速度快,真实感强,可以满足各种爆炸效果的仿真需求。