离散事件系统规范DEVS研究

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

离散系统仿真技术在装备作战仿真中的应用

装备作战仿真系统是一个复杂的交互型混合动态系统,该文描述了一种基于离散事件系统仿真技术,即通过确定离散系统仿真的基本要素：随机离散事件、仿真时钟及其推进方式、未来时间表、随机数发生器等,并增加对连续系统的等技术,来实现装备作战仿真中连续及离散随机事件的仿真。通过试验,仿真效果满足需求,其成果对从事作战模拟开发研究工作者具有一定的借鉴作用。     

混合动态系统中连续状态系统用离散事件系统描述的一致性

混合动态系统起因于离散事件系统用于监控连续状态系统的行。本文用抽象语言方法描述连续状态系统，研究状态离散事件系统描述的一致性。基于输入输出观点简要地 讨论了离散控制器综合。     

一类混杂系统的混杂时态Petri网模型

本语文为一类混杂系统的建模提出了混杂时态Ｐｅｔｒｉ网（ＨＴＰＮ）模型,在该模型下,系统的微观连续行为由混杂时态Ｐｅｔｉ网变迁对应的微分方程描述,宏观行为由变迁对应的离散事件描述,同时在该模型的基础上,讨论了混杂系统的宏观及微观运行问题,并提出了佥状态轨迹的概念来描述系统的动态行为。最后给出一实例来说明模型的合理性和应用。     

离散信号事件驱动的自动测试系统仿真验证方法与实现

为在设计早期对复杂自动测试系统进行充分验证从而加速其成熟并降低研发成本,对离散事件系统规范进行扩展和改进,在原子模型中引入了端口和故障模式,通过端口间的连接构成耦合模型,提出一种离散信号事件驱动的仿真调度算法,并给出一个C/S架构的支持远程交互的仿真验证实现方案;基于自研的SCATS自动测试系统软件平台,分别针对一个示例系统和真实系统开展了实验,结果表明所提模型和方法支持复杂系统多分辨率层次化建模,仿真具有较高的一致性和执行效率,满足自动测试系统仿真验证工程应用需求。     

“线性”离散事件动态系统的特征值

本文讨论无环向图和皮特利网描述的一类离散事件动态系统的特征值的求解方法，对事件延迟系统，给出了频域的特征矩阵M（z)的特征值求法，并由之提出一个新的求取闭环无环向图描述的离散系统特征值的方法。     

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

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

Modelica模型的序列化方法

Modelica是一种基于方程的陈述式建模语言,它具有面向对象、数组化表示、连续离散混合和可重用等多种特征,基于Modelica构建的模型和模型库通常规模庞大且结构复杂。编译Modelica模型的时间开销较大。本文从Modelica模型编译的角度出发,结合现有的序列化方法,提出以模型序列化来取代模型编译的部分工作,从而达到提升Modelica模型编译效率的目的。文中实现的Modelica模型序列化技术已在多领域物理系统建模与仿真平台MWorks中进行了验证与应用。     

基于CSPN的图视化离散事件系统模拟支持环境

在离散事件模拟领域中存在着大量的模拟软件，但由于它们所采用的建模方式都不够形式化，缺乏统一的，简洁的模型描述方法，从而促使人们寻找新的更具有潜力的方法。本文提出了一个新的基于ＣＳＰＮ模型的离散事件模拟支持环境ＣＳＰＳＥ，对它的思想方法，系统设计以及实现技术进行了较为系统的阐述，显示出ＣＳＰＳＥ在离散事件模拟领域的广阔前景。     

离散事件动态系统的概率建模

本文通过对一类离散事件动态系统——拆卸生产线的建模,介绍了一种新的概率建模方法——概率流方法.所谓“概率流”是状态间转移概率的一种形象描述,概率流建模的出发点是充分小时间内状态转移概率的流平衡,所得到模型是非线性方程组形式,通过定性分析可证系统是渐近稳定的.此外,本文还讨论了概率流方法与马氏理论的联系与区别.     

Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler

We introduce a new architecture for the design of a tool for modeling and simulation of continuous and hybrid systems. The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parameterization and connection of these MSL components are described using a subset of Modelica). Models are defined in Modelica and are translated into DEVS models. DEVS theory (originally defined for modeling and simulation of discrete event systems) was extended in order to permit defining these of models. The different steps in the compiling process are show, including how to model these dynamic systems under the discrete event abstraction, including examples of model simulation with their execution results.     

