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

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

比较逻辑与异步触发时序电路的分析和综合

本文从触发器的完整状态方程出发,研究了异步触发时序电路的分析与综合的新方法,提出了触发器的α跃变、β跃变行为可用比较运算中的小于、大于运算表示,而各触发器的α跃变、β跃变之间的覆盖关系则可用大于等于运算进行检验。在此基础上提出了适用于使用计算机的异步触发时序电路的分析和综合程序。     

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

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

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

从函数最小项系数与基于（0,1）空间的谱系数以及bj系数的关系出发,引进了n-bj系数,进而提出了（0,1）空间的谱系数与bj系数的互换算法并给出了相应的图形转换方法和一种改进的跨图聚合圈法．实例表明,图形转换法具有简单、直接、方便等特点．     

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

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

逻辑函数的布尔除/符合展开在固定极性下化简的表格方法

阐述了用逻辑函数的布尔除/符合展开的3种表示形式:代数表示,图形表示和表格表示,讨论了变量极性改变与0值布尔除项表变化的关系.在此基础上提出了逻辑函数的布尔除/符合展开在固定极性下化简的两种表格方法:串行表格方法和串并行表格方法,指出了它们各自的优缺点,并以实例展示具体化简程序.     

具有缓冲功能的三值 GaAs电路的研究

本文探讨了具有缓冲功能的三值 GaAs电路的基本结构 ,特别是对三值 GaAs逻辑输出级电路 进行了讨论 ,提出了 2种三值 GaAs电路的逻辑级电路的结构 ,经过 PSPICE程序的模拟 ,选取了较理想 的一种电路结构 ,并由此建立了对应的开关模型. 根据该模型提出了适用于三值 GaAs在开关元件级的 电路设计方法 .     

能自启动的移位型计数器的新设计

本文分析了移位型计数器不能自启动的原因,在此基础上提出了基于多码状态分配的能自启动的移位型计数器的设计方法.该方法避免了二次设计 ,具有设计简捷及电路较为简单等优点.     

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

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

关于自双反函数的性质之研究

阐述了双反函数、自双反函数和多数函数的定义,提出了自双反函数的性质.根据上述定义利用布尔代数中的基本概念、定理和公式证明了这些性质,展示了自双反函数在RM展开系数图(bj图)中的特点,讨论了自双反函数在函数分类中的应用.