导读:本文包含了值逻辑函数论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:函数,逻辑,完备,完满,对称,关系,摄动。
值逻辑函数论文文献综述
贾光钰[1]（2017）在《混合值逻辑网络的函数摄动及布尔网络牵引控制器设计》一文中研究指出近些年来,随着生物系统和基因网络研究的发展,逻辑网络在理论和应用方面发挥着越来越重要的作用.本文的研究内容包括以下两方面.第一、将布尔网络的函数摄动推广至混合值逻辑网络的情形,给出了函数摄动对混合值逻辑网络不动点和极限环影响的充分必要条件.受布尔网络单节点摄动的启发,本文首先在结构矩阵的基础上提出了混合值逻辑网络单节点摄动的定义,并利用矩阵半张量积的方法得到了单节点摄动下混合值逻辑网络的代数形式,同时给出了单节点摄动对混合值逻辑网络极限集影响的充分必要条件.以叁种类型的单节点摄动为例,通过研究结构矩阵与状态转移矩阵间的关系,进一步给出了其对混合值逻辑网络不动点和极限集产生的影响.得到了单节点和多节点函数摄动的辨识方法,并将所得结论应用在WNT5A基因网络中.第二、基于矩阵版张量积的方法,对布尔网络的稳定性及牵引控制问题进行了研究.首先通过研究布尔网络的结构,提出了一种新的使布尔网络全局稳定的充分必要条件.基于此条件,给出了一种用尽可能少的函数摄动使布尔网络稳定的算法.改进了牵引控制设计方法,使得反馈控制的求解更为系统与简化.最后给出一个算例,显示了理论结果的可行性.全文总共分为五章:第一章介绍了布尔网络和混合值逻辑网络的研究背景,给出了布尔网络及混合值网络函数摄动、稳定性和牵引控制方面的现有研究成果,介绍了矩阵半张量积的相关知识与应用.最后,给出了本文的主要研究问题及结构安排.第二章主要介绍矩阵半张量积的定义及性质.引入了混合值逻辑网络,在结构矩阵的定义和半张量积的框架下,给出了混合值逻辑网络的代数形式.第叁章基于矩阵半张量积的方法,给出了混合值逻辑网络函数摄动的代数形式.基于对状态转移矩阵代数形式变化的分析,研究了函数摄动对混合值逻辑网络不动点和极限环的影响.讨论了叁种形式的单节点摄动.给出了函数摄动的辨识方法,并将所得结论应用在WNT5A基因网络中.第四章讨论了布尔网络的牵引控制问题,给出了一个新的关于布尔网络全局稳定的充要条件,并提出利用尽可能少的函数摄动使布尔网络全局稳定的算法.同时,改进了原有的牵引控制设计方法,在保证布尔网络全局稳定的基础上简化了牵引控制设计方法.第五章对全文进行了总结.(本文来源于《山东大学》期刊2017-03-20）
杜国平[2]（2016）在《一类3值逻辑2元Sheffer函数》一文中研究指出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函数。(本文来源于《华南师范大学学报(社会科学版)》期刊2016年01期）
王婷,刘任任,马珂[3]（2014）在《部分多值逻辑函数集中准完备集的分类问题研究》一文中研究指出Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题。根据部分多值逻辑函数的完备性理论,研究了部分多值逻辑函数集中准完备集的分类问题,从而为解决部分多值逻辑中Sheffer函数的判定问题提供了研究基础。(本文来源于《计算机科学》期刊2014年08期）
马巧云,吴洪博[4]（2015）在《多值逻辑公式间的伪距离的Boole函数表示》一文中研究指出利用逻辑公式的Boole函数表示,给出了m元n值逻辑公式的真度和公式间伪距离的等价定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简单性质。(本文来源于《计算机工程与应用》期刊2015年23期）
龚志伟,刘任任[5]（2013）在《部分K值逻辑中完满对称函数集的确定和构造》一文中研究指出根据部分K值逻辑的完备性理论,对于一般的K,首先确定了保二元完满对称函数集的个数,并给出了这些函数集的构造方法;然后确定了所有的完满对称函数集的个数,并给出了这些函数集的构造方法。(本文来源于《计算机工程与科学》期刊2013年02期）
龚志伟,刘任任[6]（2012）在《部分K值逻辑中完满对称函数集最小覆盖判定的一些结果》一文中研究指出根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑的准完备集之最小覆盖。然后对关系图中边的数目分情况进行讨论,定出了部分K值逻辑中保二元的完满对称函数集在边数小于等于K时的准完备集之最小覆盖成员。(本文来源于《计算机科学》期刊2012年05期）
龚志伟,刘任任,王婷[7]（2012）在《部分K值逻辑中单纯可离函数集结构研究》一文中研究指出根据部分K值逻辑的完备性理论,研究了部分K值逻辑中单纯可离关系函数集的结构。首先解出了部分K值逻辑中m元关系直接划分的个数,然后根据划分求出了部分四值逻辑的所有单纯可离函数集,最后分析了部分K值逻辑中保K元单纯可离关系函数集的性质。(本文来源于《山东大学学报(理学版)》期刊2012年05期）
刘任任,王婷,谭昊勋[8]（2012）在《关于部分多值逻辑函数集中准完备集的若干性质》一文中研究指出Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中"保关系"的系统思想,使用群论和组合数学的工具,研究了部分多值逻辑函数集中准完备类相应关系的若干性质.给出并证明了非空关系Gm是完全关系以及子群H是Gm的对称群的充要条件,定出了部分k值逻辑中完满对称函数类Fs,m中函数集的个数.以上工作为解决部分多值逻辑中Sheffer函数的判定提供了研究基础.(本文来源于《计算机学报》期刊2012年04期）
金辉霞,何骞[9]（2011）在《部分四值逻辑中Sheffer函数的判定》一文中研究指出多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。(本文来源于《计算机工程与应用》期刊2011年29期）
袁彬[10]（2011）在《部分K值逻辑中完满对称函数集个数的确定》一文中研究指出多值逻辑函数结构理论包括完备性理论、函数表示理论以及单向陷门函数,其中函数系完备性的判定是一个基本而重要的问题,也是自动机理论、多值逻辑网络中必须解决的问题,此问题的彻底解决依赖于定出多值逻辑函数集中所有极大封闭集(又称准完备集)。它包含着叁个着名的问题,那就是要分别定出完全多值逻辑函数集、部分多值逻辑函数集、一元多值逻辑函数集中所有极大封闭集。多值逻辑完备性理论中的另一个重要的问题是Sheffer函数的判定,它可以归结为定出所有准完备集得最小覆盖。完全多值逻辑函数中Sheffer函数的判定已经完全解决,但是部分多值逻辑函数中Sheffer函数的判定还没有彻底解决。本文主要讨论了部分四值逻辑中准完备集的分类和最小覆盖的判定,重点研究了完满对称关系函数集。首先系统地阐述了多值逻辑的基本概念,介绍了完全多值逻辑和部分多值逻辑函数的完备性理论成果。然后利用相似关系对它们进行了分类,列出了完满对称关系函数集和单纯可离关系函数集属于最小覆盖的所有极大封闭集。在求出部分3、4值逻辑完满对称关系函数集个数的基础上给出了部分K值逻辑中完满对称函数关系函数集个数的计算公式并给予证明。(本文来源于《湘潭大学》期刊2011-05-01）
值逻辑函数论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
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函数。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
值逻辑函数论文参考文献
[1].贾光钰.混合值逻辑网络的函数摄动及布尔网络牵引控制器设计[D].山东大学.2017
[2].杜国平.一类3值逻辑2元Sheffer函数[J].华南师范大学学报(社会科学版).2016
[3].王婷,刘任任,马珂.部分多值逻辑函数集中准完备集的分类问题研究[J].计算机科学.2014
[4].马巧云,吴洪博.多值逻辑公式间的伪距离的Boole函数表示[J].计算机工程与应用.2015
[5].龚志伟,刘任任.部分K值逻辑中完满对称函数集的确定和构造[J].计算机工程与科学.2013
[6].龚志伟,刘任任.部分K值逻辑中完满对称函数集最小覆盖判定的一些结果[J].计算机科学.2012
[7].龚志伟,刘任任,王婷.部分K值逻辑中单纯可离函数集结构研究[J].山东大学学报(理学版).2012
[8].刘任任,王婷,谭昊勋.关于部分多值逻辑函数集中准完备集的若干性质[J].计算机学报.2012
[9].金辉霞,何骞.部分四值逻辑中Sheffer函数的判定[J].计算机工程与应用.2011
[10].袁彬.部分K值逻辑中完满对称函数集个数的确定[D].湘潭大学.2011
论文知识图
