Ω群上T同余L关系

利用完备Brouwer格L上的无穷V-分配t-模T引入并讨论Ω群上相容L关系概念，然后在其基础上进一步引入并研究Ω群上T同余L关系概念，最后讨论Ω群上T同余L关系与正规Ω-TL子群的关系。     

强正则剩余格值逻辑系统L~N及其完备性

正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.     

模糊赋范线性空间的紧性与完备性

讨论了Fuzzy赋范线性中准紧集、完备集及有界集间的关系;给出完备Fuzzy赋范空间的闭球套定理与Baire定理;刻画了了有限维Fuzzy赋范空间的特征。     

超混沌Chen系统和超混沌Rssler系统的异结构同步

用两种不同的方法———主动控制同步法和自适应控制同步法实现超混沌Chen系统和超混沌Rssler系统的异结构同步,各自设计了不同的控制器,使得响应系统与驱动系统同步.当参数已知时,采用主动控制法,方法简单有效且不需要构造Lyapunov函数,实现同步的时间短;当系统参数未知或结构不确定时,基于Lyapunov稳定性理论,给出自适应同步控制器的系统设计过程和参数自适应律,使得系统达到同步同时识别未知参数.数值模拟验证了两种方法的有效性.     

量子群Uq(osp(1, 2))的中心

本文讨论了单李超代数osp(1,2)的量子化包络代数Uq(osp(1,2))的中心,利用Uq(osp(1,2))的表示的已知结果,证明了量子群Uq(osp(1,2))的中心的刻画,证明了该量子群的中心是由一个元素生成的多项式代数.     

完备格Brouwer上伪t-模与蕴涵算子的注记(Ⅱ)

进一步研究完备Brouwer格上伪t-模与蕴涵算子，给出同二元算子生成的伪t-模与蕴涵算子的计算公式。     

一类非线性动态系统的混合H2/H∞模糊输出反馈跟踪控制

讨论一类非线性动态系统的混合H2/H∞模糊输出反馈跟踪控制问题。首先利用T-S模糊模型对系统进行建模,然后设计基于观测器的控制器,使跟踪误差尽可能的小,并且对于任何有界参考输入,满足给定的H∞跟踪性能,以及在满足给定的H∞跟踪性能下,达到H2次优控制性能,最后将观测器与控制器的设计问题转化为EVP(特征值问题)。     

完备格Brouwer上伪t-模与蕴涵算子的注记(II)(英文)

进一步研究完备Brouwer格上伪t-模与蕴涵算子,给出同二元算子生成的伪t-模与蕴涵算子的计算公式。     

∧~*系统的公理化扩张

通过对模糊逻辑命题演算形式系统L*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑(NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张,具有较好的扩展性。     

TL-子环和TL-理想--第5篇:素TL-理想和半素TL-理想

引入环的素ＴＬ－理想,全素ＴＬ－理想和半素ＴＬ－理想等概念,并且介绍了它们的一些基本性质,其中Ｔ为任意给定的完备Ｂｒｏｕｗｅｒ格Ｌ上的任意无穷并－分配ｔ－模。此外,还对有单位元的交换环的素ＴＬ－理想和一般的素（全素）ＴＬ－理想的特点进行刻划。