检索结果-维普期刊中文期刊服务平台

部分K值逻辑中最小覆盖之判定的一些结果被引量：5: 1; 作者刘玉珍刘任任《计算机工程与应用》 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: 2; 作者刘玉珍刘任任《海军工程大学学报》 CAS 2004年第5期17-20,共4页; 根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.; 关键词多值逻辑完备性 SHEFFER函数极大封闭集(准完备集) 最小覆盖; 在线阅读下载PDF 职称材料

部分K值逻辑中正则可离函数集的一些结果被引量：2: 3; 作者刘玉珍刘任任《计算机工程与应用》 CSCD 北大核心 2006年第9期48-49,72,共3页; 根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2=G2(｛1,2｝)∪G"2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是PK*的最小覆盖成员。; 关键词多值逻辑完备性 SHEFFER函数极大封闭集(准完备集) 最小覆盖; 在线阅读下载PDF 职称材料

部分四值逻辑中Sheffer函数的判定被引量：1: 4; 作者金辉霞何骞《计算机工程与应用》 CSCD 北大核心 2011年第29期140-142,共3页; 多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分... 展开更多; 关键词多值逻辑 SHEFFER函数准完备集最小覆盖; 在线阅读下载PDF 职称材料

正则可离关系之最小覆盖成员的判定结果: 5; 作者刘玉珍刘任任《计算机工程与应用》 CSCD 北大核心 2007年第5期28-29,44,共3页; 根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2=G2(｛1,2｝)∪■2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。; 关键词多值逻辑完备性 SHEFFER函数极大封闭集(准完备集) 最小覆盖正则可离关系; 在线阅读下载PDF 职称材料

部分K值逻辑中完满对称函数集的确定和构造: 6; 作者龚志伟刘任任《计算机工程与科学》 CSCD 北大核心 2013年第2期81-84,共4页; 根据部分K值逻辑的完备性理论,对于一般的K,首先确定了保二元完满对称函数集的个数,并给出了这些函数集的构造方法;然后确定了所有的完满对称函数集的个数,并给出了这些函数集的构造方法。; 关键词多值逻辑准完备集完满对称函数集; 在线阅读下载PDF 职称材料

部分K值逻辑中完满对称函数集最小覆盖判定的一些结果: 7; 作者龚志伟刘任任《计算机科学》 CSCD 北大核心 2012年第5期205-207,共3页; 根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑的准完备集之最小覆盖。然后对关系图中边的数目分情况进行讨论,定出了部分K值逻辑中保二元的完满对称函... 展开更多; 关键词多值逻辑完备性 SHEFFER函数完满对称函数集; 在线阅读下载PDF 职称材料

部分三值逻辑中Sheffer函数的判定算法被引量：4: 8; 作者何骞刘任任《计算机工程与应用》 CSCD 北大核心 2009年第19期52-54,57,共4页; 根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。; 关键词多值逻辑准完备集最小覆盖 SHEFFER函数; 在线阅读下载PDF 职称材料

