关于自双反函数的性质之研究 被引量：16

1

作者 马汝星 余党军 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 2004年第6期638-641,共4页

阐述了双反函数、自双反函数和多数函数的定义,提出了自双反函数的性质.根据上述定义利用布尔代数中的基本概念、定理和公式证明了这些性质,展示了自双反函数在RM展开系数图(bj图)中的特点,讨论了自双反函数在函数分类中的应用.

关键词 多数函数 双反函数 自双反函数

在线阅读 下载PDF 职称材料

基于归一化Haar变换的自反函数和自双反函数的检测 被引量：5

2

作者 邱晓华 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2010年第2期193-195,共3页

推导了归一化Haar变换谱系数与自反函数和自双反函数的关系,在此基础上提出了基于归一化Haar变换检测自反函数和自双反函数的谱方法.该方法的主要优点在于可以同时检测多种特殊逻辑函数以及易于计算机编程操作.

关键词 HAAR变换 谱方法 自反函数 自双反函数 特殊逻辑函数

在线阅读 下载PDF 职称材料

基于b_j图检测自双反函数和自反函数的新方法

3

作者 郑惠群 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2007年第3期315-317,共3页

自双反函数和自反函数为特殊布尔函数.本文讨论了自双反函数和自反函数的定义和性质,给出了基于bj图获得变量全部取反的逻辑函数■的bj图的方法.在此基础上提出了基于bj图检测自双反函数和自反函数的新方法.该图形方法具有直观、简单以... 自双反函数和自反函数为特殊布尔函数.本文讨论了自双反函数和自反函数的定义和性质,给出了基于bj图获得变量全部取反的逻辑函数■的bj图的方法.在此基础上提出了基于bj图检测自双反函数和自反函数的新方法.该图形方法具有直观、简单以及可并行处理等优点. 展开更多

关键词 BJ图 自双反函数 自反函数

在线阅读 下载PDF 职称材料

基于表格方法的冗余函数、自反函数及自双反函数的检测 被引量：5

4

作者 郦可 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2007年第5期520-523,共4页

基于冗余函数、自反函数及自双反函数的定义和性质,利用表格法检测基于与-或-非代数系统、RM展开和CRM展开的冗余函数、自反函数和自双反函数.讨论了表格法作为检测特殊函数的易用性和可编程性.

关键词 冗余函数 自反函数 自双反函数 表格法

在线阅读 下载PDF 职称材料

基于谱技术检测特殊逻辑函数的新方法 被引量：6

5

作者 应时彦 肖林荣 杭国强 《浙江工业大学学报》 CAS 2008年第2期192-194,共3页

阐述了冗余函数、线性函数、自反函数、自双反函数的定义,讨论了它们的谱系数的特点,提出了6个相关的定理.这些定理给出了基于谱技术检测冗余函数、线性函数、自反函数、自双反函数的新方法,实例展示了应用该方法检测上述函数的过程.

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

在线阅读 下载PDF 职称材料

基于分解图检测特殊函数的新方法 被引量：3

6

作者 赵美玲 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2008年第4期412-415,共4页

特殊布尔函数在电路设计中有着独特的优点.本文从特殊函数的定义出发,导出了基于分解图的冗余函数、线性函数、对称函数、自反函数和自双反函数的相关定理,着重介绍了基于分解图的相关定理在特殊函数检测中的应用,并以实例加以说明.本... 特殊布尔函数在电路设计中有着独特的优点.本文从特殊函数的定义出发,导出了基于分解图的冗余函数、线性函数、对称函数、自反函数和自双反函数的相关定理,着重介绍了基于分解图的相关定理在特殊函数检测中的应用,并以实例加以说明.本文为超大规模集成电路中单元电路的设计与化简提供了新的方法,对进一步完善布尔代数系统具有一定的实际应用意义. 展开更多

关键词 特殊函数 分解图 冗余函数 线性函数 对称函数 双反函数 自双反函数 布尔函数

在线阅读 下载PDF 职称材料

特殊逻辑函数布尔差分及布尔e-导数的性质研究 被引量：1

7

作者 方伟杰 厉晓华 杭国强 《浙江大学学报（理学版）》 CAS CSCD 2013年第5期535-538,共4页

布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发,讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质,并给出... 布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发,讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质,并给出了相应的证明,为方便快捷地实现故障检测和密码学函数的构造奠定理论基础. 展开更多

关键词 布尔差分 布尔e-导数 线性函数 冗余函数 自反函数 自双反函数

在线阅读 下载PDF 职称材料

基于分解图检测含任意项特殊逻辑函数的方法 被引量：4

8

作者 厉晓华 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2009年第5期545-548,共4页

特殊逻辑函数在电路设计中有着独特的优点.从特殊函数的定义出发,提出了检测含任意项特殊逻辑函数的方法,并以实例加以说明.为超大规模集成电路中单元电路的设计与化简提供了新的方法,对进一步完善布尔代数系统具有一定的实际应用意义.

