半伪补de Morgan代数的素理想及同余性质

素理想是研究序代数同余关系的一个重要工具。在半伪补de Morgan代数上引入两类素理想,以半伪补de Morgan代数本身的运算属性为基础获得了半伪补de Morgan代数上素理想的运算特征。利用素理想构造出了半伪补de Morgan代数上的一类同余关系等式,从而借助素理想集刻画半伪补de Morgan代数的每一个同余关系,获得了半伪补de Morgan代数上的同余关系判别定理。得到次直不可约的半伪补de Morgan代数的结构特征,其元素个数小于或等于8。所得结论为其它序代数类理想性质的研究提供了方法,丰富了序代数的发展,为进一步研究序代数类的代数结构提供理论支持。

DR_0代数：由De Morgan代数导出的正则剩余格

首先讨论了De Morgan代数与剩余格的关系,并引入强De Morgan代数的概念,讨论了它的基本性质.随后,将著名的R_0蕴涵拓广到De Morgan代数上,称为广义R_0蕴涵;证明了添加广义R_0蕴涵和相应(?)算子后的De Morgan代数L成为剩余格的充要条件是L为强De Morgan代数,并由此引入DR_0代数的概念.接着,研究了DR_0代数与R_0代数的关系,证明了以下结论:Boole代数是DR_0代数;全序DR_0代数和全序R_0代数等价;DR_0代数是R_0代数当且仅当它满足预线性条件;无中点的DR_0代数是BL代数当且仅当它是Boole代数.最后,举例说明了非DR_0代数的R_0代数、以及非R_0代数的DR_0代数都是存在的.

低阶De Morgan代数和强De Morgan代数

首先给出了De Morgan代数的阶与中点个数的关系,证明了五元非全序的De Morgan代数不存在,以及在同构的意义下七元非全序的De Morgan代数有且只有1个.同时,借助数学软件得到了全体阶数不超过8的De Morgan代数及强De Morgan代数.

强De Morgan代数上的广义R_0t-模

在De Morgan代数上引入广义R0算子,举例说明了一般De Morgan代数中的广义R0算子不能构成t-模。引入强De Morgan代数的概念,讨论它的基本性质,证明强De Morgan代数L上的广义R0算子构成t-模(称为广义R0t-模)。给出若干重要反例,并证明强De Morgan代数上的广义R0t-模是左连续的。

完备De Morgan代数上弱余拓扑的确定

证明了对每个给定的完备De Morgan代数L,可以在WI(L)(即L上弱内部算子的全体)、WE(L)(即L上弱外部算子的全体)上定义适当的序关系,使它们成为与(WCT(L),)(即L上弱余拓扑的全体)同构的完备格;当L满足一定附加条件时,可以在WR(L)(即L上弱远域算子的全体)、WB(L)(即L上弱边界算子的全体)和WD(L)(即L上弱N-导算子的全体)上定义适当的序关系,使它们成为与(WCT(L),)同构的完备格.因此一个给定的完备De Morgan代数L上的弱余拓扑可以由L上的弱内部算子、弱外部算子、弱远域算子、弱边界算子或弱N-导算子.

G-De Morgan代数的G-同态与G-同余

将De Morgan代数的自同构群对De Morgan代数的作用,推广成抽象群对De Morgan代数的作用,引入了G-De Morgan代数的概念,讨论了G-De Morgan代数的G-同态、G-同余等性质,并研究了G-De Morgan代数的直积分解和次直不可约性.

De Morgan代数同余格的性质

以弱射影为工具,得到了De Morgan代数的主同余关系的刻划,在此基础上证明了同余格θ(L)为原子的充要条件是L为弱原子的,然后通过引进极小商的概念,描绘了θ(L)是布尔格的De Morgan代数L。

De Morgan代数的某些新进展

讨论了DeMorgan代数的分解、余积 ,极大同态象及各种表示 ,对DeMorgan代数的同余关系进行了系统的考察 。

De Morgan代数的次直积构造

首先讨论了ＤｅＭｏｒｇａｎ代数的同余关系特性，在此基础上得到了ＤｅＭｏｒｇａｎ代数的次直积表示定理。

双重半伪补de Morgan-代数滤子同余关系的注记

双重半伪补de Morgan代数是将双重半伪补代数类与de Morgan代数类相结合而形成的一个新的代数类,是一个有界分配格上赋予三个一元运算:双重半伪补运算与de Morgan运算。对双重半伪补de Morgan代数的滤子同余关系作进一步的研究:首先,基于双重半伪补de Morgan代数的运算规律以及双重半伪补运算与de Morgan运算的关联性,论证了双重半伪补de Morgan代数正则p-滤子同余关系的保序性以及同余置换性,根据双重半伪补de Morgan代数所体现的运算属性,论证了正则p-滤子格对格的二元运算是封闭的,获得了正则p-滤子格是滤子格的子格的结论。其次,在格与序代数理论中,涉及滤子,必然伴随着滤子同余关系,同余关系是保持运算的等价关系。借助于双重半伪补de Morgan代数的正则p-滤子同余关系,论证了正则p-滤子与正则p-滤子同余关系是同构的。所得结论为其他分配格代数类正则滤子性质的研究提供了方法,同时,为研究多元运算代数类结构提供理论支持。

双重半伪补de Morgan代数的滤子同余关系

首先,在双重半伪补de Morgan代数上引入余核滤子,正则滤子和p-滤子的概念,证明了p-滤子成为余核滤子的充要条件是该p-滤子是正则的。其次,给出了余核p-滤子生成的同余关系的表达式。最后,证明了具有余核滤子的最小同余关系具有同余一致与同余凝聚性质。

