用CMOS三值门电路构成的一种自校验二值逻辑系统

本文提出一种用CMOS技术实现三值门电路,再用这些门电路构成自校验二值系统的方案。这些门电路的所有单故障可以分为向中型、无中型及掩蔽型三类。论证了用这些门电路所构成的二值逻辑系统对所有向中型故障是完全自校验的。而对无中型故障,该系统是易于测试的。对此种故障提出了一种测试码产生方法。此外,分析了掩蔽型故障对系统的影响。     

二值工作三值检测(B/T)自校验同步时序系统

二值工作三值检测(简称为B/T)自校验系统是一种特殊的三值逻辑系统。正常时,系统工作于二值状态,因此可与一般的二值系统兼容。其第三个逻辑值(中间逻辑值)用作故障指示信号,或在脱机测试时应用。文[1]研究了B/T自校验组合系统。本文将该研究扩展至时序系统,先逐步给出了B/T R-S、D、J-K等触发器的构成方案,分析了它们的故障特性。在此基础上得出了B/T自校验同步时序系统的一般结论。     

逻辑值冗余的一种实现方案——三中取二值自校验逻辑系统

逻辑值冗余是指用n值逻辑电路构成m值逻辑系统,其中n>m。此时有(n-m)个逻辑值是冗余的;但它们可以被用来产生自校验、纠错等功能,以提高系统的可测试性及可靠性。本文提出逻辑值冗余的一种实现方案——三中取二值自校验逻辑系统。这种系统是逻辑值冗余在n=3,m=2时的特例。本文内容包括三中取二值逻辑算子及自校验定义、三中取二值组合系统及三中取二值同步时序系统等。     

对称三值逻辑电路

近年来,对于多值逻辑,特别是对于三值数字逻辑系统的研究已引起了国际上的重视。采用三值数字逻辑电路比二值数字逻辑电路构成的数字设备具有节省设备、布线少、传输效率高、存储密度大等优点,更有利于集成度的提高。而在三值数字逻辑系统中真值为(1、0、1)的对称三值数字逻辑系(简称为ST逻辑系)又具有独特的优点,例如构成的三进制运算器进行加减法运算时不需要设置符号位,不需要求补运算等。因而在构成运算装置和应用于数字信号处理领域较为有效。本文提出了用互补型场效应管CMOS构成的一些门电路以及ST逻辑系的一些逻辑部件。     

部分四值逻辑中Sheffer函数的判定

多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。     

多值触发器及其在时序电路设计中的应用

本文对于多值逻辑代数系统中的基本运算和实现这些基本运算的门电路，作了必要的阐述。作者将ＤＹＬ集成线性“与或“门，用来设定多值逻辑电平的基础上，提出了多值Ｄ、Ｔ、ＪＫ等触发器电路，并将这类多值触发器，作为多值逻辑器件，用于时序电路设计。     

多值逻辑函数发生器的优化设计方法

将二值逻辑系统的设计方法巧妙地溶入了多值逻辑系统的设计当中,找到了实现多值逻辑系统设计的最优方法.并通过典型实例的分析,总结出三点结论,可望促进多值逻辑技术的普及与发展.     

逻辑代数的矢量扩展变换

本文对星算法的矢量表示法的数学构造进行了分析,提出了矢量扩展变换的概念,文中将这种变换的方法推广到一般的布尔代数和其它逻辑系统,从而把一般逻辑值的运算问题转换为二值布尔表达式的计算问题,提出了在各种情况下进行变换的计算公式。结果表明,矢量变换方法对开关理论(特别是多值逻辑的研究)和实际应用具有一定的意义。     

四值非线性格值逻辑上公式的真度理论

王国俊教授在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论,但其研究的多值命题逻辑是线性赋值格结构。在四值非线性格值逻辑系统上提出推广的真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑系统上有一定的可行性。     

一种基于对称三值逻辑的多值学习网络

采用对称三值逻辑的数元｛１↑－，０，１｝作为信息存储的基本单位，本文提出一种用于逼近非线性函数的多值学习网络（ＫＬＮ）。该网络由多个既关联又独立的子网络构成，而每个子网络包含一个权值存储单元组和一个阈值存储单元组。所需的数学运算仅为整数的加法和逻辑判断，因而非常简单。在此基础上，研究了具有自学习功能的多值逻辑学习控制策略。仿真结果表明ＫＬＮ对非线性函数具有良好的学习和表达能力，并对复杂非线性系统具     

一种实现三值逻辑电路的DNA计算模型

近年来,随着生物计算和量子计算研究的深入,多值逻辑电路的各种实现成为一个热门的研究方向.发夹结构是DNA分子一种特殊杂交方式的产物,具有结果稳定、特异性强的优点.本文首次提出了一种利用DNA分子来实现多值逻辑电路的方法,用DNA分子的多发夹结构来表示三值逻辑的值,并给出"与"运算和"或"运算的计算模型,该模型适合应用于大规模的多值逻辑电路.     

多值逻辑的矢量变换与二值器件实现的综合

