导读:本文包含了二值逻辑论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:逻辑,图像,神经网络,度量,细胞,绝缘子,表征。
二值逻辑论文文献综述
杨辉[1]（2019）在《基于忆阻器的二值逻辑与存储电路研究》一文中研究指出忆阻器是一种具有记忆特性的非线性电路元件,其具有纳米级尺寸、非易失性、阻值可变等特性,被称为“第四种基本电路元器件”。忆阻器的阻值能够在高阻态和低阻态之间转变,这种高低阻态能够用来模拟传统CMOS晶体管的开关状态,构建忆阻器逻辑电路,替代晶体管实现逻辑运算,使忆阻器在逻辑电路和信息存储等方面有着巨大的应用潜能。本文的工作具体可以分为以下四个部分:首先,本文对经典惠普忆阻器模型展开讨论,通过惠普忆阻器模型的数学表达式分析了磁通量#、电荷q和电流i这叁个变量之间的关系,通过Matlab数值仿真和SPICE电路模拟,验证了惠普忆阻器特性。接着介绍了一种更加精确的忆阻器模型—Simmons隧道结模型,但其数学式过于繁琐,于是引入电压阈值自适应忆阻器(VTEAM)模型,通过实验仿真证明了 VTEAM模型与实际忆阻器更为贴近,通用性更好。然后介绍了现有的叁种忆阻器逻辑电路,分别是MRL(Memristor Ratioed Logic)电路,MAD Gates(Memristor As Drivers Gates)逻辑电路和蕴含(IMPLY)逻辑电路。通过数学公式推论以及电路模拟,验证了每一种电路的有效性。同时,通过实验分析也发现每一种电路都有其自身相应的不足之处:MRL逻辑电路功能单一;MADGates电路以忆阻器的阻值作为电路的输入输出,在每一次操作之前需要初始化,级联特性一般;蕴含逻辑电路实现每一种逻辑功能需要的操作步骤较多,使得电路时延增大。其次,设计了一种忆阻器与CMOS混合逻辑电路,能够在同一电路中同时实现AND-OR-XOR-XNOR四种基逻辑功能。相较于MAD Gates,MRL,IMPLY逻辑电路,忆阻器数量和功耗均有大幅降低,电路性能更优,电路效率大幅提高。根据文章中提出的通用逻辑电路构建了一种新的全加电路及二值图像加密电路,相比于几种经典的忆阻逻辑,本文设计的加法电路只需要更少的元器件就能够实现同样的功能。本文设计的二值图像加密电路能够用两种不同的加密方式实现图像加密,密钥与电路相互独立,提高了加密结果的可靠性。最后,根据忆阻器的非易失特性和阻值可变特性,我们构建了一种基于忆阻器的即时存储结构。通过电路实验仿真,证明了不论存储器处于何种状态,该电路都能够即时对信息进行有效的存储,在此基础之上构建了大规模的存储阵列,使得信息可以被即时存储,长期保存。(本文来源于《西南大学》期刊2019-03-15）
杨晓岗[2]（2018）在《译学研究中的模糊逻辑与二值逻辑的关系处置》一文中研究指出翻译的理解与表达是贯穿精确逻辑与模糊逻辑的思维整体运作过程。由于英汉语言间结构和文化的差异,在对源文本翻译中所做出的量与质的判断,既不能仅采用"非此即彼"的二值判断标准,也不能一味坚持"亦此亦彼"的多值判断原则,而是在系统思维模式中做到二者相辅相成,共同使作品翻译达到"信、达、雅"的效果。(本文来源于《疯狂英语(理论版)》期刊2018年04期）
李硕,魏小亭,李国东[3]（2018）在《二值图像逻辑或运算CNN模板的鲁棒性设计》一文中研究指出当前对二值图像进行逻辑或运算的算法较少,本文对一种能实现二值图像逻辑或运算的细胞神经网络(cellular neural networks)模板进行研究,提出了一种新算法。通过设定二值图像逻辑或运算法则,并分析LOGOR CNN模板的鲁棒性,提出了一个定理,最后进行了严格的数学证明。只要实际使用的模板参数符合定理中给出的参数范围,CNN就能实现对二值图像的逻辑或运算。实验仿真证明了LOGOR CNN在实际应用中的有用性及鲁棒性设计定理的正确性。(本文来源于《科技通报》期刊2018年03期）
田茂[4]（2018）在《论二值原则——部分逻辑悖论产生的根源》一文中研究指出通过对叁值逻辑方案遭遇强化型说谎者悖论反击而导致解悖失败的案例分析表明,只要是研究演绎推理及其规律的逻辑系统,包括所有严谨合理的经典与数理的以及那些扩展的和异常的逻辑系统都要遵守的一个基本规则,那就是强化型二值原则。金岳霖先生说:"二值原则不过是对命题的值引用二分法的结果"。因此,同一律和二分法是比二值原则还要更基本的逻辑设定。依据分离公理和戴德金分割,可以确定二分法的操作步骤。在对二分法操作步骤的逻辑分析中,如果按照"逻辑必然的实质就是穷尽可能"的要求,会发现通过母项内部的一个分界点来划分,并不能百分之百地确保得到的都是真正的二分。在两种特殊情况下,两个子项之间会出现一个遗漏元素或一个重迭元素,使二子项的关系成为上反对关系或下反对关系,而不是矛盾关系,这样就导致了二值原则普适性的失效。将这个发现应用到对理发师悖论的分析中,就明白理发师正是那一个重迭元素。更深入的考察,还会发现只要具有统一特征"矛盾等价式"的逻辑悖论,其结构就与理发师悖论相同。这些悖论的统一特征恰恰就是那一个重迭元素的特征,从而给出了说谎者悖论、集合悖论、格雷林悖论、理查德悖论等同一类型逻辑悖论产生根源的一个合理解释。(本文来源于《逻辑学研究》期刊2018年01期）
梁梦霞,郭斯羽,刘敏,凌志刚,温和[5]（2017）在《二值图像截断四叉树编码及快速逻辑运算方法》一文中研究指出提出了二值图像的截断四叉树结构,限定四叉树展开到指定的小图像块而非单像素水平;二值图像主体结构通过较少的树节点表示,而非单色小图像块则利用原始图像像素表达。通过四叉树和小图像块的结合,使得截断四叉树表达的总空间效率高于完全四叉树和原始二值图像。按深度优先的方式遍历截断四叉树,并分别对四叉树节点和小图像块的原始像素进行编码以获得基于截断四叉树的二值图像编码。给出了用于截断四叉树编码的逻辑运算方法。在实际图像上的实验表明,选择适当的截断层数,可以使截断四叉树编码的空间开销降到原始二值图像的1/10~1/3,而逻辑运算的运行时间则普遍降到了逐像素逻辑运算的1/5以下。所提方法适用于二值图像待进行的逻辑运算次数远大于编解码次数的应用场合。(本文来源于《电子测量与仪器学报》期刊2017年11期）
李硕,魏小亭,李国东[6]（2016）在《二值图像逻辑与运算CNN模板的稳定性设计》一文中研究指出结合细胞神经网络(Cellular Neural Networks)理论,提出了一类能快速实现二值图像逻辑与运算的模板。对模板稳定性的数学分析表明,只要模板参数符合文中定理的要求,CNN就能够对两幅二值图像进行与运算。实验仿真证明了LOGAND CNN在实际应用中的有效性及稳定性设计定理的正确性。(本文来源于《四川理工学院学报(自然科学版)》期刊2016年04期）
李骏,蒙頔[7]（2016）在《二值命题逻辑中公式列的收敛性》一文中研究指出在二值命题逻辑系统中给出公式列按真度收敛的定义,研究公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出叁种收敛各自的充分必要条件,在公式列是有限原子的条件下证明公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的.(本文来源于《兰州理工大学学报》期刊2016年04期）
郭斯羽,周卫方,温和,梁梦霞[8]（2016）在《利用四叉树编码的快速二值图像逻辑运算方法》一文中研究指出提出了一种快速的二值图像逻辑运算方法。二值图像被转换为四叉树,然后对四叉树进行深度优先遍历,根据遍历顺序将每个四叉树节点编码,避免树结构中指针带来的额外开销。在四叉树编码上给出了二值图像常用逻辑运算的等价操作。在自然场景实验图像集上,所提方法的速度比逐像素逻辑运算快5倍,比基于二值图像块表示和插值二分树表示的方法分别快3个和5个数量级;在叶片中轴检测应用中,利用所提方法的检测速度比利用逐像素运算的检测速度快3倍。所提出的方法适用于二值图像已被表达为四叉树或四叉树编码的情况,以及所需逻辑运算次数远大于表达形式转换次数的情况。(本文来源于《电子测量与仪器学报》期刊2016年06期）
黄俊奇[9]（2015）在《基于拓扑二值逻辑的电工实验台短路故障定位方法》一文中研究指出针对电工实验台在高校教学过程中发生短路故障后很难快速、准确找到故障位置的问题,通过分析实验系统中短路电流的流向以及电路结构的特点,提出了一种基于拓扑二值逻辑的电工实验台短路故障定位方法。该方法能够很好地解决传统故障定位方法故障定位不准确的问题,并可在复杂拓扑结构电路中实现快速故障定位。实验结果表明,该故障定位方法电路结构简单,故障定位快速准确,且定位过程不易受外界环境干扰,具有较好的实际效果。(本文来源于《上海第二工业大学学报》期刊2015年03期）
王立福,张振泉,李耀中,庄文兵,郑子梁[10]（2015）在《基于二值逻辑的复合绝缘子状态判别策略研究》一文中研究指出复合绝缘子是架空输电线路上广泛使用的设备,它的老化会给电力系统的正常运行带来威胁。电力相关工作人员需要一种能够对复合绝缘子的运行状态进行判别的方法,帮助他们确定复合绝缘子是否满足运行要求,而对复合绝缘子的定性表征就成为一种优选的表征策略。将运行后的复合绝缘子分成"满足运行要求"和"不满足运行要求",使用二值逻辑回归模型,选取合适的特征量,建立了复合绝缘子状态表征体系。(本文来源于《环境技术》期刊2015年02期）
二值逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
翻译的理解与表达是贯穿精确逻辑与模糊逻辑的思维整体运作过程。由于英汉语言间结构和文化的差异,在对源文本翻译中所做出的量与质的判断,既不能仅采用"非此即彼"的二值判断标准,也不能一味坚持"亦此亦彼"的多值判断原则,而是在系统思维模式中做到二者相辅相成,共同使作品翻译达到"信、达、雅"的效果。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
二值逻辑论文参考文献
[1].杨辉.基于忆阻器的二值逻辑与存储电路研究[D].西南大学.2019
[2].杨晓岗.译学研究中的模糊逻辑与二值逻辑的关系处置[J].疯狂英语(理论版).2018
[3].李硕,魏小亭,李国东.二值图像逻辑或运算CNN模板的鲁棒性设计[J].科技通报.2018
[4].田茂.论二值原则——部分逻辑悖论产生的根源[J].逻辑学研究.2018
[5].梁梦霞,郭斯羽,刘敏,凌志刚,温和.二值图像截断四叉树编码及快速逻辑运算方法[J].电子测量与仪器学报.2017
[6].李硕,魏小亭,李国东.二值图像逻辑与运算CNN模板的稳定性设计[J].四川理工学院学报(自然科学版).2016
[7].李骏,蒙頔.二值命题逻辑中公式列的收敛性[J].兰州理工大学学报.2016
[8].郭斯羽,周卫方,温和,梁梦霞.利用四叉树编码的快速二值图像逻辑运算方法[J].电子测量与仪器学报.2016
[9].黄俊奇.基于拓扑二值逻辑的电工实验台短路故障定位方法[J].上海第二工业大学学报.2015
[10].王立福,张振泉,李耀中,庄文兵,郑子梁.基于二值逻辑的复合绝缘子状态判别策略研究[J].环境技术.2015
论文知识图
