期刊文献+
共找到27篇文章
< 1 2 >
每页显示 20 50 100
关于自双反函数的性质之研究 被引量:16
1
作者 马汝星 余党军 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 2004年第6期638-641,共4页
阐述了双反函数、自双反函数和多数函数的定义,提出了自双反函数的性质.根据上述定义利用布尔代数中的基本概念、定理和公式证明了这些性质,展示了自双反函数在RM展开系数图(bj图)中的特点,讨论了自双反函数在函数分类中的应用.
关键词 多数函数 双反函数 双反函数
下载PDF
关于自双反函数的RM展开式特性的研究
2
作者 王勇超 陈偕雄 《科技通报》 2006年第4期562-566,共5页
阐述了自双反函数的b_j图系数的特征,给出了基于缺项聚合圈的判定方法,并提出了自双反函数b_j图与K图的互换图形方法。研究表明,图形互换方法比通常的原点法和重心法提高了将近一半的效率,适合于含多自变量的情况。
关键词 双反函数 BJ图 双反函数检测
下载PDF
基于归一化Haar变换的自反函数和自双反函数的检测 被引量:5
3
作者 邱晓华 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2010年第2期193-195,共3页
推导了归一化Haar变换谱系数与自反函数和自双反函数的关系,在此基础上提出了基于归一化Haar变换检测自反函数和自双反函数的谱方法.该方法的主要优点在于可以同时检测多种特殊逻辑函数以及易于计算机编程操作.
关键词 HAAR变换 谱方法 反函数 双反函数 特殊逻辑函数
下载PDF
基于b_j图检测自双反函数和自反函数的新方法
4
作者 郑惠群 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2007年第3期315-317,共3页
自双反函数和自反函数为特殊布尔函数.本文讨论了自双反函数和自反函数的定义和性质,给出了基于bj图获得变量全部取反的逻辑函数■的bj图的方法.在此基础上提出了基于bj图检测自双反函数和自反函数的新方法.该图形方法具有直观、简单以... 自双反函数和自反函数为特殊布尔函数.本文讨论了自双反函数和自反函数的定义和性质,给出了基于bj图获得变量全部取反的逻辑函数■的bj图的方法.在此基础上提出了基于bj图检测自双反函数和自反函数的新方法.该图形方法具有直观、简单以及可并行处理等优点. 展开更多
关键词 BJ图 双反函数 反函数
下载PDF
基于表格方法的冗余函数、自反函数及自双反函数的检测 被引量:5
5
作者 郦可 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2007年第5期520-523,共4页
基于冗余函数、自反函数及自双反函数的定义和性质,利用表格法检测基于与-或-非代数系统、RM展开和CRM展开的冗余函数、自反函数和自双反函数.讨论了表格法作为检测特殊函数的易用性和可编程性.
关键词 冗余函数 反函数 双反函数 表格法
下载PDF
基于分解图检测特殊函数的新方法 被引量:3
6
作者 赵美玲 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2008年第4期412-415,共4页
特殊布尔函数在电路设计中有着独特的优点.本文从特殊函数的定义出发,导出了基于分解图的冗余函数、线性函数、对称函数、自反函数和自双反函数的相关定理,着重介绍了基于分解图的相关定理在特殊函数检测中的应用,并以实例加以说明.本... 特殊布尔函数在电路设计中有着独特的优点.本文从特殊函数的定义出发,导出了基于分解图的冗余函数、线性函数、对称函数、自反函数和自双反函数的相关定理,着重介绍了基于分解图的相关定理在特殊函数检测中的应用,并以实例加以说明.本文为超大规模集成电路中单元电路的设计与化简提供了新的方法,对进一步完善布尔代数系统具有一定的实际应用意义. 展开更多
关键词 特殊函数 分解图 冗余函数 线性函数 对称函数 双反函数 双反函数 布尔函数
下载PDF
基于分解图检测含任意项特殊逻辑函数的方法 被引量:4
7
作者 厉晓华 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2009年第5期545-548,共4页
特殊逻辑函数在电路设计中有着独特的优点.从特殊函数的定义出发,提出了检测含任意项特殊逻辑函数的方法,并以实例加以说明.为超大规模集成电路中单元电路的设计与化简提供了新的方法,对进一步完善布尔代数系统具有一定的实际应用意义.
关键词 特殊函数 分解图 任意项 冗余函数 线性函数 对称函数 双反函数 双反函数
下载PDF
基于谱技术检测特殊逻辑函数的新方法 被引量:6
8
作者 应时彦 肖林荣 杭国强 《浙江工业大学学报》 CAS 2008年第2期192-194,共3页
阐述了冗余函数、线性函数、自反函数、自双反函数的定义,讨论了它们的谱系数的特点,提出了6个相关的定理.这些定理给出了基于谱技术检测冗余函数、线性函数、自反函数、自双反函数的新方法,实例展示了应用该方法检测上述函数的过程.
关键词 谱技术 特殊逻辑函数 冗余函数 线性函数 反函数 双反函数
下载PDF
特殊逻辑函数布尔差分及布尔e-导数的性质研究 被引量:1
9
作者 方伟杰 厉晓华 杭国强 《浙江大学学报(理学版)》 CAS CSCD 2013年第5期535-538,共4页
布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发,讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质,并给出... 布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发,讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质,并给出了相应的证明,为方便快捷地实现故障检测和密码学函数的构造奠定理论基础. 展开更多
关键词 布尔差分 布尔e-导数 线性函数 冗余函数 反函数 双反函数
下载PDF
基于布尔e导数的特殊逻辑函数检测方法 被引量:5
10
作者 赵美玲 《浙江大学学报(理学版)》 CAS CSCD 2014年第4期424-426,共3页
布尔代数中的特殊逻辑函数具有独特的性质,而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法,在介绍线性函数、自双反函数以及布尔e导数概念的基础上,提出了利用布尔e导数判别线性函数和自双反函数的定理,给出了基于布尔e... 布尔代数中的特殊逻辑函数具有独特的性质,而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法,在介绍线性函数、自双反函数以及布尔e导数概念的基础上,提出了利用布尔e导数判别线性函数和自双反函数的定理,给出了基于布尔e导数检测线性函数、自双反函数的方法,并通过3个实例,展示了应用该方法检测线性函数和自双反函数的过程.进一步拓宽了布尔e导数的应用领域. 展开更多
关键词 布尔e导数 特殊逻辑函数 线性函数 双反函数
下载PDF
计算布尔函数c-导数、c-偏导数的代数方法及其在检测特殊布尔函数中的应用 被引量:2
11
作者 王芳 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2016年第3期303-306,共4页
提出了c-偏导数的定义和计算c-导数及c-偏导数的代数方法,给出了基于c-偏导数检测冗余函数、基于c-导数检测线性函数、基于高阶c-导数检测自反函数和自双反函数的方法.与图形方法相比,代数方法具有不受变量限制、简单方便等优点.
关键词 c-导数 c-偏导数 冗余函数 线性函数 反函数 双反函数
下载PDF
检测含无关项特殊布尔函数的表格算法 被引量:1
12
作者 邵梁 《科技通报》 2018年第6期15-18,共4页
从冗余函数、线性函数、自反函数、自双反函数四类特殊布尔函数的定义出发,讨论了检测含无关项特殊布尔函数的表格算法。该算法应用表格列出布尔函数1值最小项及无关项的二进制编码,取反1值最小项及无关项二进制编码中的相应位产生新项... 从冗余函数、线性函数、自反函数、自双反函数四类特殊布尔函数的定义出发,讨论了检测含无关项特殊布尔函数的表格算法。该算法应用表格列出布尔函数1值最小项及无关项的二进制编码,取反1值最小项及无关项二进制编码中的相应位产生新项。通过比较新项与原最小项之间的异同实现特殊布尔函数的检测。应用实例表明,表格算法具有快速便捷、适用于多变量函数及易于计算机编程操作等优点。 展开更多
关键词 无关项 冗余函数 线性函数 反函数 双反函数 表格算法
下载PDF
基于谱系数图检测特殊逻辑函数的图形方法
13
作者 周振峰 万尤宝 肖林荣 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2008年第6期630-633,共4页
阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理,给出了相应谱系数图的特点,得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、... 阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理,给出了相应谱系数图的特点,得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、自双反函数的新方法.实例展示了基于上述定理的谱系数图检测上述函数的过程.实例表明该方法具有直观、简单等特点. 展开更多
关键词 特殊逻辑函数 冗余函数 线性函数 反函数 双反函数 谱技术 谱系数图
下载PDF
检测含任意项特殊逻辑函数的图形方法
14
作者 厉晓华 方伟杰 《浙江大学学报(理学版)》 CAS CSCD 2014年第1期52-54,共3页
线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点.从特殊逻辑函数的定义出发,提出了基于K图检测含任意项线性函数、冗余函数的方法及基于分解图检测含任意项自反函数、自双反函数的方法,并举例说明... 线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点.从特殊逻辑函数的定义出发,提出了基于K图检测含任意项线性函数、冗余函数的方法及基于分解图检测含任意项自反函数、自双反函数的方法,并举例说明了具体检测过程.应用结果表明,该图形方法具有直观,便捷等特点. 展开更多
关键词 K图 分解图 任意项 线性函数 冗余函数 反函数 双反函数
下载PDF
基于0-1编码空间谱变换的特殊逻辑函数检测
15
作者 凌坚 练益群 《科技通报》 北大核心 2009年第3期325-327,共3页
分析了0-1编码空间谱系数与冗余函数、线性函数、自反函数和自双反函数等特殊逻辑函数之间的关系。在此基础上提出了基于0-1编码空间谱变换的特殊逻辑函数检测方法。
关键词 谱技术 特殊逻辑函数检测 冗余函数 线性函数 反函数 双反函数
下载PDF
基于d_j图检测特殊布尔函数的图形方法
16
作者 练益群 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2007年第4期414-417,共4页
阐述了线性函数、冗余函数、自反函数和自双反函数的定义和有关性质,提出了用dj图检测线性函数和冗余函数的方法.给出了求∫(x1~xn)的图形方法,并在此基础上提出了基于dj图检测自反函数与自双反函数的图形方法.此外,还讨论了求... 阐述了线性函数、冗余函数、自反函数和自双反函数的定义和有关性质,提出了用dj图检测线性函数和冗余函数的方法.给出了求∫(x1~xn)的图形方法,并在此基础上提出了基于dj图检测自反函数与自双反函数的图形方法.此外,还讨论了求∫(x1~xn)的dj图的改进的图形方法. 展开更多
关键词 DJ图 特殊函数 布尔函数 线性函数 冗余函数 反函数 双反函数
下载PDF
计算机辅助特殊逻辑函数检测
17
作者 厉晓华 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2009年第3期288-290,共3页
在代数法、图表法检测特殊逻辑函数的基础上,提出计算机辅助来实现逻辑函数中的线性函数、冗余函数、自反函数、自双反函数的检测算法,实例展示了应用该方法检测上述函数的过程.
关键词 特殊逻辑函数 线性函数 冗余函数 反函数 双反函数 计算机辅助设计
下载PDF
特殊逻辑函数布尔C-导数的性质研究 被引量:1
18
作者 詹雯 厉晓华 《科技通报》 2018年第4期186-189,共4页
线性函数、冗余函数、自反函数、自双反函数、部分自反函数和部分自双反函数等特殊逻辑函数在密码学函数构造方面具有优越性。布尔C-导数能全面揭示布尔函数的密码学性质和函数结构的关系,是构造密码学函数的重要工具。本文从特殊逻辑... 线性函数、冗余函数、自反函数、自双反函数、部分自反函数和部分自双反函数等特殊逻辑函数在密码学函数构造方面具有优越性。布尔C-导数能全面揭示布尔函数的密码学性质和函数结构的关系,是构造密码学函数的重要工具。本文从特殊逻辑函数和布尔-C导数的定义出发,讨论了这些逻辑函数的布尔C-导数性质,并给出了相应证明。该研究为快速构造密码学函数奠定理论基础。 展开更多
关键词 线性函数 冗余函数 反函数 双反函数 布尔C-导数
下载PDF
浙江大学学报(理学版)2007年第34卷1~6期目录索引
19
《浙江大学学报(理学版)》 CAS CSCD 北大核心 2007年第6期721-730,共10页
关键词 反函数 Design 双反函数 线性函数 目录索引 几乎处处中心极限定理 大学学报 理学 浙江
下载PDF
2D multi-scale hybrid optimization method for geophysical inversion and its application 被引量:2
20
作者 潘纪顺 王新建 +4 位作者 张先康 徐朝繁 Zhao Ping 田晓峰 潘素珍 《Applied Geophysics》 SCIE CSCD 2009年第4期337-348,394,共13页
Local and global optimization methods are widely used in geophysical inversion but each has its own advantages and disadvantages. The combination of the two methods will make it possible to overcome their weaknesses. ... Local and global optimization methods are widely used in geophysical inversion but each has its own advantages and disadvantages. The combination of the two methods will make it possible to overcome their weaknesses. Based on the simulated annealing genetic algorithm (SAGA) and the simplex algorithm, an efficient and robust 2-D nonlinear method for seismic travel-time inversion is presented in this paper. First we do a global search over a large range by SAGA and then do a rapid local search using the simplex method. A multi-scale tomography method is adopted in order to reduce non-uniqueness. The velocity field is divided into different spatial scales and velocities at the grid nodes are taken as unknown parameters. The model is parameterized by a bi-cubic spline function. The finite-difference method is used to solve the forward problem while the hybrid method combining multi-scale SAGA and simplex algorithms is applied to the inverse problem. The algorithm has been applied to a numerical test and a travel-time perturbation test using an anomalous low-velocity body. For a practical example, it is used in the study of upper crustal velocity structure of the A'nyemaqen suture zone at the north-east edge of the Qinghai-Tibet Plateau. The model test and practical application both prove that the method is effective and robust. 展开更多
关键词 MULTI-SCALE seismic travel-time tomography hybrid optimization method INVERSION A'nyemaqen suture zone
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部