SHEFFER函数

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算技术与自动化x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
部分四值逻辑中保二元正则可离关系最小覆盖之确定
《计算技术与自动化》2007年第4期49-52,共4页龚志伟 刘任任 王日中 
国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03JJY3099)
根据部分K值逻辑的完备性理论、正则可离关系、相似关系的概念,构造同源关系的概念。对部分四值逻辑中最小覆盖的确定进行分析。首先,总结部分四值逻辑中,对于正则可离函数集共有129个准完各集不可剔除;然后,对保二元的48个正则可离函...
关键词：多值逻辑 SHEFFER函数 正则可离关系 最小覆盖 
部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定
《计算技术与自动化》2007年第1期59-62,共4页周小强 刘任任 
国家自然科学基金资助(606731931)
Sheffer函数的判定与构造是多值逻辑函数结构理论中的重要问题之一,此问题可归结为定出多值逻辑函数集之准完备集的最小覆盖。本文根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出部分四值逻辑中保三元正则可离关系的...
关键词：多值逻辑 完备性 SHEFFER函数 最小覆盖 
关于部分四值逻辑中完满对称函数集最小覆盖判定的一些结果被引量：1
《计算技术与自动化》2006年第1期41-43,共3页黄锋 刘任任 
国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03JJY3099)
对部分四值逻辑中保完满对称关系的78个准完备集按相似关系剔除不属于最小覆盖的32个准完备集,为部分四值逻辑中准完备集最小覆盖的判定提供基础。
关键词：多值逻辑 完备性 准完备集 SHEFFER函数 
关于部分K值逻辑中的单纯可离函数集性质的一些结果被引量：1
《计算技术与自动化》2004年第3期32-33,72,共3页王婷 刘任任 
国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03JJY3099)
在多值逻辑函数结构理论中,Sheffer函数的判定与构造是其中的一个重要的组成部分。其判定问题与函数集完备性之判定密切相关,而完备性之判定又可归结为定出其中的所有准完备集。对于部分多值逻辑,其函数集的完备性问题已彻底解决,即定...
关键词：数集 SHEFFER函数 完备性 判定 多值逻辑 性质 构造 性问题 结构理论 组成部分 
关于部分K值逻辑Sheffer函数(V)
《计算技术与自动化》2004年第3期37-39,共3页李舒 刘任任 
国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03JJY3099)。
根据部分多值逻辑的完备性理论[1],本文证明了m=2时,关系图为对称H图的一类单纯可离函数集在P k的准完备集之最小覆盖中必出现。
关键词：SHEFFER函数 完备性 数集 对称 证明 关系图 多值逻辑 理论 根据 K值 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部