四值逻辑相关论文
多值逻辑函数结构理论包括完备性理论、函数表示理论以及单向陷门函数,其中函数系完备性之判定问题是一个基本而重要的问题,此问题......
多值逻辑是计算机科学中的一个重要分支。随着计算机科学与技术的不断进步,多值逻辑得到了前所未有的发展,其研究主要包括理论、电......
不完全信息数据库与关系数据库SQL语言的查询处理是数据库理论的两个重要研究方向,不仅具有重要的理论价值,而且具有很高的应用价......
本文对部分四值逻辑中3元正则可离关系的分类进行了研究。文章在固定BT算法模型下证明了几个图论问题的指数下界，探讨了其基本定义，......
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义......
该文分析二值触发器的基础上，根据四值逻辑代数系统，提出具有四轨输出的四值主从ＪＫ触发器，经计算机模拟和通过测试由ＴＴＬ门组成的实验电路表......
缺省逻辑适于对协调的知识进行表示和推理：前提中的矛盾导致平凡扩张而缺省规则中的冲突导致扩张不存在。为了保证扩张存在性，一种做......
标准缺省逻辑是一种重要的常识表示和推理工具，但是由于它以经典逻辑为底层推理方法，而且要求验证和最终的缺省结论必须协调，因此在标......
四值逻辑在计算机科学和人工智能中有着重要的应用价值。然而，四值逻辑的应用受到了其不够直观的语义的限制。在本文中，我们将致力于......
本文利用四值逻辑讨论了触发器的逻辑功能,并讨论四值逻辑在脉冲异步时序逻辑网络分析和设计中的应用。这种分析和设计方法也适用......
为了处理以时间为推移的数据库中不完全信息和矛盾信息，学术界提出了基于时态的次协调数据库的数据模型。本文基于此模型，初步讨论并......
利用正交域的四值逻辑函数，提出一种新的级数：正交四值函数级数。这种级数具有优良的性能，在截断误差的计算上优于沃尔什函数和方块脉......
本文将Searle运算推广到四值系统中,定义了四值Searle运算,导出了一系列四值Seale运算的公式,最后讨论了四值Searle运算的逻辑网络......
基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张......
本文在文献[1]讨论四值逻辑矢量表示法的基础上,进一步提出了四值逻辑的积—和标准型、矩阵表示,简化方法及时序逻辑电路的设计方......
采用时钟覆盖法设计异步时序电路，能够获得最佳的时钟方程，本文主要讨论选用以模代数为系统的四值JK触发器，采用时钟覆盖法设计四值异......
基于时态的次协调数据库的数据模型是用来处理以时间为推移的数据库中不完全信息和矛盾信息．本文基于这样的数据模型，首先，提出三史制......
本文讨论了四值逻辑代数和T运算,指出四值模代数运算不是完备系。文中给出了四值D,T,JK以及全功能触发器的逻辑设计及性能。......
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义......
针对用图形化简多变量的多值逻辑函数时遇到的困难，提出了三维Ｋ图的概念，利用三维Ｋ图，并采用适当的排列方式和规则，可对三、四变量的四值......
本文采用DYL电路的基本逻辑单元实现了四值Searle运算器,给出了四值Searle四种运算及的逻辑设计公式及逻辑网络,为四值Searle运算......
从四值逻辑变量的基本定义出发,推出了触发器的转换方程和激励方程.利用四值逻辑描述触发器的状态转换行为,生动地反映了电路的动......
通过对电路三要素（信号、网络和负载）理论和五值代数理论的研究，提出了四值D触发器的元件级结构设计方案．根据可逆计数器的功能特性，采......
采用自己研究出来的四值TTL门电路,设计出了四值RS触发器、D触发器和JK触发器.这些触发器可以用于构成四值时序电路,如计算机中的......
在含有不完全信息的数据库环境下，为了保证用户能够根据一般条件表达式得到不同确定程度的查询结果，以空值两种语义下的四值逻辑作为......
本文讨论二维目标的四分形结构.提出四分形阶的概念,直接编码包含在目标中的更高阶四分形.给出四分形的几种算符(■∩,#),使得目标......
摘要：本文从语义学与证明论的角度研究了时态德摩根代数所对应的逻辑DMt。一方面，基于时态德摩根代数的表示定理，本文给出了时态德摩......
应用四值逻辑技术讨论异步计数器的分析和设计,给出异步计数器分析和设计的一种方法.这种方法也适用于同步计数器的分析和设计.从......
本文应用限幅电压开关理论设计了两种订从型ｎＭＯＳ...
传统次协调数据库用来处理数据库中不完全信息和矛盾信息。但如果随着时间的推移,历史的数据无法保存并进行查询,基于这种情况,引......
利用多值逻辑和正交函数理论，提出一种新的正交函数－正交四值函数，并作了严格的定义及前８个正交四值函数的图形，指出这种函数可以展开成......
基于次协调数据库的数据模型,引入多重集的概念,并对这样的次协调关系重新定义选择、投影、连接等运算来找到矛盾信息,进而根据矛......
次协调数据库的数据模型用来处理数据库中两类不确定信息,即不完全信息和不一致信息（又称矛盾信息）.论文基于这样的数据模型,提出了......
采用定义在汉字图像平面上的四值逻辑函数对汉字图像特征进行定量描述，建立汉字图像特征的逻辑表达式。通过求解这些表达式的值，即可......
在文献［１，２］的基础上，讨论了四值逻辑的代数化简方法．根据二值逻辑卡诺图的构成特点，提出四值逻辑函数的Ｋ图及图形化简方法，详细地探讨了Ｋ图的......
本文应用限幅电压开关理论设计了两种主从型nMOS四值触发器。这砦触发器具有双端预置能力和双轨互补输出。通过采用JKLM型触发器对......
量子计算以量子物理作为信息处理的理论基础，是一种新的计算模型．多值逻辑是对经典二值逻辑的扩展．为此引入多值逻辑，研究四值量子逻辑......
到目前为止,填空等试题的计算机评分方法,基本上是利用评分关键字与考生的答案匹配进行评分,评分结果并不理想。由于考生的答案多......
