共查询到20条相似文献,搜索用时 15 毫秒
1.
提出以二值多输出逻辑优化软件OPLG为基础,对多值逻辑函数进行逻辑优化的方法.通过对多值变量、多值函数的二进制矢量描述,将多值多维体转换为布尔表达式积项形式,从多值多维体的多值最小项出发,给出计算基本无关集的方法。对多值逻辑函数的优化通过调用二值逻辑优化软件OPLG(允许的最大输入、输出变量之和为300)来实现,二值逻辑优化的结果最终再转换为多值多维体的表示形式。 相似文献
2.
本文对星算法的矢量表示法的数学构造进行了分析,提出了矢量扩展变换的概念,文中将这种变换的方法推广到一般的布尔代数和其它逻辑系统,从而把一般逻辑值的运算问题转换为二值布尔表达式的计算问题,提出了在各种情况下进行变换的计算公式。结果表明,矢量变换方法对开关理论(特别是多值逻辑的研究)和实际应用具有一定的意义。 相似文献
3.
多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。 相似文献
4.
Sheffer函数的判定与构造是多值逻辑函数结构理论中的重要问题之一,此问题可归结为定出多值逻辑函数集之准完备集的最小覆盖.本文根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出部分四值逻辑中保三元正则可离关系的准完备集之最小覆盖的成员. 相似文献
5.
部分四值逻辑中Sheffer函数的判定与构造 总被引:1,自引:0,他引:1
刘任任 《计算机工程与科学》2008,30(11):75-76
根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4^*中的Sheffer函数。 相似文献
6.
刘任任 《计算机工程与科学》2008,30(11)
根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数. 相似文献
7.
多值逻辑的广泛应用,越来越引起人们的关注。本文提出在满足良序关系的多值逻辑系统中,用二值范布尔代数表示多值逻辑变量分量系数的方法,该方法使用二值逻辑运算来处理多值逻辑问题,在多元多值的情况下,亦能方便地借助计算机进行辅助设计与分析。 相似文献
8.
9.
近年来,随着生物计算和量子计算研究的深入,多值逻辑电路的各种实现成为一个热门的研究方向.发夹结构是DNA分子一种特殊杂交方式的产物,具有结果稳定、特异性强的优点.本文首次提出了一种利用DNA分子来实现多值逻辑电路的方法,用DNA分子的多发夹结构来表示三值逻辑的值,并给出"与"运算和"或"运算的计算模型,该模型适合应用于大规模的多值逻辑电路. 相似文献
10.
11.
一种基于多值逻辑的开放式逻辑软件设计方法 总被引:9,自引:0,他引:9
在工业控制系统中,将对逻辑测控过程的表述抽象成象值逻辑是一种准确而又便利的方法,同时,测控过程的多样性又使传统的利用程序设计语言中逻辑语句的软件设计方法很难适应对开放性的要求,本文提出一种适合多值逻辑处理的数据结构和代数系统,并以此为基础,构造逻辑描述式,实现组合多值逻辑和时序多值逻辑的开放式设计。 相似文献
12.
根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。 相似文献
13.
14.
任意值数的组合逻辑电路设计 总被引:5,自引:0,他引:5
自我国首创的DYL线性集成逻辑门问世后更促进了多值逻辑和连续逻辑理论及其应用的研究。我们经过将近一年的时间在中科院半导体所王守觉教授的指导下,根据多值逻辑代数的基本运算规则,运用DYL线性集成门实现了任意值数的组合逻辑电路设计。本文介绍了多值逻辑代数的基本运算和定律以及多值逻辑组合电路的设计方法。 相似文献
15.
TMLNNs:三值/多值逻辑神经元网络 总被引:5,自引:0,他引:5
本文提出了具有三值/多值逻辑表达能力的神经元模型,即三值/多值“逻辑与”神经元和三值/多值“逻辑或”神经元,由这种逻辑神经元连接而成的多层神经网络能够实现三值/多值逻辑推理系统。本文还给出了TMLNNs的学习算法,从TMLNNs网络中容易抽取到三值/多值逻辑规则知识,可以将TMLNNs用于三值/多值逻辑规则知识的自动获取,TMLNNs模型为神经网络表示逻辑知识提供了理论基础。 相似文献
16.
众所周知,布尔函数已成为二值逻辑、电路设计、组合优化等学科的有效工具。随着计算机的发展,一些新颖设计思想不断涌现。与之相适应,一些新兴学科如多值逻辑、模糊语言和自动机、模糊最优化也日渐为人们熟知,罗马尼亚学者Tǎndǎreanu引进的广义布尔函数将成为重要的理论支柱。本文对广义布尔函数的结构和计数给出进一步的结 相似文献
17.
Ren-RenLiu Song-QiaoChen Jian-ErChen ShuLi 《计算机科学技术学报》2004,19(C00):100-101
多值逻辑是计算机科学与技术的一个重要分支。目前的计算机结构和计算机程序大多基于二值逻辑,但由于多值逻辑有着许多独特的功能和广阔的应用前景,随着计算机科学与技术的不断进步,多值逻辑得到了前所未有的发展。 相似文献
18.
由经典命题公式对应着0-1-整数规划的事实,提出将tableau方法与整数规划相结合的IP-tableau方法,并提升到一阶逻辑、多值逻辑以及无穷值逻辑。将tableau转化为IP方法后,可以采用许多提高IP效率的方法。另外在多值逻辑中,随着n值的增加,IP问题不会变得更加复杂。 相似文献
19.
本文提出一种模N计数器的混值编码方案,并利用逻辑函数修改技术导出了用纯二值结构的三值触发器和普通二值触发器设计模N混值计数器的代数公式。 相似文献
20.
不同于传统的去相关,去冗余的压缩方法,提出一种基于元胞自动机模型的二值图像压缩算法。该算法用遗传规划算法搜索出较优的元胞自动机规则后,对分块后的二值图像矢量进行元胞自动机变换,利用元胞自动机的变换状态多样性等特点,生成相邻矢量,将变换次数作为码本。实验表明:该算法经过4次以内的元胞自动机变换即可生成较优的相邻矢量,具有编码时间短、重建图像的质量好、压缩率高、适应性强等特点,并且与其它压缩算法结合性好。 相似文献