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