本文利用逻辑代数的矢量变换法分析了多值逻辑函数的展开问题,提出了分量递椎式的建立方法,举例说明了用二值元件实现多值逻辑函数的综合过程。本文结果表明,利用矢量变换法,可以用类似于二值逻辑的方法来处理多值逻辑问题。     

电子交换系统微程序自校验控制复合装置的维修技术

本文叙述了一台交换复合装置的设计中所采用的种种故障检测、例行程序考验、和诊断技术。与别的电子交换系统(ESS)处理机不同,该处理机完全是自校验的。 由于充分发挥微程序设计和实时余量(excess real time),只需增添少量设备就可以并行检测出处理机中大多数的故障。如果从开始方案设计时就注意对硬件、软件、和维修能力等进行全面考虑和调整,就能把这样的自校验性能运用到机器的设计上。 硬件校验对处理机的故障检测起着重要作用。这些技术包括奇偶校验、译码器的N中取1校验、双规判别、总计时器、以及自校验的时钟机构。采用微程序挖制的错误检测技术包括寄存器——寄存器传送的全符合校验、保证指令按正确的次序执行的顺序校验、和存贮器的先写后读校验。 处理机的多数故障由上述的一种技术并行检测。不能并行检测的那些故障(通过用计算机模拟辨别)和维修逻辑用频繁的程序考验来校验。通过处于指令级或微指令级的处理机以及用本机维修中心执行程序考验。当呼叫存贮器(CS)中有故障时,例行程序考验还参与决定出现故障的设备。对简化诊断过程方面作了深入的研究。处理机的组装和所提供的测试通路为许多故障的诊断分辨提供了方便。 处理机实现所有这些特性的详细的门电路设计已经完成。为了验证自校验的     

部分K值逻辑函数中准完备集之最小覆盖的一些结果

多值逻辑是计算机科学与技术的一个重要分支。目前的计算机结构和计算机程序大多基于二值逻辑，但由于多值逻辑有着许多独特的功能和广阔的应用前景，随着计算机科学与技术的不断进步，多值逻辑得到了前所未有的发展。     

具有多值决策过程的广义可能性计算树逻辑模型检测

模型检测是一种自动验证软硬件系统行为的有效技术。为了对包含非确定性信息、不一致信息的并发系统进行形式化验证,在可能性理论、多值逻辑的基础上,研究了具有多值决策过程的广义可能性多值计算树逻辑模型检测算法,及其在检验非确定性系统中的具体应用。首先构造了多值决策过程作为系统模型,用多值计算树逻辑描述系统属性。然后给出具有多值决策过程的广义可能性多值计算树逻辑的模型检测算法,该算法将模型检测的具体问题转换为多项式时间内的模糊矩阵运算。最后就包含非确定性选择的多值系统的模型检测问题,给出一个具体的应用实例。     

TMLNNs：三值／多值逻辑神经元网络

本文提出了具有三值／多值逻辑表达能力的神经元模型,即三值／多值“逻辑与”神经元和三值／多值“逻辑或”神经元,由这种逻辑神经元连接而成的多层神经网络能够实现三值／多值逻辑推理系统。本文还给出了ＴＭＬＮＮｓ的学习算法,从ＴＭＬＮＮｓ网络中容易抽取到三值／多值逻辑规则知识,可以将ＴＭＬＮＮｓ用于三值／多值逻辑规则知识的自动获取,ＴＭＬＮＮｓ模型为神经网络表示逻辑知识提供了理论基础。     

任意值数的组合逻辑电路设计

自我国首创的DYL线性集成逻辑门问世后更促进了多值逻辑和连续逻辑理论及其应用的研究。我们经过将近一年的时间在中科院半导体所王守觉教授的指导下,根据多值逻辑代数的基本运算规则,运用DYL线性集成门实现了任意值数的组合逻辑电路设计。本文介绍了多值逻辑代数的基本运算和定律以及多值逻辑组合电路的设计方法。     

格对称三值逻辑系统及其化简

本文提出了满足格运算的对称三值逻辑系统,它兼有对称三值逻辑和格运算的优点。 格运算的化简在很多文章中均已进行了讨论,本文仅提出用较易实现的J_1或J_1门来实现所有的J运算,并提出了进一步简化格对称三值逻辑系统的方法。     

多值逻辑与范布尔代数

多值逻辑的广泛应用,越来越引起人们的关注。本文提出在满足良序关系的多值逻辑系统中,用二值范布尔代数表示多值逻辑变量分量系数的方法,该方法使用二值逻辑运算来处理多值逻辑问题,在多元多值的情况下,亦能方便地借助计算机进行辅助设计与分析。     

多值Boole过程

采用文献[1]中定义的扩展Allen-Givone代数概念将Boo1e过程沦扩充，提出了多值Boo1e过程的概念及其运算，为精确统一描述多值逻辑电路的逻辑功能和定时行为提供了一种解析途径。提出基于Allen-Givone代数的带状波形概念，用实值的加、减、乘、除运算为电路的异步特性提出了解析化的理论基础。这种数学分析与离散数学相结合的途径能相对精确地描述电路的时滞模型。在多值逻辑电路设计自动化技术的测试、模拟、综合等领域中，这种方法有它的应用前景。