离散事件系统的非确定性状态反馈控制(Ⅰ)

在离散事件系统（ＤＥＳ）中引入了强迫事件,讨论了确定性ＤＥＳ的非确定性状态反馈控制,其中对闭环系统的行为规范得到并证明了非确定性状态反馈控制器存在的充分必要条件。     

离散事件系统的非确定性状态反馈控制（I）

在离散事件系统（ＤＥＳ）中引入了强迫事件,讨论了确定性ＤＥＳ的非确定性状态反馈控制,其中对闭环系统的行为规范得到并证明了非确定性状态反馈控制器存在的充分必要条件。     

DEDS控制理论模型──受控Petri网的网论语义

离散事件动态系统（ＤＥＤＳ）是复杂系统控制理论的一个重要学科分支。受控Ｐｅｔｒｉ网是控制理论界提出的一个ＤＥＤＳ模型。本文分析此模型的网论语义，以便把Ｐｅｔｒｉ网的研究方法和成果引入离散事件动态系统控制理论的研究。     

一般生产调度问题的统一结构

分析了离散制造、间歇过程及连续工业的生产调度背景及需求，并依此说明各类企业的生产调度问题存在结构共性，可以归纳成一般生产调度（ＧｅＰＳ）问题来研究。这种ＧｅＰＳ问题可用混合动态系统来描述，它既包括描述基本生产过程的连续时间动态，又有描述实时事件发生及相应决策处理的离散事件动态，这两种动态是实时交互的。用水箱切换实例说明了ＧｅＰＳ问题的混合动态和模型特点。     

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

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

离散余弦列率滤波器的设计及应用

为在信号滤波领域发挥离散余弦变换（ＤＣＴ）潜在的优良特性,提出了离散余弦列率滤波的时域卷积算法,引入一种新型的线性相位数字滤波器－离散余弦率滤波器（ＤＣＳＦ）导出了任意长度一维和二维ＤＣＳＦ的设计公式,讨论了这种滤波器在广义标量维纳滤波和倍频程于带滤波中的应用,实验结果表明,ＤＣＳＦ可实现无形波失真的良好滤波效果,ＤＣＳＦ滤波算法简单,其计算量（乘法和加法）仅为采用快速ＤＣＴ（ＦＣＴ）的算法的１／     

多孔硅及其分形特性研究

利用阳极氧化技术制备了多种多孔硅（ＰＳ）样品，测出其结构参数，并摄得相应的ＳＥＭ微观形貌图片．针对多孔硅的结构特点，确立相应的离散分形布朗随机增量（ＤＦＢＩＲ）场模型，应用图像处理方法，求出不同ＰＳ微观图像的分形参数．发现了ＰＳ结构参数和分形参数的内在联系与规律性，为ＰＳ的定量化研究提出了新的方法     

具有硬实时上限的离散事件系统的建模

实时离散事件系统中有两种具有硬实时上限的离散事件———有界事件和有效期事件,它们比基本实时离散事件———无界事件和强迫事件具有更强的时间约束,对包含这两类事件的系统进行研究就变得十分复杂．文中给出了基于基本实时离散事件的Ｐｅｔｒｉ网模型,并为有界事件和有效期事件找到了由基本实时离散事件构成的Ｐｅｔｒｉ网模型,从而使文中的模型能够描述更广泛的离散事件系统．     

基于通信顺序进程的并发DEDS的规范和证实

在实时通信顺序进程（TCSP）的基础上对离散事件动态系统（DEDS）进行建模、规范和证实。介绍了TCSP中与DEDS相关的一些研究成果，根据离散事件的特点作了符号语义上的改进，就两个具体的例子——自动导引小车（AGV）和火车道口系统道口系统建立了TCSP模型，给出了它们需要满足的特性，并据此确立了控制方法和综合后的系统模型。     

离散动力系统的不动点指数

