基于HLA的火车站行李监测系统仿真开发

HLA是分布交互仿真的高层体系结构,它为复杂系统建模与仿真提供了公共的技术支撑框架.针对火车站的行李监测系统,提出了基于HLA的仿真开发设计.研究了系统的体系结构和工作原理,在此基础上着重论述了联邦仿真平台的构成和基于联邦开发和执行过程模型(FEDEP)的开发过程,进行了对象类和交互类的开发,对系统中主要的成员对象进行了联邦对象模型(FOM)和仿真对象模型(SOM)设计,给出了基于运行支撑框架(RTI)的仿真程序.     

基于高层体系结构的通用仿真数据服务

针对分布式交互仿真系统中数据密集型应用与分布式存储之间的矛盾,提出一个在高层体系结构(HLA)框架内提供通用数据服务功能的解决方案,通过扩展HLA对象模型模板使数据模型和仿真模型无缝地集成,数据操作和成员接口具有一致的形式。根据数据服务模块在分布式仿真系统中的特点提供必要的优化选项,依照联邦开发和执行过程模型给出成员设计和接口调用的一般流程。     

基于MDA的HLA仿真开发方法

为了解决HLA与其它中间件产品脱节、应用范围局限以及可重用的问题,将MDA方法引入HLA仿真设计中,尝试用MDA的模型思想提升HLA在整个软件生命周期内的可重用和互操作问题.通过将联邦成员的行为逻辑和集成代码分开,并用邦员的PIM映射行为逻辑,用SOM映射集成代码,建立PIM和SOM之间的对应关系并映射成接口代码,纵向条理化了联邦成员的开发,降低了联邦成员代码开发的复杂性和集成的难度.在对模型进行描述和映射时,分析了HLA对象模型和面向对象模型的区别和联系,建立了用MDA思想描述联邦成员的平台无关和平台相关模型的开发过程框架.     

基于HLA的某型导弹模拟训练仿真系统的开发

基于HLA的分布式模拟训练仿真系统开发是当前大型导弹训练仿真器的一个重要研究方向.文章分析了基于HLA的仿真开发过程.在联邦开发和执行过程模型(FDEPM)基础上,结合开发经验,通过系统分析、联邦设计、FOM/SOM开发和联邦集成四个步骤探讨了某型导弹训练仿真的开发过程.整个仿真系统为实际装备的功能测试和复杂操作模拟提供了一个高效费比的仿真平台.通过应用,取得了良好的综合效果.     

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

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

装备保障训练联邦仿真模型邦员SOM的开发

仿真模型联邦成员SOM描述了该联邦成员在联邦运行过程中能够公布和需要预定的数据及相关信息。它的开发是分析和设计装备保障训练联邦对象模型（FOM）的基础,也是仿真模型联邦成员开发的难点。在系统分析了HLA仿真对象模型（SOM）的概念和原理的基础上,总结了SOM的设计原则和开发过程,并结合分布式装备保障模拟训练联邦的开发实践,简要描述了仿真模型联邦成员SOM的开发。     

基于半集中式RTI的联邦执行启动过程研究

RTI的开发是联邦式仿真的一个核心问题，而RTI原理的研究是开发RTI的前提。HLA对联邦执行的服务机制和管理机制进行了规范，但对联邦执行的启动过程，包括创建联邦、加入联邦及公布预订等联邦执行启动阶段的操作细节和操作顺序没有规范。该文旨在研究解决半集中式联邦执行启动过程问题。文中首先对半集中式RTI的结构与联邦成员的多线程模型进行了深入分析，然后提出了基于半集中式RTI的联邦执行启动过程的详细方案，并设计了启动时FED数据结构和公布／预订等重要环节的操作程序，为RTI的设计和开发提供参考。     

HLA联邦执行的维护机制研究

HLA联邦执行是一个复杂而庞大的系统，其运行中的维护十分复杂。为了保障整个系统正确、稳定和高效地运行，RTI及所有联邦成员必须有一个完备和合理的联邦维护机制，但HLA仅提供了联邦维护的工具一管理对象模型MOM，并未对联邦维护机制及MOM的使用方式作出规定。该文旨在对MOM的使用进行探讨。文中深入分析了HLA管理对象模型(MOM)的概念、体系，MOM的工作机制，以及联邦执行中MOM维护功能的主要方面，包括联邦执行的信息获取、联邦执行的故障处理、系统运行的跟踪和监控等，并设计了用于仿真实验数据分析和回放的基于MOM的联邦数据收集的方法，为RTI及联邦的设计和开发提供了参考。     

基于Simulink／Stateflow模型的嵌入式软件开发研究

当前在控制领域内使用Simulink／Stateflow建模并以RTW生成指定代码的方式代替传统嵌入式软件开发方法已形成趋势。这是由于基于Simulink模型的嵌入式软件开发大大节省了软件开发的人力、物力和时间成本。本文针对在Matlab环境下如何使用Simulink／Stateflow建立模型,实现嵌入式软件开发的过程进行了详细介绍。     

基于高层体系结构的军事工程毁伤与防护仿真系统

