三值逻辑

摘要： 现有忆阻器的三值逻辑电路设计中无法级联且无法保存输入输出值,导致面积开销和功耗增加.通过对忆阻器辅助逻辑进行扩展,设计了忆阻器的三值逻辑门,具备三值逻辑的完备性.在此基础上设计实现了三值译码器和三值加法器.使用Spice仿真软件对所设计的电路进行了验证.结果表明:与已有的文献进行比较,所提出的电路面积和功耗有所减少.

摘要： 多值逻辑是布尔逻辑的一种扩展形式,在许多应用中经常会遇到关于多值逻辑的问题.文章在基于DNA折纸术求解三值逻辑与门的运算中,以DNA单链或分子信标作为输入对脚手架链进行固定,从而形成二级结构;通过反应后荧光强度和凝胶电泳2种方法结合,来判断逻辑与门的运算结果.在整个反应过程中,只需要对DNA链的序列进行相应设计,可以减少因步骤繁多、错误杂交引起的误差.此外,该模型具有操作简单、灵敏度高、易于观察的优点,为多值逻辑研究提供了一种新思路.%Multi-valued logic is the extension of Boolean logic.Multi-valued logic problem can be found in extensive applications.In this paper,in the computing process of solving the three-valued logic AND gate based on DNA origami,single-strand DNA molecule or molecular beacon was used as in-puts to fix scaffold strands,leading to the formation of secondary structure of scaffold.The results of the three-valued logic AND gate were read by means of gel electrophoresis together with comparing the intensity of fluorescence.During the reaction process,only the corresponding design of the DNA sequence is required,which can reduce the errors and the unwanted hybridization.In addition,the model has the advantages of simple operation,high sensitivity and easy observation,w hich provides a method for multi-valued logic research.

摘要： 通过对碳纳米场效应晶体管(Carbon Nanotube Field Effect Transistor,CNFET)多阈值特性和多值逻辑原理的研究,结合移位寄存器设计方法,提出基于CNFET的具有左移右移并入并出功能的三值脉冲型移位寄存器设计方案.该方案首先利用开关信号理论和CNFET特性设计三值D触发器;然后设计三值T运算电路,并实现数据选择器逻辑功能;最后,在此基础上设计基于CNFET的三值脉冲型移位寄存器.经实验验证,所设计的电路输出稳定,具有正确的逻辑功能,且与CMOS低功耗移位寄存器相比,功耗延时积(Power-Delay Product)降低76.7％.

摘要： 通过对三值静态随机存储器(Static Random Access Memory,SRAM)单元和数据比较电路结构以及碳纳米场效应晶体管(Carbon Nanotube Field Effect Transistor,CNFET)的研究,提出了基于CNFET的三值内容寻址存储器单元设计方案.首先利用CNFET阈值可调特性和开关信号理论设计三值缓冲器,采用反馈控制连接技术实现三值SRAM存储;然后结合三值SRAM单元和三值逻辑原理设计三值内容寻址存储器单元;最后实验验证,所设计的三值内容寻址存储器单元具有正确的逻辑功能,且与三态内容寻址存储器单元相比功耗延时积(Power-Delay Product,PDP)降低约83％.

摘要： The bi-valence is the basics of traditional two-value logical, that any sentence is either true or false.The three-valued logical system added a new value, which is neither true nor false.The addition of the third value leads to the failure of the classical law of the same law, the law of contradiction and the law of the middle, but it can construct a new law of contradiction and law that is still universally valid in the three-valued logic.Since there is a tautology and a contradiction in the binary logic system, But for the three-valued logic, the uncertain formula (regardless of the value of the argument takes the third value of the constant value forever) is unknown..In the process of the existence of the uncertain of the three-valued logic, it can be found that when a three-valued logic system is the expansion of the classical propositional logic system, there is no permanent uncertain.%古典逻辑的基础是二值原则, 即任何句子要么是真的要么是假的.而三值逻辑加入了一个既不是"真"也不是"假"的第三个真值.第三值的加入导致了经典的同一律、矛盾律和排中律的失效, 但是可以构造出在三值逻辑中依然普遍有效的新的矛盾律和排中律.在二值逻辑系统中的存在永真式和永假式, 但是对于三值逻辑永"不确定"式的存在是未知的.在对三值逻辑中永"不确定"式的存在性论证的过程中, 可以发现当一个三值逻辑系统是经典命题逻辑系统的扩张时, 它就不存在永"不确定"式.

