SHEFFER函数

作品数：35被引量：40H指数：5
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：刘任任刘玉珍王婷周小强李舒更多>>
相关机构：湘潭大学中南大学湖南理工学院中南林业科技大学更多>>
相关期刊：《计算机工程》《计算机学报》《计算技术与自动化》《华南师范大学学报（社会科学版）》更多>>
相关基金：国家自然科学基金湖南省自然科学基金湖南省教育厅重点项目湖南省教育厅科研基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
部分四值逻辑中准完备集的最小覆盖被引量：1
《计算机工程与应用》2012年第23期52-57,76,共7页龚志伟 刘任任 
国家自然科学基金(No.60673193);中南林业科技大学校青年基金(No.QJ2010021B)
根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。
关键词：多值逻辑 最小覆盖 SHEFFER函数 
部分四值逻辑中Sheffer函数的判定被引量：1
《计算机工程与应用》2011年第29期140-142,共3页金辉霞 何骞 
湖南省教育厅科学研究课题(No.10C0498)
多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分...
关键词：多值逻辑 SHEFFER函数 准完备集 最小覆盖 
部分二值逻辑中Sheffer函数的构造与判定算法被引量：4
《计算机工程与应用》2010年第5期28-30,共3页何骞 刘任任 
国家自然科学基金No.60673193;湖南省教育厅重点项目No.07A067~~
在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种...
关键词：SHEFFER函数 准完备集 最小覆盖 
部分三值逻辑中Sheffer函数的判定算法被引量：4
《计算机工程与应用》2009年第19期52-54,57,共4页何骞 刘任任 
国家自然科学基金(No.60673193);湖南省教育厅重点项目(No.07A067)~~
根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。
关键词：多值逻辑 准完备集 最小覆盖 SHEFFER函数 
部分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函数 极大封闭集(准完备集) 最小覆盖 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部