一类由一致模与模糊否定构造的新模糊蕴涵——(N,U)-蕴涵

在(U,N)-蕴涵的基础上,从经典蕴涵算子p→q=?p∨q的对偶形式p→q=?(p∧?q)出发,用合取一致模U取代?(p∧?q)中的∧运算,用一般模糊否定N取代?(p∧?q)中的?运算,生成了一类新的模糊蕴涵,称为(N,U)-蕴涵。(N,U)-蕴涵是一类不同于(U,N)-蕴涵的蕴涵算子,与(U,N)-蕴涵形成了互补,丰富了蕴涵算子的生成方法。     

BL代数的(,∨(-overq))-模糊滤子格

对BL代数的(,∨(-overq))-模糊滤子理论作进一步深入研究。给出了(,∨(-overq))-模糊滤子的若干新性质, 定义了由BL代数上的一个模糊集生成的(,∨(-overq))-模糊滤子并建立了其表示定理, 证明了BL代数的全体(,∨(-overq))-模糊滤子之集构成一个完备的分配格。     

基于重叠函数和分组函数的蕴涵分配性

在模糊系统中,模糊蕴涵与某些特定的聚合函数(如三角模、三角余模、一致模、零模、半一致模、半t-算子等)间的分配性被广泛研究。作为两类特殊的聚合函数,重叠函数和分组函数因其在图像处理、分类和决策等方面的应用而被广泛关注。本文给出了有加法生成子对的重叠函数、分组函数与具有边界条件的二元函数满足蕴涵分配性方程I(O(x,y),z)=G(I(x,z),I(y,z))的充要条件,以及有加法生成子对的分组函数G1,G2和具有边界条件的二元函数I满足蕴涵分配性方程I(x,G1(y,z))=G2(I(x,y),I(x,z))的充要条件。     

(n,d)-phantom与(n,d)-Ext-phantom态射

设n,d是非负整数且n≥1,引入了(n,d)-phantom态射与(n,d)-Ext-phantom态射的概念,研究了它们的一些性质。作为应用,得到了模的FPn-平坦维数与FPn-内射维数的一些新刻画。     

模糊蕴涵算子及其构造(Ⅲ)--由三角模或余三角模构造的模糊蕴涵算子

依三角模和余三角模的定义,证实了模糊蕴涵算子θ0～θ311中有5个是三角模、5个是余三角模,并分别找出了与这5个三角模相关的余三角模和与这5个余三角模相关的三角模.求出了3个由三角模构造的力迫蕴涵算子,5个由三角模和不可分辨蕴涵算子一起构造的模糊蕴涵算子,1个由三角模生成的蕴涵算子,1个由余三角模生成的蕴涵算子和由这5个三角模生成的传播算子.将模糊蕴涵算子θ122～θ145的表达式y(a,b)换为θ(a,1-b)后构造出模糊蕴涵算子θ146～θ169及通过求模糊蕴涵算子θ122～θ145的圈乘算子得到模糊蕴涵算子θ170～θ19.共构造出57个模糊蕴涵算子.     

剩余格上n-重正蕴涵滤子的特征及刻画

在剩余格上引入了两类滤子——n-重蕴涵滤子和n-重正蕴涵滤子, 研究它们一系列的特征及性质,得到了剩余格上的非空子集F成为n-重蕴涵滤子和n-重正蕴涵滤子的充要条件,以及 这两类滤子之间相互等价的充要条件。研究结果进一步拓展了剩余格上的滤子理论, 并为其在代数逻辑及计算机信息处理等方面的应用奠定了理论基础。     

(O,N)-蕴涵及其刻画

模糊蕴涵在模糊集理论的理论建立和应用方面都发挥着非常重要的作用。常见的模糊蕴涵通常是由三角模、三角余模和模糊否定通过合适的方法构造而成。根据不同的构造方法,大致可以将模糊蕴涵分为5类,即(S,N)-蕴涵、R-蕴涵、QL-蕴涵、Yager蕴涵和序和蕴涵。本文从经典逻辑中的重言式p→q≡?(p∧?q)出发,在模糊逻辑中研究由重叠函数O和模糊否定N按上述方式生成的模糊蕴涵,称为(O,N)-蕴涵。本文研究(O,N)-蕴涵的基本性质和等价刻画,研究了由(O,N)-蕴涵和模糊否定诱导的类函数和重叠函数。     

Quantale的L-模糊理想

将L-模糊集理论应用到Quantale中,引入了L-模糊理想、L-模糊素理想和L-模糊预理想的概念,讨论了它们的性质,得到了若干等价刻画条件,给出了由L-模糊点生成L-模糊理想的具体结构。     

R-蕴涵与(S,N)-蕴涵等价关系的研究

