C模糊系统及其摄动性与稳定性

还原性、摄动性与稳定性是模糊系统的重要属性,对其进行深入研究将有助于研制具有良好性能的模糊控制器.称能保持推理还原性的模糊系统为C模糊系统.设"if x is Ai then y is Bi,i=1,…,n"是一模糊规则组,模糊推理通过合成运算.来实现,则C模糊系统的输入输出关系可表示为A o R=B,其中A是模糊输入,B是模糊输出,R是模糊关系方程组Ai o X=Bi(i=1,…,n)的-个解.本文在模糊划分的条件下,分别就o为两种常用的合成算法∨-*和∧-→(*和→是BL代数中的伴随对)的情况讨论了上述方程组的解,从而给出C模糊系统可能存在的各种情形.在此基础上,给出了模糊系统的摄动性与稳定性的定义,并证明了基于前述两种合成运算的C模糊系统的若干特征定理,给出具有良好稳定性的C模糊系统的表示式.最后,研究了C模糊系统的解析形式,给出这类模糊系统的插值表示.     

具有周期维护最小化时间表长的两台平行机调度问题(英文)

本文讨论了具有周期维护的两台平行机调度问题,目标函数为最小化时间表长.设T为维护周期,t为每次对机器维护需要的时间,当t≤T/3时,本文证明了对于该问题由LPT算法得到的最坏误差界为2.     

Kleene蕴涵算子的导出算子的n值逻辑系统In

考虑了Kleene蕴涵算子的导出算子的三值逻辑系统I3 和n值逻辑系统In(n >3)。首先,给出I3的真值表,证明了I3 是二值逻辑系统C2 的推广。其次,讨论了I3 中的重言式与IPC公理之间以及I3 中的准重言式与C2 中的重言式之间的关系。接着,考虑了In中的子代数。最后,考虑了不同逻辑系统In中的重言式之间的关系     

基于双蕴涵的相似推理模型

用双蕴涵定义模糊集的相似测度,在此基础上研究一种新的模糊推理模型-基于双蕴涵的相似推理模型.考虑推理的FMP问题,给出4种推理算法,获得由常见的蕴涵算子构造的相似推理模型的计算公式.把已有的模糊系统作了改进,提出高斯模糊系统的概念,并证明基于双蕴涵相似推理模型的高斯模糊系统具有良好的函数逼近特性.     

对合Quantale同余关系

给出对合Quantale同余的概念,得到了对合Quantale同余的一些性质,讨论了对合Quantale同余与同态之间的关系,最后给出了对合Quantale乘积上的同余关系的结构。