检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

包含无关项的MPRM展开式最小化算法

浙江大学学报（理学版） 2014年第1期41卷 38-42,89页

作者：汪迪生汪鹏君宁波大学电路与系统研究所浙江宁波315211

通过对包含无关项布尔逻辑函数SOP(Sum-of-Products)展开式和MPRM(Mixed Polarity Reed-Muller)展开式的研究,结合基于系数矩阵的FPRM(Fixed Polarity Reed-Muller)展开式极性转换算法,提出了一种包含无关项逻辑函数MPRM展开式最小化算... 详细信息

通过对包含无关项布尔逻辑函数SOP(Sum-of-Products)展开式和MPRM(Mixed Polarity Reed-Muller)展开式的研究,结合基于系数矩阵的FPRM(Fixed Polarity Reed-Muller)展开式极性转换算法,提出了一种包含无关项逻辑函数MPRM展开式最小化算法.首先将包含无关项逻辑函数SOP展开式转换为MPRM展开式,并用系数矩阵的形式表示;然后删除函数中的冗余变量,归纳出一种包含无关项MPRM展开式最小化算法,得到与项数较少的MPRM展开式;最后随机选取15个MCNC基准电路进行测试,结果表明该算法能有效地优化电路面积.

关键词：无关项极性转换 MPRM展开式最小化

在线全文

学校读者我要写书评

暂无评论

包含无关项逻辑函数的固定极性转换

电路与系统学报 2013年第1期18卷 117-121页

作者：汪迪生汪鹏君孙飞俞海珍宁波大学电路与系统研究所浙江宁波315211

