基于基本对称函数产生器的模拟开关实现

开关－信号理论与传统的电路设计理论不同,它不是以门电路或其它集成块为基本单元,而是以开关元件为构造单元,本文应用形状－信号理论指导二变量基本对函数产处理品在及双向对称模拟开关的设计,并提出了基于双向对称模拟开关的对称函数的电路实现。     

关于冗余函数和自反函数性质之研究

冗余函数和自反函数为特殊布尔函数．本文阐述了冗余函数和自反函数的定义,提出了冗余函数和自反函数的性质,给出了相应的证明,讨论了冗余函数在K图中的特点以及自反函数在bj图中的特点．     

检测逻辑函数中线性变量的代数方法

根据线性变量、线性函数的定义和性质,提出了5个定理及3个推论．在此基础上给出了检测基于与-或展开的、基于或-与展开的、RM型的、基于或-符合展开的逻辑函数中线性变量的代数方法,并举例说明了具体检测过程．本文的工作对于完善数字电子CAD设计中的逻辑综合理论具有实际意义．另一方面,相对于其它特殊逻辑函数而言,线性函数还缺乏系统的研究,本文的工作对于补充和完善线性函数的理论具有重要意义。     

Reed-Muller型通用逻辑组件的逻辑综合

本文提出了使用Reed-Muller型通用逻辑组件综合函数的方法.文中引用了表示Reed-Muller展开系数b^j的图形方法(简称b_j系数图),这种图形方法具有适合基于积之异或关系的逻辑网络的综合特点,此外,还指出了在积之和型数据选择器实现及积之异或实现之间的相似之处。     

基于U_h门的三值触发器和时序电路设计

本文根据基于模代数的各种三值触发器的次态方程,提出用U_k通用门实现各种三值触发器。在此基础上,利用U_k门阵列实现三值时序电路。     

阈函数与对称函数的关系

单调函数、阈函数和对称函数是三类特殊逻辑函数.在N变量的逻辑函数中,有N+2个单调递增对称函数,N+2个单调速减对称函数,它们分别如下所示:     

四值互斥变量K图及其化简

参照二值互斥变量K图的讨论,提出了四值互斥变量K图,讨论了它的特点以及在四值互斥变量逻辑函数化简中的应用,给出了四值互斥变量K图化简的规则,并用具体实例作了说明.提出的四值互斥变量K图大大地压缩了K图的规模,扩大了K图的应用范围.     

基于表格法的部分变量取反的对称函数检测

对称函数有许多优点,引入部分变量取反的对称函数可以大大增加对称函数的数目,从而有助于扩大对称函数的应用范围.检测对称函数是函数对称性研究中的重要工作.分析了基于表格法的对称函数检测,在此基础上进一步提出了改进的部分变量取反的对称函数检测的新方法.     

基于0-1编码空间的谱系数图与K图的图形互换

为了进一步补充谱系数理论，使谱技术更好地应用于数字电路故障检测等方面，从基于(0，1)空间的Hadamard矩阵出发，通过对矩阵的性质分析，提出了(0，1)空间的谱系数图与K图的3种图形互换法：基于行矢量圈的图形互换法，基于非零项的图形互换法和基于折叠加减的图形互换法，并对各种方法予以实例说明，此外，还讨论了这些图形转换方法的各自的适用范围，对6变量以下的函数，这3种方法具有简单、直观和准确的特点。