基于UML的炼钢物流仿真系统分析与设计

针对目前炼钢物流仿真系统的研究和应用现状,在确定系统开发目标的基础上,以统一建模语言UML为建模工具,对炼钢物流仿真系统进行功能需求分析及用例建模,并完成了系统的类图设计,以及作为动态模型的活动图和序列图的设计,最终开发了炼钢物流仿真软件。以攀钢炼钢厂的工艺流程为实例进行的仿真试验表明,该系统可为炼钢生产提供一种有效的辅助决策手段。     

面向自主飞行器的嵌入式计算平台

基于模型的设计方法是目前嵌入式控制系统开发与设计的主流方法,而对嵌入式控制系统模型及其代码正确性的检验是亟待解决的问题。基于平台的设计理论,提出一种面向自主飞行器的嵌入式计算平台,该平台以基于模型的设计方法实现对复杂实时控制系统建模,并且在同一框架下完成模型到代码的自动生成以及对实时控制系统进行不同粒度的检验,即X在环仿真,包括模型在环仿真、软件在环仿真、硬件在环仿真。该平台的提出为嵌入式实时控制系统的开发与设计提供了建模及模型检验的一体化环境,提高嵌入式实时控制系统的开发效率。     

基于Ptolemy的嵌入式计算系统级建模与仿真

嵌入式系统通常由具有不同特性的子系统组成,它的异构性给设计与仿真工具提出了很高的要求。本文探讨了目前建模仿真平台的不足,介绍了Ptolemy如何运用层次异构设计思想解决嵌入式系统的异构问题,以及该设计原理在其第二代建模仿真平台PtolemyII中的实现方法。并基于PtolemyII对一复杂控制系统进行了建模与仿真。     

基于UML-ARENA的建模与仿真方法研究

为开发出便于复用、扩展的离散事件仿真系统,提出了一种新的建模与仿真方法——UML-ARE-NA。该方法利用统一建模语言UML对系统建模,利用仿真软件ARENA对所建模型进行仿真。该方法不仅规定了仿真系统的开发步骤,还设计了对象模型转换规则以及ARENA映射规则。整个开发过程分为建模与仿真两个阶段。在建模阶段,首先通过对系统进行概念分析,设计出系统的功能模型和动态模型。然后利用对象模型转换规则将功能模型和动态模型转化为对象模型。在仿真阶段,利用ARENA映射规则将对象模型转化为ARE-NA仿真程序。通过飞行保障过程的一个仿真实例对该方法的有效性进行了检验。     

电动汽车无刷直流电机驱动系统实时仿真

在设计开发电动汽车的过程中，采用实时数字仿真可实现并行工程，缩短开发时间，节约开发费用。基于方框图建模工具Simulink建立无刷直流电机驱动系统模型，采用dSPACE实时仿真环境自动生成控制器及被控对象模型实时代码。实时仿真系统具有与实际系统的硬件接口，可以与实际控制器或电机系统直接相连，构成硬件在回路仿真测试或快速控制原型系统。实时仿真与真实系统实验结果表明，实时仿真器与实际系统的响应特性无明显差别，在开发和测试阶段可以代替实际电机系统进行实时闭环测试。     

基于UML的仿真系统验证方法研究

仿真系统的VV&A一直是仿真领域研究的热点,其目的在于提高仿真系统的可信度.目前,关于仿真系统的验证方法研究都是偏向于某个侧面,缺少对仿真系统的开发全过程进行验证的方法,导致系统的验证与开发衔接不紧密,影响验证方法的实际使用.现代仿真系统主要采用面向对象思想设计开发,UML是面向对象仿真中不可或缺的一个建模仿真工具.根据仿真系统开发过程,将仿真系统开发过程中形成的UML图用于对仿真系统的验证中,使验证覆盖仿真系统开发的全过程,增强了系统开发和验证的连贯性,并通过对实际系统的验证,检验了所提出方法的可行性.     

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

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

基于元模型的复杂系统建模方法研究

提出了基于元模型的复杂系统建模方法。并且给出了它的实现方案。以此为基础，实现了一个原型系统的元模型实例－－复杂系统模型，将这种元建模技术于复杂系统信真平台中系统模型的建立，可以使构成复杂系统的各子系统模型在比模型更高的层次上进行集成，从而加速了复杂系统仿真仿真的设计，开发和实现。     

虚拟样机协同建模环境中建模工具的集成与应用

针对虚拟样机协同建模环境对建模仿真工具集成的需求，对典型建模工具MATLAB的应用方法进行研究，提出在虚拟样机协同建模环境中仿真模型的建立、验证以及仿真应用软件开发各个阶段中MATLAB的集成与应用方法。并且结合一类武器系统虚拟样机的开发实例详细介绍了MATLAB工具的应用和集成。     

基于BOM的仿真模型组件研究

