极大封闭集

作品数：9被引量：15H指数：4
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：刘任任刘玉珍李舒肖凡欧阳建权更多>>
相关机构：湘潭大学中南大学深圳大学更多>>
相关期刊：《计算机工程与应用》《海军工程大学学报》更多>>
相关基金：国家自然科学基金湖南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
部分K值逻辑中最小覆盖之判定的一些结果被引量：5
《计算机工程与应用》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函数 极大封闭集(准完备集) 最小覆盖 
正则可离关系之最小覆盖成员的判定结果
《计算机工程与应用》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函数 极大封闭集(准完备集) 最小覆盖 正则可离关系 
部分K值逻辑中正则可离函数集的一些结果被引量：2
《计算机工程与应用》2006年第9期48-49,72,共3页刘玉珍 刘任任 
国家自然科学基金资助项目(编号:60083001);湖南省自然科学基金资助项目(编号:03JJY3099)
根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2=G2(｛1,2｝)∪G"2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是PK*的最小覆盖成员。
关键词：多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖 
关于部分K值逻辑Sheffer函数(Ⅳ)
《长沙交通学院学报》2004年第4期3-7,共5页李舒 刘任任 
国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03JJY3099)
根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P k的极大封闭集之最小覆盖中k在的极大封闭集之最小覆盖中不出现,另一类在P 必须出现。
关键词：多值逻辑 完备性 SHEFFER函数 极大封闭集 
关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果被引量：4
《海军工程大学学报》2004年第5期17-20,共4页刘玉珍 刘任任 
国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03JJY3099)
根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.
关键词：多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖 
关于部分K值逻辑Sheffer函数(IV)被引量：4
《湘潭大学自然科学学报》2004年第2期29-32,共4页刘玉珍 刘任任 
国家自然科学基金资助项目 (60 0 83 0 0 1) ;湖南省自然科学基金资助项目 (0 3JJY3 0 99)
根据部分多值逻辑的完备性理论 [罗铸楷等 ] ,证明了 m =2时的一类正则可离函数集在P k 的极大封闭集之最小覆盖中必不出现 .
关键词：多值逻辑 完备性 SHEFFER函数 极大封闭集 
关于部分K值逻辑Sheffer函数(III)被引量：6
《湘潭大学自然科学学报》2002年第3期44-48,共5页李舒 刘任任 
国家自然科学基金资助项目 (60 0 83 0 0 1)
根据部分多值逻辑的完备性理论 ,证明了m =2时的一类单纯可离函数集在P k 的极大封闭集之最小覆盖中必须出现 .
关键词：部分K值逻辑 部分多值逻辑 完备性 SHEFFER函数 极大封闭集 单纯可离函数集 最小覆盖 
关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ)被引量：9
《湘潭大学自然科学学报》2001年第3期15-19,共5页肖凡 刘任任 
国家自然科学基金资助项目(60082001)
根据部分多值逻辑的完备性理论，证明了ｍ＝２时的一类完满对称函数集在Ｐ*Ｋ中极大封闭集之最小覆盖中必需出现．
关键词：多值逻辑 完备性 SHEFFER函数 极大封闭集 
关于部分K值逻辑Sheffer函数(Ⅰ)被引量：6
《湘潭大学自然科学学报》2000年第3期5-10,共6页欧阳建权 刘任任 
湖南省自然科学基金!资助项目 (97JJN2 0 2 7)
根据部分多值逻辑的完备性理论 ,证明了m =2时的一类正则可离函数集在P K
关键词：多值逻辑 完备性 SHEFFER函数 极大封闭集 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部