计算机辅助逻辑函数化简——多维体化简方法研究 被引量：5

1

作者 李月桥 韩万余 +1 位作者 孙淑艳 马永超 《现代电力》 2000年第2期44-49,共6页

在分析逻辑函数的手工化简方法和计算机辅助 Q- M列表化简方法的基础上 ,给出了在计算机中逻辑函数通常采用的多维体表示方法 ,分析了一种便于用计算机编程实现的代数化简方法——多维体化简方法 ,并给出化简步骤。深入研究逻辑函数的... 在分析逻辑函数的手工化简方法和计算机辅助 Q- M列表化简方法的基础上 ,给出了在计算机中逻辑函数通常采用的多维体表示方法 ,分析了一种便于用计算机编程实现的代数化简方法——多维体化简方法 ,并给出化简步骤。深入研究逻辑函数的化简方法对于掌握数字电子设计自动化领域的综合优化技术 ,进而开发出综合优化软件工具 。 展开更多

关键词 逻辑设计 逻辑函数 多维体 计算机辅助 电子设计

原文传递

功能树的EFVM求解算法 被引量：5

2

作者 唐益明 刘晓平 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2010年第9期1578-1586,共9页

为了解决与或非功能树求解中经常出现的方案数量巨大的问题,提出一种基于四值矩阵(FVM)的功能树求解算法.从与或非功能树的特点出发构造了四值矩阵、扩展四值矩阵(EFVM)和FVM系统;分析了FVM系统与经典命题逻辑中范式系统的同构关系及FV... 为了解决与或非功能树求解中经常出现的方案数量巨大的问题,提出一种基于四值矩阵(FVM)的功能树求解算法.从与或非功能树的特点出发构造了四值矩阵、扩展四值矩阵(EFVM)和FVM系统;分析了FVM系统与经典命题逻辑中范式系统的同构关系及FVM的扩展与展开,给出EFVM直接求解算法;在考虑约简的基础上,提出EFVM约简求解算法.实例结果说明:EFVM约简求解算法在冗余较多的情况下可有效降低解的规模,有力地推动了产品概念设计. 展开更多

关键词 概念设计 与或非功能树 经典命题逻辑 代数系统 约简

在线阅读 下载PDF 职称材料

逻辑函数的计算机化简 被引量：5

3

作者 朱幼莲 《计算机应用与软件》 CSCD 北大核心 2003年第2期52-54,共3页

本文针对中型逻辑函数,提出了易于计算机实现的化简方法,即在化简过程中引入代数拓扑运算,在用星积运算求素项的基础上,用选择极值法求最小覆盖。大量的实验证明了该算法的正确性和易于计算机实现的有效性。

关键词 逻辑函数 计算机 化简 算法 多维体

在线阅读 下载PDF 职称材料

逻辑函数FGOC展开的最小化技术 被引量：1

4

作者 应时彦 肖林荣 杭国强 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2007年第3期423-426,455,共5页

为了减少已有图形法的最小化算法的计算量,提出了新的逻辑函数在固定极性下的或-符合(FGOC)展开最小化算法.引入了逻辑函数FGOC展开的矩阵,分析了单变量与二变量逻辑函数的FGOC展开及其矩阵.基于符合运算的性质,推导出此矩阵的递推律.... 为了减少已有图形法的最小化算法的计算量,提出了新的逻辑函数在固定极性下的或-符合(FGOC)展开最小化算法.引入了逻辑函数FGOC展开的矩阵,分析了单变量与二变量逻辑函数的FGOC展开及其矩阵.基于符合运算的性质,推导出此矩阵的递推律.推广至任意多变量逻辑函数,可以得到全部FGOC的展开矩阵.并提出了FGOC展开最小化方法.通过分析逻辑函数的FGOC展开过程,研究了变量数与符合算法的运算次数的规律.结果表明,与图形法的FGOC展开最小化方法相比较,随着变量数的增加,符合运算次数大幅度减少.该方法适合于计算机编程实现,并能快速获得计算结果. 展开更多

关键词 或-符合展开 固定极性 逻辑函数化简 逻辑设计

在线阅读 下载PDF 职称材料

互斥多变量逻辑函数的化简方法 被引量：3

5

作者 马敬敏 《渤海大学学报（自然科学版）》 CAS 2015年第1期21-23,31,共4页

基于变量互斥的约束关系,以二进制编码器为例讨论了互斥多变量逻辑函数最小化及简化电路结构的公式化简问题.目的是探索特殊逻辑函数的化简方法.结论是所述方法化简过程简单、方便快捷,能提高数字逻辑电路的设计效率.

关键词 互斥多变量 约束条件 逻辑函数化简 逻辑电路设计

在线阅读 下载PDF 职称材料

逻辑函数的立体化简法及其实现 被引量：1

6

作者 陶永明 《计算机应用与软件》 CSCD 北大核心 2012年第11期309-311,共3页

逻辑函数的"立体化简法"是在卡诺图化简法的思想基础上设计的一种新型逻辑函数化简方法。这种方法用逻辑函数立方体代替卡诺图,在三维立体空间进行逻辑函数的化简。卡诺图法可以方便地化简四个变量以内的逻辑函数,而立体化简... 逻辑函数的"立体化简法"是在卡诺图化简法的思想基础上设计的一种新型逻辑函数化简方法。这种方法用逻辑函数立方体代替卡诺图,在三维立体空间进行逻辑函数的化简。卡诺图法可以方便地化简四个变量以内的逻辑函数,而立体化简法可以方便地化简六个变量以内的逻辑函数。使用CubeScape在线网站的功能可以方便地表示逻辑函数立方体,让学生直观地感受逻辑函数最小项的逻辑相邻关系,更好地理解立体化简法化简逻辑函数的原理。 展开更多

