QUantale中的闭滤子

在Quantale中讨论了与Gabriel拓扑密切关联的闭滤子,给出了闭滤子与闭映射之间的相互确定关系．证明了凝聚左侧Quantale Q的闭滤子全体F(Q)在包含序下构成Frame,并且Q的紧闭滤子全体Fc(Q)是F(Q)的子Frame．最后,证明了凝聚双侧交换Quantale的紧闭滤子全体在包含序下构成Coherent Frame．     

R(L)型诱导空间及连通性

本文研究了R（L）-型诱导空间，利用R（L）-值下半连续函数，讨论了R（L）型诱导空间的基本性质，得到了R（L）型诱导空间保持笛卡积和连通性，并证明了诱导映射和生成映射是可交换的。     

Quantale的若干新的性质

讨论Quantale的若干性质，给出Prequantale构成Quantale的两个充要条件，论证在严格双侧Quantale上逆序对合对应的惟一性并给出了Quantale是分配格的一个条件。     

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模糊系统的解析形式,给出这类模糊系统的插值表示.     

Quantale范畴的代数性

本文讨论了Quantale的范畴性质,给出了余等子和自由Quantale的结构,证明了Quantale范畴是代数范畴．     

R0-代数中的stone表现定理

借助于分配格中Stone表现定理证明的方法，证明R0-代数的Stone空间同胚于某些特殊分配格的Stone空间。就分离性而言，我们不可能达到T1．     

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

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

R(L$型诱导空间的分离性和良紧性

In this paper, we prove that （L^X,5） is T0,T1, T2, regular （T3）, normal （T4） and completely regular spaces if and only if （R（L）^X, ω（δ）） is T0, T1, T2, regular （T3）, normal （T4） and completely regular spaces, respectively, and （L^X,δ） is N-compact if and only if （R（L）^X, ω（δ）） is N-compact.     

L-拓扑空间的层仿紧性

在L-拓扑空间中定义了一种新型的仿紧性,即层仿紧性,并研究其性质,讨论了这种仿紧性与已有的两种仿紧性之间的关系.     

I(L)型诱导空间的可数性

本文证明了(L^X,δ)与其I(L)型诱导空间(I(L)^X,ω(δ))的权,特征,浓度.Lindel?f度相等,(L^X,δ)为Lindel?f空间当且仅当(I(L)^X,σ(δ))为Lindel?f空间,且给出了(L^X,δ)与(I(L^X)ω(δ))的稠密集,稀疏集,第一纲集,第二纲集,Baire性质之间的关系.