关于布尔群代数半群

讨论布尔群代数半群中的Green关系、幂等元、极大子群以及正则元．给出了布尔群代数半群中的幂等元、极大子群和正则元的结构以及幂等元和正则元的个数．     

具有弱正规幂等元的rpp半群的结构

研究一类特殊的rpp半群，即含弱正规幂等元的rpp半群。作者首先给出了这类半群的若干特征，然后通过右正规带和具有某些相应性质的rpp半群建立了具有弱正规幂等元的rpp半群的结构。把郭小江在富足半群上得到的结果进行了很好的推广和发展。另外，（弱）正规幂等元与目前颇受重视的另一个概念一适当断面（adequatetransversal）有着密切的联系。自然，开展具有弱正规幂等元的各种半群的研究是有意义的。     

关于置换因子循环布尔矩阵半群（英文）

PMn（B）表示布尔代数B={0,1}上的所有n×n置换因子循环矩阵组成的集合.PMn（B）对于矩阵乘法成为一个半群.刻画了PMn（B）中的幂等元,并给出了半群PMn（B）中的Euler-Fermat定理.     

广义循环布尔矩阵三明治半群中的完全正则元

设n是一个正整数, Cn(r)是B={0,1}上所有n阶r 循环矩阵组成之集, Gn=∪〖DD(〗n－1〖〗r=0〖DD)〗Cn(r). 对于半群Gn中任一个固定的r 循环矩阵C,在Gn中定义一个新的运算“*”：A,B∈Gn, AB=ACB. 则(Gn,)构成一个半群, 称(Gn,)为（带有三明治矩阵C的）广义循环布尔矩阵三明治半群, 并记为Gn(C).刻画了半群Gn(C)中的完全正则元,并给出了求Gn(C)中所有完全正则元的算法.     

关于交换环的V-赋值的几个结果

定义了V-赋值的比较，给出了定理2．2：若Aω是关于Av的中间集，则(ω，A)≥(v，Γ)。研究了布尔V-幺半群，得到：若Γ为布尔V-幺半群，则(v，Γ)是形式有限的。证明了：设(B，M)为环R的非浅显Manis赋值对，则B为实环当且仅当R为实环。进一步，给出一个反例用来说明，命题2对于V-赋值对而言未必成立。     

逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式

证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.     

自同态正则分裂图的幂等元与格林关系的计数问题

利用幂等元刻画了自同态正则分裂图的自同态幺半群的ρ_f 类和自同态像的个数,进而得到了〖L〗类及〖R〗类的个数.     

半交换π-正则环的结构

引入了准体的概念,并用它刻画了半交换π-正则环的结构．证明了若R是半交换环,则下面条件是等价的：（1）R是π-正则环．（2）R的每个素理想均为极大理想．（3）R／PE（P）为准体,其中P为R的任意素理想,E（P）为P的所有幂等元素组成的集合．（4）P1,P2为R的两个索理想,若E（P1）=E（P2）,则有P1=P2井进一步证明了半交换π-则环R同构于诸准体{R／PE（P）}的一个亚直接和,P∈M,M为R的所有素理想组成的集合．     

布尔函数的c-导数及其在揭示H-布尔函数性质中的应用

引入布尔函数c-导数的概念,提出c-导数和高阶c-导数的定义和性质,并对部分性质作了证明.给出了平衡布尔函数、H-布尔函数以及平衡H-布尔函数的定义,并讨论了c-导数在揭示H-布尔函数性质中的应用.丰富了对布尔c-导数的应用研究.     

计算逻辑函数布尔差分及布尔偏导数的表格方法

分析了用图形方法计算逻辑函数的布尔差分与布尔偏导数存在的问题,在分析布尔差分与布尔偏导数的定义的基础上提出了计算布尔差分与布尔偏导数的表格方法,讨论了在1值最小项数较多时用7计算布尔差分与布尔偏导数的表格方法．本文提出的表格方法与图形方法相比,具有不需画图,操作方便,易于计算机编程操作以及可用于多变量逻辑函数等优点．     