关键词 逻辑函数化简 立体化简法 逻辑函数立方体 cubeScape

在线阅读 下载PDF 职称材料

一种快速逻辑函数的优化方法 被引量：1

7

作者 朱幼莲 《微电子学与计算机》 CSCD 北大核心 2005年第1期73-76,共4页

针对数字系统设计中计算机优化逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题,本文提出了易于计算机实现的优化方法,即:列表法和十进制表示的多维体运算结合起来求素项,选择极值法求最小覆盖的优化方法,并对循环函数进行处... 针对数字系统设计中计算机优化逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题,本文提出了易于计算机实现的优化方法,即:列表法和十进制表示的多维体运算结合起来求素项,选择极值法求最小覆盖的优化方法,并对循环函数进行处理。这种方法大大减少了存储容量、加快了运算速度,并且增大了程序的应用范围。大量的实验证明了该方法的正确性和易于计算机实现的有效性。因此,本文方法在数字系统EDA中具有广泛的应用前景。 展开更多

关键词 数字系统 逻辑设计 函数优化 多维体

在线阅读 下载PDF 职称材料

EDA中函数优化方法研究 被引量：1

8

作者 朱幼莲 《微机发展》 2003年第2期62-65,共4页

提出了EDA中易于计算机实现的逻辑函数优化方法 ,即在优化过程中引入多维体运算 ,用星积运算求素项 ,选择极值法求最小覆盖 ,并对循环函数进行处理的优化方法。大量的实验证明了该方法的正确性和易于计算机实现的有效性。因此 。

关键词 EDA 函数优化 电子设计自动化 逻辑函数 多维体 逻辑设计 计算机

在线阅读 下载PDF 职称材料

基于多维体的逻辑函数化简法的研究

9

作者 张凤英 陈生庆 《嘉应大学学报》 2003年第3期50-53,共4页

针对变量较多的逻辑函数在分析手工化简方法和计算机辅助列表化简方法的基础上,给出了易于计算机实现的化简方法,即用多维体表示逻辑函数,然后运用多维体的有关运算,用张弛法求出函数的无冗余覆盖,并举例说明了化简的具体步骤.

关键词 逻辑设计 逻辑函数 化简 多维体

在线阅读 下载PDF 职称材料

多维体运算的计算机实现

10

作者 朱幼莲 《江苏技术师范学院学报》 2003年第4期78-82,共5页

逻辑函数的多维体化简,在计算机实现过程中遇到两个问题:一是多维体元素在计算机内部的表示;另一个是多维体运算在计算机中如何实现。本文针对这两个问题进行深入的研究并给出简单易行的多维体运算的计算机实现方法。

关键词 多维体 计算机 逻辑函数

在线阅读 下载PDF 职称材料

逻辑函数多维体化简方法

11

作者 袁径三 《绍兴文理学院学报（自然科学版）》 2003年第9期50-53,共4页

在分析逻辑函数手工化简的基础上，给出了在计算机中逻辑函数通常采用的多维体表示方法和便于用计算机编程实现的代数化简方法一多维体化简方法及化简步骤。

关键词 逻辑系统 逻辑函数 多维体化简方法 代数法 逻辑设计 逻辑电路

在线阅读 下载PDF 职称材料

化简逻辑函数软件设计 被引量：1

12

作者 徐文芳 《电子科技大学学报》 EI CAS CSCD 北大核心 1997年第5期539-543,共5页

介绍了一种化简逻辑函数的软件，其化简原理基于一种化简逻辑函数的新方法。由于化简方法中使用的真值表、蕴含表等都是一些二维的表格，因此采用数据库技术编程。文中包括软件的总体设计构想和三个特殊模块的设计思路。由于与一般的管... 介绍了一种化简逻辑函数的软件，其化简原理基于一种化简逻辑函数的新方法。由于化简方法中使用的真值表、蕴含表等都是一些二维的表格，因此采用数据库技术编程。文中包括软件的总体设计构想和三个特殊模块的设计思路。由于与一般的管理和控制软件不同，该软件设计方法独特，使用方便，化简迅速，结果准确。 展开更多

关键词 逻辑函数化简 软件设计 数据库技术

在线阅读 下载PDF 职称材料

基于多维体理论的生命线网络可靠性的不交和算法

13

作者 蒋锐 胡香玲 《河南科学》 2011年第1期63-68,共6页

根据生命线网络系统的图论模型,应用计算机辅助逻辑综合技术对网络可靠性的精确算法进行了探讨.采用多维体列阵表示网络可靠性的逻辑函数,应用锐积和二进制布尔运算实现网络的路经不交和算法和计算机编程.最后,通过算例验证了该算法的... 根据生命线网络系统的图论模型,应用计算机辅助逻辑综合技术对网络可靠性的精确算法进行了探讨.采用多维体列阵表示网络可靠性的逻辑函数,应用锐积和二进制布尔运算实现网络的路经不交和算法和计算机编程.最后,通过算例验证了该算法的有效性. 展开更多

关键词 多维体 生命线网络可靠性 不交和算法 图论 逻辑函数 锐积

在线阅读 下载PDF 职称材料