多值逻辑相关论文
运用ZnS干涉滤光片双稳器件的组合,实现了光学多稳态及三值逻辑门。这种器件具有制作工艺简单、阈值功率低和可室温运转等特点,是......
针对专家系统存在的不足,该文试图将多值逻辑引入专家知识表示,从数值化推理技术、图论的角度,结合目前广受人们重视的面向对象方......
该文在国家自然科学基金项目“多值逻辑理论研究及新的智能表示与应用领域探索”的资助下,结合重大科研项目“江山水泥厂湿改干工......
人工神经网络是一种能够部分模仿动物神经网络行为特征,进行分布式并行信息处理的算法数学模型。经过近几十年的发展,人工神经网络......
多值逻辑是由二值逻辑扩展而来的。经典的二值逻辑只有两个状态,即“真”和“假”,任何命题“非真即假”,二者必居其一,即排中律成立。......
多值逻辑是指一切逻辑值的取值数大于2的逻辑.多值逻辑可以更好地解决用二值逻辑不易解决的问题,因此有着广阔的发展前景.多值逻辑......
多值逻辑是计算机科学技术的重要分支。它研究的内容主要包括多值逻辑的理论、多值电路与多值系统、多值逻辑的应用。 在多值逻......
多值逻辑是计算机科学中的一个重要学科分支。随着计算机科学与技术的不断进步,多值逻辑得到了前所未有的发展,其研究主要包括理论......
多值逻辑是指一切逻辑值的取值数大于2的逻辑,它是计算机科学技术的重要分支。多值逻辑的研究内容主要包括多值逻辑的理论、多值电......
多值逻辑是一种逻辑取值数大于2的非经典逻辑系统。其研究内容主要包括多值逻辑理论、电路与系统和应用等三个方面。多值逻辑函数......
模型检测(Model Checking)是一种重要的形式化验证方法,广泛用于软硬件系统行为的自动验证.为了使包含非确定性信息、不完全信息和......
模糊逻辑延续了多值逻辑对二值原则的扩张态度,基于模糊逻辑构造出的模糊集合论,能够从形式主义的角度解决罗素悖论。哈耶克提出的......
共振隧穿二极管(Resonance Tunneling Diode,RTD)是基于共振隧穿效应制造的量子器件,具有较高的工作频率和运行速度,又因具有独特......
学位
不完全信息的研究与处理是数据库领域研究的热点之一。现有的大部分商业数据库建立在传统关系数据模型的基础上,对涉及空值的查询......
首次提出用光学线性器件实现一般三值逻辑运算的方法.除了具有一般电子多值逻辑运算器件的优点外,还可用于全并行运算,输入输出信......
该文首先系统地介绍了多值逻辑理论,尤其是三值代数系统,阐述了多值逻辑函数化简的物理背景,多维体复形及其基本性质,以及质蕴涵项......
该文首先系统地介绍了多值逻辑的逻辑设计.尤其是多值逻辑的代数系统、多值基本 门电路以及它们与二值逻辑的联系和区别.然后基于K......
多值逻辑与当今的一些前沿学科如模糊控制,人工智能,神经网络和计算机科学等有着密切的联系.不同的多值逻辑系统对应着不同的多值逻辑......
本文介绍了先进的DCS系统在湿磨干烧水泥生产线中的应用及实现生产过程实时监控的软硬件总体方案 ,并提出了一种具有自学习、前馈......
多值逻辑思想最早可追溯到亚里士多德那里。亚氏对关于未来偶然事件的命题进行了讨论,指出传统逻辑难以处理这类命题,这种观点为多值......
多值逻辑的研究主要分为直观语义,系统构建和代数语义三个部分,本报告大致也是围绕这三方面展开,内容共分三章。第一章介绍了多值逻辑......
以开关信号理论为指导,建立了描述电流型CMOS多值施密特电路中阈值控制电路的电流传输开关运算.在此基础上,提出了新的电流型CMOS......
引入了一种多功能文字电路 ,并讨论了其基本实现。通过使用该电路 ,并以四值逻辑加法器的设计为例 ,进行了 I型和 II型的多值可编......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
以开关信号理论为指导 ,对电流型 CMOS电路中如何实现阈值控制进行了研究 .建立了实现阈值控制电路的电流传输开关运算 .在此基础......
根据多值模代数运算理论及开关信号理论 ,建立了适用于 I2 L电路设计的三值模运算的接地开关运算表示式。在此基础上 ,成功指导了......
这篇短文旨在解释赋予序结构的模糊集可以视作quantaloid上的强化范畴。这表明在模糊集的研究中,范畴理论是有益的、不可或缺的工具......
模糊逻辑命题演算形式系统L*自1997年被提出以来,在模糊逻辑与模糊推理的理论与应用中发挥了重要的作用.系统L*的完备性直到最近才......
根据部分多值逻辑的完备性理论,证明了m=2时的两类正则可离函数集必然不包含在P的极大封闭集之最小覆盖中.......
运用开关信号理论和有界算术运算理论 ,对电流镜的多种性质进行了讨论 ,并系统研究了利用电流镜实现电流信号的各种算术运算 ,其中......
通过对vMOS管特性和多值逻辑电路设计原理的研究,本文提出一种新型多值计数器的设计方案.该方案利用vMOS管具有多输入栅加权信号控......
共振隧穿(resonant tunnel,RT)器件本身所具有的微分负阻(negative differential resistance,NDR)特性使其成为天然的多值器件.文......
根据部分多值逻辑的完备性理论[罗铸楷等],证明了m=2时的一类正则可离函数集在P*k的极大封闭集之最小覆盖中必不出现.......
引入了一个从L-拓扑范畴L-Top到L-模糊拓扑范畴L-FTop(HShle-(S) ostak意义下)的自然的嵌入函予并讨论了该函子的性质.......
将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在模糊命题逻辑系统(£)*n中引入了公式集相对于有限理论的∑......
对十个重要逻辑蕴涵算子的性质进行了较全面的比较研究,得到若干基本结果,它们在各逻辑系统的比较研究中有一定参考价值.......
由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所与波兰科学院哲学与社会学研究所共同主办的“《逻辑研究》国际会议逻......
为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最......
软件产品线保持产品个性化的同时提高了公共部分的复用。但软件产品线中包含的不确定信息,给产品带来了潜在风险。形式化验证技术逐......
在多值逻辑中,含有量词的Tableau方法具有统一的扩展规则,并已通过可靠性和完备性的证明,但是由于扩展后的分枝非常庞大,使机器实......
The single fault and multiple fault detections for multiple-valued logic circuits are studied in this paper. Firstly, it......
在以电力线为媒介的数据通讯中,双向工频自动通信系统由于具有独特的优点,通讯效果最好。但是它最大的缺点是通讯速率低。为此本文提......
基于多栅极SET的库仑振荡和相移特性,以及SET和MOS管的互补特性,提出了一种新型的多栅极SET/MOS管混合电路。介绍了该电路的结构和工......
近年来,随着生物计算和量子计算研究的深入,多值逻辑电路的各种实现成为一个热门的研究方向。发夹结构是DNA分子一种特殊杂交方式的......
复杂网络环境下的系统组件往往处于多种不同状态,二值逻辑(BL)在描述多种组件状态时显得无能为力。本文提出了采用多值逻辑(MVL)分析组......
Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.根据部分多值逻辑函数的完备性理论,研究了......