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

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

基于异或运算的逻辑函数OC展开系数图与b_j图的转换

分析了逻辑函数的OC展开式与RM展开式,利用异或运算和符合运算的性质,推导了dj展开系数与bj展开系数的关系.在此基础上提出了基于折叠异或以及基于重心的实现dj图和bj图相互转换的两种图形方法,并对这两种方法作了比较.通过实例显示,这些图形方法具有直观、有效等特点.     

基于表格法的RM展开系数与或-符合展开系数的转换

讨论了逻辑函数的RM展开系数与或-符合展开系数之间的关系式,分析了bj图→dj图转换的图形方法．在此基础上提出了逻辑函数的RM展开系数→或-符合展开系数以及或-符合展开系数→RM展开系数转换的表格方法．与图形方法相比,表格法具有不需要画图,不受变量数限制以及易于计算机编程操作等优点．     

基于异或运算的逻辑函数OC展开系数图与bj图的转换

分析了逻辑函数的OC展开式与RM展开式,利用异或运算和符合运算的性质,推导了dj展开系数与bj展开系数的关系.在此基础上提出了基于折叠异或以及基于重心的实现dj图和bj图相互转换的两种图形方法,并对这两种方法作了比较.通过实例显示,这些图形方法具有直观、有效等特点.     

基于矩阵方法的dj展开系数与bj展开系数的转换

讨论了基于异或运算的bj展开系数和基于符合运算的dj展开系数的矩阵转换方法,给出了8种矩阵转换方法．虽然本文的讨论仅限于3变量,但是由于变换矩阵满足递推律容易,将这些方法推广至任意变量数．     

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

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

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

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

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

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

dj图的性质及其应用

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

基于正极性或-符合展开的易测性网络

为提高数字电路的可测性,提出了可实现任意逻辑函数的正极性或-符合网络的易测性实现,并给出了测试网络中所有单固定故障的通用测试集．该实现基于逻辑函数的正极性或-符合展开,网络的同或部分分别采用了串联和树形结构．为提高可测性,同或串的实现结构只需增加1个控制端及1个观察端,同或树的实现结构只需增加3个控制端及1个观察端．对于1个n变量的逻辑函数,两种实现结构下通用测试集的基数分别为（n＋4）和（n＋5）．这样短的通用测试集非常适合用内建自测试实现,从而有效地缩短测试时间．     

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

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

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

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

基于和图的电流型CMOS三变量通用逻辑门设计

电流型电路具有高速、低功耗、带宽、设计方便、直观、易于实现多值逻辑电路等优点。阈算术代数系统的提出为电流型电路的设计提供了更符合电流信号运算特点的系统方法,而和图是将逻辑函数转化为阈算术函数的图形表示方法。本文在谱技术的基础上,提出了一种新的和图与谱系数图的转换方法,设计了一种基于和图的电流型CMOS三变量通用逻辑门,即三变量特征阈值逻辑门,可实现任意的三变量阈值函数。     

基于RTD的三变量特征阈值逻辑门及通用阈值逻辑门设计

单双稳态转换逻辑单元（MOBILE）能够充分发挥共振隧穿二极管（RTD）的负内阻和快速开关转换特性,且由MOBILE构成的电路能方便地实现阈值逻辑功能。利用谱技术将三变量阈值函数分为3类;结合阈值逻辑电路的特点,分别对三变量特征阈值函数和34个具有代表性的阈值函数进行分析和比较;设计了基于RTD的新型三变量特征阈值逻辑门及通用阈值逻辑门。通过HSPICE仿真和功耗测试,验证了所设计的电路不仅具有正确的逻辑功能,而且有效减小了电路面积、降低了功耗和成本。     

基于RTD可编程逻辑门的n变量函数实现算法

共振隧穿二极管（RTD）可编程逻辑门是一种由单双稳态转换逻辑单元（MOBILE）及正、负输入分支组成的阈值逻辑电路。基于二进制神经元模型中的三层网络结构,提出了基于RTD可编程逻辑门的n变量函数实现算法。按照汉明距离由大到小的顺序,搜索最优输入向量,用定理1或定理2方法产生隐层函数,通过变换次数,确定输入向量的真假及隐层函数的权重。由于定义了最优输入向量及变换次数,提高了算法的准确性;又由于采用了定理2方法,令设计的电路更简单。