关于高阶e导数性质之研究

e导数在组合电路故障检测、揭示H布尔函数的密码学性质和确保密码学系统安全性中具有重要的作用.首先阐述了布尔函数1阶e导数的定义和性质,在此基础上,提出了布尔函数高阶e导数的概念,参照布尔代数2阶及k 阶布尔差分的定义,给出了2阶及k 阶e导数的定义与性质,并给出了证明.将1阶e导数性质推广至n 变量布尔函数任意k 阶e导数,推动与完善了关于e导数的研究.     

布尔函数的c导数及其在组合电路故障检测中的应用

提出了布尔函数c导数的定义和性质,并给出了部分性质的证明. 在此基础上,提出了求解“或”搭接及“与”搭接故障测试矢量的2个定理. 通过实例讨论了布尔函数c导数在组合逻辑电路故障检测中的应用.所提出的c导数是对布尔函数的布尔导数和e导数研究的补充与完善.     

逻辑函数在布尔减、布尔除、非代数系统中的规范展开式

证明了布尔减与非运算、布尔除与非运算均构成完备集，并根据布尔除、布尔减的运算规则和性质，从最小项、最大项展开式出发，推导了任意逻辑函数在这两个完备集中的规范展开式。得到的展开式形式简单，容易记忆，与函数在与、或、非代数系统中的规范展开式之间的转换非常便捷。本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义。     

关于布尔函数的布尔导数、e导数和c导数相互关系的研究

基于对布尔函数内部结构和相关性质的进一步揭示,及其应用领域的拓展,深入研究了布尔函数的布尔导数、e导数和c导数的相互关系,讨论了布尔函数的布尔偏导数、e偏导数和c偏导数之间的关系,得到了相关性质并给出了证明。以进一步完善布尔函数的布尔导数、e导数和c导数这3类特殊导数的运算理论。     

关于布尔函数的布尔导数、e导数和c导数相互关系的研究

基于对布尔函数内部结构和相关性质的进一步揭示,及其应用领域的拓展,深入研究了布尔函数的布尔导数、e导数和c导数的相互关系,讨论了布尔函数的布尔偏导数、e偏导数和c偏导数之间的关系,得到了相关性质并给出了证明。以进一步完善布尔函数的布尔导数、e导数和c导数这3类特殊导数的运算理论。     

基于布尔e导数的特殊逻辑函数检测方法

布尔代数中的特殊逻辑函数具有独特的性质,而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法,在介绍线性函数、自双反函数以及布尔e导数概念的基础上,提出了利用布尔e导数判别线性函数和自双反函数的定理,给出了基于布尔e导数检测线性函数、自双反函数的方法,并通过3个实例,展示了应用该方法检测线性函数和自双反函数的过程.进一步拓宽了布尔e导数的应用领域.     

计算含无关项布尔c-导数的K图方法

为简化与-或-非代数系统中含无关项逻辑函数布尔c-导数的计算过程,从逻辑函数布尔c-导数的定义出发,提出了计算含无关项一阶布尔c-导数和二阶布尔c-导数的K图方法.该方法通过折叠映射K图中的填入格值,并对相应格值进行"或"运算以计算含无关项布尔c-导数.应用实例表明,该方法直观有效,且能直接得到布尔c-导数的最简与/或式.     

简化分解图在计算布尔e-导数中的应用

为简化与-或-非代数系统中一阶和n 阶布尔e-导数的计算过程,提出了一种基于简化分解图的新方法.该方法通过计算简化分解图相应列的与运算得到一阶布尔e-导数,n 阶布尔e-导数通过计算倒置简化分解图来得到.该方法同样适用于含任意项逻辑函数一阶和n 阶布尔e-导数的计算.应用实例表明该方法具有直观、简单等特点.     

基于dj图的逻辑函数布尔偏导数的计算方法

讨论了基于dj图和降维dj图计算逻辑函数的一阶布尔偏导数和二阶布尔偏导数的图形方法.实例表明该方法具有直观、简单等特点,并且它能给出布尔偏导数的最简CRM式.