基于多值逻辑的模糊逻辑函数分析与综合

本文首先提出了模糊逻辑和多值逻辑的相似性,并从开关信号理论出发建立了多值逻辑阈运算和模糊函数取值区间有限等级的对应关系,进而提出了利用多值逻辑阈运算实现模糊逻辑函数分析与综合的算法,并用该算法对几个模糊逻辑函数实例进行了分析与综合。实例操作表明,该算法具有操作简单、规范、方便快捷的特点,是分析和综合模糊逻辑函数的有效方法。

多值逻辑与逻辑电路设计

自我国首创的MV-DYL线性集成逻辑门问世以来,多值逻辑理论及其应用的研究得到了进一步发展,为多值逻辑电路的实现提供了新的希望。 多值逻辑是指一切逻辑值的取值大于2的逻辑。具有三个逻辑值者称为三值逻辑。

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

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

多值逻辑中的命题相关性与逻辑运算研究

命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数.

多值逻辑量子置换门的酉矩阵表示

理论上量子可逆电路不存在能量耗散问题,因此量子计算系统对环境产生的负面影响可以达到最低.多值逻辑量子置换门是构建多值逻辑量子电路的基本单元.该文从数学的角度研究多值逻辑量子置换门的酉矩阵,提出了一种构造多值逻辑量子置换门酉矩阵的方法,并对其正确性进行了讨论.在此基础之上,又给出了构造混合多值逻辑量子置换门酉矩阵的框架,利用此框架可以方便地构造任何混合逻辑量子置换门的酉矩阵.酉矩阵是量子门的数学模型,可以清晰地反映出量子门的数学性质.研究量子门的酉矩阵对验证量子门的正确性和可靠性,分析量子状态在电路中的演化过程及发展趋势具有一定的意义.

Lukasiewicz多值逻辑系统中的广义重言式理论

引入一类特殊的公式序列 Ak,k=1 ,2 ,… ,证明了在 Lukasiewicz多值逻辑系统 ,对任意真值 α∈Ln而言 ,可达 α-重言式类类不空 ,进一步证明了系统中广义重言式的类类互异定理。最后讨论了 Lukasiewicz多值逻辑系统与经典二值逻辑系统中重言式之间的关系。

基于多值逻辑电路和二值PLA的硬件模糊控制器

本文基于多值逻辑电路（DYL）和二值可编程逻辑阵列（PLA），提出一种模糊控制器硬件设计方案．该模糊控制器由输入量化电路、二值PLA、输出译码器及输出转换电路四部分组成，具有线路规范、结构简单、运算速度快、可编程等优点．仿真与模拟实验结果表明电路设计正确。

多阈值神经元电路设计及在多值逻辑中的应用

分析了多阈值神经元工作原理,并提出设计多阈值神经元电路的方法.首先,用两个 MOS晶体管组成电压型突触电路,然后又提出一种基于BiCMOS工艺的判别转换开关电路,这种电路以压控电流作为阈值信号,并实现电压到电流的转换.在此基础上,结合限幅电压开关理论提出多阈值神经元阈值判别函数电路的开关级设计方法.最后,从开关级设计了实现三值逻辑中文字、与、或三种基本运算的多阈值神经元电路,用这三种基本运算的多阈值神经元电路可实现任意三值函数的多阈值神经网络.文章还对设计出的电路用 PSPICE进行模拟,测量相关参数.模拟结果表明,该文设计的电路不仅实现了正确的逻辑功能,而且速度较快.

纤维素硝酸酯真空热脱水工艺含水量多值逻辑控制系统

针对传统PID控制器在大时滞、无精确模型匹配系统中不能获得理想的控制效果,为保证纤维素硝酸酯真空热脱水后的残余水分含量和铺料厚度,提出在高位槽出料流量控制策略中引入多值逻辑控制算法。介绍该算法的描述以及系统结构,并在系统试车中试应用。实践表明,该控制器能满足生产需要,且多值逻辑控制算法具有鲁棒性、超调量、响应时间优于PID控制算法的优点,可在工业控制领域推广应用。

