一类新的左连续三角模族及其伴随蕴涵算子族

给出一种构造带参数的左连续三角模的新方法,由此得到7种新的左连续三角模族及其伴随蕴涵算子族.证明其伴随蕴涵算子均满足正则性.     

模糊推理三Ⅰ算法的还原性

模糊推理算法的还原性是判断蕴涵算子与推理方法配合效果的一个重要标准,只有蕴涵算子与推理方法搭配适当,才能使模糊推理有一个好的效果。本文对模糊推理三I算法具备还原性的条件进行了研究。首先,当与蕴涵算子相伴随的三角模为连续三角模时,给出了FM P问题三I算法具有还原性的充要条件;其次,当蕴涵算子为连续的正则蕴涵算子时,给出了FM T问题的三I算法具有还原性的充要条件;最后,当正则蕴涵算子关于补运算满足对合律时,给出了FM T问题三I算法满足还原性的一个充分条件。     

一个新的蕴含算子族

在Gdel算子和Goguen算子的基础上构造了一个新的蕴含算子族:IG-λ-G(λ∈[0,1]),与文[1]中构造的蕴涵算子族L-λ-R0(λ∈[1/2,1])不同,对于任意的λ∈[0,1],蕴涵算子IG-λ-G是正则的,从而有相伴随的左连续的三角模。另外蕴含算子族IG-λ-G(λ∈[0,1])可用于包含度的生成,从而得到包含度族。所构造的蕴含算子族和包含度族为工程应用提供了选择模型。     

剩余型直觉模糊蕴涵算子的统一形式

对直觉三角模和直觉三角余模的性质进行研究,提出由此生成的直觉伴随对和直觉余伴随对的概念,讨论它们在直觉模糊区域上的性质,给出与直觉三角模相伴随的剩余型直觉蕴涵算子一种统一形式,最后根据直觉模糊蕴涵算子与模糊蕴涵算子的关系给出四类直觉模糊蕴涵算子的具体形式.     

三角模族T_(q,p)-LGN与逻辑系统LGN

首先, 给出一种新的带两个参数的左连续三角模族T(q,p)-LGN((q,p)∈[-1,1]×(-∞,0))及其伴随蕴涵算子族R(q,p)-LGN((q,p)∈[-1,1]×(-∞,0)), 分别简称它们为左连续三角模族T(p,q)-LGN及伴随蕴涵算子族R(q,p)-LGN;然后,定义了LGN三角模族的概念(基于此族的模糊逻辑系统等价于系统L,G与L*(或NM) 的所有定理的交LGN);最后,证明了左连续三角模族T(q,p)-LGN是LGN三角模族的一个子族.     

几类基于L*上二元聚合算子的蕴涵

L*是区间值模糊与Atanassov意义下的直觉模糊集的基本格。本文首先基于单位区间上的三角模与三角余模,引入L*上两组对偶的二元聚合算子,然后,类似于剩余蕴涵与强蕴涵的构成方法,利用引入的对偶聚合算子生成几类L*上的蕴涵,并对其性质进行讨论。     

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

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

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

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

双连续C正则预解算子族的生成定理

基于C正则预解算子族和双连续C_0半群引入了双连续C正则预解算子族的概念,考察了双连续C正则预解算子族生成元与预解式之间的关系,给出了双连续C正则预解算子族Hille-Yosida型生成定理,从而对Bananch空间强连续半群的生成定理进行了推广.     

关于左连续蕴涵算子的连续逼近问题

从阿基米德型t-范定义的剩余型蕴涵算子是连续的蕴涵算子出发，研究关于左连续的蕴涵算子Ro和Godel蕴涵算子心'的连续逼近问题，从而进一步为模糊推理寻求理论基础。     

满足I(x,I(y,x))=1的IT,N蕴涵的解

研究了I(x,I(y,x))=1,其中I为由强否定N和连续三角模T生成的IT,N蕴涵,即IT,N(x,y)=N(T(x,N(y))),x,y∈[0,1],给出了满足I(x,I(y,x))=1,x,y∈[0,1]的充要条件;最后,研究了由强否定N和一类不连续的三角模min0生成的Imin0,N蕴涵,给出了满足I(x,I(y,x))=1,x,y∈[0,1]的充要条件.     

关于满足I(x,n(x))=n(x)的D-蕴涵的刻画

研究I(x,n(x))=n(x),其中I为由连续三角模T、连续三角余模S和强否定n生成的D-蕴涵,即I(x,y)=S(T(n(x),n(y)),y),给出了满足I(x,n(x))=n(x)的充要条件。     

含参量蕴涵算子的构造及其性质

从空间几何的角度给出了几类含参量蕴涵算子，它们可以将常见的三种蕴涵算子Lukasiewicz算子、如算子及Godel算子包含其中，此外，还讨论了蕴涵算子的正则性质。     

凸正规上半连续模糊真值集上二型三角模的剩余算子

基于连续三角模的剩余蕴含,本文得到了凸正规上半连续模糊真值集上扩展算子(二型三角模)的剩余算子表达式,从而回答了文献[D. LI, Inf. Sci., 2015, 317: 259-277]的一个公开问题.     

正则余弦算子函数的内插和外插定理

该文研究正则余弦算子函数的内插和外插．证明了线性算子A在Banach空间X中生成一个指数有界的C-正则余弦函数当且仅当存在Banach空间Y和线性算子B使得：［R这里是C在Y中的有界扩张，B在Y中生成一个强连续余弦算子函数且A＝B|x．     

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

进一步研究完备Brouwer格上伪t-模和蕴涵算子,讨论完备Brouwer格上伪t-模和蕴涵算子的直积分解。     

基于三角函数型可加性生成子生成的决策算子

本文基于4个彼此有联系的三角函数型可加性生成子f(x)=cos(π/2x)、g(x)=sin(π/2x)、p(x)=tan(π/2x)和h(x)=tan(-π/2+πx)(x∈[0,1]),生成一类特殊的连续阿基米德t-模、t-余模、统一模决策算子,解决了在多属性决策过程中OWA算子以及代数三角模决策算子T(x,y)=xy失效时的决策问题,给出了多属性决策的一般步骤,并列举了一个投资银行对企业进行投资决策的例子,来详细阐述本文构建的三角函数型决策算子在多属性决策过程中的应用。     

二元Lagrange三角插值多项式在Orlicz空间内的逼近

研究了二元函数用一种组合型的三角插值多项式算子逼近的问题.借助连续模这一工具,给出了这类三角插值多项式在Orlicz空间内的逼近定理.     

L-λ-G族模糊蕴涵算子的性质

给出了三族模糊蕴涵算子分别称它们为L-λ-0(λ∈[21,1])、L-λ-G(λ∈[0,1])与L-λ-0-λ-G(λ∈[0,1])族模糊蕴涵算子。L-λ-0族算子包括Lukasiewicz(简称RLu)算子与R0算子,L-λ-G族算子包括RLu算子与Go。del(简称RG)算子,L-λ-0-λ-G族算子包括RLu算子、R0算子与RG算子。本文主要讨论L-λ-G(λ∈[0,1])族模糊蕴涵算子的伴随算子及其正则性。     

伪统一模与剩余格之间的关系

讨论伪统一模与剩余格之间的关系,证明完备格上无穷∨-分配伪统一模和它的剩余蕴涵算子构成一个完备剩余格,并说明任给一个完备剩余格L=(L,∧,∨,*,e→,,*是无穷∨-分配的伪统一模,→和(?)是*的剩余蕴涵算子.