Zhejiang Daxue xuebao. Lixue ban (May 2015)

The algorithm of antisymmetric logical variable detection based on the spectral technique(基于谱系数的反对称变量检测算法)

  • LIXiaohua(厉晓华)

DOI
https://doi.org/10.3785/j.issn.1008-9497.2015.03.012
Journal volume & issue
Vol. 42, no. 3
pp. 306 – 309

Abstract

Read online

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

Keywords