关键词 特殊函数 分解图 任意项 冗余函数 线性函数 对称函数 双反函数 自双反函数

在线阅读 下载PDF 职称材料

基于布尔e导数的特殊逻辑函数检测方法 被引量：5

9

作者 赵美玲 《浙江大学学报（理学版）》 CAS CSCD 2014年第4期424-426,共3页

布尔代数中的特殊逻辑函数具有独特的性质,而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法,在介绍线性函数、自双反函数以及布尔e导数概念的基础上,提出了利用布尔e导数判别线性函数和自双反函数的定理,给出了基于布尔e... 布尔代数中的特殊逻辑函数具有独特的性质,而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法,在介绍线性函数、自双反函数以及布尔e导数概念的基础上,提出了利用布尔e导数判别线性函数和自双反函数的定理,给出了基于布尔e导数检测线性函数、自双反函数的方法,并通过3个实例,展示了应用该方法检测线性函数和自双反函数的过程.进一步拓宽了布尔e导数的应用领域. 展开更多

关键词 布尔e导数 特殊逻辑函数 线性函数 自双反函数

在线阅读 下载PDF 职称材料

计算布尔函数c-导数、c-偏导数的代数方法及其在检测特殊布尔函数中的应用 被引量：2

10

作者 王芳 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2016年第3期303-306,共4页

提出了c-偏导数的定义和计算c-导数及c-偏导数的代数方法,给出了基于c-偏导数检测冗余函数、基于c-导数检测线性函数、基于高阶c-导数检测自反函数和自双反函数的方法.与图形方法相比,代数方法具有不受变量限制、简单方便等优点.

关键词 c-导数 c-偏导数 冗余函数 线性函数 自反函数 自双反函数

在线阅读 下载PDF 职称材料

基于谱系数图检测特殊逻辑函数的图形方法

11

作者 周振峰 万尤宝 肖林荣 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2008年第6期630-633,共4页

阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理,给出了相应谱系数图的特点,得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、... 阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理,给出了相应谱系数图的特点,得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、自双反函数的新方法.实例展示了基于上述定理的谱系数图检测上述函数的过程.实例表明该方法具有直观、简单等特点. 展开更多

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

在线阅读 下载PDF 职称材料

检测含任意项特殊逻辑函数的图形方法

12

作者 厉晓华 方伟杰 《浙江大学学报（理学版）》 CAS CSCD 2014年第1期52-54,共3页

线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点.从特殊逻辑函数的定义出发,提出了基于K图检测含任意项线性函数、冗余函数的方法及基于分解图检测含任意项自反函数、自双反函数的方法,并举例说明... 线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点.从特殊逻辑函数的定义出发,提出了基于K图检测含任意项线性函数、冗余函数的方法及基于分解图检测含任意项自反函数、自双反函数的方法,并举例说明了具体检测过程.应用结果表明,该图形方法具有直观,便捷等特点. 展开更多

关键词 K图 分解图 任意项 线性函数 冗余函数 自反函数 自双反函数

在线阅读 下载PDF 职称材料

基于d_j图检测特殊布尔函数的图形方法

13

作者 练益群 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2007年第4期414-417,共4页

阐述了线性函数、冗余函数、自反函数和自双反函数的定义和有关性质，提出了用dj图检测线性函数和冗余函数的方法．给出了求∫（x1～xn）的图形方法，并在此基础上提出了基于dj图检测自反函数与自双反函数的图形方法．此外，还讨论了求... 阐述了线性函数、冗余函数、自反函数和自双反函数的定义和有关性质，提出了用dj图检测线性函数和冗余函数的方法．给出了求∫（x1～xn）的图形方法，并在此基础上提出了基于dj图检测自反函数与自双反函数的图形方法．此外，还讨论了求∫（x1～xn）的dj图的改进的图形方法． 展开更多

关键词 DJ图 特殊函数 布尔函数 线性函数 冗余函数 自反函数 自双反函数

在线阅读 下载PDF 职称材料

计算机辅助特殊逻辑函数检测

14

作者 厉晓华 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2009年第3期288-290,共3页

在代数法、图表法检测特殊逻辑函数的基础上,提出计算机辅助来实现逻辑函数中的线性函数、冗余函数、自反函数、自双反函数的检测算法,实例展示了应用该方法检测上述函数的过程.

关键词 特殊逻辑函数 线性函数 冗余函数 自反函数 自双反函数 计算机辅助设计

在线阅读 下载PDF 职称材料

浙江大学学报(理学版)2007年第34卷1～6期目录索引

15

《浙江大学学报（理学版）》 CAS CSCD 北大核心 2007年第6期721-730,共10页

关键词 自反函数 Design 自双反函数 线性函数 目录索引 几乎处处中心极限定理 大学学报 理学 浙江

在线阅读 下载PDF 职称材料