基于谱技术检测特殊逻辑函数的新方法  

New method for detecting special logical functions based on spectral technique

作　　者：应时彦[1] 肖林荣[2] 杭国强[2] 

机构地区：[1]浙江工业大学信息工程学院,浙江杭州310032 [2]浙江大学信息与电子工程学系

出　　处：《浙江工业大学学报》2008年第2期192-194,共3页Journal of Zhejiang University of Technology

基　　金：浙江省自然科学基金资助项目(Y105124)

摘　　要：阐述了冗余函数、线性函数、自反函数、自双反函数的定义,讨论了它们的谱系数的特点,提出了6个相关的定理.这些定理给出了基于谱技术检测冗余函数、线性函数、自反函数、自双反函数的新方法,实例展示了应用该方法检测上述函数的过程.In this paper, the redundant function, linear function, self-negative function and selfdual function are introduced. The characteristics of spectral coefficients in these functions are discussed. The six relative theorems are presented. These theorems give out a new method to detect the redundant function, linear function, self-negative function and self-dual function. Several examples show the detecting processes using the method for the above special logical functions.

关 键 词：谱技术 特殊逻辑函数 冗余函数 线性函数 自反函数 自双反函数 

分 类 号：TP17[自动化与计算机技术—控制理论与控制工程]