摘要： 古典逻辑的基础是二值原则,即任何句子要么是真的要么是假的。而三值逻辑加入了一个既不是“真”也不是“假”的第三个真值。第三值的加入导致了经典的同一律、矛盾律和排中律的失效,但是可以构造出在三值逻辑中依然普遍有效的新的矛盾律和排中律。在二值逻辑系统中的存在永真式和永假式,但是对于三值逻辑永“不确定”式的存在是未知的。在对三值逻辑中永“不确定”式的存在性论证的过程中,可以发现当一个三值逻辑系统是经典命题逻辑系统的扩张时,它就不存在永“不确定”式。

摘要： 通过对碳纳米管场效应晶体管(Carbon Nanotube Field Effect Transistor,CNFET)和物理不可克隆函(Physical Unclonable Functions,PUF)电路的研究,提出一种高性能三值SRAM-PUF电路结构.该电路结构首先利用交叉耦合三值反相器产生随机电流,并对其电流进行失配分析;然后结合三值SRAM单元的电流竞争得到随机的、不可克隆的三值输出信号"0"、"1"和"2".在 32nm CNFET 标准模型库下,采用HSPICE对所设计的三值SRAM-PUF电路进行Monte Carlo仿真,分析其随机性、唯一性等性能.模拟结果表明所设计的三值SRAM-PUF电路归一化随机性偏差和唯一性偏差均为0.03%,且与传统二值CMOS设计的PUF电路相比工作速度提高33%,激励响应对数量为原来的(1.5)n倍.%By researching the Carbon Nanotube Field Effect Transistor(CNFET) and the Physical Unclonable Functions(PUF) circuit,a structure of high-performance ternary SRAM-PUF circuit is proposed.In this circuit structure,the cross-coupling ternary inverters generate random current,which is analyzed according to the mismatch feature.After competing the random current of ternary SRAM,it produces three-valued signal,such as "0","1" and "2".Under Stanford University 32nm CNFET standard model,HSPICE is used for Monte Carlo simulation to analysis the randomness,uniqueness and other features.And simulation results show that the randomness variation and uniqueness can be achieved at 0.03% after normalization.Comparing with conventional binary CMOS PUF circuit,the proposed circuit improves the speed by 33%,and increases the number of challenge-response by(1.5)n times.

摘要： 数据库分别采用空值和重复元组模拟现实世界中的不完全信息和重复实体.现有的数据库大多允许返回多重集合作为查询结果,却仍采用传统集合关系基础上拓展的数据模型处理空值,这给数据库带来安全隐患.为了形式化地描述空值在多重集合关系中的行为,基于空值的Unknown解释,本文提出新的逻辑联结词ψ,对Kleene三值逻辑系统进行扩充,在空值环境下重新定义多重集合关系并扩充了标准多重集合关系代数.此外,还证明了代数运算满足的性质,如:结合律、分配律,这对查询优化有着重要意义.扩充后的标准多重集合关系代数可以用来作为处理数据库空值的抽象查询语言.%Databases use Null value and duplicate tuples to simulate incomplete information and duplicate entities in real world respectively. Multi-set is allowed to be query's result in most of existing database, however, these databases still use data models based on traditional set relations to handle Null values, and that would bring hidden danger to database security. In order to for-mally describe Null value' s behavior in multi-set relations, the paper extends Kleene' s three-valued logic system by adding a new logical connective ψ based on Null' s Unknown interpretation, redefines the multi-set relation data model, and extends the standard relational algebra with Null. What' s more, this paper gives the demonstration analysis of the algebra satisfying properties such as associate law and distributive law, and this makes sense to the query optimization. The extended standard multi-set alge-bra can be used to handle Null value in database as an abstract query language.

