半格与本原逆半群的λ-半直积的E*-酉性

证明了一个半格与本原逆半群的λ-半直积是一个0-范畴E^*-酉逆半群，并给出它的同余商的一个同构性质。     

关于正序半群的分解

自然全序半群与正全序半群的序和分解的存在唯一性定理分别在［１］，［２］中建立，但是，对于一般的正序半群，序和分解的存在唯一性问题至今未能解决。本文在［１，２］的基础上研究一般的正序半群的序和分解，建立了它的序和分解的存在唯一性定理，从而使上述问题得到彻底解决。     

格区间值Fuzzy集分解定理的二种表现形式

文［１］定义了闭区间乘格区间值Ｆｕｚｚｙ集，在此定义下给出了格区间值Ｆｕｚｚｙ集分解定 理．本文重新定义了闭区间乘格区间值Ｆｕｚｚｙ集，并给出格区间值Ｆｕｚｚｙ集分解定理的新形式．     

富足p序半群与右弱完全右p序半群的结构

研究了富足p序半群的结构,给出了这类序半群结构定理.定义了右弱完全右p序半群.研究了这种序半群的重要性质,并给出这种序半群的结构分解定理.     

一类Clifford半群Cayley图的2-可扩性

任取e1,e2∈E(Γ),只需证明{e1,e2}可扩充为Γ的一个完美匹配.Clifford半群Cay(S,C)图的2-可扩性比1-可扩性性质更强,讨论的情形也更复杂.本文主要研究Γ=Cay(S,C)的2-可扩性.     

拓扑半群上概率测度卷积序列的一点注记

本文证明某些局部紧半群上概率测度卷积序列的两个性质定理。定理1给出了有限半群上组合收敛序列的一个重要性质。定理2讨论卷积序列支撑集的极限集的代数结构。     

模糊粗糙集的分解定理

根据模糊粗糙集(FR集)中上下近似都是模糊集合的构造性质,利用模糊集不同截集定义和分解定理,给出了模糊粗糙集(FR集)截集定义和相应的分解定理,并证明了模糊粗糙集(FR集)集的分解定理,分解定理揭示了模糊粗糙集和普通集之间的关系,在理论和应用中发挥着重要的作用。     

一类子集半格的强半格的Hall半群

论文得出了半格为如图1所示的子集半格的强半格的Hall半群WS,而且推出了WS的Green关系的充分条件.     

带核实赋值环上的多项式矩阵

本文旨在研究带核实赋值环上的多项式矩阵．在本文中，关于带核实赋值环上的多项式矩阵的半代数点定理被建立，同时正定矩阵与半正定矩阵的平方和表示也得到表明．     

关于Ringrose猜想和Γ类标量型可分解算子

Ｒｉｎｇｒｏｓｅ猜想良性有界线性算子Ｔ的恒等分解在一般情况下与其共轭算子Ｔ＊不可交换［１］．Ｔｕｒｎｅｒ引进一类称为Γ类标量型可分解算子并建立了一套与可分解算子平行的理论［２］。其中最重要的发展是证明了Ｔ的任何恒等分解都与Ｔ＊可交换从而解决了Ｒｉｎｇｒｏｓｅ猜想。本文指出Ｔｕｒｎｅｒ的证明是不完全的并给出了一个完全的证明。Ｔｕｒｎｅｒ也试图用Ｘ＊类标量型可分解算子来特征化（Ａ）型良性有界线性算子，本文构造了一个反例说明此结论不成立，并指出［２］中与此结论相关的几个引理和定理的证明过程是错误的。     

弱交换富足序半群(Ⅱ)

讨论了一般弱交换富足序半群的结构.从弱交换序半群和富足序半群结构性质入手,解决了弱交换序半群与双阿基米德序半群的关系和结构特征,给出了弱交换富足序半群的一般结构定理.     

一类带随机误差的Ishikawa迭代序列的强收敛定理

在Banach空间中建立了含 φ -强增生算子方程的解和 φ -强伪压缩算子不动点带随机误差项的Ishikawa迭代序列逼近问题 ,所得的两个定理 ,改进和扩展了如〔3 - 5 ,7- 9〕等近期的许多相关结果     

半B-(E,F)-凸约束多目标规划的对偶性

基于B-凸性和半B-(E,F)-凸性,提出了一类新的广义凸性:半B-(E,F)-凸性,给出了半B-(E,F)-凸函数的概念,研究了它的基本性质,并在半(E,F)-凸函数多目标规划的直接对偶定理和逆对偶定理的基础上讨论了半B-(E,F)-凸函数多目标规的直接对偶定理和逆对偶定理,所得到的结果是半(E,F)-凸函数多目标规的直接对偶定理和逆对偶定理的改进与推广。     

半群上的富足Rees矩阵半群

引入半群上的λ-行L*-关系和i-列R*-关系,讨论了半群上的这类*-关系和通常的Green's关系中L*和R*之间的联系,得到了一系列判断半群上的Rees矩阵半群是否为富足半群或是哪一类具有充足断面的富足半群的方法,并给出了这类富足Rees矩阵半群的例子及其结构.     

R—循环分块矩阵的若干分解定理

本文首先给出了R—循环分块矩阵的标准形分解定理,并由此获得了块谱分解定理及与循环分块矩阵、反循环分块矩阵相关联的分解定理。最后给出了与对称R~(-1)—循环分块矩阵相关联的分解定理,块正规矩阵分解定理。     

常识推理基础逻辑系统M的完全性

对通常的典范模型方法加以改造,在典范结构的基础上,可建立相对于任意给定有穷公式集Γ的Γ-典范框架和Γ-典范模型,以证明M的框架类完全性.Γ-典范模型方法是有穷方法.如果Γ有穷,得到的典范模型有穷.这不仅可以证明M的完全性,还可证明M的有穷模型性,因此M是可判定的.     

BCK—代数中理想的分解的几个注记

本文在J.Shsan与M.palasinski得到的关于BCK下半格中理想的既约分解与质分解的基础上,又得到了如下新结论;1.BCK—代数(不要求是下半格)的每个理想均可表示为一些既约理想的交。2.满足理想的降链条件的BCK—代数中,每个理想均有既约分解。3.满足理想的降链条件的BCK—下半格中,每个理想均有极小质分解且这种分解是唯一的。并且,以上结论亦可移植到对偶理想上。     

q一致光滑Banach空间中带误差项的Mann迭代过程

在q一致光滑实Banach空间中，给出了一类非Lipschitz，非值域有界的Φ-强增生算子带误差项Mann迭代序列的收敛定理，该结果概括了目前一些相关结果。     

面向对象概念格的属性约简方法

在给定形式背景下,给出了求解经典概念格、面向对象概念格和面向属性概念格的一种简便方法。给出了面向对象概念格的属性约简的判定定理,并提出了一种利用并可约元求解面向对象概念格的属性约简的方法。在此基础上,得到了其约简集以及属性集的3种分类,即必要属性集、相对必要属性集、不必要属性集.     

φ-半压缩映象带误差的迭代逼近

在实Banach空间中研究了φ-半压缩映象带误差的Ishikawa和Mann迭代逼近问题,并且提供了更为一般的收敛率的估计.