四值逻辑相关论文
多值逻辑函数结构理论包括完备性理论、函数表示理论以及单向陷门函数,其中函数系完备性之判定问题是一个基本而重要的问题,此问题......
多值逻辑是计算机科学中的一个重要分支。随着计算机科学与技术的不断进步,多值逻辑得到了前所未有的发展,其研究主要包括理论、电......
不完全信息数据库与关系数据库SQL语言的查询处理是数据库理论的两个重要研究方向,不仅具有重要的理论价值,而且具有很高的应用价......
基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张......
基于时态的次协调数据库的数据模型是用来处理以时间为推移的数据库中不完全信息和矛盾信息.本文基于这样的数据模型,首先,提出三史制......
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义......
通过对电路三要素(信号、网络和负载)理论和五值代数理论的研究,提出了四值D触发器的元件级结构设计方案.根据可逆计数器的功能特性,采......
采用自己研究出来的四值TTL门电路,设计出了四值RS触发器、D触发器和JK触发器.这些触发器可以用于构成四值时序电路,如计算机中的......
量子计算领域逐渐兴起,量子电路作为量子计算的通用描述语言,对其综合算法的研究将成为最具前景的科研课题之一。但是,学者对多值......
传统次协调数据库用来处理数据库中不完全信息和矛盾信息。但如果随着时间的推移,历史的数据无法保存并进行查询,基于这种情况,引......
基于次协调数据库的数据模型,引入多重集的概念,并对这样的次协调关系重新定义选择、投影、连接等运算来找到矛盾信息,进而根据矛......
次协调数据库的数据模型用来处理数据库中两类不确定信息,即不完全信息和不一致信息(又称矛盾信息).论文基于这样的数据模型,提出了......
量子计算以量子物理作为信息处理的理论基础,是一种新的计算模型.多值逻辑是对经典二值逻辑的扩展.为此引入多值逻辑,研究四值量子逻辑......
到目前为止,填空等试题的计算机评分方法,基本上是利用评分关键字与考生的答案匹配进行评分,评分结果并不理想。由于考生的答案多......