基于表格法的部分变量取反的对称函数检测

对称函数有许多优点,引入部分变量取反的对称函数可以大大增加对称函数的数目,从而有助于扩大对称函数的应用范围.检测对称函数是函数对称性研究中的重要工作.分析了基于表格法的对称函数检测,在此基础上进一步提出了改进的部分变量取反的对称函数检测的新方法.     

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

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

互斥变量dj图及其应用

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

基于一位全加器三变量逻辑函数的查表综合

通过对1个一位全加器3个输入端不同的组合，可以实现与门、或门、非门、同或门及异或门，因此全加器在数字逻辑电路中有着重要的作用．本文在介绍全加器的基础上提出了用查表法设计基于一位全加器实现任意三变量函数的组合电路和时序电路．在与传统的与非门／或非门的比较中，它显示了优势．     

基于0-1编码空间的谱系数图与K图的图形互换

为了进一步补充谱系数理论，使谱技术更好地应用于数字电路故障检测等方面，从基于(0，1)空间的Hadamard矩阵出发，通过对矩阵的性质分析，提出了(0，1)空间的谱系数图与K图的3种图形互换法：基于行矢量圈的图形互换法，基于非零项的图形互换法和基于折叠加减的图形互换法，并对各种方法予以实例说明，此外，还讨论了这些图形转换方法的各自的适用范围，对6变量以下的函数，这3种方法具有简单、直观和准确的特点。     

通用逻辑门的研究与应用

本文简述了通用逻辑门 ULG的引入思想与定义. 作者同意 Hurst 的看法，认为有实用价值的ULG，应是 n=2、3.在综合对 ULG2与ULG3 的最新研究的基础上，作者认为文献（12）中提出的最佳 ULG2有可能被采用于实际电路．因此，较为系统地探讨了它在组合电路设计乃至在 ROM 中的各种应用．此外，本文还把通用逻辑门的概念推广，从而引出 通用逻辑门的概念， 并讨论了最佳 ULG2 在设计时序电路中的应用.     

2-3混值编码与混值计数器

本文分析了三值信号的二值表示和三值电路的二值结构特征,提出了使用二值触发器和三值触发器设计混值计数器的方案。文中基于B²TCD混值编码提出了8421 BCD码加法计数器使用混值逻辑的新设计。     

三值函数在固定极性下的综合及三值重I2L电路

本文用模代数和Kronecker乘积对多值函数的展开进行了讨论.提出了相应于各种极性展开系数的变换算法及它们的最小化程序.最后考虑了用集成注入逻辑(I²L)技术实现三值函数。     

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

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

展开螺旋结构的临界场的研究

本文测量了铁电流晶FCS101在交流电场中展开螺旋结构的结构的临界场与温度、频率的变化关系,在实验中观察滞后现象和重入现象,并且从SmC相系统的自由能出发,推导出了高频临界场的表达式,理论计算值和实验结果符合得较好。