BR_0-代数中MT理想的扩展及素MT理想的存在性

BR0-代数是一类重要的基础逻辑代数,其中著名的MV代数和R0-代数均是BR0-代数的特款,因而对BR0-代数研究结果具有普遍的实用性.首先,通过BR0-代数中极大并-理想的存在性证明了BR0-代数中素并-理想的存在性;其次,利用对偶范畴的思想方法和MP滤子的特征,在BR0-代数中提出了MT理想,极大MT理想,素MT理想等概念,讨论了它们的基本性质及相互关系,并通过素并-理想构造性的证明了素MT理想的存在性;最后,在非退化的BR0-代数中证明了任何一个真MT理想可以扩展为一个极大素MT理想.本文的工作是对BR0-代数研究内容和方法的有益补充.

新型软亚BCI-代数的进一步研究

提出了两个亚BCI-代数的并代数、两个软集在并代数上的扩展交、软集的软平移以及两个软集的合成运算等新概念。举例说明了并代数以及在并代数上扩展交的存在性。证明了两个新型软亚BCI-代数在一定的条件下在并代数上的扩展交仍然是新型软亚BCI-代数。研究了新型软亚BCI-代数的软平移及投影等的相关性质。另外,利用两个软集的合成运算、软集的水平集以及广义特征函数分别给出了新型软亚BCI-代数的等价刻画。

李欣并代数的性质及其应用

通过讨论李欣并代数X=X1∪LX2与它的两个子代数X1、X2之间的关系,其中X1是BCK-代数,X2是BCI-代数,得到了李欣并代数X分别是交换、正关联、关联的BCI-代数的充要条件.从而确定了所有阶n≤5的真BCI-代数按交换性、正关联和关联性的分类.

关于BCI-代数和BCH-代数并代数的一些注记

我们知道,BCK-代数有并代数的概念(见[1]),但一族BCK-代数的并代数的概念不可推广到BCI-代数(见[1]).1984年李欣曾定义了一个BCK-代数和一个BCI-代数的(LX)并代数。自然我们应当考虑一般性的问题:可否(用一种统一的方法)对任意两个BCI-代数定义其并代数?我们先作下列定义:

广义拟右交错BCI-代数及其结构

本文引入广义拟右交错BCI-代数的概念,讨论了它的基本性质。利用LX并代数的概念,证明了结构定理:拟交错BCK-代数、广义结合BCI-代数以及任意拟交错BCK-代数与任意纯广义结合BCI-代数的LX并代数都是广义拟右交错的BCI-代数;反之,广义拟右交错BCI-代数或者是拟交错BCK-代数,或者是广义结合BCI-代数或者是拟交错BCK-代数与纯广义结合BCI-代数的LX并代数。从而解决了该类代数的结构问题。

软d-代数中几类算子的性质

