一类半交换的Armendariz环

通过环R上矩阵环M3(R)的特殊子环S3(R)={(α(a) b c 0 β(a) d 0 0 γ(a))|a,b,c,d∈R}给出了一类半交换Armendariz环。利用Reduced环和相容自同态的性质证明了:如果R是Reduced环,α,β,γ是R的相容自同态,那么S3(R)是半交换的Armendariz环。     

相容粗糙模糊集模型

在粗糙模糊集模型中,被逼近的目标概念是一个模糊集,使用的知识是等价关系,即描述对象的属性是离散值的。但在很多实际应用中,描述对象的属性是实数值的。针对这一问题,将粗糙模糊集模型中的等价关系推广为相容关系,提出了相容粗糙模糊集模型。当相容关系退化为等价关系时,相容粗糙模糊集模型即为粗糙模糊集模型。相容粗糙模糊集模型扩展了粗糙模糊集的应用范围。     

Φ-压缩映象的公共不动点定理

引入压缩尺度函数,利用映象对相容和次相容的条件,讨论了完备度量空间中的一类更广泛的Φ-压缩映象的公共不动点的存在性与唯一性,得到了新的公共不动点定理,从而在很大程度上改进和推广了已有文献的结果.     

弧相容算法性能比较

为了化简约束满足问题的规模、有效地处理大规模难解问题,从求解算法的角度研究弧相容技术。分析讨论了8种弧相容算法各自的优势和特点。在“明月”约束求解平台上针对随机约束满足问题,对该系列弧相容算法的性能进行了测试。实验结果表明,无论是在搜索之前还是搜索过程中,AC-2001(AC-3.1)都比其他算法表现出更优异的性能。     

一类积分型集值映象列的公共不动点定理

在非阿基米德概率2-距离空间中研究一类积分型集值映象列公共不动点的存在性,利用相关引理在非阿基米德概率2-距离空间中建立一类积分型集值映象列公共不动点的定理,改进和推广了相关结果.     

一种笛卡尔积压缩的负表约束上表缩减算法

利用笛卡尔积压缩方法可有效减小负表约束规模的原理, 提出一种在压缩负表上维持广义弧相容的高效算法STRC-N, 以解决负表约束维持弧相容过程中遍历所有元组导致效率低的问题. 实验结果表明, 当压缩负表上压缩率较大时, 得益于表规模的减小, 新算法相对于主流的负表约束处理算法效率更高, 性能更好, 从而实现了对负表约束处理算法的改进.     

2-距离空间中Altman型映象的公共不动点定理

在2-距离空间中使用相容映象和次相容映象对条件,研究了Altman型映象不动点的存在性,证明了新的不动点定理,从而改进和推广了现有文献中的相应结果。     

Knapsacks约束的弧相容改进算法

通过修改背包约束弧相容算法的数据结构,将点阵图改为有向图,解决了原背包约束弧相容算法中存在冗余计算和无效操作的问题,加快了算法对问题的求解效率.对比实验结果表明:在面对同一类问题时,因为数据结构更复杂,改进算法的初始化时间虽增加,但求解时间提高了20%~50%;在面对求解难度较高的问题时,改进算法能更好地缩减求解问题的时间.     

非扩张映象和广义变分不等式的迭代收敛性

引入更为一般的非扩张显式粘滞迭代算法,利用此迭代算法在Hilbert空间中建立了非扩张映象的公共不动点集与具有强单调映象的变分不等式解集的公共元素的强收敛定理,推广和改进了相关结果.     

一类新的广义非线性变分包含

引入和研究了一类新的含极大η-单调映名胜的广义非线性变分包含,在Hilbert空间中利用极大η-单调映象的预解算子技巧,构造了求解这类变分包含解的迭代算法,并讨论了由此算法生成的迭代序列的收敛性.其所得结果是近期相关结果的改进和扩充.