基于谱技术的旋转对称函数检测

推导了旋转对称函数的Rademacher-Walsh变换（RW变换）谱系数的性质,在此基础上提出了基于RW变换检测旋转对称函数的方法.该方法具有操作简便、易于计算机编程操作以及能检测多种特殊逻辑函数等优点.     

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

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

关于旋转对称布尔函数性质之研究

旋转对称函数为特殊布尔函数,本文阐述了旋转对称函数的定义,提出了旋转对称函数的性质,并给出了相应的证明,讨论了该函数在k图、bj图、谱系数图中的特点.     

检测旋转对称函数的表格方法

讨论了旋转对称函数的定义和性质,提出了检测基于最小项展开逻辑函数的旋转对称函数的表格方法,提出了直接从RM型逻辑函数的Reed—Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的旋转对称函数的表格方法．文中提出的表格方法具有简单、方便和易于计算机编程操作等优点．     

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

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

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

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

检测含无关项旋转对称逻辑函数的快速算法

旋转对称逻辑函数在密码学函数构造领域有广泛应用。针对含无关项旋转对称逻辑函数检测中存在的不足,从含无关项逻辑函数的定义和旋转对称函数的性质出发,提出了检测含无关项旋转对称逻辑函数的快速算法。该算法通过判断逻辑函数1值最小项二进制编码周期旋转后产生的新编码同1值最小项及无关项二进制编码的重复性实现快速检测。结果表明,快速算法在适用的逻辑函数变量数、含无关项旋转对称逻辑函数检测的适用性和检测过程的复杂度方面均优于现有的表格方法与谱系数方法。     

检测含无关项旋转对称逻辑函数的快速算法

旋转对称逻辑函数在密码学函数构造领域有广泛应用。针对含无关项旋转对称逻辑函数检测中存在的不足,从含无关项逻辑函数的定义和旋转对称函数的性质出发,提出了检测含无关项旋转对称逻辑函数的快速算法。该算法通过判断逻辑函数1值最小项二进制编码周期旋转后产生的新编码同1值最小项及无关项二进制编码的重复性实现快速检测。结果表明,快速算法在适用的逻辑函数变量数、含无关项旋转对称逻辑函数检测的适用性和检测过程的复杂度方面均优于现有的表格方法与谱系数方法。     

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

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

基于表格法的CRM型对称函数检测

分析了函数的CRM展开式中和式项所含的部分变量取反引起的变化,在此基础上提出了直接检测CRM型全对称函数以及部分变量取反的CRM型对称函数的新方法,并以实例加以说明．与传统方法相比,该法使基于逻辑函数对称性的逻辑设计更简单、更有效．     

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

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

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

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

基于谱系数的反对称变量检测算法

为简化布尔函数6类反对称变量的检测过程,提出了基于谱系数的检测算法.从逻辑变量反对称的定义出发,在分析反对称逻辑变量Rademacher-Walsh(RW)变换谱系数特性的基础上,提出了基于RW变换检测CN(xi|xj)、CE(xi|xj)、CS(xi|xj)、CS(xi|xj)、CS(xj|xi)、CS(xj|xi)6类反对称逻辑变量的算法.应用结果表明,该方法具有易操作和计算机编程简单等优点.     

用电流型CMOS电路实现多值对称函数

本文根据多值对称函数、蜕化多对称函数的定义及性质,在讨论二值对称函数基于电流型ＣＭＯＳ电路的实现基础上,提出了用电流型ＣＭＯＳ电路实现多值对称函数的方法。     

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

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