部分二值逻辑中Sheffer函数的判定 被引量：6

1

作者 刘任任 陈建二 陈松乔 《计算机工程》 CAS CSCD 北大核心 2004年第24期19-21,共3页

利用保关系的思想,定出了部分二值逻辑函数中准完备集的最小覆盖。从而给出了部分二值Sheffer函数的最简判定方法。该方法具有重要的理论和实际意义。

关键词 sheffer函数 准完备集 最小覆盖

在线阅读 下载PDF 职称材料

部分四值逻辑中Sheffer函数的判定 被引量：1

2

作者 金辉霞 何骞 《计算机工程与应用》 CSCD 北大核心 2011年第29期140-142,共3页

多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分... 多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。 展开更多

关键词 多值逻辑 sheffer函数 准完备集 最小覆盖

在线阅读 下载PDF 职称材料

部分四值逻辑中Sheffer函数的判定与构造 被引量：2

3

作者 刘任任 《计算机工程与科学》 CSCD 2008年第11期75-76,共2页

根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数。

关键词 多值逻辑 Sheller函数 最小覆盖

在线阅读 下载PDF 职称材料

一类3值逻辑2元Sheffer函数 被引量：1

4

作者 杜国平 《华南师范大学学报（社会科学版）》 CSSCI 北大核心 2016年第1期169-175,192,共7页

3值逻辑Sheffer函数研究是多值逻辑重要的基础理论之一。通过给出严格的相互可定义性,54个3值2元S型函数可分为相互定义的10个组,并且可分为3种类型:117型、135型和333型。其中,117型6个,135型36个,333型12个。通过严格的定义可以证明:... 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函数。 展开更多

关键词 3值逻辑 sheffer函数 S型函数 类Ci型sheffer函数

在线阅读 下载PDF 职称材料

部分三值逻辑中Sheffer函数的判定算法 被引量：4

5

作者 何骞 刘任任 《计算机工程与应用》 CSCD 北大核心 2009年第19期52-54,57,共4页

根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。

关键词 多值逻辑 准完备集 最小覆盖 sheffer函数

在线阅读 下载PDF 职称材料

部分二值逻辑中Sheffer函数的构造与判定算法 被引量：4

6

作者 何骞 刘任任 《计算机工程与应用》 CSCD 北大核心 2010年第5期28-30,共3页

在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种... 在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种部分二值逻辑中Sheffer函数的判定算法,此算法和传统判定算法相比,避免了繁琐的计算,可以说是一种较简单的判定算法。 展开更多

关键词 sheffer函数 准完备集 最小覆盖

在线阅读 下载PDF 职称材料

Bernstein-Sheffer算子在C_Ω空间上的逼近等价定理 被引量：2

7

作者 刘清国 王坚勇 梁子卿 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 1999年第5期645-655,共11页

研究了 Ｂｅｒｎｓｔｅｉｎｓｈｅｆｆｅｒ 算子在 ＣΩ空间上的逼近性质，建立了逼近等价定理：　　１）当 ｈ＞ ０ 时， Ｂ Ｈｎ 是［０，１］到自身的正线性算子，则 ｆ∈ Ｄ２＝ ｛ｆ｜‖ Ｂ Ｈｎ （ｆ）－ ｆ‖Ω＝ Ｏ（ｎ－... 研究了 Ｂｅｒｎｓｔｅｉｎｓｈｅｆｆｅｒ 算子在 ＣΩ空间上的逼近性质，建立了逼近等价定理：　　１）当 ｈ＞ ０ 时， Ｂ Ｈｎ 是［０，１］到自身的正线性算子，则 ｆ∈ Ｄ２＝ ｛ｆ｜‖ Ｂ Ｈｎ （ｆ）－ ｆ‖Ω＝ Ｏ（ｎ－ α２ ），ｆ ∈ ＣΩ，等价 Ｋ（ｆ ，ｔ）＝ Ｏ（ｔα２ ，｜０＜ α＜ ２）；　　２）对 ０＜ α＜ ２，ｆ∈ ＣΩ，对下命题等价　　ｉ）ｆ∈ Ｄα＝ ｛ｆ｜‖ Ｂ Ｈｎ （ｆ）－ ｆ‖Ω＝ Ο（ｎ－ α／２）｝；　　ｉｉ）对 Ｌ∈ Ｃ０ ，有 ｜ Ｌ（ｆ）｜ ≤ Ｍ ｆ （｜ Ｌ｜（Ω））１－ α／２（∫１０｜ Ｌ（ｋ（·，ｕ））｜ Ω（ｕ）φ（ｕ） ｄｕ）α／２． 展开更多

