dj图的性质及其应用

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

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

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

基于布尔偏导数的组合电路双故障检测的新方法

分析了布尔偏导数与布尔差分的关系，给出了基于布尔偏导数的组合电路双故障测试集的方程，引入了奇集合的概念．在此基础上提出了基于布尔偏导数的组合电路双故障检测的新方法．实例表明该方法具有思路清晰、操作简单及易于掌握的优点．     

检测线性函数与线性变量的表格方法

讨论了线性函数、部分线性函数和线性变量的定义、性质和定理,提出了检测基于最小项展开的逻辑函数的线性变量与线性函数的表格方法.提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的线性变量及线性函数的表格方法.文中提出的表格方法具有简单、方便和易于计算机编程操作等优点.     

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

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

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

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

循环码计数器的快速综合

本文导出了使用J-K触发器的任意2~n进制循环码计数器激励函数的设计公式,并将逻辑函数修改技术用于任意2N进制循环码计数器的综合。此外,还提出了使用附加触发器时循环码计数器的快速综合法。通过设计实例表明,采用快速综合法设计循环码计数器具有一定的优点和实用意义。     

比较逻辑的研究

本文引入几种比较运算,并讨论了它们的表示、有关性质及其在处理逻辑函数中的应用。此外,还提出了使用晶体管的比较逻辑门及通用比较逻辑门的设计。作者认为,由于比较运算揭示了电路中开关元件的作用实质,因此,充分利用晶体管功能的比较逻辑单元,可在数字集成电路的设计中得到应用。     

最佳通用逻辑门的CMOS电路研究

本文提出了最佳通用逻辑门ULG.2的两种CMOS实用电路.通过对电路的理论分析和实验测试,并与传统的CMOS与非门比较,认为该两种ULG.2实用电路都可以作为大规模集成电路待定逻辑阵列中的标准细胞.     

基于串行通信的高速DSP芯片 实验系统设计与实现

本文在总结国内外现有DSP仿真系统的基础上提出了一种借助单片机和串行通信实现数字信号处理程序实时运行和调试的新方法,并在此基础上介绍了在WINDOWS95平台下该DSP实验系统的设计过程。