基于组件的建模方法能有效地减少建模任务的复杂性,通过重用、替换、改进以及扩展组件实现快速构建动态的仿真系统和仿真环境。首先描述BOM(Base Object Model,基本对象模型)模板结构,接着分析BOM与SOM(Simulation Object Model,仿真对象模型)/FOM(Federation Object Model,联邦对象模型)的关系,设计基于BOM的仿真模型组件。从语法层和语义层研究仿真模型组件的基本结构,比较仿真模型组件与软件工程组件的区别,并通过支持工具进行仿真模型组件的设计与开发。     

Optimal hardware/software co-synthesis for core-based SoC desi gns

1 .INTRODUCTIONWith the development of embedded systemand mi-croelectronics technology ,the integration level ofhardware is higher and higher , which makes in-tegrating CPU, memory andI/Odevicesinto a sin-gle chip possible .SoC(systemon chip) emerges asti mes require ,whichleads to extremelylong devel-opment ti mes using traditional design techniques .One of the method by which designers are overco-ming this problemsis to use pre-designed,pre-ver-ified cores . Therefore , one main idea …     

基于SG/Simulink无刷直流电机混合建模与仿真研究

System Generator(SG)为基于FPGA的硬件平台开发提供了便捷的设计方式和灵活的编程手段，Matlab／Simulik是通用性的离线仿真工具，其模块化的建模方法具有高效、直观的特点。结合两者的优点，提出了SG／Simulink混合建模新方法，利用SG建立无刷直流电机(BLDCM)控制系统部分，Simulink仿真BLDCM本体，通过SG中的Gateway模块，实现两者的无缝连接。仿真结果符合理论分析，证明了该方法的有效性和可行性。     

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

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

基于SimMechanics的两轮机器人建模与仿真

介绍了基于SimMechanics的两轮机器人机电控制系统建模与仿真研究的方法,建立了仿真模型并进行了运动控制仿真分析。利用MATLAB/Simulink强大的运算功能和SimMechanics提供的模块集,可以省略建立运动机构数学模型的推导过程,具有系统建模直观和仿真功能强大的特点,为机电控制系统的建模仿真提供一个方便的工具。

Abstract：

A method of modeling and simulation of Two Wheel Robot based on SimMechanics was discussed. The method takes advantage of the powerful computing function of MATLAB/Simulink and SimMechanics modeling block, It is a convenient and visual modeling tool in mechanical control system analysis and simulation.     

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

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

设计模式在通信系统仿真软件中的应用

对大型、复杂系统性能评估的最好方法是系统仿真和建模,仿真软件的设计是实现仿真目的的关键。对于这种复杂软件的开发,目前最好的方法是利用软件工程的方法,而设计模式现在则成为软件工程中不可缺少的方法。目的在于对设计模式在仿真软件中的应用做一些探讨,利用设计模式来提高仿真软件的可靠性、安全性、可用性和可维护性。     

FMS建模和形式化验证

提出了一种FMS的建模方法,此方法是基于时间自动机模型。运用模型检查工具UPPAAL来进行建模,仿真和验证。由于时间的因素被考虑到建模方法中,因此FMS的调度和控制问题可以被集成到这个模型中。在系统的行为被控制的同时,可以保证系统的性能指标。从而最优调度和最优控制可以得到检查和验证。     

基于Simulink的子导弹全弹道仿真

在MATLAB／Simulink环境下，针对子导弹武器系统，应用全弹道建模方法开发了包括运动学与动力学模块、制导与控制系统模块，弹目相对运动模块等组成的仿真系统数学模型，进行了全弹道数字仿真。仿真实验表明，该仿真系统较好的模拟了子导弹的飞行弹道，为子导弹武器系统的开发研制提供了必要的仿真工具。     

星载电子系统数字化设计仿真平台

针对卫星数字化设计的趋势,建立起面向任务化、功能化、用户化,集设计、仿真验证、开发于一体的星载电子系统数字化设计仿真平台。该平台以SoC设计方法学为基础,吸收了现有的SoC体系结构研究的成果,将星载电子系统抽象为IP模块并借助FPGA验证平台对系统设计进行验证,集合软件开发平台进行系统开发以及相应的应用软件设计。该平台的建立使星载电子系统数字化设计仿真更为灵活,同时加强对复杂设计的管理,有效的降低星载电子系统设计中的风险,缩短设计周期,降低设计成本。     

虚拟人体运动系统建模方法研究

利用模型研究人体的运动原理和规律,是人体运动研究的一个重要手段和有效工具。本文主要介绍了几种常用的建模方法,其中包括弹簧-阻尼-质量力学模型、多刚体模型、神经-肌肉-骨骼系统模型、基于数字人体图像的模型和基于人工神经网络的模型等方法。并分析了各种方法的特点和适用范围以及建模中存在的难点和关键问题。