三值逻辑相关论文
随着人工智能和大数据时代的来临,人们对计算机性能的要求越来越高,也意味着对集成电路提出了更高的要求。然而,集成电路的发展受......
三值光计算机用相互垂直的两个线偏振光和零光强三个独立的光状态表示信息;用二维液晶器件和偏振器实现此三个状态间的转换;采用三......
作为一般逻辑连接词的推广,直觉模糊逻辑连接词的特殊情形已有研究,并应用于直觉模糊粗糙集理论的研究中.然而,作为更一般的情形,......
首次提出用光学线性器件实现一般三值逻辑运算的方法.除了具有一般电子多值逻辑运算器件的优点外,还可用于全并行运算,输入输出信......
计算机技术发展到现阶段，需要更强的功能和更高的集成性。然而，根据经典理论设计的计算机已经快到了极限，这个极限起源于经典计算机所......
随着电子计算机的芯片制作工艺逐渐接近难以超越的高度，并且不能有效解决的许多困难的计算问题及NP-完全问题。DNA计算凭借其存储量......
本文基于中介命题逻辑的扩张系统MP*之命题联结词含量的完全性结果,进一步证明了Lukasiwicz三值逻辑系统L*3、Post三值逻辑系统P*3......
针对基于二值逻辑的主观逻辑中存在的一些问题,提出了基于Dirichlet分布的扩展主观逻辑.在利用三值逻辑代替原来二值逻辑的基础上,......
数据库分别采用空值和重复元组模拟现实世界中的不完全信息和重复实体。现有的数据库大多允许返回多重集合作为查询结果,却仍采用......
建造能一起工作的计算机系统一直是计算机科学的一项重要任务［6］.目前多主体(Agent)协作的理论与应用研究已成为多学科和AI交叉研究......
模数转换器（Analog-to-Digital Converter,ADC）是片上集成系统的关键部件,通过对逐次逼近逻辑电路和三值逻辑原理的研究,提出了一种......
提出了具有三值逻辑表达能力的神经元模型，即三值逻辑与神经元和三值逻辑或神经元．由这种逻辑神经元连接而成的神经元链能够实现三值......
根据多β晶体管和二值多β反相电路的工作特点,提出了三值多β反相电路的设计方案,从而构成了三值多β门电路的逻辑完备集.PSPICE......
在不确定性推理算法中,纯数值机制是一种计算简单快捷,并在许多实际应用方面已取得重大成就的方法,但这也掩盖不了其自身的一些缺......
模型检验技术是形式化验证中比较成熟的技术，但随着设计系统规模的增加，状态爆炸已成为其发展的一个主要问题.为解决此问题，本文提出......
揭示了卢卡西维茨创造三值逻辑的基本原则：严格遵循二值逻辑命题联结词的函数定义;以此为前提,澄清了两个误区：a、当｜p｜=1/2时,｜（＊p） ｜=1/2......
对诸如未来偶然命题,二值逻辑解决不了,三值逻辑应运而生。如今,三值逻辑理论沿着不同路线已得到迅速发展,其应用范围也日益广泛。......
古典逻辑的基础是二值原则,即任何句子要么是真的要么是假的。而三值逻辑加入了一个既不是“真”也不是“假”的第三个真值。第三......
主要讨论了在基于四元三角网 ( Quaternary Triangular Mesh,简称 QTM)球面层次格网剖分的基础上 ,通过单元递归细化来确定 2个球......
通过对碳纳米场效应晶体管(CarbonNanotubeFieldEffectTransistor,CNFET)多阈值特性和多值逻辑原理的研究,结合移位寄存器设计方法......
随着超导技术和电力电子技术的发展，三相电流源型变流器（CSC）在超导储能领域依然占有主导地位。文中详细地介绍了电流型变流器（CSC）的正......
分析了实现电流型Z源逆变器三值逻辑空间矢量控制的原理,给出了基于Matlab Simulink的仿真模型及其实现方法。仿真结果验证了该控......
不完全信息问题存在于每一种教据库模型中。传统的二值逻辑难以适应不完全信息处理的需求，而多值逻辑能更多地捕获不完全信息的直觉......
多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是......
多值逻辑是布尔逻辑的一种扩展形式,在许多应用中经常会遇到关于多值逻辑的问题。文章在基于DNA折纸术求解三值逻辑与门的运算中,......
本文以《新编语言学教程》一道练习题为出发点，分析了蕴涵和语义预设的联系和区别以及它们的语义机制，进而指出：1）语言学本科教材有必......
针对二值神经元在不确定性知识表示和推理中的不足,提出了一种具有三值逻辑表达能力的神经元模型:三值逻辑与神经元和三值逻辑或神......
将代数系统同构的概念扩展为类同构,并推出一些相关的定理,在类同构基础上完整地研究各种三值逻辑和三值电路理论,该电路理论可推......
三值逻辑模型检验是对更高层的模型抽象验证的一种方法,对其验证中常常需要给出正例和反例.为此,讨论了三值逻辑模型检验以及正例......
利用模型检验技术来验证具有“X” （未知）值的属性.给出了三值（真、假、未知）逻辑公式的模型检验算法,此算法与二值逻辑模型检验算法相......
分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题.提出了把模态转移系统转换成Kripke结构的算......
深入讨论各种命题联结词含量不完全的三值逻辑的语言表达能力，完全弄明白了三值系统L3、L△3、B3、B△3、K3、K△3、MP......
狭义的“量子逻辑”一般是指从量子力学的数学结构出发,与经典命题逻辑的布尔代数结构相对比而得出的非经典的逻辑结构和逻辑系统......
在信息空缺问题的处理中三值逻辑对逻辑代数、关系数据库的影响以及SQL对三值逻辑的支持是数据库中的一个实际问题.......
自然语言的模糊性对经典二值逻辑的“排中律”提出了挑战，逻辑学家引进了三值逻辑，即在二值逻辑的基础上引入第三值——不定值。但三......
提出了由三元运算（＋，＊，Ｒ）和三元真值（１，０，－１）构成的三元逻辑系统和据此建立三元科学的思想。采用以三阶方阵（二阶张量）描写三元相互作用为特征的三元......
三值光计算机是一种全新概念的光电混合型计算机,它将光强度与偏振方向结合起来表示三值信息,具有光运算、光传送、电控制和光电混......
随着微电子技术的高速发展,人们对电子产品的强大需求使得现代集成电路系统的规模和复杂度日益提高。在系统芯片(SOC)设计中,可以......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
本文通过引入逻辑代数的任意元,给出了对称三值逻辑方程的通用解法,并对三值逻辑方程进行了分类,得出了具有不同通解的各类方程的......
<正> 现代杰出的逻辑学家吴卡西维茨(Jan·tukasiewicz 1878—1956),是位向古典逻辑挑战的非亚里士多德主义者。早在1910年,他就想......
Kleene三值逻辑的蕴含词"→"和开放世界假定的否定词"﹁"构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,......
本文试图提出与论证描述开放类的逻辑必须遵循的语义原则, 为建立开放类逻辑形式公理系统奠定哲学基础. 首先, 根据Hume 问题不可......
针对时下流行的关于思维规律前三律在三值逻辑中失效的观点,本文从辩证法关于普遍性与特殊性的辩证关系原理出发,认为同一律、矛盾......