为满足军事工程毁伤分析、防护评估、防护训练等需要,提出一种基于高层体系结构/运行支撑架构 (HLA/RTI)的军事工程毁伤与防护仿真体系结构。在阐述仿真系统概念设计的基础上,确立了军事工程毁伤与防护仿真HLA总体架构,提出了系统功能逻辑结构;模型是HLA联邦开发的核心问题,确立了军事工程毁伤与防护仿真模型体系,遵从军事训练信息系统模型框架,设计了军事工程毁伤与防护模型;最后,给出了系统联邦工作流程,遵循联邦时间策略,以UML时序模型说明联邦成员行为设计。     

Simulink动态仿真中Stateflow建模存在问题

Matlab是现在工程领域中一套最为出色的科学计算软件,Simulink/Stateflow是Matlab自带的工具箱,主要用来实现对工程问题的模型化和动态仿真。Simulink/Stateflow基于模块化设计和系统级仿真的具体思想,使得建模仿真如同搭积木一样简单。Simulink/Stateflow对仿真的实现可以应用于动力系统、信号控制、通信设计等各个领域的研究中。但它也有不完善的地方,如果使用不慎就会得出错误的仿真结果。该文就以一个很简单的例子来进行了说明,并在此基础上提出了解决方案。     

Clone detection in MATLAB Stateflow models

MATLAB Simulink is one of the leading tools for model-based software development in the automotive industry. One extension to Simulink is Stateflow, which allows the user to embed Statecharts as components in a Simulink model. These state machines contain nested states, an action language that describes events, guards, conditions, actions, and complex transitions. As Stateflow has become increasingly important in Simulink models for the automotive sector, we extend previous work on clone detection of Simulink models to Stateflow components. While Stateflow models are stored in the same file as the Simulink models that host them, the representations differ. Our approach incorporates a pretransformation that converts the Stateflow models into a form that allows us to use the SIMONE model clone detector to identify candidates and cluster them into classes. In addition, we push the results of the Stateflow clone detection back into the Simulink models, improving the accuracy of the clones found in the host Simulink models. We validated our approach on the MATLAB Simulink/Stateflow demo set. Our approach showed promising results on the identification of Stateflow clones in isolation, as well as integrated components of the Simulink models that are hosting them.     

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems

For hybrid systems, hybrid automata-based tools are capable of verification, while Matlab Simulink/Stateflow is proficient in simulation. We propose a co-verification procedure, in which the verification tool SpaceEx/PHAVer and simulation tool Matlab are integrated to analyze and verify hybrid systems. For the application of this procedure, a platform screen door system (PSDS, a subsystem of the subway control system), is modeled with hybrid automata and Simulink/Stateflow charts, respectively. The models of PSDS are simulated by Matlab and verified by SpaceEx/PHAVer. The simulation and verification results indicate that the sandwiched situation can be avoided under time interval conditions. We improve the model with four trains and four stations on a subway line and analyze the urgent control scenario for the safety distance requirement. In this paper, the Simulink/Stateflow model is a refinement of the SpaceEx/PHAVer model, which is closer to a final implementation. Moreover, the two models are complementary for some features (e.g.,visualization of simulation, correctness proving by verification), stressing different aspects of the overall system and permitting complementary analysis techniques, i.e., verification versus simulation. We conclude that this integration procedure is competent in verifying subway control systems.     

A mathematical model of a digital control system with variable parameters

An approach is suggested for analysis of digital control systems with variable parameters; the approach involves the method of event-driven simulation. In addition, we describe a mathematical model of a discrete-continuous control system, implemented in MATLAB/Simulink/Stateflow.     

基于Matlab／Simulink的无人机飞行仿真研究

该文以某小型无人机为研究对象,基于其数学模型,在Matlab／Simulink环境下并结合Stateflow的有限状态机实现了对该无人机飞行过程的仿真模拟。首先利用Matlab／Simulink,对小型无人机搭建了非线性数学模型,对其飞行控制律进行了研究;然后利用Stateflow模拟了无人机的飞行管理器,实现无人机多模态之间的转换;最后对无人机的控制规律进行了验证。其结果表明了该控制规律的合理性和有效性。     

Mathematical model of steam generator feed system at power unit of nuclear plant

A mathematical model of a steam generator feed system at a power unit of a nuclear plant with variable values of transfer function coefficients is presented. The model is realized in the MATLAB/Simulink/Stateflow event-driven simulation.     

基于HLA技术框架和Vega的程序设计方法研究

分布式仿真系统的程序流程控制方法是仿真系统开发的关键。深入分析了HLA技术框架和Vega视景仿真的程序流程控制机制,基于Vega仿真应用和HLA联邦执行过程的程序结构,在多线程环境中利用面向对象分析与设计技术、数据库技术和Windows消息响应机制,提出了一种以Vega仿真循环为主、优先执行联邦成员功能的程序设计方法,充分满足了Vega视景仿真和联邦成员交互控制的功能需求,减小了系统程序设计和开发的难度,并保证了较好的运行效率。     

基于xPC Target的机械臂控制系统开发

介绍了控制系统的快速控制原型化设计方法以及xPC目标环境,然后基于xPC目标环境和Mathworks公司的Matlab RTW(real-time workshop,实时工作间),Simulink,Stateflow等工具开发了一个机械臂的控制系统。实验结果表明,该软件系统能够很好地控制机械臂抓取目标物体。