Integration of a flat holonic form in an HLA environment

Managers need to create and sustain internal systems and controls to ensure that their customer focused strategies are being implemented. Companies are currently in a spiral of permanent optimization. Accordingly, many companies turn to their core activity. In this framework, one notices the development of the concept of “industrial partnership”. In this context and to control the customer–supplier relationships (CSR), we proposed a self-organized control model in which all partner entities (customers/suppliers) negotiate to guarantee good quality connections between customers and suppliers. This means meeting customer expectations as closely as possible and respecting supplier capacities. In this proposal, self-organized control is characterized more precisely by an organizational architecture of the flat holonic form type. This flat holonic form is based on the concept of autonomous control entity (ACE). The holonic architecture, the behaviour of an ACE, the interaction mechanisms between ACEs and the self-evaluation supplier process are presented, and then the modelling of ACEs using discrete event system specification (DEVS) is described. An implementation of the simulation of such a system was done via a distributed simulation environment high level architecture (HLA). A case study illustrating the proposed approach is presented.     

支持网络建模和仿真的Modelica模型管理框架

针对基于Modelica的多领域仿真模型组织方式不能支持模型的网络化共享控制及网络环境下在线建模仿真的问题,提出一种支持网络环境下建模与仿真的Modelica模型管理框架。首先分析了现有Modelica模型组织方式在支持网络多用户模式下的模型共享及建模仿真方面的问题,然后提出了基于数据库与文件仓相结合解决方案,既支持Modelica知识模型的网络共享,又支持网络环境在线建模与仿真。最后基于该模型管理框架开发实现基于网络的多领域统一建模仿真平台。     

混合系统建模理论与混合系统模型

在现代工程仿真中,大部分仿真对象表现出同时具有连续和离散对象的特征,利用现有的离散或者连续建模理论不能全面的反应出对象特性,需要对混合系统的建模进行相应的理论研究.从系统理论出发,围绕着系统的连续属性和离散属性,以及他们对系统信息的响应,还有他们之间的相互作用为中心,建立混合系统模型的形式化表达和系统理论基础,并在此基础上建立了混合系统模型.以此模型为基础,在实践中为某大型仿真项目中的工程对象建立了混合模型,在仿真中得到有效的应用.     

基于Modelica的弹道导弹三自由度仿真

基于面向对象思想在Modelica语言平台上开发了弹道导弹三自由度仿真系统。在导弹三自由度动力学模型基础上,通过系统分解、功能实现和系统搭建3个步骤建立了Modelica语言平台上的仿真模型。所建立的仿真模型充分利用了Modelica语言的优势,具有较好的通用性和灵活性。最后,将建立的Modelica仿真模型与相应的C＋语言版本仿真系统进行了对比,结果表明全弹道仿真的结果位置误差在10m以内。     

《自动控制原理》课程中闭环脉冲传递函数算法研究

针对一般方法推导离散系统闭环脉冲传递函数过程繁琐费时的问题,给出一种先连续化求出闭环传递函数再离散化求解的简便方法,并给出使用本方法的单一化条件。对于满足该条件的系统,可直接求用简便方法求取系统的闭环脉冲传递函数,不满足该使用条件的系统,对其中间变量的求取可使用本方法,因而大大简化求解闭环脉冲传递函数的过程,为采样控制系统的分析和设计提供了很大的方便。     

基于Modelica的MEMS系统级多领域建模与仿真

分析了现有的MEMS系统级建模与仿真方法,讨论了运用Modelica语言进行面向对象的非因果关系建模方法,建立了基于Modelica的电容式微型静电致动器系统级模型,仿真结果证明了Modelica用于MEMS系统级多领域仿真的可行性.     

Tunnel-Free Supercover 3D Polygons and Polyhedra

A new discrete 3D line and 3D polygon, called Supercover 3D line and Supercover 3D polygon, are introduced. Analytical definitions are provided. The Supercover 3D polygon is a tunnel free plane segment defined by vertices and edges. An edge is a Supercover 3D line segment. Two different polygons can share a common edge and if they do, the union of both polygons is tunnel free. This definition of discrete polygons has the “most” properties in common with the continuous polygons. It is particularly interesting for modeling of discrete scenes, especially using tunnel-free discrete polyhedra. Algorithms for computing Supercover 3D Lines and Polygons are given and illustrated.