空间分数阶扩散方程的有限元方法

考虑空间分数阶扩散方程的数值解,利用有限元的思想构造了一个半离散数值格式,并严格证明格式的收敛性分析,数值例子支持理论分析的结果.     

区间软布尔代数

将区间软集应用于布尔代数之中,定义了区间软布尔代数、区间软布尔子代数、区间理想软布尔代数和区间软布尔代数的区间软同态等概念,并研究了它们的相关性质。推广了软布尔代数及其相关结论。     

双重Stone代数的核理想注记

在双重Stone代数上引入核理想概念,借助核理想的性质反映双重Stone代数的结构,在双重Stone代数L上构造了具有核理想I的最大同余关系表达式RI,(x,y)∈R~I (x~*∧y~(**))∨(x~(**)∧y~*)∨(x~+∧y~(++))∨(x~(++)∧y~+)∈I。根据双重Stone代数的运算特征,获得了具有核理想的最小同余关系与最大同余关系之间的等式关系。主要结果为:设(L;∨,∧,~*,~+,0,1)是一个双重Stone代数,I是L的核理想,则R~I=δ_I∨(G~*∧G~+),其中(x,y)∈δ_I ( ■i∈I)x∨i=y∨i;(x,y)∈G~* x~*=y~*,(x,y)∈G~+x~+=y~+。所得结论为其它Ockham代数类核理想性质的研究提供了方法,丰富了Ockham代数的发展,为进一步研究Ockham代数类的代数结构提供理论支持。     

BL-代数的余零化算子及其BL同态像

通过在BL-代数中给出单点余零化算子的概念,研究单点余零化算子的基本性质;在BL-代数中讨论多点余零化算子的基本性质,并给出BL-代数的一个子集是多点余零化算子像的充要条件;研究多点余零化算子BL同态像的性质并分别给出余零化算子的BL同态像和余零化算子的BL同态原像是余零化算子像的充要条件.     

局部有限BL-代数的素逆演绎系统及性质

在BL-代数中引入逆演绎系统及素逆演绎系统的概念,并在局部有限BL-代数中研究了素逆演绎系统的基本性质及逆演绎系统和通常理想之间的关系;其次,讨论了BL-代数中逆演绎系统和同余关系之间相互决定的关系;最后,证明了由素逆演绎系统诱导的商代数为线性BL-代数,进而证明了在局部有限BL-代数中一个逆演绎系统是素逆演绎系统当且仅当由其诱导的商代数是线性的BL-代数。     

莱布尼茨的概念代数及其外延解释

根据传统的观点,莱布尼茨被视为数理逻辑的最伟大的前弗雷格先驱,但后人同时认为他的失败归之于他对三段论模式和主谓句法过于拘泥。这种近乎矛盾的说法无法解释莱布尼茨既是弗雷格的伟大先驱,同时又是传统三段论的集大成者的历史事实。莱布尼茨作为一位逻辑巨人的历史地位是建立在他对古老三段论的隐藏力量和范围继承及发展的基础上的,正是这种继承和发展决定了他比同时代的任何人都更加清晰地预见了新逻辑的诞生。莱布尼茨的概念代数就是这样一个承上启下的系统,但由于种种原因,这一承启作用只体现于逻辑史的重构中。     

函数列一致收敛的奥斯古德定理

研究函数列的一致收敛性的理论方法问题,在有限闭区间上,给出了判断函数列一致收敛的奥斯古德定理和狄尼定理的两种形式,对奥斯古德定理给出了两种证明方法,给出了奥斯古德定理的几个推论,沟通了相关知识的联系,并通过实例说明奥斯古德定理的应用及其理论价值。在开区间或无限区间上,给出了函数列一致收敛的判别定理,并应用于研究含参变量广义积分的一致收敛性,从理论上沟通了函数列一致收敛与参变量广义积分的一致收敛的内在联系,构成一套理论方法体系。     

因子von Neumann代数上保n重Jordan*积

运用算子分块的方法,得到了因子von Neumann代数上保n重Jordan~*积的刻画。设Α,Β是因子von Neumann代数且f_n(A_1,A_2,…,A_n)=(f_(n-1)(A_1,A_2,…,A_(n-1)),A_n)为A_1,A_2,…,A_n的n重Jordan~*积。若φ:Α→Β是双射,满足φ(f_n(A_1,A_2,…,A_n))=f_n(φ(A_1),φ(A_2),…,φ(A_n)),当且仅当φ是~*-环同构或~*-环反同构。     

有界复形的 Modi ed Ringel Hall 代数的结构常数

设k是有限域.A是k上的满足一定有限性条件的本质小的遗传阿贝尔范畴.本文研究了有界复形范畴的modified Ringel—Hall 代数MH(A)中零微分复形乘积的结构常数，给出了它们与A的Ringel-Hall 代数H(A)的Hall数之间的关系.