基于蕴涵算子θp模糊推理的三I与反向三I算法的约束度分析

研究基于蕴涵算子θp模糊推理的三I算法与反向三I算法的约束度理论, 分析约束度的性质,得到α-三I算法的FMP(FMT)上(下)确界计算公式与α-反向三I算法的FMP(FMT)下(上)确界的计算公式.     

参数Kleene系统的三Ⅰ算法与反向三Ⅰ支持算法

提出基于参数蕴涵算子θp模糊推理的思想,给出了在模糊推理的每一步都使用蕴涵运算pθ的三I算法与反向三I支持算法理论,得到了三I上确界算法、模糊取式算法(FM P)与模糊拒取式算法(FM T)的计算公式,这将有助于提高模糊推理结果的可靠性。     

θp型三I算法与反向三I算法支持度分析

研究了基于蕴涵算子以θp模糊推理的三Ⅰ算法与反向三Ⅰ算法的支持度理论，分析了支持度的性质，得到了α-三Ⅰ算法的FMP（FMT）计算公式与α-反向三Ⅰ算法的FMP（FMT）计算公式。     

基于区间值模糊软集的反向三Ⅰ方法

本文主要讨论了基于区间值模糊软集的反向三Ⅰ方法,建立了区间值模糊软取式(IVFSMP)和区间值模糊软拒取式(IVFSMT)的反向三Ⅰ方法的表达式,并证明了IVFSMP和IVFSMT的反向三Ⅰ方法的还原性。最后,通过一个实际问题以阐述IVFSMP的反向三Ⅰ方法在决策问题中的有效性。     

基于真度理论的α-反向三Ⅰ问题的形式解

在多值逻辑系统L*n中,基于真度理论提出了模糊推理的α-反向三Ⅰ问题,并给出了α-反向三ⅠMP、α-反向三ⅠMT问题解的具体形式,在系统L*n中建立了α-反向三Ⅰ问题的形式化推理机制,为模糊推理的α-反向三Ⅰ算法奠定了逻辑基础。     

区间值直觉模糊推理的全蕴涵方法

讨论了区间值直觉模糊集合上的剩余型伴随对的性质,获得了几个重要的结果。提出了IFMP和IFMT问题的区间值直觉模糊推理的三I原则、α-三I原则、三I约束原则、反向三I原则、反向α-三I原则和反向三I约束原则。针对区间值直觉模糊集合上的剩余型伴随对,给出了IFMP、IFMT问题的区间值直觉模糊推理的三I算法、α-三I算法、三I约束算法、反向三I算法、反向α-三I算法及反向三I约束算法解的计算公式,讨论了IFMP、IFMT问题的区间值直觉模糊推理的三I算法和反向三I算法的还原性。     

三Ⅰ表达式取最小值时的最优解

在本文中,针对蕴涵算子R_0,我们给出了当A→B与A~*(B~*)给定时,求使三Ⅰ表达式(A→B)→(A~*→B~*)取最小值的全体B~*(A~*)之集的上确界(下确界)算法。并将上确界算法推广到多维多重的模糊推理中。从三Ⅰ表达式取最值时求最优的B~*(A~*)的角度来看,本文是三Ⅰ算法思想的延伸和完善。     

模糊推理的三I逄法的RL型支持度分析

在文献[1]提出的三I算法的支持度理论的基础上,全面展开了基于Lukasiewicz蕴函算子RL的三I算法的理论,给出了模糊MP算法与模糊MT算法的计算公式,并考虑了三I算法制还原性问题;进一步研究了三I算法的支持度理论,分析了支持度的性质,得到了一般化的α-三IFMP公式与α-三IFMT公式。     

α-三Ⅰ约束问题的形式解

提出了α-三Ⅰ约束问题,并在逻辑系统L~*和Luk中给出了这些问题的形式解,建立了这两个逻辑系统中三Ⅰ约束算法的形式推理机制,为α-三Ⅰ约束算法建立了严格的理论基础。     

基于三Ι算法的模糊系统及其响应性能

给出了基于三Ⅰ算法和α-三Ⅰ算法的几种典型模糊系统的插值表达式．指出,基于三Ⅰ算法和α-三Ⅰ算法的模糊系统对于某些蕴涵算子具有函数逼近的泛性,而对于不少蕴涵算子只具有阶跃输出能力,而不具有函数逼近的泛性．此外,证明了基于三Ⅰ算法的模糊系统在一定条件下对于模糊逻辑系统中推理与聚合的次序交换无关．     

三I表达式取最小值时的最优解

