Zhejiang Daxue xuebao. Lixue ban (Sep 2009)
Detection of redundant function and linear function based on Haar transform(基于Haar变换的冗余函数和线性函数的检测)
Abstract
给出了归一化Haar变换矩阵元的通式,讨论了归一化Haar变换谱系数与冗余函数和线性函数的关系.在此基础上提出了基于归一化Haar变换的检测冗余函数和线性函数的谱方法.该方法的主要优点是可以同时检测其他特殊逻辑函数以及易于计算机编程操作.
Keywords