期刊文献+
共找到17篇文章
< 1 >
每页显示 20 50 100
关于自双反函数的性质之研究 被引量: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
基于分解图检测特殊函数的新方法 被引量:3
5
作者 赵美玲 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2008年第4期412-415,共4页
特殊布尔函数在电路设计中有着独特的优点.本文从特殊函数的定义出发,导出了基于分解图的冗余函数、线性函数、对称函数、自反函数和自双反函数的相关定理,着重介绍了基于分解图的相关定理在特殊函数检测中的应用,并以实例加以说明.本... 特殊布尔函数在电路设计中有着独特的优点.本文从特殊函数的定义出发,导出了基于分解图的冗余函数、线性函数、对称函数、自反函数和自双反函数的相关定理,着重介绍了基于分解图的相关定理在特殊函数检测中的应用,并以实例加以说明.本文为超大规模集成电路中单元电路的设计与化简提供了新的方法,对进一步完善布尔代数系统具有一定的实际应用意义. 展开更多
关键词 特殊函数 分解图 冗余函数 线性函数 对称函数 双反函数 双反函数 布尔函数
在线阅读 下载PDF
基于分解图检测含任意项特殊逻辑函数的方法 被引量:4
6
作者 厉晓华 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2009年第5期545-548,共4页
特殊逻辑函数在电路设计中有着独特的优点.从特殊函数的定义出发,提出了检测含任意项特殊逻辑函数的方法,并以实例加以说明.为超大规模集成电路中单元电路的设计与化简提供了新的方法,对进一步完善布尔代数系统具有一定的实际应用意义.
关键词 特殊函数 分解图 任意项 冗余函数 线性函数 对称函数 双反函数 双反函数
在线阅读 下载PDF
基于谱技术检测特殊逻辑函数的新方法 被引量:6
7
作者 应时彦 肖林荣 杭国强 《浙江工业大学学报》 CAS 2008年第2期192-194,共3页
阐述了冗余函数、线性函数、自反函数、自双反函数的定义,讨论了它们的谱系数的特点,提出了6个相关的定理.这些定理给出了基于谱技术检测冗余函数、线性函数、自反函数、自双反函数的新方法,实例展示了应用该方法检测上述函数的过程.
关键词 谱技术 特殊逻辑函数 冗余函数 线性函数 反函数 双反函数
在线阅读 下载PDF
特殊逻辑函数布尔差分及布尔e-导数的性质研究 被引量:1
8
作者 方伟杰 厉晓华 杭国强 《浙江大学学报(理学版)》 CAS CSCD 2013年第5期535-538,共4页
布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发,讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质,并给出... 布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发,讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质,并给出了相应的证明,为方便快捷地实现故障检测和密码学函数的构造奠定理论基础. 展开更多
关键词 布尔差分 布尔e-导数 线性函数 冗余函数 反函数 双反函数
在线阅读 下载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
Modeling of radiative properties of metallic microscale rough surface 被引量:1
16
作者 王爱华 蔡九菊 《Journal of Central South University》 SCIE EI CAS 2012年第6期1482-1487,共6页
The radiative properties of a gold surface with one-dimensional Gaussian random roughness distribution were obtained with the finite-difference time-domain (FDTD) method and the recursive convolution treatment of th... The radiative properties of a gold surface with one-dimensional Gaussian random roughness distribution were obtained with the finite-difference time-domain (FDTD) method and the recursive convolution treatment of the Drude Model. The bi-directional reflection distribution function (BRDF) for both TM mode and TE mode were obtained and compared with the highly accurate experimental data from the earlier work. The incident wavelength varies from 1.152 μm to 3.392 μm and incident angle is at 300-70°, respectively. The results show that, the predicted values and experimental results are in good agreement. The highly specular peak in the BRDF is reproduced in the numerical simulations, and the increase of the TM mode BRDF is found to be attributed to the effect of a variation in the optical constant at the incident wavelength period. 展开更多
关键词 bi-directional reflection distribution function Gaussian random roughness distribution gold surface finite-differencetime-domain method
在线阅读 下载PDF
Modeling bidirectional reflection distribution function of microscale random rough surfaces
17
作者 王爱华 HSU P.F. 蔡九菊 《Journal of Central South University》 SCIE EI CAS 2010年第2期228-234,共7页
The radiative properties of three different materials surfaces with one-dimensional microscale random roughness were obtained with the finite difference time domain method(FDTD) and near-to-far-field transformation.Th... The radiative properties of three different materials surfaces with one-dimensional microscale random roughness were obtained with the finite difference time domain method(FDTD) and near-to-far-field transformation.The surface height conforms to the Gaussian probability density function distribution.Various computational modeling issues that affect the accuracy of the predicted properties were discussed.The results show that,for perfect electric conductor(PEC) surfaces,as the surface roughness increases,the magnitude of the spike reduces and eventually the spike disappears,and also as the ratio of root mean square roughness to the surface correlation distance increases,the retroreflection becomes evident.The predicted values of FDTD solutions are in good agreement with the ray tracing and integral equation solutions.The overall trend of bidirectional reflection distribution function(BRDF) of PEC surfaces and silicon surfaces is the same,but the silicon's is much less than the former's.The BRDF difference from two polarization modes for the gold surfaces is little for smaller wavelength,but it is much larger for the longer wavelength and the FDTD simulation results agree well with the measured data.In terms of PEC surfaces,as the incident angle increases,the reflectivity becomes more specular. 展开更多
关键词 bidirectional reflection distribution fimction random rough surfaces Maxwell equations finite difference time domain method
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部