将软集的思想应用到d-代数上,研究软d-代数中的限制交、限制并、扩张交、扩张并、"AND"以及子集算子等重要运算,并讨论可理想化软d-代数,得到一些重要性质.证明了:软d-代数(F,A)在其子集B上的限制(FB,B)仍是X上的软d-代数;两个软d-代数(F,A)和(G,B)的限制交(F,A)∩R(G,B)和扩张并(F,A)(G,B)仍是X上的软d-代数;两个软d-代数(F,A)和(G,A)的"AND"交(F,A)∧(G,A)也是X上的一个软d-代数;软d-代数(F,A)的同态像(f(F),A)也是X上的一个软d-代数;两个d-理想化(或d#-理想化,或d*-理想化)软d-代数(F,A)和(G,B)的扩张交(F,A)∩E(G,B)是X上的d-理想化(或d#-理想化,或d*-理想化)软d-代数.

BCK-代数根理论的若干结果

本文讨论了BCK-代数类所确定的下根结构以及根格中诸如交根、并根等问题,证明了单遗传类与遗传类所确定的下根分别是单遗传根和遗传根。

6阶真BCI-代数的分类

根据李欣并代数是交换、正关联、关联BCI-代数的充分必要条件和5阶BCI-代数按交换性、正关联性和关联性的完全分类结果,辅以一些计算,得到了6阶真BCI-代数按交换性、正关联性和关联性的完全分类结果。在6阶真BCI-代数中,共有21个交换BCI-代数,4个正关联BCI-代数和4个关联BCI-代数。

图形图像设计软件中布尔代数的应用

从事艺术设计的人员经常会遇到复杂的计算机图形图像设计问题 ,笔者列举了图形图像设计中常用的几个软件 ;

一类BCI-代数及其结构

引入一类新的BCI-代数,并且讨论了它的基本性质,同时在BCK-代数与广义结合BCI-代数之间引入了星和概念,借此搞清了该类代数的结构.

BCI—代数的KI并代数

本文引入ＢＣＩ－代数的ＫＩ并代数，它是ＢＣＫ－代数的无交并的推广．

H型BCI—代数的并代数

研究了ＢＣＩ—代数族的可并条件，并且在可并ＢＣＩ—代数族中给出了ＢＣＩ—代数的并代数的新型结构．

正规BCI-代数的“拟-广结并”构造

本文进一步讨论BCI—代数的拟结合部分的特征性质,引入正规BCI—代数的概念。同时给出一种构造正规BCI—代数的“拟—广结合并”方法。

EPS的STL模型连续热切割技术加工研究

基于STL(标准模板库)模型投影轮廓的连续切割技术对EPS(聚苯乙烯)建筑模型加工进行研究,提出了分组矩阵切片算法,并在每组中建立局部拓扑关系提高分层切片的效率,结合截面轮廓求并算法,应用于投影轮廓连续切割技术,解决了非对称曲面在加工过程中与热丝的干涉难题。开发出基于STL模型投影轮廓轨迹的自动编程系统,以此作为软件平台结合五自由度建筑初模的数控热切割加工装置的硬件设施,实现了建筑模型加工。实验结果表明,该系统能高效、准确加工出所设计的建筑模型。

粗糙集的BCK-代数

在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对(<下近似集,上近似集>)表示入手,通过定义偶序对性质的基本运算,从而构造出相应粗代数,并寻找能抽象表示偶序对的性质的一般代数结构.其中最有影响的粗代数分别是粗双stone代数、近似空间代数和粗Nelson代数.文章讨论了近似空间中粗糙集的代数性质,通过所给的粗糙并、交、补的定义,定义了粗糙集的全体所组的集合B的一个二元运算*.并证明B是一个蕴涵的BCK-代数.

逻辑代数与图论中的运算符号“”

“■”运算在逻辑代数和图论中定义形式不同，运算性质却类似，原因是对于“■”，逻辑函数集合与某个图的集合同构．

BCH—代数的(HP)并代数及拟可换性

本文给出了BCH—代数与非负BCH—代数的并代数的概念,并且讨论了拟可换性。

拟左交错BCI-代数

研究了拟左交错BCI-代数,它比拟交错BCK-代数更具一般性。文中证明拟左交错BCI-代数具有散子代数性质,且可分解为熟知的拟交错BCK-代数与结合BCI-代数的(LX)并代数。

亚BCI-代数的并代数

提出了任意一族亚BCI-代数的并代数、软集在一族亚BCI-代数的并代数上的扩展交等新概念。研究了亚BCI-代数的子结构的可并性,逆可并性以及在并代数上的一系列基本性质。同时还讨论了亚BCI-代数中新型软子结构在并代数上的基本性质。

新型软BE-代数的研究

本文首先将软集的参数集赋予了BE-代数的代数结构,给出了新型软BE-代数的概念;然后利用软集的且、交等运算,研究了它的基本性质;接着提出了两个BE-代数的并代数、两个软集在并代数上的扩展交以及两个软集的合成运算等新概念;研究了新型软BE-代数的软平移及投影等相关性质。此外,利用两个软集的合成运算、软集的水平集以及广义特征函数分别给出了新型软BE-代数的等价刻画。最后给出新型软BE-代数的同态像与原像之间的性质。