通过对Boolean逻辑和RM((Reed-Muller)逻辑的研究,针对Boolean逻辑函数SOP(Sum-of-Products)展开式中无关项取舍不确定的特点,结合快速列表技术,提出一种包含无关项逻辑函数的固定极性转换方法。该方法首先求出最小项和无关项的相关与项... 详细信息

通过对Boolean逻辑和RM((Reed-Muller)逻辑的研究,针对Boolean逻辑函数SOP(Sum-of-Products)展开式中无关项取舍不确定的特点,结合快速列表技术,提出一种包含无关项逻辑函数的固定极性转换方法。该方法首先求出最小项和无关项的相关与项,然后生成最小项索引表以及无关项索引表,最后搜索无关项取舍,得到最佳固定极性RM(Fixed-Polarity Reed-Muller,FPRM)展开式。通过对10个MCNC Benchmark电路进行测试,结果表明:与不考虑无关项的极性转换方法相比,该方法能有效简化FPRM展开式。

关键词： Reed—Muller 逻辑综合固定极性转换无关项

在线全文

学校读者我要写书评

暂无评论

包含无关项RM逻辑优化

包含无关项RM逻辑优化

作者：汪迪生宁波大学

学位级别：硕士

相对于传统的布尔逻辑实现的电路，利用Reed-Muller（RM）逻辑实现的部分电路（如算术运算电路、奇偶校验电路和通信系统电路等）在面积、功耗以及速度等重要性能上有着更大的优势。RM逻辑电路优化是集成电路逻辑综合的一个重要方面，... 详细信息

相对于传统的布尔逻辑实现的电路，利用Reed-Muller（RM）逻辑实现的部分电路（如算术运算电路、奇偶校验电路和通信系统电路等）在面积、功耗以及速度等重要性能上有着更大的优势。RM逻辑电路优化是集成电路逻辑综合的一个重要方面，是集成电路CAD（Computer Aided Design）工具的重要组成部分。以往RM逻辑电路优化时大都不考虑无关项。实际上，加入无关项可使RM逻辑电路优化效果更佳，故本文主要针对包含无关项RM逻辑电路进行优化。 RM逻辑电路是一种基于AND/XOR或者OR/XNOR运算基的电路，其最常见的两种展开式为固定极性RM(Fixed-polarity Reed-Muller, FPRM)展开式以及混合极性RM (Mixed-polarity Reed-Muller, MPRM)展开式。FPRM展开式中变量出现方式较为规则，优化空间相对较小，因此，本文首先建立包含无关项FPRM电路优化方法，然后将该优化方法扩展到包含无关项MRPM电路。研究内容主要包括以下五部分： 1.包含无关项FPRM展开式极性转换：通过对包含无关项FPRM展开式以及快速列表技术的研究，根据无关项的特点，提出包含无关项FPRM展开式极性转换算法，并结合穷尽算法搜索与项数最少的FPRM展开式。 2.包含无关项FPRM电路低功耗最佳无关项取舍搜索：通过对固定极性AND/XOR电路低功耗分解与功耗估计模型的研究，结合包含无关项FPRM展开式极性转换算法与穷尽算法，提出包含无关项FPRM电路低功耗最佳无关项取舍搜索算法。 3.基于捕食遗传算法（Genetic Algorithm Based on Predatory Search Strategy, PSGA）的包含无关项FPRM电路面积与功耗优化：通过对捕食搜索与遗传算法的研究，结合包含无关项FPRM展开式极性转换算法与固定极性AND/XOR电路面积与功耗估计模型，提出基于PSGA算法的包含无关项FPRM电路面积与功耗优化算法。 4.包含无关项MPRM展开式极性转换：通过对包含无关项MPRM展开式的研究，结合基于系数矩阵的FPRM展开式极性转换算法，提出包含无关项MPRM展开式极性转换算法，并应用于MPRM展开式最小化。 5.基于memetic算法的包含无关项MPRM电路面积与功耗优化：通过对memetic算法的研究，结合包含无关项MPRM展开式极性转换算法与混合极性AND/XOR电路面积与功耗估计模型，提出基于memetic算法的包含无关项FPRM电路面积与功耗优化算法。文中所提算法均用C语言编程实现，相关实验结果表明：相对于传统的基于布尔逻辑电路和不包含无关项RM逻辑电路的优化算法，本文算法在RM逻辑电路的面积与功耗优化上有着明显优势。

关键词： Reed-Muller逻辑无关项面积优化功耗优化

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

计算含无关项布尔C-导数的表格算法

科技通报 2018年第10期34卷 117-120页

作者：谢川厉晓华杭州职业技术学院图书信息中心杭州310017 浙江大学信息技术中心杭州310027

为简化布尔逻辑代数系统中布尔C-导数的计算过程,提出了计算含无关项布尔函数布尔C-导数的表格算法。该算法通过真值表列出布尔函数的1值最小项及无关项的二进制编码,并对相应位取反变换操作产生新项来计算布尔C-导数。举例说明了基于... 详细信息

为简化布尔逻辑代数系统中布尔C-导数的计算过程,提出了计算含无关项布尔函数布尔C-导数的表格算法。该算法通过真值表列出布尔函数的1值最小项及无关项的二进制编码,并对相应位取反变换操作产生新项来计算布尔C-导数。举例说明了基于表格算法计算含无关项布尔函数布尔C-导数的过程。应用结果表明,与代数法、图形法相比较,该方法快速便捷,可适用计算多变量布尔函数及计算机编程操作等特点。

关键词：布尔函数布尔C-导数表格算法无关项

在线全文

学校读者我要写书评

暂无评论

逻辑函数无关项概念辨析

电气电子教学学报 2022年第4期44卷 100-103页

作者：喻俊淇张华卫王全宇党建武蒋占军兰州交通大学自动化与电气工程学院兰州730070 兰州交通大学电子与信息工程学院兰州730070

无关项是“数字电子技术”非完全定义逻辑函数理论教学中的重要内容,无关项包涵约束项和任意项,合理应用无关项对数字逻辑电路实践有重要意义。当前,教学上对这三个概念存在争议和困惑,国内外通行教材讲解并不一致。对约束项、任意项和... 详细信息

无关项是“数字电子技术”非完全定义逻辑函数理论教学中的重要内容,无关项包涵约束项和任意项,合理应用无关项对数字逻辑电路实践有重要意义。当前,教学上对这三个概念存在争议和困惑,国内外通行教材讲解并不一致。对约束项、任意项和无关项概念追本溯源进行了定义论证,并举具体实例就概念的理解和区分进行说明。对数字逻辑电路无关项内容的教学有一定的指导作用。

关键词：无关项约束项任意项

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

浅谈逻辑函数中的任意项、约束项与无关项

教育教学论坛 2014年第37期 93-94页

作者：景亚霓江南大学物联网学院电子工程系江苏无锡214122

数字电子技术中的逻辑问题分完全描述与非完全描述两种。在非完全描述逻辑函数中出现了两类特殊的最小项——任意项和约束项,它们又统称为无关项。任意项、约束项是两个不同的概念,在设计逻辑电路时必须认真区别,但就它们对逻辑函数的... 详细信息

数字电子技术中的逻辑问题分完全描述与非完全描述两种。在非完全描述逻辑函数中出现了两类特殊的最小项——任意项和约束项,它们又统称为无关项。任意项、约束项是两个不同的概念,在设计逻辑电路时必须认真区别,但就它们对逻辑函数的影响而言,又可以不加区别。本文通过实例来加以说明。

关键词：逻辑函数任意项约束项无关项

计算含无关项布尔差分及布尔偏导数的表格算法

在线全文

学校读者我要写书评

暂无评论

科技通报 2019年第3期35卷 119-122页

作者：邵梁厉晓华浙江建设职业技术学院教育技术中心杭州311231 浙江大学信息中心杭州310027

为简化布尔函数布尔差分及布尔偏导数的计算过程,提出了与-或-非代数系统中计算含无关项布尔函数布尔差分及布尔偏导数的表格算法。该算法通过表格列出1值最小项及无关项的二进制编码,并对表格中二进制编码的相应位取反运算后产生新项... 详细信息

为简化布尔函数布尔差分及布尔偏导数的计算过程,提出了与-或-非代数系统中计算含无关项布尔函数布尔差分及布尔偏导数的表格算法。该算法通过表格列出1值最小项及无关项的二进制编码,并对表格中二进制编码的相应位取反运算后产生新项来计算布尔差分及布尔偏导数。表格算法与代数方法、图形方法相比,具有快速便捷,适用多变量布尔函数及易于计算机编程等优点。

关键词：无关项布尔函数布尔差分布尔偏导数表格算法

在线全文

学校读者我要写书评

暂无评论

检测含无关项特殊布尔函数的表格算法

科技通报 2018年第6期34卷 15-18页

作者：邵梁浙江建设职业技术学院教育技术中心

从冗余函数、线性函数、自反函数、自双反函数四类特殊布尔函数的定义出发,讨论了检测含无关项特殊布尔函数的表格算法。该算法应用表格列出布尔函数1值最小项及无关项的二进制编码,取反1值最小项及无关项二进制编码中的相应位产生新项... 详细信息

从冗余函数、线性函数、自反函数、自双反函数四类特殊布尔函数的定义出发,讨论了检测含无关项特殊布尔函数的表格算法。该算法应用表格列出布尔函数1值最小项及无关项的二进制编码,取反1值最小项及无关项二进制编码中的相应位产生新项。通过比较新项与原最小项之间的异同实现特殊布尔函数的检测。应用实例表明,表格算法具有快速便捷、适用于多变量函数及易于计算机编程操作等优点。

关键词：无关项冗余函数线性函数自反函数自双反函数表格算法

在线全文

学校读者我要写书评

暂无评论

基于Web的含无关项卡诺图自动化简系统

聊城大学学报（自然科学版） 2015年第3期28卷 72-75页

作者：蒋伟杰池灵达福州大学阳光学院福建福州350015

为学生能在网络上随时随地学习卡诺图化简,提高自主学习的质量,在***环境下,利用rapheal框架实现了卡诺图自动化简逻辑函数系统.系统能够对任意输入的三至五变量的逻辑表达式及指定的无关项使用卡诺图化简法进行化简,并且在网页上按步... 详细信息

为学生能在网络上随时随地学习卡诺图化简,提高自主学习的质量,在***环境下,利用rapheal框架实现了卡诺图自动化简逻辑函数系统.系统能够对任意输入的三至五变量的逻辑表达式及指定的无关项使用卡诺图化简法进行化简,并且在网页上按步骤展示其化简过程.输入表达式的语法验证采用改进的算法优先分析法,化简过程采用广度优先搜索模仿人工搜索卡诺圈的过程,网页作图由rapheal框架实现.测试结果表明,系统可在常用浏览器下正常运行,可正确的按步骤展示卡诺图化简逻辑函数的过程.

关键词：卡诺图无关项 rapheal框架 ***