基于布尔e导数的特殊逻辑函数检测方法

本文作者：赵美玲；成功正常投稿发表论文到《浙江大学学报(理学版)》2014年04期,引用请注明来源400期刊网！

【摘要】：布尔代数中的特殊逻辑函数具有独特的性质,而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法,在介绍线性函数、自双反函数以及布尔e导数概念的基础上,提出了利用布尔e导数判别线性函数和自双反函数的定理,给出了基于布尔e导数检测线性函数、自双反函数的方法,并通过3个实例,展示了应用该方法检测线性函数和自双反函数的过程.进一步拓宽了布尔e导数的应用领域.
【论文正文预览】：布尔代数中存在许多特殊逻辑函数,如线性函数、自双反函数等.较普通逻辑函数,特殊逻辑函数具有其独特的性质.利用这些性质,可以简化电路,这对数字逻辑电路EDA的设计具有现实意义.鉴于此,学者们提出了各种检测特殊逻辑函数的方法[1-7].文献[8]首次引入了布尔e导数的概念,并研究
【文章分类号】：O153.2
【稿件关键词】：布尔e导数特殊逻辑函数线性函数自双反函数
【参考文献】:

• 马汝星,余党军,陈偕雄;关于自双反函数的性质之研究[J];浙江大学学报(理学版);2004年06期
• 练益群;刘观生;陈偕雄;;检测线性函数与线性变量的表格方法[J];浙江大学学报(理学版);2006年03期
• 厉晓华;;基于分解图检测含任意项特殊逻辑函数的方法[J];浙江大学学报(理学版);2009年05期
• 邱晓华;陈偕雄;;基于归一化Haar变换的自反函数和自双反函数的检测[J];浙江大学学报(理学版);2010年02期
• 马汝星;陈偕雄;;基于0-1编码谱技术检测旋转对称函数[J];浙江大学学报(理学版);2012年06期
• 何亮;王卓;李卫卫;;减小平衡H布尔函数相关度的算法和相关问题研究[J];通信学报;2010年02期
• 应时彦;肖林荣;杭国强;;基于谱技术检测特殊逻辑函数的新方法[J];浙江工业大学学报;2008年02期
• 林弥;吕伟锋;孙玲玲;;基于RT器件的三值与非门、或非门电路设计[J];半导体学报;2007年12期
• 余党军,陈偕雄;基于RM型三变量通用逻辑门的查表设计[J];电路与系统学报;2002年03期
• 程捷,陈偕雄;函数RM展开式和CRM展开式的图形转换法[J];电路与系统学报;2003年04期
• 姚茂群;沈继忠;朱志刚;;单稳态触发器的结构及其开关级设计原理[J];电路与系统学报;2005年06期
• 吕伟锋;林弥;华柏兴;;基于复数权值神经元的数字逻辑最稳健设计[J];电路与系统学报;2008年04期
• 林弥;张海鹏;吕伟锋;;改进型三值RTD量化器的设计[J];电路与系统学报;2012年02期
• 王旭升;;三变量通用阈值逻辑门的设计原理及电路实现[J];大众科技;2008年09期
• 吕伟锋;林弥;孙玲玲;;基于复数权神经元的布尔函数稳健学习算法[J];电子学报;2011年11期
• 吴桂初,吴烈,陈偕雄,杭国强;三值互斥变量函数的图形表示与化简方法的研究[J];电子与信息学报;2005年05期
• 韦一;沈继忠;;基于阈值逻辑的逻辑函数综合算法研究[J];电子与信息学报;2011年07期
• 林弥;基于共振隧穿器件RTD的二值和三值电路研究与设计[D];浙江大学;2010年
• 韦一;基于RTD的通用逻辑单元设计及其应用[D];浙江大学;2011年
• 王伦耀;Reed-Muller函数混合极性综合技术及在双逻辑综合中应用的研究[D];浙江大学;2012年
• 肖林荣;基于QCA的数字逻辑电路设计研究[D];浙江大学;2012年
• 程捷;近代数字理论与方法的研究[D];浙江大学;2001年
• 陆阳;二进神经网络规则提取方法研究[D];合肥工业大学;2002年
• 刘任任;部分K值逻辑中Sheffer函数的判定问题[D];中南大学;2004年
• 刘观生;数字理论的表格方法研究[D];浙江大学;2007年
• 管致锦;可逆计算中逻辑综合若干问题研究[D];南京航空航天大学;2008年
• 朱玲芳;部分四值逻辑中Sheffer函数的判定与构造[D];湘潭大学;2010年
• 何亮;H布尔函数的相关免疫性研究[D];西北民族大学;2010年
• 姜维军;BiCMOS时序电路设计[D];杭州师范大学;2010年
• 谭昊勋;部分多值逻辑函数集中准完备集的若干性质研究[D];湘潭大学;2011年
• 林弥;基于RT量子器件的数字电路设计[D];浙江大学;2004年
• 肖林荣;近代数字理论中的特殊运算及其应用研究[D];浙江大学;2005年
• 顾晓燕;数字电路冒险检测技术与无冒险电路设计研究[D];浙江大学;2005年
• 方平;（0，1）编码谱变换方法研究[D];浙江大学;2006年
• 胡晓慧;动态CMOS触发器及动态BiCMOS电路设计[D];浙江大学;2006年
• 郦可;或—符合代数系统中的表格方法及其应用[D];浙江大学;2006年
• 杨义先;;n元H-布尔函数[J];北京邮电学院学报;1988年03期
• 杜歆,郑茂生,陈偕雄;用阈函数实现任意逻辑函数的新方法[J];浙江大学学报(理学版);2000年03期
• 程捷,陈偕雄;归一化Haar变换谱技术在逻辑函数对称性检测中的应用[J];浙江大学学报(理学版);2001年06期
• 刘观生,郑茂生,陈偕雄;部分变量取反的RM型对称函数检测的新方法[J];浙江大学学报(理学版);2002年02期
• 马汝星,余党军,陈偕雄;关于自双反函数的性质之研究[J];浙江大学学报(理学版);2004年06期
• 陆慧娟;陈偕雄;;线性函数的性质及其应用[J];浙江大学学报(理学版);2006年02期
• 练益群;刘观生;陈偕雄;;检测线性函数与线性变量的表格方法[J];浙江大学学报(理学版);2006年03期
• 唐金花;陈偕雄;;检测逻辑函数中线性变量的代数方法[J];浙江大学学报(理学版);2006年05期
• 任兵;陈偕雄;;基于图形方法的冗余函数与自反函数检测[J];浙江大学学报(理学版);2007年03期
• 郦可;陈偕雄;;基于表格方法的冗余函数、自反函数及自双反函数的检测[J];浙江大学学报(理学版);2007年05期
• 程捷;近代数字理论与方法的研究[D];浙江大学;2001年
• 陈景春;多变量逻辑函数的最小化[J];哈尔滨工业大学学报;1981年04期
• 姜方明;逻辑函数的点线化简法[J];成都气象学院学报;1994年04期
• 张晓光，吴宏志;二值逻辑函数中的两种映象关系及其应用[J];中国矿业大学学报;1996年04期
• 马华孝;;论布尔逻辑数学完整的运算法则基本定理及其工程应用[J];四川大学学报(工程科学版);1979年04期
• 刘天惠;多变量逻辑函数几何表达法[J];浙江海洋学院学报(人文科学版);1995年03期
• 成央金;De．Morgan函数简化的转移定理[J];湘潭大学自然科学学报;1995年03期
• 刘文芬,李世取,王隽;一类p值逻辑函数Chrestenson谱的分解式及其应用[J];工程数学学报;1998年04期
• 师文庆;逻辑函数的展开定理的灵活应用[J];兰州石化职业技术学院学报;1998年02期
• 孙淑英,张冰;浅谈逻辑函数的两种标准形式及其关系[J];新疆职业大学学报;2003年02期
• 罗铸楷,刘星宝;多值逻辑函数的扩散性质[J];武汉大学学报(理学版);2004年05期
• 高印芝;黄冬梅;;关于Fuzzy逻辑函数的性质的进一步讨论[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
• 程捷;近代数字理论与方法的研究[D];浙江大学;2001年
• 罗庆斌;可逆逻辑函数分类及等价性判定[D];电子科技大学;2013年
• 于金凤;布尔网络的控制研究[D];河北工业大学;2011年

【稿件标题】：基于布尔e导数的特殊逻辑函数检测方法
【作者单位】：绍兴文理学院电气与信息工程系;
【发表期刊期数】：《浙江大学学报(理学版)》2014年04期
【期刊简介】：0......更多浙江大学学报(理学版)杂志社(http://www.400qikan.com/qk/7261/)投稿信息
【版权所有人】：赵美玲；

更多自然类论文详细信息: 基于布尔e导数的特殊逻辑函数检测方法 论文代写
http://m.400qikan.com/lw-22982 论文代发

相关专题：千里论文网 集团财务管控模式