基于模型组件技术的通用离散事件动态系统仿真模型

针对传统离散事件动态仿真软件可重用性差的缺陷，提出了基于组件技术的设计方法，给出了基于组件技术的离散事件动态系统通用的模型接口及原型实现，开发了类似Matlab的离散事件动态系统仿真环境，该仿真工具通过拖放创建模型，联线建立模型间逻辑联系，并在炼钢连铸车间物流仿真中得到了运用。该设计方法还可以推广到其他柔性制造系统的仿真应用中。     

具有并发事件的离散事件系统的动态监控

本文用受控Ｐｅｔｒｉ网为具有并发事件的离散事件系统建模，研究了该模型了的离散事件系统的禁止并发事件串的控制问题，利用合法语言及合法语言的最大可控子语言来规范监控器，并提出了一种动态监控的方法。．     

离散事件动态系统的摄动分析

较全面地综述了基于离散事件动态系统（ＤＥＤＳ）的摄动分析（ＰＡ）方法。通过阐述ＰＡ的基本思想、特点及主要内容提示了ＰＡ方法研究的理论意义与现实意义。同时，指出现有几ＰＡ的优点与局限性。最后，概述了ＰＡ的主要应用领域，并对ＰＡ现在问题进行探讨。     

离散事件动态系统的排队网络分析

离散事件动态系统是一类新型人造系统。这类系统不能用传统的微分方程描述和分 析，本文综述了这类系统的一种分析方法，即排队网络分析法。首先介绍经典排队网络 理论的主要成果，进而讨论基于排队网络模型的几种实用计算方法：如运行分析法、平 均值分析法和摄动分析法，最后对排队网络在柔性制造系统的建模、分析、规划和控制 中的应用作了详细的介绍。     

离散事件动态系统周期求解的线性规划方法

应用计时事件图中回路的线性代数特征,将线性离散事件动态系统的周期计算转化为线性规划(LP)问题,并且得到的LP问题具有较少的变量和线性约束,避免了传统方法中对回路的穷举搜索,降低了计算的复杂性·     

约束离散事件动态系统的仿真优化方法

本文针对决策变量取整型值的约束离散事件动态系统仿真优化问题，发展了一种基于模拟退火方法的仿真优化方法。文中对仿真优化算法中约束的处理方法进行了探讨。最后，给出了一个仿真实例。     

混合动态系统离散控制器的一种综合方法

对混合动态系统的研究作了简要的评述．采用输入／输出（Ｉ／Ｏ）离散事件过程模型，给出了混合动态系统离散控制器的一种综合方法．     

离散事件动态系统的一种新仿真方法

本文针对离散事件动态系统,提出了一种新的仿真方法,它由异步仿真运行、仿真死锁检测、解除仿真死锁三部分组成。文中详细讨论了这种方法的原理及特性,并应用此方法对—FMS进行了仿真研究。     

混合动态系统的模糊接口设计

利用模糊逻辑控制的思想,给出了混合系统的模糊接口设计.该接口通过其内部参数的学习把连续状态空间划分成多个子空间,使受控对象的非线性系统在每个子空间内可由一基于模糊逻辑的线性模型逼近,从而简化了对象模型和设计任务.当连续状态穿越空间边界时,则由上层离散事件控制器进行模式切换,从而使系统以稳定安全的方式运行.     

一类离散事件动态系统 (DEDS) 的状态方程

Y.C.HO等人提出了第一个建立在事件域上的DEDS的扰动分析状态方程,但是,这个方程存在着缺陷和不足。本文在较深入分析该方程的基础上,提出了适合于更为一般情况的状态方程。     

并发矢量离散事件系统的状态反馈控制

以自动机为模型 ,利用形式语言讨论了并发事件存在的情况下 ,矢量离散事件系统的非确定状态反馈控制 ,对所得结论给出了证明     

具有强迫事件的DES的事件反馈控制

在系统与监控器的优先同步运行下,讨论了具有强迫事件的ＤＥＳ的事件反馈控制;在预先给定的闭环系统的行为规范条件下,不仅得到了监控器存在的充分条件条件,而且通过构造监控器这一结论进行了证明。     

离散事件系统的受控Petri网模型中的冲突控制

本文研究了以受控Ｐｅｔｒｉ网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法．该方法首先把冲突问题转化为禁止状态问题，然后通过解决禁止状态的控制问题实现受控Ｐｅｔｒｉ网中的冲突控制．文中还给出了求解控制的有效算法．     

一类线性离散事件动态系统的稳态分析

运用极大代数方法,讨论了随机串行生产系统的稳态性能。     

线性DEDS的反馈镇定与极点配置

讨论了线性离散事件动态系统(线性DEDS)的反馈镇定与极点配置问题,并得到了合理的结果。研究的方法是以极大代数意义下线性 DEDS 的Z域理论为基础,通过分析Z 域模型与时序标识图(TMG)的关系,求得合适的反馈矩阵。     

一种混合系统的递归式仿真模型

本文在混合系统的自动机和变迁系统模型的基础上,对混合系统按照不同抽象层次进行系统分解,提出了一种递归形式的混合系统模型。这种模型支持由粗到细逐步细化的建模。当这种模型满足给出的若干附加性质时,它容易转化为逻辑结构清晰的混合仿真程序。最后对一个混合系统的实例建立了其混合仿真的递归形式仿真模型。     

DES的代数算子与行为框架

介绍了离散事件系统的几种常用代数算子，以及运用不同的代数算子对一些简单的子系统进行进行综合时，描述子系统逻辑行为的行为框架。