基于K图的布尔E-导数计算的图形方法

分析了逻辑函数的K图和降维K图,在此基础上,从逻辑函数定义出发,讨论了用K图和降维K图计算逻辑函数一阶布尔E-导数和二阶布尔E-导数的图形方法,实例表明该方法具有直观、简单等特点,并且能给出布尔E-导数的最简与/或式.     

基于K图的布尔差分计算的图形方法

基于K图和降维K图，讨论了计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法。实例表明该方法具有直观、简单等特点，并且它能给出布尔差分的最简与／或式。     

降维dj图及或-符合函数的化简

提出了降维dj图,讨论了获得降维dj图的代数方法和图形方法,给出了利用降维dj图化简或-符合函数的方法,实例验证了化简方法的有效性.降维dj图的引入压缩了dj图的规模,从而扩大了dj图的使用范围.     

基于bj图计算逻辑函数布尔差分的新方法

分析了逻辑函数在部分变量取反时的bj图和降维bj图,在此基础上提出了用bj图和降维bj图计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法.实例表明,该图形方法有直观、简单等特点.它能给出逻辑函数布尔差分的最简与/异或式.     

一种基于或-符合展开的新颖通用逻辑门

提出了一种新颖的基于或-符合展开的三变量通用逻辑门(ULG3),讨论了逻辑函数或符合展开的图形表示--dj图,利用降维dj图分析了所有3变量NPN型特征函数的降维dj图的特点.从而验证了该通用逻辑门能实现所有3变量的逻辑函数.     

逻辑函数布尔c-导数的图形计算方法

基于逻辑函数1阶布尔c-导数,引入了k阶布尔c-导数的概念.提出了基于逻辑函数的K-图和降维K-图的1阶布尔c-导数和2阶布尔c-导数的图形计算方法,并通过实例展示了其求解过程.与代数法相比,该方法更直观有效,且能直接读出布尔c-导数的最简与/或式.所提出的用降维K-图计算逻辑函数布尔c-导数的方法在一定程度上解决了K-图规模随函数变量n的增加而迅速扩大的问题.     

关于冗余函数和自反函数性质之研究

冗余函数和自反函数为特殊布尔函数．本文阐述了冗余函数和自反函数的定义,提出了冗余函数和自反函数的性质,给出了相应的证明,讨论了冗余函数在K图中的特点以及自反函数在bj图中的特点．     

四值互斥变量K图及其化简

参照二值互斥变量K图的讨论,提出了四值互斥变量K图,讨论了它的特点以及在四值互斥变量逻辑函数化简中的应用,给出了四值互斥变量K图化简的规则,并用具体实例作了说明.提出的四值互斥变量K图大大地压缩了K图的规模,扩大了K图的应用范围.     

基于三值K图的多输出三值函数化简的新方法

参照二值多输出逻辑函数的K图化简，提出一种携带重复次数信息的多输出三值K图，从而避免在多个输出之间画大量的与门．本文基于二值多输出函数及三值单输出函数K图化简的讨论，提出了基于三值K图的多输出三值函数化简的新方法，给出了化简规则，并用实例作了具体说明．多输出三值函数K图的化简方法大大降低了电路成本．     

基于dj图的逻辑函数布尔偏导数的计算方法

讨论了基于dj图和降维dj图计算逻辑函数的一阶布尔偏导数和二阶布尔偏导数的图形方法.实例表明该方法具有直观、简单等特点,并且它能给出布尔偏导数的最简CRM式.     

基于触发行为的J、K激励函数的最小化技术

以JK触发器为例,提出了一种基于触发器行为的J、K激励函数的最小化技术.通过其与目前国内教科书中介绍的基于触发器次态函数最小化技术的对比与分析,证明了新的最小化技术是一种更行之有效的求最小化J、K激励函数的方法,对简化时序电路结构具有实用意义.     

基于CRM型三变量通用逻辑门的查表设计

讨论了逻辑函数的CRM展开与分类,给出了基于逻辑函数CRM展开的三变量函数P分类表、接线顺序以及P分类代表函数的接线方案.在此基础上提出了基于CRM型三变量通用逻辑门的查表设计方法,并给出了具体设计实例.     

逻辑函数高阶布尔e偏导数求解算法的实现

针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题,提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集合,用逻辑函数的不相交运算替代布尔e导数运算中的逻辑“与”运算;并将不包含待求导变量的乘积项拆分出来,不参与布尔e导数运算,以达到降低算法复杂度、提高算法速度的目的.提出的算法用C语言编程实现,并用MCNC测试电路进行了测试.实验结果显示,本算法能快速实现大函数高阶布尔e偏导数的求解,求解效率与参与不相交运算的乘积项数量有关,但对输入变量的数量不敏感.     

比较逻辑的研究

本文引入几种比较运算,并讨论了它们的表示、有关性质及其在处理逻辑函数中的应用。此外,还提出了使用晶体管的比较逻辑门及通用比较逻辑门的设计。作者认为,由于比较运算揭示了电路中开关元件的作用实质,因此,充分利用晶体管功能的比较逻辑单元,可在数字集成电路的设计中得到应用。     

基于逻辑函数e导数的双逻辑综合

讨论了逻辑函数的e导数与逻辑函数化简的关系,并在此基础上提出了基于逻辑函数e导数化简逻辑函数的新方法.由于采用了双逻辑综合,逻辑综合效果优于传统的基于与-或-非运算的逻辑综合.     

基于不相交锐积运算的逻辑函数错误率计算

提出了一种通过比较逻辑覆盖差异的函数错误率计算方法, 该方法主要包括逻辑覆盖不相交锐积运算和双锐积运算, 分别用于实现2个逻辑覆盖之间不相交操作和公共部分删除操作, 进而实现TB逻辑函数之间或RM逻辑函数之间覆盖差异的提取. 通过对所提取覆盖包含的最小项数量统计, 实现函数错误率的计算. 所提出的方法用C语言实现, 并用MCNC测试电路进行测试. 实验结果表明, 该算法可以实现TB函数和RM函数的错误率计算, 且具有运算速度快, 适合处理大逻辑函数的特点.     

基于RM型通用门ULM3的对称函数综合

阐述了基本RM型对称函数的定义和性质，给出了任意”变量对称函数在n-1变量基本RM型对称函数完备集中展开系数的计算公式，在此基础上，提出了基于RM型三变量通用逻辑门ULM3的变量数为奇数或偶数的对称函数综合方法，实例验证了上述方法的有效性．     

基于三变量通用阈值逻辑门的量逻辑函数查表综合变

介绍并讨论了逻辑函数的分类和通用阈值逻辑门，提出了使用三变量通用阈值逻辑门实现任意三变量逻辑函数的查表综合方法．并给出了若干设计实例。     

三值函数表格法最小化中的消变量与消闭化简

本文在讨论Post代数中三值函数的代数基础、成本计算方法与函数简化准则的基础上提出了兼考虑消变量与消阑化简的三值函数表格法最小化程序.通过实例的化简表明考虑消阂化简后所得的函数的最小化SOP形式要比只考虑消变量化简所得的形式更简单，相应电路的成本更低.     

用电流型CMOS电路实现多值对称函数

本文根据多值对称函数、蜕化多对称函数的定义及性质,在讨论二值对称函数基于电流型ＣＭＯＳ电路的实现基础上,提出了用电流型ＣＭＯＳ电路实现多值对称函数的方法。