组合函数的相等实现——Ⅰ.卡诺图法

本文给出求解组合函数相等实现的一种卡诺图分解简化法,该方法能准确快速地得到函数的最小化或接近最小化的相等实现。     

“竞争—冒险”现象判别及消除的线段布尔代数法

本文根据“线段布尔代数”理论,给出了组合逻辑设计中“竞争—冒险”现象判别及消除的一种新方法。     

数字多路选择器网络设计的一种代数方法

多路选择器是一种重要的多功能通用逻辑元件。利用布尔代数运算 ,导出了求布尔函数的简化的不相交SOP形式的一种代数方法 ,提出了基于这种SOP形式的数字多路选择器网络设计的一种代数方法。这种方法可以使待设计的数字多路选择器网络简化到最小树形网络。给出的设计实例说明这种方法是有效而易行的     

二进数布尔代数的几个应用结果

本文讨论了二进数所成的布尔代数以及它与X的幂集P(X)所成的布尔代数之间的同构关系,利用其解决关于子集的交集、并集的计数问题,关于交错k-子集的计数问题和关于交错R-子集的计数定理．     

对偶Quantale及其性质

提出了对偶quantale的概念,研究了对偶quantale的性质及其构造,利用quantale上的nucleus与余nucleus算子,给出了任一quantale的对偶quantale商的完全构造及quantale上的开模态词的特别构造,研究表明,对偶quantale是非可换quantale中的布尔代数。     

可补半环

定义并研究了可补半环,得到了一些性质。最后指出可补半环一定包含一个子半环为布尔代数。     

“金刚石”型四能级光学量子相干系统的子类型分类

“金刚石”型四能级光学量子相干系统具有多种可区分的子类型,且有很强的结构多样性。根据偶极跃迁选择规则,适当的选择光学跃迁通道,加上相应的激光场,利用布尔代数方法将“金刚石”型四能级量子相干系统分成9种不同的“现实通道子类型”;又根据激光对不同跃迁通道的激发强度的强、弱不同,将现实通道子类型进一步精确分为80种不同的所谓“强度子类型”。主要讨论了“金剐石”型四能级系统的结构多样性,并对某些子类型作出了说明,指出了哪些类型已经在一些领域被研究过,而某些类型即使在理论上也尚未得到研究。     

两类特殊格的刻画

给出了格是有余模格的条件, 证明了格是布尔代数的充分且必要条件.