检索结果-南通市图书馆

西安交通大学学报 1998年第8期32卷 48-51页

作者：刘淑琴虞烈张颖红何金茂西安交通大学山东矿业学院

代数法化简逻辑函数的难点在于没有固定的方法和步骤，函数式是否化简到了最简也没有判别方法．文中提出的“准多余项化简法”解决了这些难题，给出了化简的具体步骤和最简式的判别方法．对于６个以上的变量逻辑函数的化简，此法显著优... 详细信息

代数法化简逻辑函数的难点在于没有固定的方法和步骤，函数式是否化简到了最简也没有判别方法．文中提出的“准多余项化简法”解决了这些难题，给出了化简的具体步骤和最简式的判别方法．对于６个以上的变量逻辑函数的化简，此法显著优于卡诺图法．

关键词：数字电路逻辑函数代数法化简准多余项

在线全文

学校读者我要写书评

暂无评论

对逻辑函数3种求补算法的分析

计算机工程 2005年第4期31卷 94-96,208页

作者：邱建林王波管致锦刘维富南通大学计算机科学与技术学院南通226007

对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研... 详细信息

对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研究将具有重要的现实意义。

关键词：逻辑函数补集最小项单边函数递归裂变

在线全文

学校读者我要写书评

暂无评论

R_O-蕴涵算子所导出的逻辑函数的特征

数学学报（中文版） 2014年第2期57卷 235-248页

作者：周建仁吴洪博陕西师范大学数学与信息科学学院西安710062

R_0-蕴涵算子是王国俊在2000年建立的一种新型蕴涵算子.目前,R_0-蕴涵算子在模糊控制、近似推理、模糊识别、模糊系统、计量逻辑的研究方面有着重要应用,而这些应用的共同点,是公式通过R_0-蕴涵算子所导出的逻辑函数在其中发挥着关键的... 详细信息

R_0-蕴涵算子是王国俊在2000年建立的一种新型蕴涵算子.目前,R_0-蕴涵算子在模糊控制、近似推理、模糊识别、模糊系统、计量逻辑的研究方面有着重要应用,而这些应用的共同点,是公式通过R_0-蕴涵算子所导出的逻辑函数在其中发挥着关键的作用.本文在R_0-型命题逻辑系统中,对由n个原子公式生成的公式通过R_0-蕴涵算子导出的逻辑函数的特征进行了研究,得到了函数可由R_0-型命题逻辑系统中的公式通过R_0-蕴涵算子导出的充要条件.

关键词：模糊逻辑 R0-蕴涵算子逻辑函数

在线全文

学校读者我要写书评

暂无评论

逻辑函数的if-then子句表示法

计算机工程与应用 1992年第4期28卷 33-35页

作者：金海银海华中理工大学计算机系蛇口新欣软件产业有限公司

本文提出了逻辑函数的另一种表示方法,与传统的用布尔表达式中表示逻辑的方法不同,这里采用了if-then子句集的形式。本文还讨论了如何将一个布尔表达式转换成等价的if-then子句形式。逻辑函数的这种表示方法加快了逻辑模拟的速度,并且... 详细信息

本文提出了逻辑函数的另一种表示方法,与传统的用布尔表达式中表示逻辑的方法不同,这里采用了if-then子句集的形式。本文还讨论了如何将一个布尔表达式转换成等价的if-then子句形式。逻辑函数的这种表示方法加快了逻辑模拟的速度,并且解决了采用诸如OCCAM等并发进程语言来进行逻辑模拟过程中的死锁问题。

关键词：逻辑函数 if-then子句

逻辑函数在布尔减、布尔除、非代数系统中的规范展开式

在线全文

学校读者我要写书评

暂无评论

浙江大学学报（理学版） 2002年第5期29卷 512-517页

作者：唐金花陈偕雄金华职业技术学院电子工程系浙江金华321017 浙江大学信息与电子工程系浙江杭州310028

证明了布尔减与非运算、布尔除与非运算均构成完备集 ,并根据布尔除、布尔减的运算规则和性质 ,从最小项、最大项展开式出发 ,推导了任意逻辑函数在这两个完备集中的规范展开式 .得到的展开式形式简单 ,容易记忆 ,与函数在与、或、非代... 详细信息

证明了布尔减与非运算、布尔除与非运算均构成完备集 ,并根据布尔除、布尔减的运算规则和性质 ,从最小项、最大项展开式出发 ,推导了任意逻辑函数在这两个完备集中的规范展开式 .得到的展开式形式简单 ,容易记忆 ,与函数在与、或、非代数系统中的规范展开式之间的转换非常便捷 .本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义 .

关键词：逻辑函数代数系统规范展开式布尔减布尔除布尔代数非运算

在线全文

学校读者我要写书评

暂无评论

逻辑函数求补算法及其改进

计算机工程与应用 2004年第18期40卷 64-66,228页

作者：邱建林王波管致锦刘维富顾晖南通工学院信息工程系江苏南通226007

逻辑函数求补算法存在的主要问题是时间开销大及需要的存储空间过大。该文在对递归裂变求补算法和基于最小项求补算法进行分析研究的基础上,提出了积项输入、邻项合并、积项输出的无冗余覆盖的逻辑函数求补算法。该求补算法的时间、空... 详细信息

