模糊有限状态机的一些性质

讨论模糊有限状态机的一些代数性质,得到模糊有限状态机在同态作用下子系统(强子系统)的前像仍是子系统(强子系统),证明若两个模糊有限状态机之间存在满足一定条件的同态映射时,前一个模糊有限状态机是强连通的(循环的),则后一个模糊有限状态机也是强连通的(循环的),且若这个同态是强满同态,则其中一个模糊有限状态机是完全的当且仅当另一个模糊有限状态机是完全的。对模糊有限状态机的积与原来的模糊有限状态机的完全性、强连通性、循环性、交换性等关系也进行讨论,得到一些结果。     

双极模糊有限状态机的代数刻画

利用双极模糊集的定义,提出了完全的,循环的,强连通的,可恢复的双极模糊有限状态机,双极模糊有限状态机的子机的概念。讨论了双极模糊有限状态机在同态作用下的一些性质,刻画了强连通的与可恢复的双极模糊有限状态机的性质。     

粗糙有限状态机的可恢复性与连通性

利用代数的方法研究了粗糙有限状态机的可恢复性与连通性,通过前驱与后继的关系,给出了粗糙有限状态机的可恢复性、连通性与可分离性的一些刻画,讨论了粗糙有限状态机的一些基本性质.     

条件交半格中的相对极大滤子

引入偏序集的相对极大滤子的概念,证明在任意条件交半格中一个滤子是相对极大滤子当且仅当它是滤子格的完全交不可约元.一个格是分配的当且仅当每一个相对极大滤子都是素滤子.随后研究了Heyting代数中相对极大滤子的刻画,最后定义和研究了完全并既约生成格.     

关于伪BCI-代数的结合伪滤子与伪a-滤子（英文）

给出伪BCI-代数中结合伪滤子及伪a-滤子的一些新性质,证明了以下重要结果:(1)伪BCI-代数的一个伪滤子是结合的当且仅当它是伪a-滤子;(2)一个伪BCI-代数是结合BCI-代数的充分必要条件是它的每一个伪滤子是结合的(或伪a-滤子);(3)伪BCI-代数的一个伪滤子是结合的(或是伪a-滤子)当且仅当它是群逆伪q-滤子,当且仅当它是群逆T-型伪滤子。     

关于单BCI－代数的一些结果

本文讨论了单ＢＣＩ－代数．证明了一个ＢＣＩ－代数是单的当且仅当它的子代数都是单的；给出了单ｐ－半单ＢＣＩ－代数的一种表示式；证明了一个ｐ－半单ＢＣＩ－代数是单的当且仅当它的阶是素数；这样得到了一批（无限多个）单ＢＣＩ－代数；证明了商ＢＣＫ－代数Ｘ／Ａ是单的当且仅当Ａ是Ｘ的极大理想．     

正则关系与完全正则空间

借助于关系的某些代数性质刻画拓扑空间的完全正则性,证明了拓扑空间是完全正则的当且仅当其闭集与开集之间存在满足一定简单条件的正则关系,有限正则关系或广义有限正则关系.     

模糊有限状态机的积的代数性质

文章利用代数的方法讨论了模糊有限状态机的全直积、级联积、圈积、模糊有限状态机的和的代数性质。证明了模糊有限状态机的和与其因子在子系统(强子系统)、交换性、连通性、可恢复性等方面的相似的结构性质;给出了模糊有限状态机的全直积、级联积、圈积与其因子之间的关系;获得了模糊有限状态机的各种积的容许划分与其因子的容许划分之间的关系、以及模糊有限状态机的积的商与模糊有限状态机的商的积之间的联系。     

截面代数的Hochschild上同调

计算了任意域上的截面代数的Hochschild上同调群的维数, 并证明了其Hochschild上同调代数是有限维的当且仅当其整体维数有限、其Gabriel箭图没有定向圈.     

连通微分分次代数的Gorenstein性质

证明了由两个同调光滑的,Koszul,Gorenstein连通微分分次代数作张量得到的连通微分分次代数仍为同调光滑的,Koszul,Gorenstein连通微分分次代数;假设A是同凋光滑的连通微分分次代数使得H(A)是Koszul连通分次代数,则A是Gorenstein连通微分分次代数当且仅当H(A)是Gorenstein连通分次代数.     

环上的拓扑和偏序

在环R上引入了拓扑O[R]和偏序≤R,证明了(R,O[R])是可分的,第一可数的局部紧空间,并得出了如下结论:(1)(R*,O*[R])是T1的当且仅当O*[R]是离散的当且仅当R中的任一元r满足r=r2=-r;(2)若(R,O[R])是T0的,则U∈O[R]当且仅当U=↓U;(3)若R是伪有限的且对任意r都有〈r〉>2,则(R,≤R)是代数Domain;(4)若环R的特征数chR为2,则R是伪有限的当且仅当Rop是代数Domain。     

Fuzzy半群中的Fuzzy素理想

探讨Fuzzy半群中Fuzzy素理想,Fuzzy 完全理想与Fuzzy理想的根的一些代数性质,证明Fuzzy半群中每一个Fuzzy理想是Fuzzy完全半素理想当且仅当它可表为一族Fuzzy完全素理想之交。     