摘要： “明天将有海战”这样的“未来偶然命题”在现在是否具有真值？为了坚持非决定论,卢卡西维茨三值逻辑对这样的命题指派非真非假的第三值“可能的”,这种处理方式是新颖的,但也带来了问题:不仅导致矛盾律和排中律的不成立,还显示悖论性公式不再是矛盾的.当然,多值逻辑有多方面的应用,但就解释“未来偶然命题”,进而处理与之有关的推理而言,并不成功.普赖尔的奥卡姆主义时态逻辑采用了时间向未来分支的处理方式,对“未来偶然命题”指派相对于分支的真值,这既坚持了非决定论又消除了第三值;此外,它把“未来偶然命题”与模态组合起来,与常识和自然语言相符.尽管分支时间的本体论地位存在争议,但从逻辑的观点看,是一种较好的处理“未来偶然命题”真理论的方案.

摘要： 3值逻辑Sheffer函数研究是多值逻辑重要的基础理论之一。通过给出严格的相互可定义性，54个3值2元S型函数可分为相互定义的10个组，并且可分为3种类型：117型、135型和333型。其中，117型6个，135型36个，333型12个。通过严格的定义可以证明：只有333型中的6个不是Sheffer函数，其余48个均为Sheffer函数。在此基础上，可以进一步发现并证明大量的其他类Ci 型和类Di型Sheffer函数。

摘要： 多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点.针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,然后在扩展后的模型上给出了检测不确定状态真值的方法,最后给出了基于扩展不完全Kripke结构的三值逻辑模型检测算法.该算法与已有的三值逻辑模型检测算法相比,降低了算法复杂度,完善了对于不确定或不一致信息的处理,从而增强了三值逻辑模型检测的实用性.

摘要： 三值逻辑光学运算器结构设计的随意性给硬件实现带来了诸多困难,阻碍了三值光计算机的研制进程,而注重于物理实现的降值设计理论以及相应的降值设计规范从理论上彻底地解决了这个问题,它使得三值逻辑光学运算器的结构设计规范化和程式化。但是,依据降值设计规范设计出的三值逻辑光学运算器在结构上存在着进一步化简的可能,这可通过合并运算基元来实现。本文通过一个设计实例证实了这种可能性,并对相应的结构化简方法做初步的探讨。

摘要： 本文构建了基于数字信号处理器DSP和三值逻辑SPWM调制技术的全数字三相电流型PWM高功率因数整流器；给出了该系统的控制方法及硬件组成，仿真结果和实验结果表明该系统具有系统组成简单，运行特性好，可靠性高，成本低，开发周期短等特点。

摘要： 本文详细讨论了多值逻辑的发展、SQL语言处理空值存在的问题,以及三值逻辑谓词演算系统MF的应用,该系统是一种比较适合SQL语言语义的三值谓词逻辑系统.

摘要： 不完全信息数据库是数据库理论的一个重要研究方向.现实世界中不完全信息是普遍存在的.数据库是对客观世界的模拟,必须考虑不完全信息的处理.关系数据库中一般采用空值来表示不完全信息,由于空值的存在,比较运算和逻辑运算的结果可能为真(T)、假(F)和未知(U)三个值,经典的以二值逻辑为基础的关系数据库理论难以适应这种情况.为适应不完全信息的处理,基于二值逻辑的关系演算必须扩充.本文在三值谓词演算系统MFM的基础上,提出了一种表达能力较强的三值元组关系演算MFMTRC和三值域关系演算MFMDRC.

摘要： 本文致力于研究定义在满足开放世界预设的可能世界集合上的命题和逻辑结构.在文献[7]的基础上,本文发展出一种基于开放世界预设的3-值语句逻辑系统(简称SLO);给出SLO的语义理论,它的特征是:当一个语句为假时,它的否定的真值不确定;并构造相应的形式公理系统,证明该形式系统具有一致性,有效性和完全性.

摘要： 本文致力于研究定义在满足开放世界预设的可能世界集合上的命题和逻辑结构.在文献[7]的基础上,本文发展出一种基于开放世界预设的3-值语句逻辑系统(简称SLO);给出SLO的语义理论,它的特征是:当一个语句为假时,它的否定的真值不确定;并构造相应的形式公理系统,证明该形式系统具有一致性,有效性和完全性.

