分布式模糊离散事件系统的故障预测

本文研究分布式模糊离散事件系统的故障预测问题.先根据系统的模糊特性,提出一种分布式模糊离散事件系统的协同可预测性的形式化方法,使分布式模糊离散事件系统的协同可预测度不小于各分站点的局部可预测度.通过构造协同预测验证器,提出一种基于协同预测验证器的协同预测算法,并得到一个关于分布式模糊离散事件系统协同可预测性的充分必要条件.     

改进的线性自抗扰永磁同步电机转速控制器设计

基于线性自抗扰控制(linear active disturbance rejection controller, LADRC)在永磁同步电机(permanent magnet synchronous motor, PMSM)转速、电流复合控制中无法应对q轴电流突变和参数整定存在缺陷,提出一种改进的自抗扰控制器。首先,分析常规LADRC在转速、电流复合控制的设计方法,并对其核心参数进行剖析。其次,基于常规LADRC用最速控制综合函数(fhan)代替比例微分(the proportion of differential, PD)进行控制律设计,提高系统控制性能并优化参数配置方式;同时基于该函数特性,设计电流外环控制器,利用电流偏差反馈算法对q轴电流进行限幅控制,避免电流冲击过大损伤硬件。通过搭建实验平台测试,实验结果显示改进的LADRC能有效应对q轴电流冲击,同时具有与传统LADRC相当的抗扰能力,并且对扰动的瞬态响应时间缩短20 ms,表明改进的LADRC具有更高的安全性能和良好的抗扰能力。     

不完备离散事件系统的当前状态不透明性

本文针对不完备系统模型,研究不完备离散事件系统的当前状态不透明性.根据系统的实际输出与预测输出之间的差异,构建了一个具有学习功能的学习诊断器.这种学习诊断器不仅能够模拟系统的状态转移,而且还可以将系统缺失的状态信息通过学习得到恢复.通过引入集合覆盖理论处理由学习诊断器得出的结果,提出了一种基于学习诊断器的不完备离散事件系统当前状态不透明性的验证算法.     

离散事件系统不透明性监督控制研究综述

离散事件系统不透明性是指外部观察者无法分辨系统的一系列行为是否为系统所发生的.而离散事件不透明性监督控制则是构建监督器控制系统行为,使系统满足不透明性的一种方法.离散事件系统不透明性与信息安全有着紧密的联系,并得到了广泛的应用.首先对离散事件系统做了简要的概述,然后介绍了不透明性监督控制算法的研究现状,最后进行了总结和展望.     

关于逻辑程序不动点语义的讨论

主要讨论逻辑程序中的最大不动点语义．证明了当Herbrand解释语义映射TP是保滤子交的,或者确定性程序中不含函数符号,或者它的每一个子句都满足：子句体的变量都在子句头中出现时,集合TP↓ω就是语义映射TP的最大不动点．然后定义了另一个Herbrand解释语义映射Fp将关于逻辑程序不动点语义的一些主要结论进行了推广．     

逆作法现场建筑施工与监控

逆作法是一项新兴的基坑支护技术。逆作法技术要求将地下结构设计与施工设计紧密结合在一起。实践证明,利用逆作法施工高层建筑多层地下室和其他多层地下结构具有良好的经济效益和社会效益。对逆作法施工工艺的具体应用进行了讨论,详细说明了逆作法的设计和施工技术。     

基于集对分析的变精度粗糙集模型

粗糙集理论是一种新的处理模糊和不确定性知识的数学工具,在人工智能及数据挖掘等众多领域已经得到了广泛的应用。对于不完备信息系统目前也有多种扩充方法,如基于容差关系的扩充、基于相似关系的扩充等等。该文是在集对粗糙集模型的基础上,引入相对分类错误率的概念,提出了一种基于集对分析的变精度粗糙集模型。然后用集对分析的方法得到了变精度的上、下近似的性质,将经典粗糙集理论和集对粗糙集理论进行了推广。最后,通过一个不完备信息系统的具体例子,说明了这种基于集对分析的变精度粗糙集模型对不完备信息系统中处理模糊和不确定性知识的可行性和有效性。     

基于状态估计的分布式离散事件系统可诊断性研究

针对分布式离散事件系统,提出了一种验证基于状态估计的分布式离散事件系统可诊断性的方法。首先对离散事件系统的可诊断性进行形式化定义,然后提出一种基于状态估计的分布式离散事件系统的可诊断性验证算法,进而推导出分布式离散事件系统可诊断的充分必要条件,最后结合实际算例对该算法的可行性进行验证分析。相比现有算法,本文提出的算法无需各站点进行实时同步,仅要求在有限时延内各站点间能进行通信即可,且算法的时间复杂度也明显降低。     

动态矩阵控制在浆料浓度控制系统中的应用

针对PTA生产中浆料配制过程这一有纯滞后、大时间常数的非线性系统，进行系统的动态机理分析，与工作点附近的线性化，在此基础上设计DMC-PID串级加前馈控制方案。目前该系统在扬子石化化工厂PTA装置上已成功投运。