弱空间式Locale

空间式locale范畴SLoc是locale范畴Loc的余反射满子范畴,但对locale乘积不封闭．本文引入弱空间式locale,证明弱空间式locale范畴WSloc为范畴Loc的余反射满子范畴,且对locale秉积封闭．还证明了一个locale A是空间式的当且仅当它的枝映射localeN(A)是弱空间式的;一个空问式locale的每一个子locale都是空间式的当且仅当它的每一个子locale是弱空间式的．最后,证明了弱空间式性在定向函子下保持不变．     

序半群中的粗糙理想

引入了序半群中(上,下)粗糙理想的概念,讨论了序半群中理想与(上,下)粗糙理想的关系,证明了对含最小元的序半群,若任一元素的等价类是有限的,则下粗糙理想之集关于包含序构成一个代数格。最后,讨论了(半,准)素理想与(上,下)粗糙(半,准)素理想的关系。     

弱MTL-代数上的几种演绎系统及其商代数

首先,本文讨论了弱MTL-代数的性质,并给出弱MTL-代数的等价刻画;其次,将蕴涵演绎系统的概念引入到弱MTL-代数中,并研究了演绎系统与蕴涵演绎系统的关系,且给出蕴涵演绎系统的几个等价条件;最后,讨论了弱MTL-代数中的演绎系统和同余关系之间的相互决定的关系,并证明了在弱MTL-代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱MTL-代数。     

群逆伪BCI-代数与群逆滤子(英文)

伪BCK-代数是非可换模糊逻辑(蕴涵片段)的基本代数框架,伪BCI-代数是伪BCK-代数的推广,本文研究伪BCI-代数的结构。首先,借助BZ-代数(又称弱BCC-代数)给出伪BCI-代数的一个特征性质;其次,通过引入群逆伪BCI-代数的概念,研究了伪BCI-代数与(非可换)群之间的关系;接着,引入群逆滤子、优滤子和正规滤子的概念,并通过它们给出伪BCI-代数成为群逆伪BCI-代数(以及滤子成为p-滤子)的充要条件;最后,证明了如下结论:(1)平均伪BCI-代数等价于p-半单BCI-代数;(2)伪BCI-代数的每一个滤子是p-滤子,当且仅当它是群逆的且其伴随群的每一个子群是正规子群。     

有向跳图的生成欧拉子有向图

一个有向多重图D的跳图$J(D)$是一个顶点集为$D$的弧集,其中$(a,b)$是$J(D)$的一条弧当且仅当存在有向多重图$D$中的顶点$u_1$, $v_1$, $u_2$, $v_2$,使得$a=(u_1,v_1)$, $b=(u_2,v_2)$ 并且$v_1\neq u_2$.本文刻画了有向多重图类$\mathcal{H}_1$和$\mathcal{H}_2$,并证明了一个有向多重图$D$的跳图$J(D)$是强连通的当且仅当$D\not\in \mathcal{H}_1$.特别地, $J(D)$是弱连通的当且仅当$D\not\in \mathcal{H}_2$.进一步, 得到以下结果: (i) 存在有向多重图类$\mathcal{D}$使得有向多重图$D$的强连通跳图$J(D)$是强迹连通的当且仅当$D\not\in\mathcal{D}$. (ii) 每一个有向多重图$D$的强连通跳图$J(D)$是弱迹连通的,因此是超欧拉的. (iii) 每一个有向多重图D的弱连通跳图$J(D)$含有生成迹.     

局部连通图的群Z_3-连通性

本文研究了局部连通图的群连通性的问题.利用不断收缩非平凡Z_3-连通子图的方法,在G是3-边连通且局部连通的无爪无沙漏图的情况下,获得了G不是群Z_3-连通的当且仅当G是K_4或W_5.推广了当G是2-边连通且局部3-边连通时,G是群Z_3-连通的这个结果.     

I-hedrite图平面嵌入的唯一性

本文研究每一个面圈的圈长仅为2,3或4的无割点的4·正则连通平面图,称之为I-hedrite图.证明在相等意义上,I-hedrite图的平面嵌入是唯一的.这个唯一性结论意味着,两个i-hedrite图(即每一个面的度仅为2,3或4的4-正则连通平图)是相等的当且仅当它们是同构的,从而解决了i-hedrite图的同构构造在相等意义上的唯一性问题.     

半群上的拓扑、偏序和相关Domain

在半群G上引入了半群拓扑O[G]和半群偏序≤G,研究了它们的性质和相互联系,得到如下主要结论:(1)拓扑空间(G,O[G])中开集均为偏序集(G,≤G)的下集;(2)拓扑空间(G,O[G])为T,的当且仅当O[G]是离散的,当且仅当G中任意元是幂等元;(3)在集合包含序下O[G]为代数的完全分配格;(4)若(G,O[G])是T0空间,则O[G]是偏序集(G,≤G)上的对偶Alexandrov拓扑;(5)半群G是伪有限的当且仅当偏序集(G,≤Gop)是代数Domain.