相伴模糊变换半群的一些性质

本文主要讨论相伴模糊变换半群的可交换性、可交换的以及完全性,进一步探讨两个相伴模糊变换半群的直积、限制直积的可交换性、可交换的、完全的性质.     

某些近环上的可交换性

证明若分配生成近五Ｒ满足ｘｙ＝ｐ（ｘ，ｙ）性质，则Ｒ必可换，其中ｐ（ｘ，ｙ）是ａｉｘ＾ｐｉｙ＾ｎｉｘ＾ｑｉ的有限和，项数，ａｉ，ｐｉ，ｎｉ，ｑｉ均随ｘ，ｙ∈Ｒ变化，且ａｉ，ｐｉ，ｑｉ≥１，ｎｉ〉１。     

函数运算的可交换性及次可交换性探讨

讨论了在数学分析和实变函数课程中出现的可以交换运算次序而保持结果不变的函数运算,以及交换运算次序后能使得不等式成立的次可交换性的函数运算,为数学分析和实变函数的研究及教学提供参考.     

关于熵的可交换性

不管在测度空间还是拓扑空间上,两个连续映射复合后,其熵与复合的先后次序有关,但满足一定条件后,有些复合的顺序是可以交换的,即交换秩序后的熵保持不变.详细回顾了一些关于熵的定义,讨论了两个映射复合后其测度熵、测度序列熵、拓扑熵、拓扑序列熵、二维映射的拓扑熵、旋转熵及拓扑压的可交换性.     

双重求和可交换公式的推广及在组合中的应用

本文研究了数论函数在其自变量的因数集合上双重求和的可交换性质.讨论了这些性质在推导莫比乌斯反演公式及解决可重圆排列问题中的应用.     

除环上全矩阵代数的强保持秩可交换的加法满射

D是特征不为2的除环,n≥3,Mn(D)表示D上n×n全矩阵代数.刻画了从Mn(D)到Mn(D)的加法满射,对于任意的σ∈Sk(Sk是k元对称群),都有rank((A1)(A2)…(Ak))=rank((Aσ(1))(Aσ(2))…(Aσ(k)))当且仅当rank(A1A2…Ak)=rank(Aσ(1)Aσ(2)…Aσ(k))成立,则存在可逆阵P使具有以下形式之一:(i)(A)=αPf(A)P-1或(ii)(A)=αP(g(A))tP-1,其中f和g分别是D上的自同构和反自同构,A∈Mn(D),α∈D(D表示D的乘法群).     

面向Java操作的可交换性检测技术

提出一种判断Ｊａｖａ程序中的操作是否可交换执行的检测技术,给出可交换性操作的基本概念,并用函数式语言对检测算法进行描述。     

特殊可交换Thue系统的完备化

给出了判定可交换特殊 Thue系统完备化的方法 .对于所考虑的 Thue系统 ,检验 Church-Rosser性质可进行系统完备化判定 .而使 Church- Rosser性质成立的重叠条件在规则的向量形式表示下 ,可归结为规则的分量满足若干性质 ,最终得到了判断一个特殊可交换 Thue系统是否完备化的线性时间复杂度算法 .     

关于正交投影可交换性的相关研究

文章讨论了复可分Hilbert空间上的正交投影的可交换性,利用分块算子矩阵的技巧,分别从值域和谱的特征两个角度给出了正交投影可交换的等价刻画.同时给出它的一些具体的应用。     

规则Petri网的推理策略的研究

本讨论了规则Petri网的可交换性，给出了规则Petri网的三种推理策略以及并行推理和冲突仲裁的推理方法。