题名部分K值逻辑中最小覆盖之判定的一些结果被引量：5: 1; 作者刘玉珍刘任任; 机构湘潭大学信息工程学院; 出处《计算机工程与应用》 CSCD 北大核心 2007年第23期38-39,50,共3页; 基金国家自然科学基金(the National Natural Science Foundation of China under Grant No.60083001) 湖南省自然科学基金(the Natural Science Foundation of Hunan Province of China under Grant No.03JJY3099) 湘潭大学(No.04XZX02)(划块类型); 文摘根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。; 关键词多值逻辑完备性 SHEFFER函数极大封闭集(准完备集) 最小覆盖; Keywords multiple-valued logic completeness Sheffer function maximal closed sets （precomplete sets） minimal covering; 分类号 O141 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果被引量：4: 2; 作者刘玉珍刘任任; 机构湘潭大学信息工程学院; 出处《海军工程大学学报》 CAS 2004年第5期17-20,共4页; 基金国家自然科学基金资助项目(60083001) 湖南省自然科学基金资助项目(03JJY3099); 文摘根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.; 关键词多值逻辑完备性 SHEFFER函数极大封闭集(准完备集) 最小覆盖; Keywords multiple-valued logic completeness Sheffer functions maximal closed sets (precomplete sets) minimal covering; 分类号 O141 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名部分K值逻辑中正则可离函数集的一些结果被引量：2: 3; 作者刘玉珍刘任任; 机构湘潭大学信息工程学院; 出处《计算机工程与应用》 CSCD 北大核心 2006年第9期48-49,72,共3页; 基金国家自然科学基金资助项目(编号:60083001) 湖南省自然科学基金资助项目(编号:03JJY3099); 文摘根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2=G2(｛1,2｝)∪G"2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是PK*的最小覆盖成员。; 关键词多值逻辑完备性 SHEFFER函数极大封闭集(准完备集) 最小覆盖; Keywords multiple-valued logic,completeness,Sheffer function,maximal closed sets（precomplete sets）,minimal covering; 分类号 O141 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名部分四值逻辑中Sheffer函数的判定被引量：1: 4; 作者金辉霞何骞; 机构湖南城市学院物理与电信工程系湖南城市学院计算机科学系; 出处《计算机工程与应用》 CSCD 北大核心 2011年第29期140-142,共3页; 基金湖南省教育厅科学研究课题(No.10C0498); 文摘多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。; 关键词多值逻辑 SHEFFER函数准完备集最小覆盖; Keywords multiple-valued logic Sheffer functions precomplete sets minimal covering; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名正则可离关系之最小覆盖成员的判定结果: 5; 作者刘玉珍刘任任; 机构湘潭大学信息工程学院; 出处《计算机工程与应用》 CSCD 北大核心 2007年第5期28-29,44,共3页; 基金国家自然科学基金(the National Natural Science Foundation of China under Grant No.60083001) 湖南省自然科学基金(the Natural Science Foundation of Hunan Province of China under Grant No.03JJY3099) 湘潭大学(04XZX02); 文摘根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2=G2(｛1,2｝)∪■2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。; 关键词多值逻辑完备性 SHEFFER函数极大封闭集(准完备集) 最小覆盖正则可离关系; Keywords multiple-valued logic completeness Sheffer function maximal closed sets （precomplete sets ） minimal covering regular separable relation; 分类号 O141 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名部分K值逻辑中完满对称函数集的确定和构造: 6; 作者龚志伟刘任任; 机构中南林业科技大学理学院湘潭大学信息工程学院; 出处《计算机工程与科学》 CSCD 北大核心 2013年第2期81-84,共4页; 基金国家自然科学基金资助项目(60673193) 中南林业科技大学校青年基金资助项目(QJ2010021B); 文摘根据部分K值逻辑的完备性理论,对于一般的K,首先确定了保二元完满对称函数集的个数,并给出了这些函数集的构造方法;然后确定了所有的完满对称函数集的个数,并给出了这些函数集的构造方法。; 关键词多值逻辑准完备集完满对称函数集; Keywords multiple-valued logic；precomplete sets；full symmetric function sets; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名部分K值逻辑中完满对称函数集最小覆盖判定的一些结果: 7; 作者龚志伟刘任任; 机构中南林业科技大学理学院湘潭大学信息工程学院; 出处《计算机科学》 CSCD 北大核心 2012年第5期205-207,共3页; 基金国家自然科学基金(60673193) 中南林业科技大学校青年基金(QJ2010021B)资助; 文摘根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑的准完备集之最小覆盖。然后对关系图中边的数目分情况进行讨论,定出了部分K值逻辑中保二元的完满对称函数集在边数小于等于K时的准完备集之最小覆盖成员。; 关键词多值逻辑完备性 SHEFFER函数完满对称函数集; Keywords Multi-valued logic Completeness Sheffer function Full symmetric function sets; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名部分三值逻辑中Sheffer函数的判定算法被引量：4: 8; 作者何骞刘任任; 机构湘潭大学信息工程学院; 出处《计算机工程与应用》 CSCD 北大核心 2009年第19期52-54,57,共4页; 基金国家自然科学基金(No.60673193) 湖南省教育厅重点项目(No.07A067)~~; 文摘根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。; 关键词多值逻辑准完备集最小覆盖 SHEFFER函数; Keywords multiple-valued logic precomplete sets minimal covering Sheffer function; 分类号 O141 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	部分K值逻辑中最小覆盖之判定的一些结果	刘玉珍刘任任	《计算机工程与应用》 CSCD 北大核心	2007	5	在线阅读下载PDF 职称材料
2	关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果	刘玉珍刘任任	《海军工程大学学报》 CAS	2004	4	在线阅读下载PDF 职称材料
3	部分K值逻辑中正则可离函数集的一些结果	刘玉珍刘任任	《计算机工程与应用》 CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
4	部分四值逻辑中Sheffer函数的判定	金辉霞何骞	《计算机工程与应用》 CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料
5	正则可离关系之最小覆盖成员的判定结果	刘玉珍刘任任	《计算机工程与应用》 CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
6	部分K值逻辑中完满对称函数集的确定和构造	龚志伟刘任任	《计算机工程与科学》 CSCD 北大核心	2013	0	在线阅读下载PDF 职称材料
7	部分K值逻辑中完满对称函数集最小覆盖判定的一些结果	龚志伟刘任任	《计算机科学》 CSCD 北大核心	2012	0	在线阅读下载PDF 职称材料
8	部分三值逻辑中Sheffer函数的判定算法	何骞刘任任	《计算机工程与应用》 CSCD 北大核心	2009	4	在线阅读下载PDF 职称材料