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

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

基于Haar变换的冗余函数和线性函数的检测

给出了归一化Haar变换矩阵元的通式,讨论了归一化Haar变换谱系数与冗余函数和线性函数的关系．在此基础上提出了基于归一化Haar变换的检测冗余函数和线性函数的谱方法．该方法的主要优点是可以同时检测其他特殊逻辑函数以及易于计算机编程操作．     

基于归一化Haar变换检测旋转对称函数的新方法

讨论了旋转对称函数在归一化Haar变换域中的谱特性,提出了基于归一化Haar变换检测旋转对称函数的新方法．该方法具有易于计算机编程操作以及可以同时检测多种其他特殊逻辑函数等优点．     

混合控制变量序的三值T门网络化简方法

为获得T门网络的最佳控制变量顺序，对于n个变量的函数，用传统的方法需作n！次搜索，如果考虑混合控制方式，则搜索的次数更多。为了减少搜索次数，并尽可能得到更为简单的T门网络，本文通过对真值表分割法的分析，并结合T门网络的特点，提出了一种用T门实现三值逻辑函数的真值表分割法的改进算法。该算法可实现混合控制变量序的T门网络的最简或接近最简实现，且易于编程和上机操作。最后还对几种T门网络化简方法的优劣进行了比较。     

关于bj图的性质及应用

利用bj图的读图规则和积项中变量数图对bj图的性质作了进一步的研究，提出了若干新的性质，给出了相应的证明，此外，文中还讨论了它们的应用，并用实例作了说明，本文的讨论揭示了bj图的内在规律，有助于开拓bj图的应用领域。     

部分变量取反的RM型对称函数检测的新方法

分析了函数的RM展开式中乘积项所含的部分变量取反引起的变化，在此基础上提出了直接检测部分变量取反的RM型对称函数的新方法。     

多值移位型计数器设计

分析和讨论了基于全状态图的多值移位型计数器的设计方法,指出了当将该方法用于更多值的移位型计数器的设计时,将变得非常复杂,失去了直观性和方便性的特点.提出了多值全状态表及基于全状态表的多值移位型计数器设计方法.此方法能解决上述问题,并给出了二变量四值移位型计数器的设计实例.     

基于谱技术的旋转对称函数检测

推导了旋转对称函数的Rademacher-Walsh变换（RW变换）谱系数的性质,在此基础上提出了基于RW变换检测旋转对称函数的方法.该方法具有操作简便、易于计算机编程操作以及能检测多种特殊逻辑函数等优点.     

基于归一化Haar变换的自反函数和自双反函数的检测

推导了归一化Haar变换谱系数与自反函数和自双反函数的关系,在此基础上提出了基于归一化Haar变换检测自反函数和自双反函数的谱方法.该方法的主要优点在于可以同时检测多种特殊逻辑函数以及易于计算机编程操作.     

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

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