弱射影与De Morgan代数的同余关系

本文借助弱射影和弱透视的概念刻划了ＤｅＭｏｒｇａｎ代数的同余关系。

关于De Morgan代数的不动核

研究了ＤｅＭｏｒｇａｎ代数中的不动核的性质、特征．并且给出了ＤｅＭｏｒｇａｎ代数含有不动核的充分必要条件．同时又对不动核的个数问题做了进一步的讨论．

线性De .Morgan代数上算子的性质 (Ⅱ )(英文)

讨论了θ算子与θ 算子 ,建立了θ 算子的类似于剩余算子的性质 ,由此可以看出可把θ 算子作为一种新的蕴涵算子 .研究了θ算子与θ 算子的关系获得了aθ b =(e + a) (aθb) ,给出了含一个变元的不等式的求解 .

新工科背景下线性代数课程教学改革与实践

在新工科背景下探讨线性代数课程教学内容、教学模式和考核方式改革,通过优化知识体系、建设丰富的网络资源和课程思政内容、构建多元化教学模式、采取多元化评价方式等,充分发挥学生的主体作用,强化线性代数知识的应用,培养学生的数学素养、实践能力和创新能力,切实提高线性代数课程教学效果和人才培养成效.

任意偶变元上代数免疫度最优的平衡旋转对称布尔函数的构造

旋转对称布尔函数是一类在输入进行循环移位的条件下输出保持不变的布尔函数.此类函数因具有特殊的结构并且包括许多具有良好密码学性质的布尔函数而在密码学领域受到广泛关注.在代数攻击出现之后,如何构造出具有最优代数免疫度的平衡旋转对称布尔函数成为布尔函数相关研究中的一个热点问题.对于这个问题的研究,在任意奇数变元上已经有了丰富的成果,而在任意偶变元上构造此类函数一直以来都是一件具有挑战性的工作.2021年,Mesnager等人提出了一类构造方法成功解决了这个难题,但所构造函数的非线性度不高.本文在任意偶变元n上给出了一类新的旋转对称布尔函数构造方法,所构造的函数不仅具有最优代数免疫度和平衡性,同时其非线性度在变元个数n大于等于8时均高于现有的任意偶变元上的同类构造.除此之外,通过电脑程序得到了这类新函数在变元个数小于等于16时不仅具有良好的抵抗快速代数攻击的能力而且代数次数可达到最高值n−1或次高值n−2.

双重伪补Ockham代数的理想与滤子的构造

序代数理论在理论计算机、多值逻辑学、信息系统科学等方面有着广泛且重要的应用。在序代数研究领域,理想和滤子是刻画代数结构的重要工具。双重伪补Ockham代数是在双重伪补代数和Ockham代数基础上定义的一类新的代数类,基于双重伪补Ockham代数的运算规律以及双重伪补运算与Ockham代数运算的关联性,对双重伪补Ockham代数的理想与滤子做进一步的研究。首先,运用Ockham代数的运算构造出双重伪补Ockham代数的滤子,并探讨了相关性质。其次,借助于双重伪补Ockham代数核理想和余核滤子的充要条件构造出了核理想和余核滤子的具体集合形式。所得结论为其他序代数类的理想和滤子性质的研究提供了方法,也将有助于进一步探索序代数理论在其他学科如模糊集、计算机科学中的应用。

套代数上的一类非线性中心化子

为了推广算子代数中的基本理论,对一类非线性映射成为套代数上的可加中心化子的条件进行了研究。首先,基于Hilbert空间上的非平凡套定义与该套有关的套代数,并定义套代数上的一个非线性映射;其次,采用矩阵分块方法获得关于此映射的几个性质;最后,证明套代数上满足某种条件的非线性映射为可加中心化子,给出刻画该映射的具体形式。结果表明,套代数上满足某种条件的非线性映射为可加中心化子,且可完全刻画。研究结果推广了非线性映射成为套代数上可加中心化子的结论,丰富了算子代数拓扑结构的分类问题,为套代数上其他类型非线性映射问题的刻画提供了借鉴与参考。

“互联网+”背景下代数系统混合教学模式探索

针对代数系统存在的概念抽象、教师互动困难、学生兴趣缺失等问题,提出在线下有限课时的情况下,将线上微课和程序设计与线下课堂教学相结合的混合式教学模式,从线下特色教学内容重构、典型线上编程案例的设计和规划、线上微课动画的设计和开发几方面介绍“互联网+”背景下代数系统混合教学实践。

基于聚合型代数多重网格法的三维直流电法自适应有限元正演

在各向异性、起伏地形、真实地质模型电法模拟中,经自适应有限元离散后形成的大型稀疏线性系统存在内存消耗高、求解效率低等缺陷。为此,提出了聚合型代数多重网格(AGMG)法与自适应有限元法的联合算法,在提高正演精度的同时提升计算效率,实现复杂模型三维直流电法大规模正演模拟。对于三维直流电法满足的二阶椭圆边值问题,采用非结构化四面体网格的有限元法离散,并通过自适应策略进行局部加密,再利用AGMG法求解离散形成的大规模稀疏线性方程组。最后,通过复杂地电模型和实际地质模型验证了联合算法的有效性。在千万级自由度的求解中,联合算法比传统迭代法快了20多倍,比代数多重网格法快了近10倍,随着模型复杂度的提高,联合算法的效率优势更加明显。