蕴涵格与Stone表现定理的推广

从R₀-语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R₀-语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理.     

两个三次隐式代数曲面的光滑拼接

运用械数几何工具,讨论两个三次隐式代数曲面的光滑拼接,得到ＧＣ＾１连续的混合代数曲面的存在性条件及相应的构造公式。     

光滑拼接2个二次曲面的算法

用代数几何方法讨论２个二次代数曲面的拼接问题,得到二次ＧＣ＾０和三次ＧＣ＾１拼接曲面的存在条件及相应拼接曲面的表达式。     

BCK-代数上的包含度

本文将张文修提出的包含度引入BCK-代数中,证明了一类BCK-代数的包含度的存在性,给出了BCK-代数上包含度的基本性质,刻划了BCK-代数拟紧性的特征．     

关于N(2,2,0)代数的平移变换

本文讨论Ｎ（２,２,０）代数的三种自映射ａｆ、ｆａ、ａｆａ的特性,以此进一步刻画Ｎ（２,２,０）代数的特征．     

方阵乘幂的一种计算方法

计算方阵的乘幂有许多不同方法,如数学归纳法、二项式法、Jordan标准型法、和拆分法等。这些方法无论在理论上,还是在计算上都没有成熟。为此,本文仅借助常系数齐次线性差分方程组和哈密顿．凯莱定理出发,推出了计算方阵乘幂的一种新方法。     

区间软RSL-代数

将区间软集应用于RSL-代数,定义了区间软RSL-代数、区间软RSL-子代数、区间软RSL-代数的软同态等概念,讨论了它们的基本性质,推广了相关文献中软RSL-代数的结果.     

BL代数的区间值(∈,∈∨q)-模糊滤子理论

研究了BL代数的区间值(∈,∈∨q)-模糊滤子理论。在BL代数中引入区间值(∈,∈∨q)-模糊对合滤子和区间值(∈,∈∨q)-模糊结合滤子两类新概念,获得了它们的几个等价刻画。详细讨论了BL代数中各类区间值(∈,∈∨q)-模糊滤子间的关系,证明了一个区间值模糊集为区间值(∈,∈∨q)-模糊布尔(关联)滤子当且仅当它既是区间值(∈,∈∨q)-模糊正关联滤子又是区间值(∈,∈∨q)-模糊对合滤子的结论。     

W/O乳化液油水分离数值模拟研究

鉴于油水分离及其数值模拟在化学工程中的应用愈加广泛,综述了用于数值模拟W/O乳化液油水分离的水力瞬变分析模型、雷诺应力模型及代数滑移混合模型等,在归纳了各模型的优缺点的同时为今后的发展方向提出了建议.     

量子代数有限型模权空间的若干性质

令M 是Z？v？的由v？1和奇素数p生成的理想,U是A＝Z？v？M 上相伴于对称Cartan矩阵的量子代数。若U模M 作为A模是有限生成的,则称M 为有限型U模。给出了量子代数有限型模权空间的若干性质。