逻辑函数求补算法存在的主要问题是时间开销大及需要的存储空间过大。该文在对递归裂变求补算法和基于最小项求补算法进行分析研究的基础上,提出了积项输入、邻项合并、积项输出的无冗余覆盖的逻辑函数求补算法。该求补算法的时间、空间的需求将大大缩小。

关键词：逻辑函数递归裂变最小项补集描述

在线全文

学校读者我要写书评

暂无评论

逻辑函数卡诺图化简ICAI系统

重庆大学学报（自然科学版） 2002年第10期25卷 149-151页

作者：陈新龙胡国庆重庆大学通信工程学院重庆400044

笔者从CAI、ICAI的现状出发 ,结合《数字电路》课程逻辑函数卡诺图化简理论 ,介绍了逻辑函数卡诺图化简的ICAI实现方法 ,并将这种方法最终产品化 ;该产品支持带任意项化简并提供普通、教学、练习 3种教学方式。在练习方式下 ,计算机将... 详细信息

笔者从CAI、ICAI的现状出发 ,结合《数字电路》课程逻辑函数卡诺图化简理论 ,介绍了逻辑函数卡诺图化简的ICAI实现方法 ,并将这种方法最终产品化 ;该产品支持带任意项化简并提供普通、教学、练习 3种教学方式。在练习方式下 ,计算机将一步一步指导、检查、并批改学生进行逻辑函数卡诺图化简的全过程。在教学方式下 ,计算机将自动一步一步展示逻辑函数从真值表到卡诺图变换、化简的全过程 ;该产品对数字电路CAI课程建设、组合逻辑系统设计均有较大的意义。

关键词： ICAI系统计算机辅助教学计算机智能教学逻辑函数卡诺图化简方法数字电路教学

在线全文

学校读者我要写书评

暂无评论

逻辑函数对称变量检测算法

电路与系统学报 2013年第2期18卷 31-35页

作者：厉晓华杭国强陈偕雄浙江大学信息中心浙江杭州310028 浙江大学城市学院信息与电气工程学院浙江杭州310015 浙江大学信息与电子工程学系浙江杭州310028

针对图形方法、谱系数方法和传统表格方法在检测逻辑函数变量对称性过程中步骤繁琐、适用对象局限及完备性不足等问题,提出了与-或-非代数系统中基于1值最小项的E(xi|xj)、N(xi|xj)、S(xi|xj)、S(xi|xj)、S(xj|xi)、S(xj|xi)六类对称性检测算法。该算法从逻辑函数1值最小项中提取变量xi、xj为各类特征编码时的余子变量编码,通过比较余子变量编码是否满足两两相等来检测变量xi、xj的各类对称性。该算法通过表格模拟了检测过程,应用结果表明,与图形方法、谱系数方法和传统的表格法相比,在考虑的项数、检测的完备性和算法实现方面是最优的。该算法已用C语言实现,实验结果验证了快速有效。

关键词：逻辑函数与-或-非代数系统对称检测

在线全文

学校读者我要写书评

暂无评论

逻辑函数的粗糙集表达及最小化方法

黑龙江大学自然科学学报 2006年第2期23卷 265-268页

作者：张义清管致锦李洵南通大学理学院江苏南通226007 南通大学计算机科学与技术学院江苏南通226007

提出了基于粗糙集理论对逻辑函数进行知识表达的方法,给出了运用粗糙集进行组合逻辑化简的优化算法.为保证化简前后逻辑上的等价性,用化简前的逻辑矩阵中的on-set项是否被化简后的off-set项的补完全覆盖的方法进行检验,结果表明化简前... 详细信息

提出了基于粗糙集理论对逻辑函数进行知识表达的方法,给出了运用粗糙集进行组合逻辑化简的优化算法.为保证化简前后逻辑上的等价性,用化简前的逻辑矩阵中的on-set项是否被化简后的off-set项的补完全覆盖的方法进行检验,结果表明化简前后是等价的.算法通过了对20变量以下的组合逻辑函数标准的Benchmark例题和部分组合逻辑函数典型实例验证,保证了优化结果正确性和有效性.

关键词：逻辑函数粗糙集最小化

在线全文

学校读者我要写书评

暂无评论

多输出逻辑函数简化方法的探讨

华中理工大学学报 1991年第4期19卷 103-108页

作者：曹汉房华中理工大学电子与信息工程系

本文提出一种用相关乘积卡诺图对多输出逻辑函数进行简化的新方法,即用一张相关乘积卡诺图便可求出所有的公有质蕴涵项,在单个函数的卡诺图上可求出最佳简化结果.文中论述了它的原理和使用方法,给出了简化步骤和优化准则,介绍了这种方... 详细信息

本文提出一种用相关乘积卡诺图对多输出逻辑函数进行简化的新方法,即用一张相关乘积卡诺图便可求出所有的公有质蕴涵项,在单个函数的卡诺图上可求出最佳简化结果.文中论述了它的原理和使用方法,给出了简化步骤和优化准则,介绍了这种方法在设计中规模集成电路中的应用.

关键词：逻辑函数多输出卡诺图简化