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

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

（0，1）编码的归一化Haar变换谱系数的图形表示及其与K图的转换

基于（＋1,-1）的谱技术在数字逻辑中有许多应用．为了进一步补充谱技术理论,从归一化的Haar矩阵出发,通过对矩阵的性质分析,提出了（0,1）编码的归一化的Haar变换谱系数图——R谱系数图;提出了R谱系数图与K图的基于折叠加减的图形互换法,并举例说明了转换过程．应用表明,对5变量以下的函数该方法具有简单、直观和准确的特点．进一步完善了（Q,1）编码的谱技术理论,有助于开拓谱技术在数字电路故障检测等方面的应用．     

基于K图的布尔差分计算的图形方法

基于K图和降维K图，讨论了计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法。实例表明该方法具有直观、简单等特点，并且它能给出布尔差分的最简与／或式。     

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

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

基于0-1编码谱技术检测旋转对称函数

分析了旋转对称函数的0-1编码Hadamard变换谱系数的特点,给出了变量数n为素数的旋转对称函数的必要条件,提出了基于0-1编码Hadamard变换检测旋转对称函数的方法,该方法具有可编程操作以及同时可检测其他特殊布尔函数等优点.     

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

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

基于K图的布尔E-导数计算的图形方法

分析了逻辑函数的K图和降维K图,在此基础上,从逻辑函数定义出发,讨论了用K图和降维K图计算逻辑函数一阶布尔E-导数和二阶布尔E-导数的图形方法,实例表明该方法具有直观、简单等特点,并且能给出布尔E-导数的最简与/或式.     

基于三值K图的多输出三值函数化简的新方法

参照二值多输出逻辑函数的K图化简，提出一种携带重复次数信息的多输出三值K图，从而避免在多个输出之间画大量的与门．本文基于二值多输出函数及三值单输出函数K图化简的讨论，提出了基于三值K图的多输出三值函数化简的新方法，给出了化简规则，并用实例作了具体说明．多输出三值函数K图的化简方法大大降低了电路成本．     

基于K图的逻辑函数OC展开式在固定极性下的化简

分析了K图在表示逻辑函数最大项展开式的特点和性质,发现在K图中作含某格的所有聚合圈相应的和项中所含变量的极性与该格对应的最大项具有相同的极性.在此基础上提出了基于K图的逻辑函数OC展开式在固定极性下化简的新方法.该方法可以利用K图直接得到逻辑函数的最小化的OC展开式,从而省略了传统方法把K图转换为dj图的步骤,具有直观、方便等特点.     

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

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

基于零点的函数K图和dj图的转换

介绍了函数的最大项展开式和CRM展开式及其图形表示，提出函数K图和dj图的零点的概念，并以此为基础讨论了基于零点的函数K图和dj图之间的转换方法。     

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

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