一、关于部分K值逻辑Sheffer函数(Ⅳ)(论文文献综述)
龚志伟,刘任任[1](2013)在《部分K值逻辑中完满对称函数集的确定和构造》文中指出根据部分K值逻辑的完备性理论,对于一般的K,首先确定了保二元完满对称函数集的个数,并给出了这些函数集的构造方法;然后确定了所有的完满对称函数集的个数,并给出了这些函数集的构造方法。
龚志伟,刘任任[2](2012)在《部分四值逻辑中准完备集的最小覆盖》文中研究说明根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。
龚志伟,刘任任[3](2012)在《部分K值逻辑中完满对称函数集最小覆盖判定的一些结果》文中研究指明根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑的准完备集之最小覆盖。然后对关系图中边的数目分情况进行讨论,定出了部分K值逻辑中保二元的完满对称函数集在边数小于等于K时的准完备集之最小覆盖成员。
刘任任,罗秋棠,王婷[4](2012)在《部分多值逻辑中保正规关系的准完备集的性质》文中提出在多值逻辑完备性理论中,Sheffer函数的刻划是一个重要的问题,此问题的解决可归结为定出其准完备集的最小覆盖.本文对部分多值逻辑函数集中保正规关系的准完备集的性质进行了研究,为确定部分多值逻辑函数集中准完备集的最小覆盖奠定了一定的基础.
刘任任,王婷,谭昊勋[5](2012)在《关于部分多值逻辑函数集中准完备集的若干性质》文中提出Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中"保关系"的系统思想,使用群论和组合数学的工具,研究了部分多值逻辑函数集中准完备类相应关系的若干性质.给出并证明了非空关系Gm是完全关系以及子群H是Gm的对称群的充要条件,定出了部分k值逻辑中完满对称函数类Fs,m中函数集的个数.以上工作为解决部分多值逻辑中Sheffer函数的判定提供了研究基础.
金辉霞,何骞[6](2011)在《部分四值逻辑中Sheffer函数的判定》文中进行了进一步梳理多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。
袁彬[7](2011)在《部分K值逻辑中完满对称函数集个数的确定》文中研究指明多值逻辑函数结构理论包括完备性理论、函数表示理论以及单向陷门函数,其中函数系完备性的判定是一个基本而重要的问题,也是自动机理论、多值逻辑网络中必须解决的问题,此问题的彻底解决依赖于定出多值逻辑函数集中所有极大封闭集(又称准完备集)。它包含着三个着名的问题,那就是要分别定出完全多值逻辑函数集、部分多值逻辑函数集、一元多值逻辑函数集中所有极大封闭集。多值逻辑完备性理论中的另一个重要的问题是Sheffer函数的判定,它可以归结为定出所有准完备集得最小覆盖。完全多值逻辑函数中Sheffer函数的判定已经完全解决,但是部分多值逻辑函数中Sheffer函数的判定还没有彻底解决。本文主要讨论了部分四值逻辑中准完备集的分类和最小覆盖的判定,重点研究了完满对称关系函数集。首先系统地阐述了多值逻辑的基本概念,介绍了完全多值逻辑和部分多值逻辑函数的完备性理论成果。然后利用相似关系对它们进行了分类,列出了完满对称关系函数集和单纯可离关系函数集属于最小覆盖的所有极大封闭集。在求出部分3、4值逻辑完满对称关系函数集个数的基础上给出了部分K值逻辑中完满对称函数关系函数集个数的计算公式并给予证明。
谭昊勋[8](2011)在《部分多值逻辑函数集中准完备集的若干性质研究》文中认为多值逻辑是指一切逻辑值的取值数大于2的逻辑。多值逻辑的研究内容主要包括理论、电路与系统和应用三个方面。多值逻辑函数结构理论包括完备性理论、函数表示理论以及单向陷门函数,其中一个基本而重要的问题是函数集完备性的判定,它也是自动机理论以及多值逻辑网络中必须要解决的问题。此问题的解决依赖于定出多值逻辑函数集中的所有准完备集。Sheffer函数的判定和构造是多值逻辑完备性理论中的另一个重要问题,此问题的解决可归结为定出所有准完备集的最小覆盖。完全多值逻辑中Sheffer函数的判定问题已彻底解决,但部分多值逻辑中Sheffer函数的判定问题尚未完全解决,要完全解决此问题,必须对每一类准完备集的性质作深入的研究。本论文对部分多值逻辑函数集中准完备集以及正规关系的性质进行了较深入的研究,为确定部分多值逻辑函数集中准完备集的最小覆盖奠定了一定的基础。论文首先介绍了多值逻辑函数结构理论的基本概念和重要研究成果;然后介绍了部分多值逻辑函数集中准完备集的分类、准完备集的最小覆盖以及相似关系概念和保相似关系的准完备集之间的性质;最后给出了部多值逻辑函数集中准完备集以及正规关系的若干性质及其证明。
刘任任,王婷,谭昊勋[9](2010)在《部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定》文中研究说明根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。
朱玲芳[10](2010)在《部分四值逻辑中Sheffer函数的判定与构造》文中研究说明多值逻辑是一种逻辑取值数大于2的非经典逻辑系统。其研究内容主要包括多值逻辑理论、电路与系统和应用等三个方面。多值逻辑函数结构理论是多值逻辑理论的研究内容之一,它主要包括多值逻辑函数的完备性理论、函数表示理论以及单向陷门函数,其中一个基本且重要的问题是多值逻辑函数集的完备性判定,在多值逻辑网络以及自动机理论中,这也是一个必须解决的问题。此问题的解决与多值逻辑函数集中准完备集(又称极大封闭集)的确定密切相关。多值逻辑中Sheffer函数的判定与构造是多值逻辑完备性理论中的又一个重要问题,该问题归结为找出全部准完备集的最小覆盖。对于完全多值逻辑中Sheffer函数的判定问题,已于20世纪70年代完全解决;对于部分多值逻辑中Sheffer函数的判定问题,由于准完备集的最小覆盖问题还没有完全解决而尚未彻底解决。本文较深入地研究了部分四值逻辑中Sheffer函数的判定和构造问题。根据部分四值逻辑中准完备集的最小覆盖,分别给出了判定和构造部分四值逻辑中Sheffer函数的算法。该算法可判定任意一个部分四值逻辑函数是否为Sheffer函数,此外,还能构造出所有部分四值逻辑Sheffer函数。为解决部分K(>4)值逻辑中Sheffer函数的判定和构造问题提供了有益的经验。
二、关于部分K值逻辑Sheffer函数(Ⅳ)(论文开题报告)
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、关于部分K值逻辑Sheffer函数(Ⅳ)(论文提纲范文)
(3)部分K值逻辑中完满对称函数集最小覆盖判定的一些结果(论文提纲范文)
1 引言 |
2 基本概念 |
3 主要结果及证明 |
(4)部分多值逻辑中保正规关系的准完备集的性质(论文提纲范文)
0 引 言 |
1 基本概念 |
2 结果与讨论 |
3 结 论 |
(5)关于部分多值逻辑函数集中准完备集的若干性质(论文提纲范文)
1 引 言 |
2 多值逻辑函数的基本概念 |
3 保关系 |
4 关于准完备集的若干性质及证明 |
5 结 语 |
(6)部分四值逻辑中Sheffer函数的判定(论文提纲范文)
1引言 |
2基本概念 |
3算法描述 |
4结束语 |
(7)部分K值逻辑中完满对称函数集个数的确定(论文提纲范文)
摘要 |
ABSTRACT |
第1章 引言 |
第2章 多值逻辑函数结构理论综述 |
2.1 完全多值逻辑函数集P_k |
2.2 部分多值逻辑函数集P_k~* |
2.3 一元多值逻辑函数集P_k~(1) |
2.4 完全多值逻辑函数完备性理论 |
2.5 多值逻辑中的Sheffer 函数 |
2.6 部分多值逻辑完备性理论 |
2.7 一元多值逻辑函数的完备性理论 |
第3章 部分多值逻辑的完备性理论 |
3.1 部分多值逻辑完备性理论 |
3.2 部分多值逻辑中的基本群和基本半群 |
3.3 多值逻辑中正规关系的分类 |
第4章 部分四值逻辑中准完备集的分类及最小覆盖成员的判定 |
4.1 P_4~* 中的完满对称函数集F_(s ,m) |
4.2 P_4~* 中关于完满对称函数集的最小覆盖 |
4.3 P_4~* 中单纯可离函数集的分类 |
4.4 P_4~* 中关于单纯可离函数集的最小覆盖 |
第5章 部分k 值逻辑中完满对称函数集个数的确定 |
5.1 P 3* 中完满对称函数集的个数 |
5.2 P_4~* 中完满对称函数集的个数 |
4)中完满对称函数集个数'>5.3 P_k~* (k>4)中完满对称函数集个数 |
2)中完满对称函数集的性质'>5.4 P_k~* (k>2)中完满对称函数集的性质 |
总结与展望 |
参考文献 |
致谢 |
附录 (攻读硕士学位期间参与的科研项目和研究成果) |
(8)部分多值逻辑函数集中准完备集的若干性质研究(论文提纲范文)
摘要 |
Abstract |
前言 |
第1章 多值逻辑函数结构理论综述 |
1.1 完全多值逻辑函数结构理论 |
1.2 完全k 值逻辑函数集中的准完备集 |
1.3 部分K 值逻辑函数集中的准完备集 |
1.4 一元K 值逻辑函数 |
1.5 本章小结 |
第2章 部分K 值逻辑中准完备集之间的相似关系 |
2.1 相似关系概念 |
2.2 保相似关系的准完备集之间的性质 |
2.3 本章小结 |
第3章 部分K 值逻辑中准完备集之最小覆盖 |
3.1 引言 |
3.2 关于保E 函数集T_E |
3.3 关于L 型函数集L_(G_(4, 2)) |
3.4 关于拟线性函数集L_P |
3.5 本章小结 |
第4章 部分K 值逻辑函数集中准完备集的若干性质 |
4.1 逻辑函数与逻辑线路 |
4.2 保关系及其函数集 |
4.3 准完备集的若干性质及证明 |
4.4 正规关系的若干性质及其证明 |
4.5 本章小结 |
总结与展望 |
参考文献 |
致谢 |
个人简历、在学期间发表的学术论文及研究成果 |
(9)部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定(论文提纲范文)
1 引言 |
2 主要结果 |
(1) m=2时, 有62个Fs, 2。 |
①含2个序列的共6个: |
②含4个序列的共15个, 分2类: |
③含6个序列的有20个, 分3类: |
④含8个序列的有15个, 分2类: |
⑤含10个序列的有6个, 为1类: |
(2) m=3时, 有15个FS, 3=T (G3) , 其中G3=G3 ({1, 2}) ∪G3 ({1, 3}) ∪G3 ({2, 3}) ∪G*3。 |
①含6个序列的有4个, 为1类: |
②含12个序列的有6个, 为1类: |
③含18个序列的有4个, 为1类: |
④ |
(3) m=4时, 只有1个, 即FS, 4=T (G4) 。其中, |
(1) 两类含6个序列的, 共16个: |
(2) 一类含8个序列的, 共12个: |
(3) 一类含18个序列的, 共4个: |
结束语 |
(10)部分四值逻辑中Sheffer函数的判定与构造(论文提纲范文)
摘要 |
Abstract |
第1章 序论 |
1.1 多值逻辑简介 |
1.2 多值逻辑的起源与发展 |
1.3 本文的主要研究内容 |
第2章 多值逻辑函数结构理论综述 |
2.1 完全多值逻辑函数结构理论 |
2.2 完全二值逻辑函数集 |
2.3 完全k 值逻辑函数集中的准完备集 |
2.4 部分k 值逻辑函数集中的准完备集 |
2.5 一元k 值逻辑函数 |
2.6 部分K 值逻辑中准完备集之间的相似关系 |
第3章 部分四值逻辑中准完备集的最小覆盖 |
3.1 P_4~* 中四类必出现准完备集的最小覆盖成员 |
3.2 P_4~* 中完满对称函数集的最小覆盖成员 |
3.3 P_4~* 中单纯可离函数集的最小覆盖成员 |
3.4 P_4~* 中正则可离函数集的最小覆盖成员 |
第4章 部分四值逻辑中Sheffer 函数的判定及构造 |
4.1 部分四值逻辑中Sheffer 函数的判定算法 |
4.2 部分四值逻辑中Sheffer 函数的构造算法 |
第5章 总结与展望 |
参考文献 |
附录A 攻读硕士学位期间已公开发表的论文 |
致谢 |
四、关于部分K值逻辑Sheffer函数(Ⅳ)(论文参考文献)
- [1]部分K值逻辑中完满对称函数集的确定和构造[J]. 龚志伟,刘任任. 计算机工程与科学, 2013(02)
- [2]部分四值逻辑中准完备集的最小覆盖[J]. 龚志伟,刘任任. 计算机工程与应用, 2012(23)
- [3]部分K值逻辑中完满对称函数集最小覆盖判定的一些结果[J]. 龚志伟,刘任任. 计算机科学, 2012(05)
- [4]部分多值逻辑中保正规关系的准完备集的性质[J]. 刘任任,罗秋棠,王婷. 武汉大学学报(理学版), 2012(02)
- [5]关于部分多值逻辑函数集中准完备集的若干性质[J]. 刘任任,王婷,谭昊勋. 计算机学报, 2012(04)
- [6]部分四值逻辑中Sheffer函数的判定[J]. 金辉霞,何骞. 计算机工程与应用, 2011(29)
- [7]部分K值逻辑中完满对称函数集个数的确定[D]. 袁彬. 湘潭大学, 2011(04)
- [8]部分多值逻辑函数集中准完备集的若干性质研究[D]. 谭昊勋. 湘潭大学, 2011(04)
- [9]部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定[J]. 刘任任,王婷,谭昊勋. 计算机科学, 2010(11)
- [10]部分四值逻辑中Sheffer函数的判定与构造[D]. 朱玲芳. 湘潭大学, 2010(05)