导读:本文包含了多值逻辑论文开题报告文献综述、选题提纲参考文献，主要关键词:逻辑,量子,模糊,网络,理论,逻辑学,位移。
多值逻辑论文文献综述写法
符繁强[1]（2019）在《一类多值逻辑动态系统的最优控制问题》一文中研究指出多值逻辑网络作为布尔网络的一种自然推广,它能更好的刻画细胞内基因之间相互动态行为,同时它在计算机科学领域、人工智能、博弈论及复杂的神经网络中也有着广泛的应用.因此,对多值逻辑网络的研究受到了国内外学者的关注.本文主要研究多值逻辑动态网络系统的最优控制问题,通过运用矩阵的半张量积方法,将多值逻辑动态系统和收益函数表示为代数形式,进而给出求解此最优控制问题的动态规划方法.多值逻辑在博弈决策中有广泛的应用,对博弈双方,若一方的决策固定且已知,则博弈问题就可以转化为最优控制问题.本文主要研究人机博弈问题,假设机器的策略固定且已知,考虑人的收益最大化的策略这一最优控制问题.论文应用矩阵半张量积这一工具,研究了选择策略类型相同的一对一和多对多博弈,以及各个对手可选择的策略类型不同的博弈,这叁种情形下收益函数的代数表达式;进而,研究其相应的最优控制问题的求解方法.通过引入值函数和证明最优性原理,建立了矩阵半张量积下的多值网络的动态规划算法;最后,针对一人一机、多人多机和混合值动态逻辑的最优控制问题,应用所给出的算法计算了几个实例.本论文的创新点在于:多值逻辑网络的演化过程是用网络中各节点根据其更新规则来刻画,一般很难用逻辑表达式来刻画;在演化博弈的过程中,博弈双方的收益也是通过收益矩阵来描述的,也难写出收益函数的表达式;但引入逻辑变量的半张量积表达以后,我们很容易导出演化方程和收益函数的代数表达式,从而建立了求解这一类问题的动态规划方法.(本文来源于《贵州民族大学》期刊2019-06-08）
张高曼[2]（2019）在《基于多值逻辑系统的量子电路综合的研究与实现》一文中研究指出量子计算领域逐渐兴起,量子电路作为量子计算的通用描述语言,对其综合算法的研究将成为最具前景的科研课题之一。但是,学者对多值逻辑系统的量子电路性质和通用综合算法的研究还处在初级阶段。目前,很多现有的量子电路综合算法存在适用电路规模较小、电路量子代价过高等诸多问题,即不能满足量子计算及相关领域对量子电路的需求,算法仍有很大的改进空间。理论上,基于多值逻辑系统的量子计算在提升计算性能方面有显着优势。因此,系统而深入地研究多值逻辑系统电路的合成及优化技术,寻找更为高效的电路综合算法成为亟待解决的技术难题。在本文中,对多值逻辑系统量子逻辑门的数学原理、电路性质及电路通用综合算法等相关内容进行了探讨。主要研究工作和成果包括:1、二值量子桶型位移器的综合数据位移是计算机数据处理中最常见的操作之一。一种具有N个输入端和M个控制位的位移装置,称为(N,M)位移器。它有一组控制输入端,指定如何在输入端和输出端之间进行数据移位。本文利用分治思想,基于置换群分解和电路级联规则提出了桶型位移器合成新方法。以左循环移位为基本位移类型,该方法只需(3,1)位移器和受控交换门,就能以较低的量子代价将其快速综合成任意最优(n,1)受控位移器。通过级联m层最优(n,1)位移器,可得到任意最优(n,m)桶型位移器。通过分析电路复杂度得,该方法不仅可以快速设计出最优(n,m)桶型位移器电路,而且有效地减少量子门数和电路量子代价,极大提高综合算法的效率。此外,位移运算涉及多种位移类型,基于其他常见位移类型的桶型位移器设计方法也已给出。2、基于NCV-|v1>门库的四值逻辑量子电路综合为更好地构造量子电路,学者们基于不同的物理实现方法提出了多种量子门库。目前,基于二值逻辑电路综合的学术成果颇多,而对多值逻辑的量子电路综合技术的研究还处在初级阶段。本文利用Zahra Sasanian提出的NCV-|v1>门库,以NOT、V、V+基本门功能作为切入点,用四值逻辑思想构造基本门。分析得出对应酉矩阵,从理论上证明了 NCV-|v1>门库的可行性,并从多角度和二值逻辑系统NCV门库进行比较分析。实验结果表明,基于四值逻辑的NCV-|v>门库相对于基于二值逻辑的NCV门库在优化大型电路时,量子电路代价明显减少,充分体现出NCV-|v1|>门库优势。该方法将量子代价作为量子电路评价标准,在综合全部最优3量子电路时,电路平均量子代价比文献[48]减少了 0.33倍。(本文来源于《扬州大学》期刊2019-04-01）
袁申,魏杰林,李永明[3]（2019）在《具有多值决策过程的广义可能性计算树逻辑模型检测》一文中研究指出模型检测是一种自动验证软硬件系统行为的有效技术。为了对包含非确定性信息、不一致信息的并发系统进行形式化验证,在可能性理论、多值逻辑的基础上,研究了具有多值决策过程的广义可能性多值计算树逻辑模型检测算法,及其在检验非确定性系统中的具体应用。首先构造了多值决策过程作为系统模型,用多值计算树逻辑描述系统属性。然后给出具有多值决策过程的广义可能性多值计算树逻辑的模型检测算法,该算法将模型检测的具体问题转换为多项式时间内的模糊矩阵运算。最后就包含非确定性选择的多值系统的模型检测问题,给出一个具体的应用实例。(本文来源于《计算机工程与科学》期刊2019年01期）
赵彬,于鹏[4]（2018）在《多值逻辑中基于Camberra模糊距离的计量化方法》一文中研究指出本文以模糊集间的Camberra距离为工具,给出了多值Lukasiewicz逻辑系统中公式间的Camberra-距离,Camberra-相似度与Camberra-真度的概念,讨论了Camberra-相似度与Camberra-真度的性质,证明了每一个公式φ的Camberra-真度都等于一些互不相容的公式的Camberra-真度之和.然后以Camberra-真度为依托,研究了Lukasiewicz逻辑度量空间的一些性质,证明了叁值Lukasiewicz逻辑度量空间没有孤立点,以及每一个球形领域都是不相容理论等结论.为在公式集F(S)上展开程度化推理提供了一种新的方法.(本文来源于《电子学报》期刊2018年10期）
邰瑜,慕德俊,胡伟,毛保磊,郭蓝天[5]（2017）在《基于门级信息流分析的多值逻辑形式化方法研究》一文中研究指出硬件系统设计规模的增大使得测试和验证覆盖率难以保证,所隐含的安全漏洞容易导致敏感信息泄露。门级信息流分析方法能够实现对硬件中全部逻辑信息流精确度量,防止有害信息流所引发的信息泄露。现有的工作主要研究布尔逻辑系统下门级信息流分析的基本理论、生成算法、跟踪逻辑形式化及检测验证等问题。然而,在硬件系统的设计和验证中通常需要采用多值逻辑描述电路的逻辑状态,基于门级信息流分析方法,采用构造方法生成系统的信息流模型,研究多值逻辑标签传播问题,分别构建针对四值逻辑和九值逻辑的标签传播规则集,对门级信息流跟踪逻辑进行形式化描述,通过分析多值逻辑传播规则的逻辑特性对基本门信息流跟踪逻辑进行扩展。(本文来源于《西北工业大学学报》期刊2017年05期）
林其芃,李力南,张锋[6]（2017）在《一种基于多值RRAM的快速逻辑电路》一文中研究指出针对移动物联网设备,提出一种基于多值RRAM的快速逻辑电路,以实现非易失性存储与快速逻辑运算。利用RRAM多值存储特性,采用Crossbar结构,实现了简单快速的译码器与高存储密度查找表,使逻辑电路具有较快的运算速度和较小的面积。基于该结构实现了4位、8位和16位的乘法器,其外围电路采用SMIC 65 nm CMOS工艺实现,而其核心多值RRAM则采用Verilog-A模型模拟。仿真结果表明,与传统CMOS逻辑电路相比,基于多值RRAM的16位乘法器的速度提高了35.7%,面积减少了14%。(本文来源于《微电子学》期刊2017年04期）
宋平平[7]（2017）在《多值逻辑网络的输出跟踪牵制控制设计及应用》一文中研究指出多值逻辑网络广泛地存在于基因调控,多值逻辑电路设计,网络演化博弈,模糊控制,图着色以及有限自动机等研究领域.由于多值逻辑网络模型结构简单,可用于较大型系统的建模,对于该模型的研究引起了国内外很多学者的浓厚兴趣.作为多值逻辑网络系统理论体系中一个非常重要的课题,多值逻辑网络的控制不仅具有重要的理论意义,而且对于基因调控,电路设计以及博弈演化等实际问题具有关键的指导意义.本文主要利用矩阵半张量积方法,研究了多值逻辑控制网络的输出跟踪牵制控制问题.主要包括以下六章:第一章主要介绍了多值逻辑控制网络的输出跟踪牵制控制问题的研究现状.第二章给出了一些本文中的常用符号及预备知识.第叁章给出了带牵制控制的多值逻辑控制网络的代数表示及问题描述.第四章建立了有无状态约束条件的多值逻辑控制网络输出跟踪牵制控制器的设计方法.第五章建立了多值逻辑控制网络的鲁棒输出跟踪牵制控制器的设计方法.第六章将所得的理论结果应用于网络演化博弈的演化行为分析.(本文来源于《山东师范大学》期刊2017-04-10）
刘开第,陈湘国,许新,庞彦军[8]（2016）在《煤矿瓦斯风险评估中的多值逻辑》一文中研究指出煤矿瓦斯风险评估中因风险状态渐变连续,所以单风险隶属度是可取[0,1]区间上一切实数,可表征"部分属于"模糊状态的模糊隶属度.因此由单风险隶属度确定多风险隶属度实现的是模糊状态转换,所以支撑隶属度转换的不是二值逻辑而是多值逻辑.在多值逻辑研究中,基于"取大取小"推理的模糊逻辑不是数学逻辑,"加权平均"的模糊综合评判是"假设"不是推理.所以处理模糊信息的多值逻辑尚需深入研究.指出隶属度转换不是线性转换的原因是,单风险模糊隶属度中可能包含对确定多风险隶属度不起作用的非线性冗余值.通过确定冗余值的数学表达式建立冗余理论,用冗余理论界定模糊隶属度转换不是线性转换,并推导去冗算法实现隶属度转换.由此建立处理模糊信息的多值逻辑.(本文来源于《数学的实践与认识》期刊2016年20期）
宋平平,李海涛,杨琪琪,刘衍胜[9]（2016）在《多值逻辑网络的输出跟踪牵制控制》一文中研究指出本文利用代数状态空间方法,研究了多值逻辑控制网络的输出跟踪牵制控制.首先利用矩阵的半张量积给出了带牵制控制的多值逻辑控制网络的代数表示.其次基于该代数表示,定义了一组合适的能达集,并建立了多值逻辑控制网络输出跟踪牵制控制器的设计方法.再次,利用多值逻辑哑算子的性质,给出了多值逻辑控制网络分布式输出跟踪控制问题可解的充要条件.最后将所得的理论结果应用于网络演化博弈的演化行为分析.(本文来源于《控制理论与应用》期刊2016年09期）
周娟,李超[10]（2016）在《卢卡西维茨多值逻辑在模糊模态逻辑中的应用》一文中研究指出模态推理是人工智能研究的重要内容.已有的推理方法,由于计算复杂等原因,使用范围受到限制.将模态逻辑转换为卢卡西维茨多值逻辑,再将卢卡西维茨多值逻辑转换为布尔逻辑的推理机计算简单,而且还能用于模糊模态和模糊谓词推理中.基于此,验证了模态逻辑和卢卡西维茨的叁值逻辑的相符性,并将推理机应用于模糊模态逻辑中.(本文来源于《湖北民族学院学报(自然科学版)》期刊2016年02期）
多值逻辑论文开题报告范文
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
量子计算领域逐渐兴起,量子电路作为量子计算的通用描述语言,对其综合算法的研究将成为最具前景的科研课题之一。但是,学者对多值逻辑系统的量子电路性质和通用综合算法的研究还处在初级阶段。目前,很多现有的量子电路综合算法存在适用电路规模较小、电路量子代价过高等诸多问题,即不能满足量子计算及相关领域对量子电路的需求,算法仍有很大的改进空间。理论上,基于多值逻辑系统的量子计算在提升计算性能方面有显着优势。因此,系统而深入地研究多值逻辑系统电路的合成及优化技术,寻找更为高效的电路综合算法成为亟待解决的技术难题。在本文中,对多值逻辑系统量子逻辑门的数学原理、电路性质及电路通用综合算法等相关内容进行了探讨。主要研究工作和成果包括:1、二值量子桶型位移器的综合数据位移是计算机数据处理中最常见的操作之一。一种具有N个输入端和M个控制位的位移装置,称为(N,M)位移器。它有一组控制输入端,指定如何在输入端和输出端之间进行数据移位。本文利用分治思想,基于置换群分解和电路级联规则提出了桶型位移器合成新方法。以左循环移位为基本位移类型,该方法只需(3,1)位移器和受控交换门,就能以较低的量子代价将其快速综合成任意最优(n,1)受控位移器。通过级联m层最优(n,1)位移器,可得到任意最优(n,m)桶型位移器。通过分析电路复杂度得,该方法不仅可以快速设计出最优(n,m)桶型位移器电路,而且有效地减少量子门数和电路量子代价,极大提高综合算法的效率。此外,位移运算涉及多种位移类型,基于其他常见位移类型的桶型位移器设计方法也已给出。2、基于NCV-|v1>门库的四值逻辑量子电路综合为更好地构造量子电路,学者们基于不同的物理实现方法提出了多种量子门库。目前,基于二值逻辑电路综合的学术成果颇多,而对多值逻辑的量子电路综合技术的研究还处在初级阶段。本文利用Zahra Sasanian提出的NCV-|v1>门库,以NOT、V、V+基本门功能作为切入点,用四值逻辑思想构造基本门。分析得出对应酉矩阵,从理论上证明了 NCV-|v1>门库的可行性,并从多角度和二值逻辑系统NCV门库进行比较分析。实验结果表明,基于四值逻辑的NCV-|v>门库相对于基于二值逻辑的NCV门库在优化大型电路时,量子电路代价明显减少,充分体现出NCV-|v1|>门库优势。该方法将量子代价作为量子电路评价标准,在综合全部最优3量子电路时,电路平均量子代价比文献[48]减少了 0.33倍。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
多值逻辑论文参考文献
[1].符繁强.一类多值逻辑动态系统的最优控制问题[D].贵州民族大学.2019
[2].张高曼.基于多值逻辑系统的量子电路综合的研究与实现[D].扬州大学.2019
[3].袁申,魏杰林,李永明.具有多值决策过程的广义可能性计算树逻辑模型检测[J].计算机工程与科学.2019
[4].赵彬,于鹏.多值逻辑中基于Camberra模糊距离的计量化方法[J].电子学报.2018
[5].邰瑜,慕德俊,胡伟,毛保磊,郭蓝天.基于门级信息流分析的多值逻辑形式化方法研究[J].西北工业大学学报.2017
[6].林其芃,李力南,张锋.一种基于多值RRAM的快速逻辑电路[J].微电子学.2017
[7].宋平平.多值逻辑网络的输出跟踪牵制控制设计及应用[D].山东师范大学.2017
[8].刘开第,陈湘国,许新,庞彦军.煤矿瓦斯风险评估中的多值逻辑[J].数学的实践与认识.2016
[9].宋平平,李海涛,杨琪琪,刘衍胜.多值逻辑网络的输出跟踪牵制控制[J].控制理论与应用.2016
[10].周娟,李超.卢卡西维茨多值逻辑在模糊模态逻辑中的应用[J].湖北民族学院学报(自然科学版).2016