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

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

逻辑代数的矢量扩展变换

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

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

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

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

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

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

根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4^＊中的Sheffer函数。     

部分四值逻辑中Sheller函数的判定与构造

根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数.     

多值逻辑与范布尔代数

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

关于部分多值逻辑函数集中准完备集的若干性质

Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中“保关系”的系统思想,使用群论和组合数学的工具,研究了部分多值逻辑函数集中准完备类相应关系的若干性质.给出并证明了非空关系Gm是完全关系以及子群H是Gm的对称群的充要条件,定出了部分k值逻辑中完满对称函数类Fs,m中函数集的个数.以上工作为解决部分多值逻辑中Sheffer函数的判定提供了研究基础.     

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

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

基于多值方法的模糊逻辑函数最小化

首先提出了模糊逻辑和多值逻辑的相似性,并从开关信号理论出发建立了三值逻辑函数阈运算和模糊逻辑函数文字运算的对应关系,进而提出了基于差动电流开关理论的三值逻辑函数化简法求模糊逻辑函数最小化表达式的算法,并用该算法对几个模糊逻辑函数实例进行了化简,实例操作表明,该算法具有操作简单快捷的特点,是获得模糊逻辑函数最小化表达式的一种有效的方法。     

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

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

部分三值逻辑中Sheffer函数的判定算法

根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。     

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

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

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

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

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

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

广义布尔函数的结构和计数

众所周知,布尔函数已成为二值逻辑、电路设计、组合优化等学科的有效工具。随着计算机的发展,一些新颖设计思想不断涌现。与之相适应,一些新兴学科如多值逻辑、模糊语言和自动机、模糊最优化也日渐为人们熟知,罗马尼亚学者Tǎndǎreanu引进的广义布尔函数将成为重要的理论支柱。本文对广义布尔函数的结构和计数给出进一步的结     

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

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

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

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

模N混值计数器及其快速综合

本文提出一种模Ｎ计数器的混值编码方案，并利用逻辑函数修改技术导出了用纯二值结构的三值触发器和普通二值触发器设计模Ｎ混值计数器的代数公式。     

基于元胞自动机模型的新型二值图像压缩算法

不同于传统的去相关,去冗余的压缩方法,提出一种基于元胞自动机模型的二值图像压缩算法。该算法用遗传规划算法搜索出较优的元胞自动机规则后,对分块后的二值图像矢量进行元胞自动机变换,利用元胞自动机的变换状态多样性等特点,生成相邻矢量,将变换次数作为码本。实验表明：该算法经过4次以内的元胞自动机变换即可生成较优的相邻矢量,具有编码时间短、重建图像的质量好、压缩率高、适应性强等特点,并且与其它压缩算法结合性好。