基于Rademacher-Walsh变换谱系数的对称性检测算法

作者：谢川; 厉晓华^*

来源：科技通报, 2018, 34(11): 24-27.

DOI：10.13774/j.cnki.kjtb.2018.11.004

• Rademacher-Walsh变换
• 谱系数
• 对称变量
• 逻辑函数

为简化逻辑函数中对称变量的检测过程,研究了基于Rademacher-Walsh变换谱系数的对称性检测算法。该算法从逻辑变量6类对称性的定义出发,分析了对称变量的谱系数特征。提出了基于rademacher-walsh变换谱系数检测N(xi|xj)、E(xi|xj)、S(xi|xj)、S(xi|)、S(xj|xi)、S(xj|)6类对称变量的算法。应用实例表明,该算法简便高效,易于编程操作。

• 单位
  杭州职业技术学院