期刊文献+
共找到194篇文章
< 1 2 10 >
每页显示 20 50 100
p值逻辑函数最佳仿射逼近的谱特征 被引量:9
1
作者 赵亚群 李世取 《工程数学学报》 CSCD 北大核心 1997年第4期73-79,共7页
给出了p(正整数p≥2)值逻辑函数与p值仿射函数符合率的Chrestenson谱表示,并用两种Chrestenson谱分别确定了p值逻辑函数的最佳仿射逼近函数。
关键词 p值逻辑函数 谱表示 最佳仿射逼近 逻辑函数
在线阅读 下载PDF
n变元n-1阶相关免疫3值逻辑函数的代数结构 被引量:2
2
作者 刘文芬 李世取 《工程数学学报》 CSCD 北大核心 1999年第4期129-132,共4页
给出了n变元3值逻辑函数为n- 1阶相关免疫的充要条件,明确给出了这类函数的代数结构式,且在m > 3时,给出了构造更大一类n变元n- 1阶相关免疫平衡m 值逻辑函数的方法,最后分析了相关免疫3值逻辑函数的计数问题。
关键词 逻辑函数 相关免疫 代数结构 3值逻辑函数
在线阅读 下载PDF
逻辑函数的立体化简法及其实现 被引量:1
3
作者 陶永明 《计算机应用与软件》 CSCD 北大核心 2012年第11期309-311,共3页
逻辑函数的"立体化简法"是在卡诺图化简法的思想基础上设计的一种新型逻辑函数化简方法。这种方法用逻辑函数立方体代替卡诺图,在三维立体空间进行逻辑函数的化简。卡诺图法可以方便地化简四个变量以内的逻辑函数,而立体化简... 逻辑函数的"立体化简法"是在卡诺图化简法的思想基础上设计的一种新型逻辑函数化简方法。这种方法用逻辑函数立方体代替卡诺图,在三维立体空间进行逻辑函数的化简。卡诺图法可以方便地化简四个变量以内的逻辑函数,而立体化简法可以方便地化简六个变量以内的逻辑函数。使用CubeScape在线网站的功能可以方便地表示逻辑函数立方体,让学生直观地感受逻辑函数最小项的逻辑相邻关系,更好地理解立体化简法化简逻辑函数的原理。 展开更多
关键词 逻辑函数化简 立体化简法 逻辑函数立方体 CubeScape
在线阅读 下载PDF
多输出逻辑函数最小化的一个算法 被引量:1
4
作者 王波 《计算机应用与软件》 CSCD 1995年第3期9-15,24,共8页
本文描述一个多输出逻辑函数的最小化算法。函数解中积项总数的多少被看作是衡量算法优劣的最重要指标。因此,我们努力使解中的积项被尽可能多的组成函数共享。 本文求本源蕴涵项的方法与[1]是相似的。因此,本文也可看成是[1]向多输出... 本文描述一个多输出逻辑函数的最小化算法。函数解中积项总数的多少被看作是衡量算法优劣的最重要指标。因此,我们努力使解中的积项被尽可能多的组成函数共享。 本文求本源蕴涵项的方法与[1]是相似的。因此,本文也可看成是[1]向多输出函数的延伸。 展开更多
关键词 逻辑函数 最小优算法 多输出逻辑函数
在线阅读 下载PDF
一类m值逻辑函数Chrestenson 谱的分解式及其应用(英文)
5
作者 刘文芬 蔡国权 李世取 《应用数学》 CSCD 1999年第4期98-102,共5页
本文给出一类m 值逻辑函数Chrestenson 谱的分解式,并据此给出了环Zm 上非线性弹性函数的一些新的构造方法.
关键词 Chrestenson谱 分解式 逻辑函数 m值逻辑函数
在线阅读 下载PDF
Kleene逻辑函数的特征与极小化
6
作者 裴道武 《工程数学学报》 CSCD 北大核心 2000年第4期81-85,共5页
本文进一步研究了 Kleene逻辑函数 ,得到了这类函数的特征性质 ,解决了这类函数的极小化问题。由于这类函数与正则三值逻辑函数的特殊关系 ,从而也解决了正则三值逻辑函数的极小化问题。
关键词 模糊逻辑 Kleene逻辑函数 三值逻辑函数 极小化
在线阅读 下载PDF
用阈函数实现任意逻辑函数的新方法 被引量:16
7
作者 杜歆 郑茂生 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 2000年第3期286-291,共6页
本文讨论了任意逻辑函数化为阈函数的基于谱技术的设计方法 。
关键词 逻辑设计 函数 谱技术 逻辑函数 逻辑电路
在线阅读 下载PDF
基于b_j图计算逻辑函数布尔差分的新方法 被引量:11
8
作者 吴桂初 刘观生 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 2004年第1期43-47,共5页
分析了逻辑函数在部分变量取反时的bj图和降维bj图,在此基础上提出了用bj图和降维bj图计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法.实例表明,该图形方法有直观、简单等特点.它能给出逻辑函数布尔差分的最简与/异或式.
关键词 逻辑函数 布尔差分 降维bj图 二值模代数系统
在线阅读 下载PDF
基于三变量通用阈值逻辑门的三变量逻辑函数查表综合 被引量:9
9
作者 肖林荣 陈偕雄 许冠 《浙江大学学报(理学版)》 CAS CSCD 2004年第3期280-285,共6页
介绍并讨论了逻辑函数的分类和通用阈值逻辑门,提出了使用三变量通用阈值逻辑门实现任意三变量逻辑函数的查表综合方法,并给出了若干设计实例.
关键词 函数分类 通用闽值逻辑 逻辑综合 三变量 逻辑函数 布尔代数
在线阅读 下载PDF
逻辑函数修改技术在由D触发器构成的任意进制同步计数器中的应用 被引量:7
10
作者 郑茂生 任子武 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 2001年第2期149-153,共5页
本文总结了由 D触发器构成 2 n进制同步计数器的设计方法 ,并在此基础上分析了如何用逻辑函数修改技术实现任意进制同步计数器 .通过实例设计表明 ,推广此设计方法于任意进制的加、减法计数器具有使用方便。
关键词 逻辑函数修改技术 D触发器 同步计数器 设计方法 激励函数 自启动
在线阅读 下载PDF
逻辑函数求补算法及其改进 被引量:3
11
作者 邱建林 王波 +2 位作者 管致锦 刘维富 顾晖 《计算机工程与应用》 CSCD 北大核心 2004年第18期64-66,228,共4页
逻辑函数求补算法存在的主要问题是时间开销大及需要的存储空间过大。该文在对递归裂变求补算法和基于最小项求补算法进行分析研究的基础上,提出了积项输入、邻项合并、积项输出的无冗余覆盖的逻辑函数求补算法。该求补算法的时间、空... 逻辑函数求补算法存在的主要问题是时间开销大及需要的存储空间过大。该文在对递归裂变求补算法和基于最小项求补算法进行分析研究的基础上,提出了积项输入、邻项合并、积项输出的无冗余覆盖的逻辑函数求补算法。该求补算法的时间、空间的需求将大大缩小。 展开更多
关键词 逻辑函数 递归裂变 最小项 补集描述
在线阅读 下载PDF
用遗传算法实现逻辑函数的化简 被引量:6
12
作者 王平 曾三友 鄢靖丰 《计算机工程与设计》 CSCD 北大核心 2006年第3期365-366,375,共3页
在硬件设计中引入演化计算,在可编程逻辑器件上通过对基本硬件元器件进行演化而自动生成人工难以设计出的硬件结构,称为演化硬件设计。代数法和卡诺图法用来化简给定的逻辑函数,但它们难以化简规模很大的逻辑函数。这里用演化硬件设计... 在硬件设计中引入演化计算,在可编程逻辑器件上通过对基本硬件元器件进行演化而自动生成人工难以设计出的硬件结构,称为演化硬件设计。代数法和卡诺图法用来化简给定的逻辑函数,但它们难以化简规模很大的逻辑函数。这里用演化硬件设计方法实现了区别于传统的代数化简法和卡诺图化简法的一种新的对给定的某一逻辑函数进行化简的方法。实验表明演化硬件设计方法能够化简规模很大的逻辑函数。 展开更多
关键词 演化硬件 可编程逻辑器件 逻辑函数 代数法 卡诺图法
在线阅读 下载PDF
关于逻辑函数化简方法的研究 被引量:3
13
作者 冯乃勤 孙玉强 +1 位作者 魏淑桃 陈广林 《小型微型计算机系统》 CSCD 北大核心 2003年第1期130-134,共5页
变量个数大于 6的逻辑函数可以称为高变量逻辑函数 .逻辑函数的化简方法有公式法和图形法两种 .一般认为 ,对于高变量逻辑函数的化简 ,图形法没有实用价值 .本文观点与此不同 ,认为图形法对于高变量逻辑函数的化简仍然具有实用价值 ,同... 变量个数大于 6的逻辑函数可以称为高变量逻辑函数 .逻辑函数的化简方法有公式法和图形法两种 .一般认为 ,对于高变量逻辑函数的化简 ,图形法没有实用价值 .本文观点与此不同 ,认为图形法对于高变量逻辑函数的化简仍然具有实用价值 ,同时提出了用图形法化简高变量逻辑函数的具体方法 .提出并证明了一个定理 ,该定理揭示了将高变量逻辑函数转化为低变量逻辑函数并用小卡诺图来化简的一般意义和实用意义 .通过本文 。 展开更多
关键词 数字系统 布尔代数 逻辑函数 卡诺图 公式法
在线阅读 下载PDF
逻辑函数最大项展开式和CRM展开式的转换 被引量:26
14
作者 程捷 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 2003年第3期281-283,共3页
在逻辑函数的CRM展开式和两种新运算基础上,对函数最大项展开系数和CRM展开系统(dj系数)之间的关系作了较详细的讨论,并提出了两者的矩阵转换法,快速转换法和直接代入转换法,具备较好的实用性.
关键词 逻辑函数 最大项展开式 CRM展开式 矩阵转换法 快速转换法 直接代入转换法 逻辑电路
在线阅读 下载PDF
逻辑函数在布尔减、布尔除、非代数系统中的规范展开式 被引量:9
15
作者 唐金花 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 2002年第5期512-517,共6页
证明了布尔减与非运算、布尔除与非运算均构成完备集 ,并根据布尔除、布尔减的运算规则和性质 ,从最小项、最大项展开式出发 ,推导了任意逻辑函数在这两个完备集中的规范展开式 .得到的展开式形式简单 ,容易记忆 ,与函数在与、或、非代... 证明了布尔减与非运算、布尔除与非运算均构成完备集 ,并根据布尔除、布尔减的运算规则和性质 ,从最小项、最大项展开式出发 ,推导了任意逻辑函数在这两个完备集中的规范展开式 .得到的展开式形式简单 ,容易记忆 ,与函数在与、或、非代数系统中的规范展开式之间的转换非常便捷 .本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义 . 展开更多
关键词 逻辑函数 代数系统 规范展开式 布尔减 布尔除 布尔代数 非运算
在线阅读 下载PDF
操作逻辑函数在操作票专家系统中的应用 被引量:13
16
作者 刘蔚 杨宛辉 《电力系统及其自动化学报》 CSCD 1999年第4期39-43,54,共6页
本文介绍了建立变电站电气设备操作逻辑函数的方法,并阐述了在操作票仿真培训专家系统中应用操作逻辑函数对操作票的正确性进行验证。
关键词 操作逻辑函数 操作票 专家系统 变电站 电气设备
在线阅读 下载PDF
对逻辑函数3种求补算法的分析 被引量:2
17
作者 邱建林 王波 +1 位作者 管致锦 刘维富 《计算机工程》 EI CAS CSCD 北大核心 2005年第4期94-96,208,共4页
对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研... 对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研究将具有重要的现实意义。 展开更多
关键词 逻辑函数 补集 最小项 单边函数 递归裂变
在线阅读 下载PDF
计算机辅助逻辑函数化简——多维体化简方法研究 被引量:5
18
作者 李月桥 韩万余 +1 位作者 孙淑艳 马永超 《现代电力》 2000年第2期44-49,共6页
在分析逻辑函数的手工化简方法和计算机辅助 Q- M列表化简方法的基础上 ,给出了在计算机中逻辑函数通常采用的多维体表示方法 ,分析了一种便于用计算机编程实现的代数化简方法——多维体化简方法 ,并给出化简步骤。深入研究逻辑函数的... 在分析逻辑函数的手工化简方法和计算机辅助 Q- M列表化简方法的基础上 ,给出了在计算机中逻辑函数通常采用的多维体表示方法 ,分析了一种便于用计算机编程实现的代数化简方法——多维体化简方法 ,并给出化简步骤。深入研究逻辑函数的化简方法对于掌握数字电子设计自动化领域的综合优化技术 ,进而开发出综合优化软件工具 。 展开更多
关键词 逻辑设计 逻辑函数 多维体 计算机辅助 电子设计
在线阅读 下载PDF
基于谱技术检测特殊逻辑函数的新方法 被引量:6
19
作者 应时彦 肖林荣 杭国强 《浙江工业大学学报》 CAS 2008年第2期192-194,共3页
阐述了冗余函数、线性函数、自反函数、自双反函数的定义,讨论了它们的谱系数的特点,提出了6个相关的定理.这些定理给出了基于谱技术检测冗余函数、线性函数、自反函数、自双反函数的新方法,实例展示了应用该方法检测上述函数的过程.
关键词 谱技术 特殊逻辑函数 冗余函数 线性函数 自反函数 自双反函数
在线阅读 下载PDF
化简逻辑函数的新方法 被引量:3
20
作者 刘淑琴 虞烈 +1 位作者 张颖红 何金茂 《西安交通大学学报》 EI CAS CSCD 北大核心 1998年第8期48-51,共4页
代数法化简逻辑函数的难点在于没有固定的方法和步骤,函数式是否化简到了最简也没有判别方法.文中提出的“准多余项化简法”解决了这些难题,给出了化简的具体步骤和最简式的判别方法.对于6个以上的变量逻辑函数的化简,此法显著优... 代数法化简逻辑函数的难点在于没有固定的方法和步骤,函数式是否化简到了最简也没有判别方法.文中提出的“准多余项化简法”解决了这些难题,给出了化简的具体步骤和最简式的判别方法.对于6个以上的变量逻辑函数的化简,此法显著优于卡诺图法. 展开更多
关键词 数字电路 逻辑函数 代数法化简 准多余项
在线阅读 下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部