对Ｒ＾ｎ中开集Ｇ上的离散动力系统ｇ，在其不动点集Ф（ｇ）紧致的条件下，用Ｇ－Ф（ｇ）对Ｒ＾ｎ某重分Ｓｄ＾（ｒ）（Ｍ）的有限子复形Ｋ的边缘子复子形之边界的映射ψ诱导出同态ψｎ的方法，给出了离散动力系统不动点指数的定义及其性质，得到了离散动力系统的同伦逼近定理。     

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

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

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

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

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

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

实时离散事件系统监督控制的代数分析

本文基于离散事件动态系统（DEDS）的自动机模型，用极大和极小代数对状态转移时间，在某一范围内变化时的有关问题进行了分析。     

基于C/E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件 (CPLD)实现离散事件动态系统 (DEDS)监控器的方法 首先用Petri网中的条件 /事件系统 (C/E系统 )对DEDS建模 ,然后使用Petri网工具对模型进行分析 ,并根据控制要求设计出Petri监控器 ,最后用CPLD实现之 这不仅使Petri网有了硬件支持 ,而且也为逻辑控制器的设计提供了一种新的方法 文中给出了猫和老鼠迷宫问题基于C/E系统监控器实现的例子     

Petri网的一种硬件实现方法

Petri网是一种信息流模型，广泛应用于离散事件动态系统建模及控制领域．随着CPLD、FP-GA等可编程逻辑器件的出现，为Petri网的硬件实现提供了可能．从Petri网的原理出发，根据库所与变迁的本质特点，提出了一种Petri网硬件实现的框架，并详细阐述了如何用硬件描述语言VHDL实现C／E系统、P／T系统以及T-时延等几种典型的Petri网系统．最后用一个带有时延的P／T系统来验证此种方法的正确性．采用这种方法对离散事件动态系统控制器的设计，以及片上并行控制器、多处理器芯片的设计都具有十分重要的意义．     

DES的代数算子与行为框架

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

求解具有时空约束的板坯库天车调度问题Memetic算法

研究了钢铁企业板坯库天车调度问题,考虑了时间和空间以及热轧计划等实际限制,建立了一个板坯出库天车调度模型.针对天车调度问题具有实时性和不可交叉性的特点,设计了基于优先关系的天车分配编码方式、离散事件动态仿真解码、自适应交叉算子以及在交叉和变异后进行模拟退火局域搜索的Memetic算法.通过某钢厂板坯出库过程中天车调度的实际数据对模型和算法进行仿真测试,实验结果表明:该算法具有很高的收敛性和稳定性,满足实际生产需要.     

DEDS故障诊断方法在电梯中的应用

针对电梯这种复杂机电系统难以建模的特点，提出基于随机自动机的离散事件动态系统（DEDS）故障诊断方法．深入研究电梯门系统的故障机理，对各元件的典型故障进行分类，并抽象出各元件的事件集和状态集．将传感器信息和事件发生的可能性信息加入逻辑模型，得到系统的随机自动机模型．把门锁装置从门系统中分离出来，建立电梯门锁装置的随机自动机模型，构建电梯门系统和门锁装置的随机诊断器．通过随机诊断器，对门锁系统故障发生的概率进行在线估计，并对门主体系统的可诊断性进行了分析．此方法为复杂机电系统的故障诊断提供了一条有效途径．     

基于RW监控理论的虚拟生产系统控制

虚拟生产系统（VPSs）是一种为应对当今易变的和不确定的制造环境而提出的新型生产资源结构模式．为了实现其虚拟动态性、自适应性和全局性,应用RW监控理论并在UMDES—LIB的辅助下,对VPSs进行离散事件动态系统建模,以解决生产过程中最基本的冲突问题为目标,建立自治与协调规则,并相应地构建了自治与协调监控器,从而建立起基于RW监控理论且具有自治与协调控制机制的VPSs闭环监控框架．该闭环监控框架兼顾了局部自治和全局协调,并且具有很好的可重构性、可扩展性和可适应性,有助于VPSs增加系统柔性和提高响应速度．