摘要： 本文致力于研究定义在满足开放世界预设的可能世界集合上的命题和逻辑结构.在文献[7]的基础上,本文发展出一种基于开放世界预设的3-值语句逻辑系统(简称SLO);给出SLO的语义理论,它的特征是:当一个语句为假时,它的否定的真值不确定;并构造相应的形式公理系统,证明该形式系统具有一致性,有效性和完全性.

摘要： 本文致力于研究定义在满足开放世界预设的可能世界集合上的命题和逻辑结构.在文献[7]的基础上,本文发展出一种基于开放世界预设的3-值语句逻辑系统(简称SLO);给出SLO的语义理论,它的特征是:当一个语句为假时,它的否定的真值不确定;并构造相应的形式公理系统,证明该形式系统具有一致性,有效性和完全性.

摘要： 本文致力于研究定义在满足开放世界预设的可能世界集合上的命题和逻辑结构.在文献[7]的基础上,本文发展出一种基于开放世界预设的3-值语句逻辑系统(简称SLO);给出SLO的语义理论,它的特征是:当一个语句为假时,它的否定的真值不确定;并构造相应的形式公理系统,证明该形式系统具有一致性,有效性和完全性.

摘要： 本发明公开了一种三位可逆三值-二值转换电路。本发明使用三值可逆逻辑门和二值可逆逻辑门构造出可逆三值-二值转换器（TBC）和可逆逻辑减一转换器（MC），并在此基础上将上述可逆逻辑部件级联，构造出基于可逆逻辑的三位三值-二值转换器。本发明是一种基于可逆逻辑的三位三值-二值转换器，在完成三值-二值逻辑转换的同时，避免了系统中因逻辑信息位的丢失产生的能量损耗，减少了系统能耗。

摘要： 本发明公开了一种三位可逆三值-二值转换电路。本发明使用三值可逆逻辑门和二值可逆逻辑门构造出可逆三值-二值转换器（TBC）和可逆逻辑减一转换器（MC），并在此基础上将上述可逆逻辑部件级联，构造出基于可逆逻辑的三位三值-二值转换器。本发明是一种基于可逆逻辑的三位三值-二值转换器，在完成三值-二值逻辑转换的同时，避免了系统中因逻辑信息位的丢失产生的能量损耗，减少了系统能耗。

摘要： 本发明公开了一种基于忆阻器的三值单变量上旋逻辑和下旋逻辑电路。所述基于忆阻器的三值单变量上旋逻辑电路由第一忆阻器M1、第二忆阻器M2、第一NMOS管T1和第二NMOS管T2所构成；所述基于忆阻器的三值单变量下旋逻辑电路由第三忆阻器M3、第四忆阻器M4、第五忆阻器M5、第三NMOS管T3、第四NMOS管T4和第五NMOS管T5所构成。本发明中的基于忆阻器的三值单变量上旋和下旋逻辑电路，电路模型结构清晰简单、易于实现，对多值数字逻辑电路设计等诸多领域中的应用研究具有重要意义。

摘要： 本发明提供一种能够指定不会降低测试的检出能力的未定值位、并在短时间内决定该未定值位的逻辑值的逻辑值决定方法及逻辑值决定程序。对组合电路(11)的相对应的外部输入线与外部输出线之间的相异逻辑值的总数进行调整的未定值位的逻辑值决定方法，包括第一逻辑值决定作业、第二逻辑值决定作业和第三逻辑值决定作业，所述第一逻辑值决定作业，在外部输出线为逻辑值而外部输入线为未定值的情况下，将未定值位的逻辑值设定为外部输出线的逻辑值；所述第二逻辑值决定作业，在外部输出线为未定值而外部输入线为逻辑值的情况下，通过合理化操作得到未定值位的逻辑值；所述第三逻辑值决定作业，在外部输入线及外部输出线为未定值的情况下，计算外部输出线取逻辑值0的概率和取逻辑值1的概率，基于其概率差来决定外部输入线的未定值位的逻辑值；所述逻辑值决定方法重复第三逻辑值决定作业，直到相异逻辑值的总数达到目标值。