当(T,S,N)为德摩根三元组时,分别在T为连续t-模和左连续t-模条件下讨论了R-蕴涵与(S,N)-蕴涵之间的等价关系,得到了二者等价的若干定理.同时,基于蕴涵自身所满足的性质,给出了二者等价的一个充分条件.得到的结论一方面有助于更好地理解两类模糊蕴涵之间的关系,另一方面为模糊蕴涵的应用提供了必要的理论基础.     

完备范畴的极限范畴与η-扩张

研究完备范畴的极限范畴与η-扩张关系,证明完备范畴之间的极限范畴的η-扩张与η-扩张的极限范畴同构。     

斜三角矩阵环的几个新结果

研究斜三角矩阵环 T(R,n,α)的几个新的环论性质,证明了:(1)设α是环R的一个自同态且α(1)=1, 则R是Hermite环当且仅当T(R,n,α)是Hermite环;(2)R是右弱McCoy环当且仅当T(R,n,α)是右弱McCoy环;(3)设M是幺半群, α是环R的一个刚性自同态, 则R是M-Armendariz 环当且仅当T(R,n,α)是M-Armendariz 环。     

三角矩阵环上的(n,d)-内射模

设A,B是环,U是(B,A)-双模,n,d为非负整数,■是形式三角矩阵环,首先,证明了■是n-表现左T-模当且仅当M₁是n-表现左A-模,Coker φ^M是n-表现左B-模且φ^M:U?_AM₁→M₂是单同态。其次,证明了当■是(n,d)-内射左T-模时,M₁是(n,d)-内射左A-模,M₂是(n,d)-内射左B-模。     

折叠超立方体的广义3-连通度

设图G是一个连通图,S⊆V(G)。图G的一棵S-斯坦纳树是一棵包含S中所有顶点的树T=(V ',E '),使得S⊆V '。如果连接S的两棵斯坦纳树T和T ',满足E(T)∩E(T ')=且V(T)∩V(T ')=S,则称T和T '是内部不交的。定义κ(S)为图G中内部不相交S-斯坦纳树的最大数目。广义k-连通度(2≤k≤n)定义为κ_k(G)=min{κ(S)|S⊆V(G)且|S|=k},显然,κ₂(G)=κ(G)。证明了κ₃(FQ_n)=n,其中FQ_n是n-维折叠超立方体。     

三角代数上互逆元处的高阶ξ-Lie可导映射

设U=Tri(A,M,B )是含单位元1的三角代数,1_A、1_B分别是A和B的单位元。对任意的A∈A, B∈B分别存在整数k₁、k₂,使得k₁1_A-A, k₂1_B-B在三角代数中可逆。利用代数分解的方法,证明了如果{φ_n}_n∈N:U→U是一列线性映射满足对任意的U,V∈U且UV=VU=1,有φ_n(［U,V］_ξ)=∑_i+j=nφ_i(U)φ_j(V)-ξφ_i(V)φ_j(U)(ξ≠0,1),则{φ_n}_n∈N是U上的高阶导子,其中φ₀=id₀是恒等映射,［U,V］_ξ=UV-ξVU。     

Gorenstein(m,n)-内射模

作为(m,n)-内射左R-模的推广,引入了Gorenstein(m,n)-内射左R-模的概念。在强左(m,n)-凝聚环上研究了这类模的一些性质;在强左(m,n)-凝聚环上利用Gorenstein(m,n)-内射左R-模给出了左(m,n)-内射环的一些等价刻画。     

a-Weyl定理的判定及其摄动

设H为无限维复可分的Hilbert空间, B(H)为H上的有界线性算子的全体。 T∈B(H)称为是满足a-Weyl定理, 若σa(T)\σ_aw(T)=πa₀₀(T), 其中σa(T), σ_aw(T)分别表示算子T∈B(H)的逼近点谱和本质逼近点谱, πa₀₀(T)={λ∈iso σa(T):0<dim N(T-λI)<∞}。 本文通过定义新的谱集, 给出了算子演算满足a-Weyl定理的判定方法, 同时也考虑了a-Weyl定理的摄动。     

三角矩阵余代数上的有限Gorenstein余表现余模

利用范畴的等价定理和范畴之间的正合函子,给出了三角矩阵余代数Γ=(T _TM_U0 U)上的有限Gorenstein余表现余模的具体形式,并且得到三角矩阵余代数Γ与余代数T及U之间的有限Gorenstein余表现维数的关系Max{G.cp.dimT,G.cp.dimU}≤G.cp.dimΓ≤G.cp.dimT+G.cp.dimU+1。     

非齐次泊松过程中向量参数极大似然估计的重对数律

对于具有向量参数的非齐次泊松过程的一般模型,论证了向量参数极大似然估计每个分量的收敛速度符合重对数律。