基于Haar变换的冗余函数和线性函数的检测

给出了归一化Haar变换矩阵元的通式,讨论了归一化Haar变换谱系数与冗余函数和线性函数的关系．在此基础上提出了基于归一化Haar变换的检测冗余函数和线性函数的谱方法．该方法的主要优点是可以同时检测其他特殊逻辑函数以及易于计算机编程操作．     

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

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

基于归一化Haar变换的自反函数和自双反函数的检测

推导了归一化Haar变换谱系数与自反函数和自双反函数的关系,在此基础上提出了基于归一化Haar变换检测自反函数和自双反函数的谱方法.该方法的主要优点在于可以同时检测多种特殊逻辑函数以及易于计算机编程操作.     

谱系数图与dj图在0-1编码空间的图形互换

从函数最小项系数与基于（0,1）空间的谱系数以及Z系数的关系出发,引入了p-d,系数与反谱系数,进而提出了（0,1）空间的谱系数与矾系数的互换算法,并给出了相应的图形转换方法．实例表明,图形转换法具有简单、直接、方便的特点．     

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

从函数最小项系数与基于（0,1）空间的谱系数以及bj系数的关系出发,引进了n-bj系数,进而提出了（0,1）空间的谱系数与bj系数的互换算法并给出了相应的图形转换方法和一种改进的跨图聚合圈法．实例表明,图形转换法具有简单、直接、方便等特点．     

基于归一化Haar变换检测旋转对称函数的新方法

讨论了旋转对称函数在归一化Haar变换域中的谱特性,提出了基于归一化Haar变换检测旋转对称函数的新方法．该方法具有易于计算机编程操作以及可以同时检测多种其他特殊逻辑函数等优点．     

基于谱系数图检测特殊逻辑函数的图形方法

阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理, 给出了相应谱系数图的特点,得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、自双反函数的新方法.实例展示了基于上述定理的谱系数图检测上述函数的过程. 实例表明该方法具有直观、简单等特点.     

CRM展开系数与谱系数之间的直接转换算法

通过引入了n-dj系数,提出了实现CRM展开系数与谱系数之间直接互相转换的矩阵算法,并给出了相应的dj图与谱系数图的图形转换算法.实例表明,图形转换法具有简单、直接、方便的特点.     

归一化Haar变换谱技术在逻辑函数对称性检测中的应用

基于归一化Haar变换谱技术,讨论了检测逻辑函数对称性的一种新方法.实例表明该方法具有直观、简便和准确的特点.     

Reed-Muller展开系数与谱系数之间的直接转换算法

本文通过引入p-bj系数,提出了实现Reeb-Muller展开系数与谱系数之间直接互相转换的矩阵算法。通过利用bj图与谱系数图,发展了有效实现谱系数转换为bj系数的图形方法。     

基于异或运算的逻辑函数OC展开系数图与b_j图的转换

分析了逻辑函数的OC展开式与RM展开式,利用异或运算和符合运算的性质,推导了dj展开系数与bj展开系数的关系.在此基础上提出了基于折叠异或以及基于重心的实现dj图和bj图相互转换的两种图形方法,并对这两种方法作了比较.通过实例显示,这些图形方法具有直观、有效等特点.     

CRM分解图的压缩及其化简

CRM分解图可以用来指导超大规模集成电路的设计和化简.本文在分析应用CRM分解图进行逻辑函数或符合式化简的基础上提出了逻辑函数的降维CRM分解图,给出了降维CRM分解图的定义和图形化简方法.实例表明,该图形方法有直观、简单等特点,它能给出逻辑函数的最简或-符合式,使电路实现比传统设计更简单、更有效.     

一种基于或-符合展开的新颖通用逻辑门

提出了一种新颖的基于或-符合展开的三变量通用逻辑门(ULG3),讨论了逻辑函数或符合展开的图形表示--dj图,利用降维dj图分析了所有3变量NPN型特征函数的降维dj图的特点.从而验证了该通用逻辑门能实现所有3变量的逻辑函数.     

基于bj图计算逻辑函数布尔差分的新方法

分析了逻辑函数在部分变量取反时的bj图和降维bj图,在此基础上提出了用bj图和降维bj图计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法.实例表明,该图形方法有直观、简单等特点.它能给出逻辑函数布尔差分的最简与/异或式.     

基于和图的电流型CMOS三变量通用逻辑门设计

电流型电路具有高速、低功耗、带宽、设计方便、直观、易于实现多值逻辑电路等优点。阈算术代数系统的提出为电流型电路的设计提供了更符合电流信号运算特点的系统方法，而和图是将逻辑函数转化为阈算术函数的图形表示方法。本文在谱技术的基础上，提出了一种新的和图与谱系数图的转换方法，设计了一种基于和图的电流型CMOS三变量通用逻辑门，即三变量特征阈值逻辑门，可实现任意的三变量阈值函数。     

RM分解图及其应用

针对与-异或逻辑代数系统中电路设计与化简的要求，提出了一种全新的图形表示方法——RM分解图，讨论了利用RM分解图将任意开关函数变为RM对称函数等方面的应用，并在此基础上提出了一系列基于RM分解图的图形方法，用来指导超大规模集成电路中基于通用逻辑门的单元电路的设计与化简，设计出的电路具有易于检测、连线数少等优点。     

函数CRM展开式在固定极性下最小化的图形方法

分析了dj图、K图的性质,在此基础上提出了基于dj图、K图的函数CRM展开式在固定极性下最小化的图形方法.它具有直观、简单、易于掌握等特点.     

基于谱技术的电流型CMOS乘法器

本文应用开关信号理论,建立了基于谱技术的对称二值逻辑的传输电流开关理论,该理论能从开关级指导设计基于谱技术的对称二值电流型CMOS电路．在基于谱技术的对称二值代数中,“负”,“线加”和“乘”运算构成完备集,因此,应用传输电流开关理论设计的对称二值电流型电流镜和乘法器电路可以实现任意对称二值函数．