摘要： 本发明公开了一种基于忆阻器的平衡三值单变量逻辑电路，包含18种单变量逻辑电路。其中，F4、F9输出电路均只由一个忆阻器和一个NMOS管所构成；F5、F10、F13、F18、F23、F26输出电路均由两个忆阻器和一个NMOS管所构成；F3、F7输出电路均由两个忆阻器和两个NMOS管所构成；F2、F15输出电路均由三个忆阻器和两个NMOS管所构成；F17、F21、F24电路均由三个忆阻器和三个NMOS管所构成；F11、F12输出电路均由四个忆阻器和四个NMOS管所构成；F8输出电路由五个忆阻器和五个NMOS管所构成。本发明电路结构清晰简单、易于实现，对多值数字逻辑电路设计等诸多领域中的应用研究具有重要意义。

摘要： 本发明公开了基于忆阻器基本逻辑门的9‑2线正负三值编码器电路。本发明包括负三值9‑2线编码器和正三值9‑2线编码器，其中负三值编码器包括四个三值最小值门(TMIN)，两个标准三值反相器(STI)，两个负极性三值反相器(NTI)和两个三值与门。正三值编码器包括四个三值最大值门(TMAN)，两个标准三值反相器(STI)，两个正极性三值反相器(PTI)和两个三值或门。本发明电路模型结构清晰简单、易于实现，对多值数字逻辑电路设计等诸多领域中的应用研究具有重要意义。

摘要： 本发明提出一种三值逻辑问答咨询优化方法、系统、介质和设备，包括针对预先获取的知识库分别进行语义分析和逻辑分析，分别获取语义节点和逻辑节点；根据预先获取的询问文本计算所述逻辑节点和语义节点的三值逻辑运算值，统计语义节点的跳转概率；根据所述跳转概率和所述三值逻辑运算值计算每个节点获取确切答案的概率；根据所述每个节点获取确切答案的概率获取最优咨询问答节点；本发明可有效提高逻辑语境下自然语言处理的准确性及效率。

摘要： 本发明提供一种基于车联网的模糊逻辑和三值逻辑的车辆信誉评估方法，通过计算被评价车辆的主观信任和推荐信任，进而通过使用模糊逻辑处理信任的不确定，在设置隶属度函数过程中，分别设置了是四个层级的可信度，在隶属度函数公式设置过程中，尽最大可能的消除被评价信任的不确定性，最后合成被评价车辆的总体信任。本发明解决了主观逻辑因没考虑车辆评的估中立状态而导致信誉评估不准确的问题，同时通过引入模糊逻辑解决车辆信任概念中的不确定性问题，从而提高了基于主观逻辑信誉评估系统模型的准确性。

摘要： 本发明提供一种三值逻辑晶体管器件结构及其制备方法，该结构包括：一衬底，以提供支撑；重掺杂隧穿区；位于重掺杂隧穿区上方的埋氧层；位于埋氧层上的顶层硅膜；重掺杂隧穿区两侧的源区和漏区；位于源区、漏区和重顶层硅膜上的栅氧层以及栅极。本发明使用绝缘体上半导体结构，即在重掺杂隧穿区上方增加一层埋氧层，在实现CMOS器件三值逻辑的同时，可有效避免高浓度掺杂对沟道上方阈值电压(VT)的影响。

摘要： 本发明公开了一种基于离子栅MoS2晶体管的不平衡三值逻辑门的实现方法，利用正脉冲引起的离子栅MoS2晶体管的源漏电流值差异区分不同逻辑信号组合，实现了不平衡三值逻辑门。对于单个栅门调控，向栅极施加三个不同幅度的电压，可以测量出三个不同大小的源漏电流值，然后通过与参考电流值比较，实现了标准三值反相器、正三值反相器和负三值反相器。对于栅门和漏门组合调控，向栅极和漏极分别施加三个不同幅度的电压组合，可以测量出九个不同幅度的源漏电流值，然后通过与参考电流值比较，实现了三值与门、三值与非门、三值或门、三值或非门、三值异或门和三值异或非门逻辑。本发明为建立三值逻辑电路提供了新的见解，并有助于开发三值系统结构。