基于互补输出的三变量通用阈值逻辑门CRM展开函数查表设计

介绍了在或-同或系统中逻辑函数的CRM展开与分类,给出了基于逻辑函数CRM展开的三变量函数P分类表、接线顺序表.讨论了互补输出通用阈值逻辑门及其设计方法.提出了CRM展开的P分类代表函数的接线方案表.在此基础上,提出了基于互补输出的三变量通用阈值逻辑门的任意三变量CRM展开函数的查表设计方法.通过若干设计实例,证明了此方法的有效性.     

逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式

证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.     

逻辑函数的减-非和除-非展开式的最小化方法

讨论了布尔减和布尔除的定义以及逻辑函数在布尔减及非运算、布尔除及非运算完备集中的展开,给出了减-非和除-非逻辑函数的化简公式.在此基础上提出了减-非和除-非逻辑函数的代数化简法以及图形化简法,并给出了化简实例.实例验证了上述化简方法的有效性.     

dj图的性质及其应用

讨论了CRM的dj图的读图规则及和式项变量数图.对dj图的性质作了进一步的研究,提出了若干新的性质,给出了相应的证明.揭示了dj图的内在规律,有助于开拓dj图的应用领域.     

函数CRM展开式在固定极性下最小化的图形方法

分析了dj图、K图的性质,在此基础上提出了基于dj图、K图的函数CRM展开式在固定极性下最小化的图形方法.它具有直观、简单、易于掌握等特点.     

互斥变量dj图及其应用

在互斥变量K图、bj图的基础上提出了逻辑函数的互斥变量dj图,给出了全/部分互斥变量dj图的化简方法及实例.此外,文中还讨论了互斥变量K图、bj图与互斥变量dj图的转换方法.该法有效地压缩了dj图的规模,并扩大了dj图的应用范围.     

（0，1）编码的归一化Haar变换谱系数的图形表示及其与K图的转换

基于（＋1,-1）的谱技术在数字逻辑中有许多应用．为了进一步补充谱技术理论,从归一化的Haar矩阵出发,通过对矩阵的性质分析,提出了（0,1）编码的归一化的Haar变换谱系数图——R谱系数图;提出了R谱系数图与K图的基于折叠加减的图形互换法,并举例说明了转换过程．应用表明,对5变量以下的函数该方法具有简单、直观和准确的特点．进一步完善了（Q,1）编码的谱技术理论,有助于开拓谱技术在数字电路故障检测等方面的应用．     

基于互补型SET的通用阈值逻辑门设计

与MOS管相比,单电子晶体管(SET)具有超低功耗、超高集成度等优点,被认为是可能取代MOS管的新一代量子器件的主要竞争者.在简要介绍SET特性及通用阈值逻辑门(UTLG)的基础上,沿用CMOS逻辑电路的设计思想,提出了功能强大的基于互补型SET的三变量UTLG实现方案.利用一个UTLG辅之少量门电路就可实现全部256个三变量逻辑函数.通过实例说明了利用查表设计进行UTLG综合的过程.对所设计的SET电路进行了Pspice仿真,结果表明,基于SET的UTLG以及用UTLG实现的全比较器均具有正确的逻辑功能.     

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

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

基于量子细胞自动机的三变量通用阈值逻辑门电路实现

新型纳米器件量子细胞自动机(QCA)是新一代电子器件强有力的竞争者.与CMOS相比,其组成的电路具有低功耗、高集成度和高速等优点.而与神经元结构功能相似的通用阈值逻辑门具有较强的逻辑功能.在介绍QCA结构、工作原理、逻辑器件以及三变量通用阈值逻辑门的基础上,提出了双输出三变量通用阈值逻辑门的QCA电路实现方案.通过设计实例展示了基于双输出三变量QCA通用阈值逻辑门的查表设计方法.利用双输出三变量QCA通用阈值逻辑门可实现3变量全部256个逻辑函数.设计的QCA电路均用QCA Designer软件进行了仿真模拟.结果表明所设计的电路具有正确的逻辑功能.