模糊离散事件系统基于验证器的模式故障诊断

针对模糊系统在运行过程中可能出现由多个事件触发的故障,研究模糊离散事件系统模式故障的诊断问题,提出一种基于验证器的模式故障诊断方法.先对模糊离散事件系统中最常见的模式故障,引入S类型模式故障和T类型模式故障两个概念,再分别对模糊离散事件系统的S类型和T类型模式故障的可诊断性进行形式化.为验证模糊系统模式故障的可诊断性,构造一个验证器自动机,并得到一个关于模糊离散事件系统模式故障可诊断性的充分必要条件,实现对模糊系统模式故障的诊断.     

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

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

分布式模糊离散事件系统的模式故障安全诊断

本文研究分布式模糊离散事件系统的模式故障安全诊断问题，提出一种基于模式故障安全协同诊断器的模式故障安全诊断方法。先在模糊离散事件系统中引入模式故障和模式故障安全诊断概念。然后对模糊离散事件系统的模式故障安全协同可诊断性进行了形式化定义。为了进一步验证分布式模糊系统的模式故障安全诊断性，构建了一个模式故障安全协同诊断器，并提出了一个关于分布式模糊离散事件系统的模式故障安全诊断的充分必要条件，实现了分布式模糊离散事件系统的模式故障安全诊断。     

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

针对分布式离散事件系统, 提出了一种模式故障预测方法。首先对分布式离散事件系统的模式故障可预测性进行形式化。通过构造一个模式故障识别器, 从系统所有行为中识别出所发生的模式故障, 并针对分布式系统的不同观测点构造不可观测闭包。在此基础上, 联合各站点观测到的事件序列构造出模式故障预测验证器, 解决了分布式离散事件系统的模式故障预测问题。得出了一个判定分布式离散事件系统模式故障可预测性的充分必要条件, 并提出了相应的模式故障预测算法, 实现了对分布式离散事件系统的模式故障预测。最后, 对分布式模式故障预测验证器的构建和模式故障预测算法进行了复杂度分析。     

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

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

仿真转台系统非脆弱鲁棒控制器设计

针对被控对象和控制器同时摄动时的鲁棒控制问题，基于H∞混合灵敏度理论，提出了仿真转台控制系统的非脆弱鲁棒控制器设计方法，研究了采样周期波动引起的控制器不确定性，给出了不确定加权函数的获取方法。将控制器不确定性转化为广义对象的不确定性，通过修改广义对象不确定性权函数和性能权函数，将非脆弱鲁棒控制设计问题转化为H∞混合灵敏度设计问题，采用单纯形方法，对H∞性能指标约束寻优得到非脆弱鲁棒控制器参数。仿真结果表明，当系统负载增加10％和采样周期波动0．2ms时，系统仍满足频响要求且控制量不饱和，证实了非脆弱鲁棒设计方法是有效的。     

适用于程序规范说明的Institution范畴的完备性研究

Institution作为一般框架下的逻辑系统,在数据库理论、程序设计语言、模块化技术和人工智能等方面有着重要的应用。论文主要研究了Institution范畴的完备性,它直观上表明如果基调类可分解,那么它们对应的Institution也可分解。这为大规模程序设计中模块化程序的安全分解和调用提供了一定的逻辑支持。首先,根据基调类范畴中的极限r:SignD',构造了一个Institution&,讨论了&中的一些性质,特别是闭包引理和表示定理;然后又建立了Institution范畴Ins中相应的极限r:&D,得到了遗忘函子U:Ins→Sig反射极限的重要结论,从而推广了Sign:Th→Sign反射余极限的关键性结果;最后给出了Ins的完备性定理。     

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

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

基于不确定观测下离散事件系统可诊断性的研究

在实际应用系统中,由于传感器故障、传感器限制和网络中的数据包丢失等原因,事件的可观测值变得不确定,使得观测系统行为变得尤为复杂。针对离散事件系统中,同个事件串可能有多个观测值以及不同状态下同个事件观测值也可能不同的问题,提出一种不确定观测下故障诊断验证的方法。首先对不确定观测的离散事件系统的可诊断性进行形式化,然后构建出用于上述故障诊断验证的验证器;基于验证器提出了系统基于不确定观测下可诊断的充要条件及验证算法;最后,实例说明不确定观测下故障诊断验证算法的应用。与现有研究相比,提出的方法对故障事件的观测值没有约束,可以为0个或多个观测值,使此方法应用的场景更为广泛。     

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

基于线性自抗扰控制(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具有更高的安全性能和良好的抗扰能力。