EXCEL在离散事件系统仿真中的应用研究

该文将Ｍｉｃｒｏｓｏｆｔ Ｅｘｃｅｌ应用于离散事件系统仿真中,以Ｅｘｃｅｌ的工作表作为输入和输出界面,采用宏语言（ＶＢＡ）编写仿真代码,对单服务排队系统进行了仿真研究,文中内容可为离散事件为系统仿真和教学提供参考。     

采样控制系统的高精度仿真

本文介绍一种易于用ＭＡＴＬＡＢ语言实现的、能精确反映系统连续时间特性的新的采样控制系统仿真方法，给出了程序框图，并用ＭＡＴＬＡＢ语言编制了软件。结果表明，本方法有很高的仿真精度，已编程简单。     

在VB5.0中使用和操作MATLAB

本文介绍在ＶＢ５．０中利用ＡｃｔｉｖｅＸ自动化技术使用和操作ＭＡＴＬＡＢ的方法。它以 ＶＢ作为自动化控制器。ＭＡＴＬＡＢ作为自动化服务器,在使用ＶＢ进行Ｗｉｎｄｏｗｓ编程中,充分发挥ＭＡＴＬＡＢ在系统分析。仿真等方面的优势。     

MATLAB软件及其应用

ＭＡＴＬＡＢ软件以其丰富的矩阵处理功能和图像与图形显示功能，引起了数学界和控制界的重视。各国学者在自己的研究领域内用ＭＡＴＬＡＢ软件编写了各种具有特殊意义的ＭＡＴＬＡＢ工具箱，这进一步促进了ＭＡＴＬＡＢ软件的发展。本文以ＭＡＴＬＡＢ软件的矩阵处理和绘...     

MATLAB在人工神经网络计算机仿真中的应用

本文在简要介绍了ＭＡＴＬＡＢ软件的基础上,结合其神经网络工具箱,重点分析了ＭＡＴＬＡＢ在人工神经网络计算机仿真中的应用。具体仿真实例表明,ＭＡＴＬＡＢ进行了人工神经网络计算机数据仿真的有力工具。     

MATLAB在同步电动机调速系统中的应用

本文主要介绍利用ＭＡＴＬＡＢ软件对稀土永磁无刷直流方波电机调速系统进行计算机辅助分析和设计。仿真结果可以用来指导实际系统的设计。     

MATLAB环境下变频器系统仿真的研究与实现

以单相桥式ＰＷＭ变频器为例,详细介绍了用ＭＡＴＬＡＢ对变频器及其控制系统的仿真过程,并且用实验验证了仿真结果的可接受性,同时对交流控制系统所出现的静态不确定度也作了说明。     

控制系统的仿真计算——MATLAB

介绍一种欧美流行的科研编程软件ＭＡＴＬＢ，并主要讨论ＭＡＴＬＡＢ软件用于控制系统的仿真计算，促进ＭＡＴＬＡＢ在国内的推广应用。     

涂布机双环调速系统的MATLAB仿真

介绍造纸行业中的涂布机双闭环调速系统,是作者设计并运用最新的计算机仿真工具－ＭＡＴＬＡＢ及其ＳＩＭＵＬＩＮＫ指导调试的。用ＳＩＭＵＬＩＫＮ的仿真技术指导调试,简单方便,快捷高效。仿真结果说明系统有优良的技术性能指标。实际系统运行效果良好。     

MATLAB环境下弹道仿真的方框图实现

介绍运用ＭＡＴＬＡＢ环境下的交互式模型输入与仿真环境－ＳＩＭＵＬＩＮＫ工具箱进行时变系统仿真的方法,并以一弹道仿真的算例来说明这种方法的可行性。     

离散事件系统规范DEVS研究

离散事件系统是一类常见的系统,如何对这类系统进行描述与建模是离散事件系统仿真研究的核心内容。离散事件系统规范DEVS是一种离散事件系统形式化描述方法,它具有层次化和模块化的特点,利用该方法可对复杂的离散事件系统进行建模、设计、分析和仿真。该文详细介绍了DEVS基本模型和耦合模型,给出了DEVS在耦合运算下的封闭性构造证明,并提出了一种具有嵌套层次结构的DEVS耦合模型实现算法,该算法对基于DEVS描述的离散事件系统的仿真实现具有一定参考价值。     

A new cell space DEVS specification: Reviewing the parallel DEVS formalism seeking fast cell space simulations

This paper introduces a new specification for cellular DEVS models that assures high performance. It starts with the parallel DEVS specification and derives a high performance cellular DEVS layer using the property of closure under coupling. This is done through converting the parallel DEVS into its equivalent non-modular form which involves computational and communication overhead tradeoffs. The new specification layer, in contrast to multi-component DEVS, is identical to the modular parallel DEVS in the sense of state trajectories which are updated according to the modular message passing methodology. The equivalency of the two forms is verified using simulation methods. Once the equivalency has been ensured, analysis of the models becomes a decisive factor in employing modularity in cellular DEVS models. Non-modular models guarantee the efficiency of the models in contrast to the current cellular DEVS implementation approaches. This was achieved by converting the cell space partially or fully into atomic model in order to eliminate inter-cell messages. However, the new specification needs an automated way to implement and verify models since they might become complicated ones.     

