PLC在振打电机控制中的应用

介绍了Allen-Bradley公司1747－L40C型可编程程序控制器在振打电机控制中的应用，分析了振打电机的工作过程及时序图，给出了硬件接线图及程序设计框图。将第一电场的振打时序作为后续电场时序控制的基准，从而避免了定时器误差所造成各电场之间的逻辑关系错误，并在实际应用中取得了良好的效果。     

对称三值逻辑及对称三值CMOS电路

本文从负数表示的研究引入对称三进制系统与对称三值逻辑.基于作者提出的传输函数理论,本文讨论了基本对称三值运算的CMOS电路实现,并已用计算机模拟证明它们具有正确的逻辑功能与理想的DC传输特性.基于这些基本电路单元,本文进一步设计了实现加法与乘法的两种对称三值运算单元.     

DESIGN OF TERNARY FLIP-FLOPS AND SEQUENTIAL CIRCUITS BASED UPON U_h GATE

According to the next-state equations of various ternary flip-flops(tri-flop),whichare based upon ternary modular algebra,various ternary flip-flops are implemented by usinguniversal-logic-modules,U_hs.Based on it,ternary sequential circuits are implemented by usingarray of universal-logic-modules,U_hs.     

任意极性或-符合型易测性网络及测试集

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

基于不相交乘积项的逻辑探测和拆分算法

 针对以往逻辑探测算法存在的不足,提出了一种基于不相交乘积项的逻辑探测和拆分算法.该算法通过将逻辑函数的乘积项转化为不相交乘积项,并结合不相交乘积项之间海明距关系将不相交乘积项拆分成互不相交的二部分,使之分别适合RM逻辑综合和布尔逻辑综合.通过对拆分结果分析,本文进一步提出了一种新的逻辑探测方法.实验结果表明,本文的判别结果能对电路综合过程中的逻辑选择提供一个良好的指导作用.     

一种基于概率解释的新型互连线时延Slew模型

基于概率解释的互连线时延模型具有效率高,实现简单,估计准确等特点,在亚100纳米工艺IC设计及验证中具有较好的应用前景.基于概率解释的互连线时延模型往往需要大量的查表计算,对效率及计算精度都存在一定的影响,而且有些模型不能进行Slew的估计.本文提出了一种基于BS统计分布的互连线时延模型,完全避免了查表运算而且可直接用于Slew估计.90纳米工艺TCAD仿真实验结果表明,该模型在效率、精度、实现难易程度等方面具有一定的优势,对亚100纳米VLSI静态时序分析及相关EDA工具开发也有一定的参考价值.     

基于或-符合运算Reed-Muller展开系数的对称变量检测算法

针对或-符合代数系统中缺失对称变量检测的有效方法等问题,提出了该代数系统基于或-符合运算Reed-Muller展开系数的十二类变量对称性检测算法。该算法通过分析逻辑函数关于变量xi、xj展开的子函数系数矩阵和或-符合运算Reed-Muller展开系数按变量xi、xj组合分解系数矩阵的对应关系,揭示了任意两变量间各类对称性所满足的分解系数矩阵的约束条件,提出了各类逻辑变量的对称性检测步骤。应用结果表明,与传统方法相比,免去了从逻辑函数的CRM展开式变换为最小项展开式或RM展开式的变换域转换过程,也解决了在该域中图形方法检测的完备性问题,具有简单、直观、完备及适合计算机编程等优点。     

混合型多值CMOS电路的代数理论

该文在传输函数理论和电流型CMOS电路代数理论的基础上,提出了混合型多值CMOS电路的代数理论,并应用该理论设计了译码器和编码器。设计结果表明基于该代数理论的设计优于传统设计。     

基于传输函数理论的多值多变量CMOS电路综合

本文讨论了基于传输函数理论的多值CMOS电路综合技术。通过对基于传输函数理论的CMOS电路与T门的分析比较,指出了它们的工作原理的一致性。在此基础上提出了用函数分解综合多值多变量CMOS电路的方法。     

基于双向电流型CMOS电路的谱综合

数字逻辑中的谱技术主要用于数字电路的分析,本文则研究谱技术在数字电路设计中的应用。文中用双向电流CMOS电路实现谱函数,为数字电路设计提供了新的技术手段。