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

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

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

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

低功耗CMOS“二值工作三值检测”门电路

1.引言 多值逻辑电路应用于二值逻辑系统以构成自校验系统或简化故障检测是多值逻辑应用的一个方面。文献[1]提出一种方案:用CMOS技术实现一种新型的三值门电路,再用这种门电路构成自校验的二值逻辑系统。这个方案的基本原理是用三值门电路的二个逻辑值作为二值系统的正常工作值,而多余的一个逻辑值作为故障的测试及自校     

CCD多值逻辑电路

作者提出了一种采用电荷耦合器件(CCD)的多值逻辑电路,它输出的数字信息稳定可靠,并可借以实现所需基数值(由二值直到数百值以上)的多值逻辑。文中介绍了CCD器件的有关原理和基本结构,和据此设计的多值逻辑电路,讨论了其性质及几种应用。     

用二值逻辑对多值逻辑进行优化

提出以二值多输出逻辑优化软件OPLG为基础，对多值逻辑函数进行逻辑优化的方法．通过对多值变量、多值函数的二进制矢量描述，将多值多维体转换为布尔表达式积项形式，从多值多维体的多值最小项出发，给出计算基本无关集的方法。对多值逻辑函数的优化通过调用二值逻辑优化软件OPLG(允许的最大输入、输出变量之和为300)来实现，二值逻辑优化的结果最终再转换为多值多维体的表示形式。     

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

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

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

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

翻译成整数规划的IP-tableau方法

由经典命题公式对应着0-1-整数规划的事实,提出将tableau方法与整数规划相结合的IP-tableau方法,并提升到一阶逻辑、多值逻辑以及无穷值逻辑。将tableau转化为IP方法后,可以采用许多提高IP效率的方法。另外在多值逻辑中,随着n值的增加,IP问题不会变得更加复杂。     

基于多值逻辑的双向工频自动通信系统

在以电力线为媒介的数据通讯中,双向工频自动通信系统由于具有独特的优点,通讯效果最好。但是它最大的缺点是通讯速率低。为此本文提出了用多值逻辑代替传统的二值逻辑以提高通讯速率。文中给出了多值逻辑条件下数据的调制解调原理和纠错原理,并推导出数字就错的最终求解公式。     

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

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

含空值关系数据库中的多值逻辑的研究

论述了含空值关系数据库中的多值逻辑推导及演化过程,并且定义了基于三值逻辑运算的处理规则以及多值逻辑的应用     

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

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

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

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

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

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

一种基于多值逻辑的开放式逻辑软件设计方法

在工业控制系统中，将对逻辑测控过程的表述抽象成象值逻辑是一种准确而又便利的方法，同时，测控过程的多样性又使传统的利用程序设计语言中逻辑语句的软件设计方法很难适应对开放性的要求，本文提出一种适合多值逻辑处理的数据结构和代数系统，并以此为基础，构造逻辑描述式，实现组合多值逻辑和时序多值逻辑的开放式设计。     

计量逻辑学中真度的贝叶斯公式

在条件真度的基础上,给出了计量逻辑学中二值公式真度的全概率公式和贝叶斯公式,并且在D-条件真度,蕴涵真度以及多值逻辑系统下讨论了该贝叶斯公式是否成立,得出在D-条件真度,多值逻辑系统下该贝叶斯公式仍然是成立的。     

第九届全国多值逻辑与模糊逻辑学术会议征文通知

第九届全国多值逻辑与模糊逻辑学术会议（ＭＶＦＬ’２０００）将于２０００年１２月在成都召开,本届会议将由中国计算机学会多值逻辑与模糊逻辑专业委员会和西南交通大学共同主办．为了推动和发展我国多值逻辑与模糊逻辑的理论和应用的研究,使其早日在国民经济中得到推广、应用,会议欢迎该领域的各类研究报告和综述报告． 一、征文范围 Ａ．多值与模糊逻辑器件、器件物理及计算机模拟; Ｂ．多值与模糊逻辑电路与系统; Ｃ．多值与模糊逻辑电路（在国民经济中）的应用; Ｄ．多值与模糊逻辑基础理论; Ｅ．多值与模糊逻辑电路在人工智能…     

提高一阶多值逻辑Tableau推理效率的布尔剪枝方法

含有量词的一阶多值Tableau方法具有统一的扩展规则，并由Zabel等人给出了可靠性和完备性的证明，但由于扩展后的分枝随着真值数目的增加而呈指数的增加，因而影响了机器推理执行的效率，该文提出了布尔剪枝方法，将带符号的公式与集合的上集／下集联系起来，使含量词的一阶多值逻辑公式的扩展规则大大简化，进一步，通过对布尔剪枝方法的分析，建立了一类特殊一阶多值逻辑正则公式的更为简洁的Tableau推理方法，该方法使得含量词的一阶多值逻辑Tableau推理类同于经典逻辑Tableau方法。     

部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定

Sheffer函数的判定与构造是多值逻辑函数结构理论中的重要问题之一,此问题可归结为定出多值逻辑函数集之准完备集的最小覆盖.本文根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出部分四值逻辑中保三元正则可离关系的准完备集之最小覆盖的成员.     

二维模拟场计算机建模与应用

扩展模拟计算机（uEAC）是一个新兴的非传统计算技术的研究内容.它由模拟电场和多值逻辑组成,两者共同构成计算单元,进行数据计算和信息处理.本文分析了二维uEAC系统结构,对其电场的有限元数学模型进行了推导.在此基础上,开发了基于ANSYS的uEAC仿真器,进一步结合粒子群优化方法来进行其应用优化设计.通过对经典二值异或和三值异或问题的求解,验证了uEAC在解决线性不可分的模式分类问题上的有效性,为uEAC更多的应用提供了开发工具和试验依据.