Self-reproducible DEVS formalism

System reproduction model to the growing system structure can be used to design modeling formalisms for variable system architectures having historical characteristics. We introduce a discrete event system specifications (DEVS)-based extended formalism that a system structure gradually grows through self-reproductions of system components. The proposed formalism is applied to atomic DEVS modeling and coupled DEVS modeling. As extended-atomic DEVS model, atomic self-reproduction (SR) DEVS modeling to a system component makes virtual-child atomic DEVS models. By SR DEVS modeling, a child coupled model can be also reproduced from a parent coupled model. When a system component model reproduces its system component, a child component model can receive its parent model characteristics including determined role or behavior, and include different structure model characteristics. A virtual-child model that has its parent characteristics can also reproduce next child model which may show similar attributes of the grand-parent model.     

DEVS的面向对象可视化建模

DEVS是对离散事件系统的一种形式化描述,该文在DEVS中引入面向对象的方法,并采用UML（Unified Modeling Language)对它进行可视化建模。文中提出了基于DEVS的面向对象的一种建模规则和基于UML的可视化建模思想和方法,该方法是对DEVS和UML的扩充和改进。     

A transformation model from DEVS to SMP2 based on MDA

Simulation Model Portability standard 2 (SMP2) is a successful simulation model reuse standard in European Space Agency. Discrete Event System Specification (DEVS) is one of most common and powerful simulation model formalisms. Transforming a simulation model from DEVS representation to SMP2 representation is of great significance for model reuse. A Model Driven Architecture (MDA) based transformation methodology is presented first. According to this methodology, a MOF based DEVS metamodel is created and the mappings from DEVS metamodel to SMP2 metamodel are established. A transformation model from DEVS to SMP2 is described based on Query/View/Transformation (QVT) language. An illustrative example is detailed to demonstrate the application of the transformation model. The transformation model’s further application strategy and our next work are discussed in the final part.     

Reachability Graph of Finite and Deterministic DEVS Networks

This paper shows how to generate a finite-vertex graph, called a reachability graph for discrete-event system specification (DEVS) network. The reachability graph is isomorphic to a given original DEVS network in terms of behavior but the number of vertices as well as the number of edges of the reachability graph are finite.      

一种DEVS原子模型向UML状态图映射方法研究

离散事件仿真规范DEVS形式化的一个重要不足在于它缺乏一种标准的、图形化的描述形式。该文研究提出了一种将DEVS的原子模型与复合模型分别映射到UML的状态图和组件图的方法,并用形式化的数学方法对DEVS原子模型向UML状态图的映射过程进行了描述与构造。这种映射将DEVS规范融入到了UML的描述形式当中,将DEVS的抽象化描述与UML的表示能力、计算机处理能力结合起来,为两种建模形式的统一提供了一个可行的思路。该文研究的成果在C^4ISR系统总体方案规范化建模中得到了逐步的应用。     

REALIZATION THEORY OF DISCRETE-EVENT SYSTEMS AND ITS APPLICATION TO THE UNIQUENESS AND UNIVERSALITY OF DEVS FORMALISM

Many man-made systems have discrete event nature. Many modeling formalisms for discrete-event mechanisms have invented and been used for many problems. Among those models, the DEVS formalism is to provide natural and universal models in some sense.

This paper first provides a realization theory of general discrete-event systems. That is, a behavioral definition of discrete-event system is defined, and then a state transition function of the system is constructed. Based on the realization, the uniqueness problem of representations for discrete-event systems is positively solved. Furthermore, as an application of that solution, this paper shows both the fact that a legitimate DEVS with surjective internal transition function is unique up to isomorphism in the class of state representations of the state system defined from the DEVS, and the fact that any discrete-event system has a DEVS realization. In this sense the DEVS modeling facility has the uniqueness and universality in modeling discrete event mechanisms.     

A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development

We present a time domain extension of the hierarchical and modular discrete event specification (DEVS) formalism. This extension is important for establishing a seamless real-time software development framework. Formalisms help describe a system unambiguously. If formal models are implemented without any consistent frameworks, however, it is hard to guarantee that there is no semantic gap between models and codes. Real-Time DEVS, named RTDEVS, is an extension of DEVS that can be characterized in three perspectives: the real time execution of models, the addition of time interval functions, and the activity specification for each state. After analyzing a system, the framework based on RTDEVS helps to expand each model of the system for executing in a real-time environment. In order to support the RTDEVS formalism, we propose abstract executive concepts based on the abstract simulator concepts of the DEVS formalism. Also, we implement an RTDEVS execution engine, named DEVS Executive, which runs on real-time Mach.