K图相关论文
论文回顾了模糊逻辑与多值逻辑各自在基本运算、运算性质、规范展开、最小化等方面的内容，指出了两者的相似性，提出了利用多值逻辑方......
运用K图(卡诺图),不仅实现了与-或-非代数系统下逻辑函数的变换,并将逻辑函数的变换与化简结合起来,克服了代数法变换的繁琐与不足......
本文研究了开关函数的模代数综合,提出了直接利用 K 图将开关函数写成 SSOP展式及 Reed-Muller 展式的简单有效方法。该方法有利于......
介绍函数最大项展开式与K图、规范RM展开式与bj图的特点与性质，分析K图和bj图的相似性，举例说明基于重心的K图和bj图间转换方法，并在......
分析了K图的性质,发现在K图中过某格的所有聚合圈相应的各乘积项所含变量与该格对应的最小项均有相同的极性,在此基础上提出了得到......
针对硬件实现模糊控制表查询电路存在结构复杂、用数字式设计困难等问题，提出了将模糊控制表转换为多值K图，在此基础上结合传输开关......
介绍了逻辑函数的最大项展开式和COD展开式及其图形表示，提出函数K图和gj图的重心的概念，并以此为基础讨论了基于重心的函数K图和gj......
介绍了函数的最小项展开式和XOS展开式及其图形表示,提出函数K图和ej图的原点概念,以此为基础讨论了基于原点的函数K图和ej图之间......
为了进一步补充谱系数理论,使谱技术更好地应用于数字电路故障检测等方面,从基于(0,1)空间的Hadamard矩阵出发,通过对矩阵的性质分......
参照二值互斥变量K图的讨论,提出了四值互斥变量K图,讨论了它的特点以及在四值互斥变量逻辑函数化简中的应用,给出了四值互斥变量K......
分析了d，图、K图的性质，在此基础上提出了基于d，图、K图的函数CRM展开式在固定极性下最小化的图形方法．它具有直观、简单、易于掌握等......
分析了K图在表示逻辑函数最大项展开式的特点和性质，发现在K图中作舍某格的所有聚合圈相应的和项中所舍变量的极性与该格对应的最大......
线性函数是布尔代数中常用的特殊函数之一，本文根据线性函数、部分线性函数的定义与性质，提出了检测线性函数与部分线性函数六个定理......
旋转对称函数为特殊布尔函数,本文阐述了旋转对称函数的定义,提出了旋转对称函数的性质,并给出了相应的证明,讨论了该函数在k图、b......
为简化与-或-非代数系统中含无关项逻辑函数布尔c-导数的计算过程,从逻辑函数布尔c-导数的定义出发,提出了计算含无关项一阶布尔c-......
线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点．从特殊逻辑函数的定义出发，提出了基于K图检......
分析了逻辑函数的K图和降维K图，在此基础上，从逻辑函数定义出发，讨论了用K图和降维K图计算逻辑函数一阶布尔E-导数和二阶布尔E-导数的......
通过对Hadamard 矩阵的分析,并结合谱系数图与K图的自身特点,从中找出两种图之间的对应关系,进而提出了一种谱系数图与K图互换的改......
基于K图和降维K图,讨论了计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法.实例表明该方法具有直观、简单等特点,并且它能给......
本文导出了用同一个次态函数K图实现由不同类型触发器组成的同步时序电路设计方法，并研究了基于次态方程的利用JK触发器和T型触发器......
在文献［１，２］的基础上，讨论了四值逻辑的代数化简方法．根据二值逻辑卡诺图的构成特点，提出四值逻辑函数的Ｋ图及图形化简方法，详细地探讨了Ｋ图的......
该文指出了硬件实现模糊控制表查询电路存在结构复杂、用数字式实现时设计困难等问题,提出了将模糊控制表转换为多值K图,利用K图从......
该文提出了归一化Haar变换谱系数的图形表示——ha系数图,给出了布尔函数卡诺图与ha系数图之间的图形转换方法,并举例说明转换过程......
图形化简法是逻辑函数化简的有效工具。bi图和西图分别是RM展开式、CRM展开式的图珏表示。通过对RM展开式、CRM展开式系数关系的分......