关键词 sheffer CΩ空间 B-S算子 逼近等价定理

在线阅读 下载PDF 职称材料

部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定 被引量：5

8

作者 刘任任 王婷 谭昊勋 《计算机科学》 CSCD 北大核心 2010年第11期257-260,共4页

根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。

关键词 多值逻辑 sheffer函数 最小覆盖

在线阅读 下载PDF 职称材料

部分K值逻辑中最小覆盖之判定的一些结果 被引量：5

9

作者 刘玉珍 刘任任 《计算机工程与应用》 CSCD 北大核心 2007年第23期38-39,50,共3页

根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。

关键词 多值逻辑 完备性 sheffer函数 极大封闭集(准完备集) 最小覆盖

在线阅读 下载PDF 职称材料

关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果 被引量：4

10

作者 刘玉珍 刘任任 《海军工程大学学报》 CAS 2004年第5期17-20,共4页

根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.

关键词 多值逻辑 完备性 sheffer函数 极大封闭集(准完备集) 最小覆盖

在线阅读 下载PDF 职称材料

关于部分多值逻辑函数集中准完备集的若干性质 被引量：1

11

作者 刘任任 王婷 谭昊勋 《计算机学报》 EI CSCD 北大核心 2012年第4期754-760,共7页

Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中"保关系"的系统思想,使用群论和组合数学的工具,研究了部分多值逻辑函数集中准完备类相应关系的若干性质.给... Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中"保关系"的系统思想,使用群论和组合数学的工具,研究了部分多值逻辑函数集中准完备类相应关系的若干性质.给出并证明了非空关系Gm是完全关系以及子群H是Gm的对称群的充要条件,定出了部分k值逻辑中完满对称函数类Fs,m中函数集的个数.以上工作为解决部分多值逻辑中Sheffer函数的判定提供了研究基础. 展开更多

关键词 多值逻辑 完备性 保关系 准完备集 sheffer函数

在线阅读 下载PDF 职称材料

部分K值逻辑中正则可离函数集的一些结果 被引量：2

12

作者 刘玉珍 刘任任 《计算机工程与应用》 CSCD 北大核心 2006年第9期48-49,72,共3页

根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2=G2(｛1,2｝)∪G"2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是PK*的最小覆盖成员。

关键词 多值逻辑 完备性 sheffer函数 极大封闭集(准完备集) 最小覆盖

在线阅读 下载PDF 职称材料

P4^＊中保四元正则可离关系最小覆盖之确定 被引量：1

13

作者 周小强 刘任任 《计算机科学》 CSCD 北大核心 2009年第9期176-177,192,共3页

根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑中最小覆盖的确定进行分析,定出了部分四值逻辑中保四元正则可离关系函数集之最小覆盖成员。

关键词 多值逻辑 正则可离关系 sheffer函数 最小覆盖

在线阅读 下载PDF 职称材料

部分四值逻辑中准完备集的最小覆盖 被引量：1

14

作者 龚志伟 刘任任 《计算机工程与应用》 CSCD 2012年第23期52-57,76,共7页

根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。

关键词 多值逻辑 最小覆盖 sheffer函数

在线阅读 下载PDF 职称材料

正则可离关系之最小覆盖成员的判定结果

15

作者 刘玉珍 刘任任 《计算机工程与应用》 CSCD 北大核心 2007年第5期28-29,44,共3页

根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2=G2(｛1,2｝)∪■2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。

关键词 多值逻辑 完备性 sheffer函数 极大封闭集(准完备集) 最小覆盖 正则可离关系

在线阅读 下载PDF 职称材料

部分K值逻辑中完满对称函数集最小覆盖判定的一些结果

16

作者 龚志伟 刘任任 《计算机科学》 CSCD 北大核心 2012年第5期205-207,共3页

根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑的准完备集之最小覆盖。然后对关系图中边的数目分情况进行讨论,定出了部分K值逻辑中保二元的完满对称函... 根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑的准完备集之最小覆盖。然后对关系图中边的数目分情况进行讨论,定出了部分K值逻辑中保二元的完满对称函数集在边数小于等于K时的准完备集之最小覆盖成员。 展开更多

关键词 多值逻辑 完备性 sheffer函数 完满对称函数集

在线阅读 下载PDF 职称材料