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

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

算子代数发展概述

本文概述了算子代数发展的主要线索及关键点     

强自反算子代数中的一秩算子

本文给出了强自反算子代数是由其一秩算子σ—弱生成的一些充分条件。特别地证明了对于Von Neumann代数,强自反性与一秩算子代数的σ—弱稠密性是一致的。     

微分算子代数的自同构

本文确定了微分算子结合数Ｆ与微分算子李代数ＦＬ的自同构。     

BCK代数与关联算子代数

本文是文［１］的继续。本文讨论了关联算子代数的ＢＣＫ代数特征。     

实算子代数

本书是一本算子代数理论方面的专著，创立了实算子代数理论的基础，着重研究了在实数域条件下的Banach代数和算子代数及与之相关的问题。作者在这个研究工作中，尽可能地从统一的角度对多种实算子代数进行分析，并刻画了实算子代数和复算子代数的不同之处。     

算子代数的模的若干性质

当Ｈ是有限维Ｈｉｌｂｅｒｔ空间，Ａ包含Ｌ（Ｈ）是一个单位代数时可以得到：Ａ的每个右（或左）模是ｎ－自反的Ａ是由秩≤ｎ的算子生成的，设Ｍ是由秩－１算子ο－弱生成的自反ＡｌｇＴ－模，给出了Ｍ的预零化子的几个表示，研究了Ａ的模交换子问题。     

李代数的Rota-Baxter算子

研究了复数域上导代数维数等于1的2-维和3-维李代数的Rota-Baxter算子的结构.给出了导代数维数等于1的2-维和3-维李代数的权为0的Rota-Baxter算子的具体表达式.并通过Rota-Baxter算子的可逆性讨论了李代数的幂零性.     

自反算子代数上的导子

讨论了具有交换格与套序和的算子代数上的导子，证明了由此类算子代数到自身和到紧算子理想的每个导子都是内导子；得到此类算子代数上按点收敛的导子序列是范数收敛。     

离散事件模型的代数方法及其监控理论

有限状态机（ＦＳＭ）、Ｐｅｔｒｉ网、通信顺序进程（ＣＳＰ）和有限递归进程（ＦＲＰ）都是用来描述离散事件动态系统逻辑行为的，都可以化为一种代数形式。本文首先描述了构造离散事件模型的一般方法，然后讨论了在其上发展的监控理论。     

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

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

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

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

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

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

具有强迫事件的VDES的状态反馈控制

对具有强迫事件的ＶＤＥＳ的状态反馈控制理论进行了探讨，在给定闭环系统行为规范的条件下，得到并证明了控制器存在的充分必要条件。     

离散事件系统的一种分布式仿真算法

本文针对串行同步仿真方法及Chandy-Misra异步分布式仿真方法所存在的优缺点,采用折衷方案,提出了一种新的离散事件系统分布式仿真方法。这种方法首先将系统分解为N个子系统,它们分别在N个微处理机上基于串行事件驱动仿真方法进行仿真,而在各微处理机间存在着异步性。为了避免仿真死锁,引入了一中央控制器来协调子系统间的异步仿真。最后,建立了0-1整数规划模型以实现系统的最优分解。     

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

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

线性离散事件动态系统控制的一些新结果

应用极大代数理论，将柔性加工生产线等一类离散事件动态系统看作这种代数意义 下的线性系统，讨论了这种系统的运行性质，找到了人为控制初始输入，使闭环系统不 经过渡过程直接进入以λ为周期稳态运行的方法。利用上述方法，提出了对有交连的大 型离散事件动态系统进行协调控制的方法，使其能够直接进入稳态并以同一周期协调运 行。各种方法均给出了实例。     

模糊离散事件系统的多故障诊断

针对诊断器不能只依赖自身就能判断诊断的缺点,基于不可区分串的概念,提出一种模糊离散事件系统的多故障诊断方法.首先,基于极小可观测事件构造模糊自动机相应的诊断器,用于寻找不可区分串的集合;其次,根据诊断器的性质,提出模糊离散事件系统的多故障可诊断的充分必要条件;最后,通过实例进行验证.结果表明:该方法为模糊离散事件系统的多故障诊断提供一种简单可行的新途径.