实时状态树结构模型的最优非阻塞模块化监督控制研究

针对传统的实时离散事件系统监督控制方法中存在监控器的设计复杂度高、结构不灵活且不易维护的问题,在实时状态树结构模型的基础上,提出了一种实时离散事件系统的最优非阻塞模块化监督控制方法。该方法根据不同的控制任务,将被控系统的性能指标划分为若干个子性能指标的合取形式,并且对每一个子性能指标分别设计子最优非阻塞监督控制器。由这些子最优非阻塞监督控制器构造被控系统的模块化监督控制器,给出了最优非阻塞模块化监督控制器的存在条件;通过设计协调器来解决整个闭环系统可能阻塞的问题。实验结果表明,模块化监督控制方法不但可以有效地降低实时离散事件系统监督控制器的设计复杂度,而且保证所得到的模块化监督控制器是最优且非阻塞的。     

确定有限自动机的逻辑形式定义

通过分析确定有限自动机状态转换函数的内在含义,引入有关的原子命题,得到确定有限自动机的逻辑形式定义并证明了状态转换函数表示与逻辑表示之间的等价性．     

奇偶校验自动机的逻辑形式描述

自动机工作过程实质上是一种逻辑推理过程.自动机的研究实际上就是自动机状态转换过程的研究.从奇偶校验自动机M的定义人手,通过分析其状态转换函数与输出函数的内在含义,引入有关的原子命题,得到奇偶校验自动机M的逻辑表示形式.     

确定有限自动机的矩阵形式

研究自动机的方法有状态转换函数、RTL、VHDL以及矩阵形式等方法.矩阵形式与其它方法相比能很好地完成对自动机状态转化过程的演算.自动机是描述集合之间某种关系,它的工作过程是一种逻辑推理过程.根据自动机的逻辑形式定义,结合矩阵方式,建立了自动机的矩阵逻辑运算方程;同时讨论了矩阵表示的有关性质.     

确定有限自动机推理的可计算逻辑分析

针对确定有限自动机对输入符号串的识别过程,提出了采用可计算逻辑来分析确定有限自动机的功能结构及其状态转换函数.在可计算逻辑中,计算问题是机器和环境博弈的过程.同样确定有限自动机对输入符号串的识别过程也可当作机器与用户的博弈,如果输入符号串满足确定有限自动机的语法规则能够识别出来,表示机器赢,否则用户赢.     

用布尔矩阵分析离散事件系统

本文用布尔矩阵研究了一类可用自动机描述的离散事件系统的有关性质。通过简单的矩阵运算，便可确定出系统状态间的距离（事件数）等参数。此外还讨论了用状态转移矩阵确定系统的可能逻辑迹集等问题。     

一种基于YFilter的XML数据流查询的改进算法

利用XML文档中各路径之间相似的特点,只扫描一次XML文档,把重复的XML标记所生成的事件组合成一个聚合事件,并在基于共享前缀的NFA算法YFilter基础上,提出一种改进算法PolYFilter,实现了聚合事件的谓词计算.实验表明,与YFilter相比,PolYFilter算法减少了大量相同的有限自动机状态转移的中间状态,避免了状态集的重复计算.特别是当XML文档比较大,且重复标记比较多的时候,PolYFilter有较好的过滤性能.     

COQ定理证明器辅助PLC 程序验证和分析

使用定理证明器COQ 验证和分析PLC 抢答器程序的一些性质, 证明了原程序的所有可能状态中只有半数是可达状态, 揭示了系统在可达状态之间的转移关系。基于这些性质, 引入了逻辑自动机的概念作为对PLC程序行为完整抽象的描述。此外, 在证明过程中, 发现该程序中存在着一个很难通过现场测试发现的问题。     

线性有限自动机的一些泛系研究

本文提出了线性有限自动机商系统的概念,给出了系统的结构,考查了系统间的泛系同态关系。抽象自动机是以输入、输出、状态三种集为硬部;状态转够函数、输出函数为软部所构成的形式系统。对硬部的不同成份按泛系方法进行商化,可导致各种不同的商系统。自动机理论中常用的极小自动机就是对状态集进行某种商化所得的一种商系统。一、基本概念线性有限自动机是指五元组:     

一类基于计算转矩的机器人控制方法性能分析

比较了五种基于计算转矩控制方法在机器人运动控制中的性能:固定增益的计算转矩控制、模糊调整增益的计算转矩控制器、扇形模糊逻辑控制器、带饱和函数的组合非线性反馈控制器和无饱和函数的组合非线性反馈控制器.这些控制器都是基于模型的控制方法,具有完全的机器人非线性动力学补偿.所有的控制行为均考虑到现实的限制,如驱动器饱和与摩擦扰动.在同样的期望轨迹下,比较各个控制算法的瞬态响应和稳态特性.仿真结果表明,带有饱和函数的组合非线性反馈控制器具有最佳的瞬态性能,扇形模糊逻辑控制器具有最好的稳态性能