多值逻辑基本运算的神经网络实现

多层感知器神经网络是典型的人工神经网络模型。本文在分析二值感知器神经网络实现二值数字逻辑运算后,将其推广到多值逻辑。根据感知器神经元的分类特点,采用三层前向稳健感知器神经网络实现了三值格代数系统中的基本运算,从而也实现了任意三值逻辑函数。

基于多值逻辑方法的模糊逻辑函数规范展开

首先提出了模糊逻辑和多值逻辑的相似性 ,并建立了三值逻辑函数文字运算和模糊逻辑函数短语的对应关系 ,进而提出了从三值逻辑函数的规范展开式求得模糊逻辑函数规范展开式的算法 ,并用该算法对几个模糊逻辑函数实例进行了规范展开 .实例操作表明 ,该算法具有简单、规范、方便快捷的特点 ,是获得模糊逻辑函数规范展开式的一种有效的方法 .

多值逻辑系统W_n中α-三I问题的形式解

在多值逻辑系统Wn中提出了琢-三I问题。通过在F(S)中引入一个偏序,讨论了琢-GMP和多重琢-GMP问题的形式化推理问题,得到了琢-FMP问题的形式化三I解,从而在多值逻辑系统Wn中建立了琢-三I问题的形式化推理机制。

RTD多值逻辑电路原理与电路模拟

由共振隧穿二极管(RTD)和高电子迁移率晶体管(HEMT)构成的多值逻辑(MVL)电路可以用最少的器件来完成一定的逻辑功能,达到大大简化电路的目的。共振隧穿二极管和高电子迁移率晶体管属于量子器件,具有高频高速的特点,所以这一逻辑电路有很好的应用前景。本文就多值逻辑电路中的几个典型电路用Pspice软件进行电路模拟,得到了与理论分析一致的模拟结果。

部分多值逻辑中单纯可离和完满对称关系的计数

根据部分多值逻辑的完备性理论,对两类准完备集——单纯可离函数集和完满对称函数集进行研究,给出了单纯可离和完满对称关系的函数的计数公式。

多值逻辑系统Hα中的子代数理论

系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统。论文研究了多值逻辑系统Hα中的子代数理论,讨论了该系统子代数的特征及相关性质,为系统Hα的进一步研究奠定了基础。

多值逻辑在不确定性知识表示及推理中的应用

针对传统产生式规则和Ｂｏｏｌｅａｎ 规则矩阵无法进行不确定性知识表示和推理的弱点，文章采用三值逻辑表示规则和真值状态的不确定性，提出并使用三值产生式规则（Ｔ 规则） 和三值规则矩阵（ＴＲ 矩阵） ，利用ＴＲ矩阵变换实现高速前向推理和后向推理。对复合三值规则的无损分解进行了详细探讨，最后提出了一个能进行不确定推理的新算法。

多值逻辑函数组构成置换的一个充要条件

本文给出了一组多值逻辑函数构成置换的一个充要条件。

基于二值计算机的实时多值逻辑控制系统的研究

在工业控制系统中，常常遇到多值逻辑问题，用二值逻辑概念去解决极不方便，有时甚至是困难的．本文提出一种在二值计算机上建立起完备的多值逻辑运算集和多值逻辑接口的方法。

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

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

多阈值神经元及其在多值逻辑中的应用

分析了利用多阈值神经元实现多维空间中多区域非线性划分的原理,以利用神经元实现异或运算为例,阐述了采用多阈值神经元相对于单阈值神经元实现逻辑运算的优点,提出用一个多阈值神经元实现三值逻辑基本运算的方法,从而解决了用多阈值神经网络实现任意三值逻辑函数的问题.在此基础上提出了用一个多阈值神经元实现任意多值函数的方法.此方法简单、规范、有效,可大幅减少神经网络的神经元数量及连线数.