期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
基于谱技术检测特殊逻辑函数的新方法 被引量:6
1
作者 应时彦 肖林荣 杭国强 《浙江工业大学学报》 CAS 2008年第2期192-194,共3页
阐述了冗余函数、线性函数、自反函数、自双反函数的定义,讨论了它们的谱系数的特点,提出了6个相关的定理.这些定理给出了基于谱技术检测冗余函数、线性函数、自反函数、自双反函数的新方法,实例展示了应用该方法检测上述函数的过程.
关键词 谱技术 特殊逻辑函数 冗余函数 线性函数 自反函数 自双反函数
下载PDF
基于布尔e导数的特殊逻辑函数检测方法 被引量:5
2
作者 赵美玲 《浙江大学学报(理学版)》 CAS CSCD 2014年第4期424-426,共3页
布尔代数中的特殊逻辑函数具有独特的性质,而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法,在介绍线性函数、自双反函数以及布尔e导数概念的基础上,提出了利用布尔e导数判别线性函数和自双反函数的定理,给出了基于布尔e... 布尔代数中的特殊逻辑函数具有独特的性质,而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法,在介绍线性函数、自双反函数以及布尔e导数概念的基础上,提出了利用布尔e导数判别线性函数和自双反函数的定理,给出了基于布尔e导数检测线性函数、自双反函数的方法,并通过3个实例,展示了应用该方法检测线性函数和自双反函数的过程.进一步拓宽了布尔e导数的应用领域. 展开更多
关键词 布尔e导数 特殊逻辑函数 线性函数 自双反函数
下载PDF
基于谱系数图检测特殊逻辑函数的图形方法
3
作者 周振峰 万尤宝 肖林荣 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2008年第6期630-633,共4页
阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理,给出了相应谱系数图的特点,得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、... 阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理,给出了相应谱系数图的特点,得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、自双反函数的新方法.实例展示了基于上述定理的谱系数图检测上述函数的过程.实例表明该方法具有直观、简单等特点. 展开更多
关键词 特殊逻辑函数 冗余函数 线性函数 自反函数 自双反函数 谱技术 谱系数图
下载PDF
基于0-1编码空间谱变换的特殊逻辑函数检测
4
作者 凌坚 练益群 《科技通报》 北大核心 2009年第3期325-327,共3页
分析了0-1编码空间谱系数与冗余函数、线性函数、自反函数和自双反函数等特殊逻辑函数之间的关系。在此基础上提出了基于0-1编码空间谱变换的特殊逻辑函数检测方法。
关键词 谱技术 特殊逻辑函数检测 冗余函数 线性函数 自反函数 自双反函数
下载PDF
计算机辅助特殊逻辑函数检测
5
作者 厉晓华 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2009年第3期288-290,共3页
在代数法、图表法检测特殊逻辑函数的基础上,提出计算机辅助来实现逻辑函数中的线性函数、冗余函数、自反函数、自双反函数的检测算法,实例展示了应用该方法检测上述函数的过程.
关键词 特殊逻辑函数 线性函数 冗余函数 自反函数 自双反函数 计算机辅助设计
下载PDF
基于归一化Haar变换的自反函数和自双反函数的检测 被引量:5
6
作者 邱晓华 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2010年第2期193-195,共3页
推导了归一化Haar变换谱系数与自反函数和自双反函数的关系,在此基础上提出了基于归一化Haar变换检测自反函数和自双反函数的谱方法.该方法的主要优点在于可以同时检测多种特殊逻辑函数以及易于计算机编程操作.
关键词 HAAR变换 谱方法 自反函数 自双反函数 特殊逻辑函数
下载PDF
基于Haar变换的冗余函数和线性函数的检测 被引量:2
7
作者 邱晓华 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2009年第5期542-544,548,共4页
给出了归一化Haar变换矩阵元的通式,讨论了归一化Haar变换谱系数与冗余函数和线性函数的关系.在此基础上提出了基于归一化Haar变换的检测冗余函数和线性函数的谱方法.该方法的主要优点是可以同时检测其他特殊逻辑函数以及易于计算机编... 给出了归一化Haar变换矩阵元的通式,讨论了归一化Haar变换谱系数与冗余函数和线性函数的关系.在此基础上提出了基于归一化Haar变换的检测冗余函数和线性函数的谱方法.该方法的主要优点是可以同时检测其他特殊逻辑函数以及易于计算机编程操作. 展开更多
关键词 谱技术 HAAR变换 冗余函数 线性函数 特殊逻辑函数
下载PDF
基于归一化Haar变换检测旋转对称函数的新方法 被引量:1
8
作者 邱晓华 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 2012年第6期651-653,共3页
讨论了旋转对称函数在归一化Haar变换域中的谱特性,提出了基于归一化Haar变换检测旋转对称函数的新方法.该方法具有易于计算机编程操作以及可以同时检测多种其他特殊逻辑函数等优点.
关键词 归一化Haar变换 旋转对称函数 特殊逻辑函数 谱技术
下载PDF
基于谱技术的旋转对称函数检测
9
作者 邱晓华 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2011年第3期304-306,共3页
推导了旋转对称函数的Rademacher-Walsh变换(RW变换)谱系数的性质,在此基础上提出了基于RW变换检测旋转对称函数的方法.该方法具有操作简便、易于计算机编程操作以及能检测多种特殊逻辑函数等优点.
关键词 谱技术 RW变换 旋转对称函数 特殊逻辑函数
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部