在本文中，针对蕴涵算子$R_0$,我们给出了当$A\rightarrow B$与$A^*(B^*)$给定时,求使三I表达式$(A\rightarrow B)\rightarrow(A^*\rightarrow B^*)$取最小值的全体$B^*(A^*)$之集的上确界(下确界)算法.并将上确界算法推广到多维多重的模糊推理中.从三I表达式取最值时求最优的$B^*(A^*)$的角度来看,本文是三I算法思想的延伸和完善.     

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

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

von Neumann 代数上保持混合Jordan三重积的非线性映射

本文证明了在没有中心交换投影的von Neumann代数上的一个双映射$\Phi$如果保持混合Jordan三重积, 则$\Phi(I)\Phi$是一个线性*-同构和一个共轭线性*-同构的和, 其中$\Phi(I)$是中心自伴元素且$\Phi(I)^{2}=I$. 同时给出了因子von Neumann 代数上保持混合Jordan三重积映射的结构.     

基于完备BR0-代数的全蕴涵三I算法

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法,对一般蕴涵算子给出了三I算法解存在的一个充分条件,并将结果应用于$R_0$-单位区间$\overline{W}$,不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法.     

关于余挠三元组的余星子范畴和余倾斜子范畴

设$\mathcal{A}$ 是一个Abel范畴,且 $(\mathcal{X}, \mathcal{Z},\mathcal{Y})$ 是一个完全遗传余挠三元组.介绍 $\mathcal{A}$ 的 $n$-$\mathcal{Y}$-余倾斜子范畴的定义,并给出 $n$-$\mathcal{Y}$-余倾斜子范畴的一个刻画,类似于 $n$-余倾斜模的 Bazzoni 刻画.作为应用,证明了在一个几乎 Gorenstein 环 $R$ 上, 如果 $\mathcal{GP}$ 是 $n$-$\mathcal{GI}$-余倾斜的, 那么 $R$ 是一个 $n$-Gorenstein 环, 其中 $\mathcal{GP}$ 表示 Gorenstein 投射 $R$-模组成的子范畴且 $\mathcal{GI}$ 表示 Gorenstein 内射 $R$-模组成的子范畴. 进而, 研究 任意环$R$上的$n$-余星子范畴, 以及关于余挠三元组 $(\mathcal{P}, R$-Mod, $\mathcal{I})$ 的 $n$-$\mathcal{I}$-子范畴与 $n$-余星子范畴之间的关系, 其中 $\mathcal{P}$ 表示投射左 $R$-模组成的子范畴且 $\mathcal{I}$ 表示内射左 $R$-模组成的子范畴.     

INVERSE THEOREMS IN Lp FOR SOME MULTIDIMENSIONAL POSITIVE LINEAR OPERATORS

Let {L_n}_(n∈s) be positive linear operators in L_(I), I=[0, 1] or [0, ∞). This paper considers their variants in L_p(I×I)L_(n,m)(F; x, y)=L_n(L_m(F(u, v); y); x)=L_m(L_n(F(u, v); x); y), n, m∈N.The characterization problem for these operators is solved which gives the inverse theorems in L_p for multidimensional Bernstein type operators.     

Geometrical inverse matrix approximation for least-squares problems and acceleration strategies

Numerical Algorithms - We extend the geometrical inverse approximation approach to the linear least-squares scenario. For that, we focus on the minimization of $1-\cos \limits (X(A^{T}A),I)$ ,...     

三类有向三元系之间关系的一种猜想

一个Mendelsohn (Directed, 或Hybrid)三元系 MTS$(v, \lambda)$~(DTS$(v, \lambda)$,或HTS$(v,\lambda))$, 是由$v$元集$X$ 上的一些循环（可迁，或循环和可迁）三元组(简称区组)构成的集合${\cal B}$, 使得$X$上每个由不同元素组成的有序对都恰在 ${\cal B}$的$\lambda$个区组中出现.本文主要讨论了这三类有向三元系之间的一种关联关系，给出猜想：任意MTS$(v,\lambda)$的区组关联图$G(\     

分裂的$\delta$-Jordan 李三系

本文研究了任意分裂的$\delta$-Jordan李三系的结构,其为分裂的李三系的结构的推广. 利用这种三系的根连通, 得到了带有对称根系的分裂的 $\delta$-Jordan 李三系可以表示成 $T=U+\sum_{[\alpha]\in \Lambda^{1}/\sim} I_{[\alpha]}$,其中$U$是0根空间$T_{0}$的子空间,任意$I_{[\alpha]}$为$T$的理想, 并且满足 当$[\alpha]\neq [\beta]$时, $\{I_{[\alpha]},T,I_{[\beta]}\}=\{I_{[\alpha]},I_{[\beta]},T\}=\{T,I_{[\alpha]},I_{[\beta]}\}=0$.