国家自然科学基金(606731931)

作品数：5被引量：2H指数：1
导出分析报告
相关作者：刘任任周小强龚志伟更多>>
相关机构：湘潭大学湖南理工学院中南林业科技大学更多>>
相关期刊：《计算技术与自动化》《山东大学学报（理学版）》《计算机应用研究》《计算机科学》更多>>
相关主题：多值逻辑正则可离关系SHEFFER函数P4四值逻辑更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
部分四值逻辑中保二元正则可离关系非最小覆盖的剔除
《计算技术与自动化》2011年第3期76-78,共3页龚志伟 刘任任 
国家自然科学基金资助(606731931)
为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的...
关键词：多值逻辑 完备性 正则可离关系 最小覆盖 
P4^＊中保四元正则可离关系最小覆盖之确定被引量：1
《计算机科学》2009年第9期176-177,192,共3页周小强 刘任任 
国家自然科学基金(606731931);湖南省教育厅重点项目(07A067);湖南省教育厅项目(08C390)资助
根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑中最小覆盖的确定进行分析,定出了部分四值逻辑中保四元正则可离关系函数集之最小覆盖成员。
关键词：多值逻辑 正则可离关系 SHEFFER函数 最小覆盖 
P^＊4中保四元正则可离关系非最小覆盖的剔除被引量：1
《计算机应用研究》2009年第6期2090-2091,2094,共3页周小强 刘任任 
国家自然科学基金资助项目(606731931);湖南省教育厅资助项目(07A067;08C390)
为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了109个保四元正则可离关系函数集中的67个函数集必不属于部分四值逻辑中最小覆盖的...
关键词：多值逻辑 完备性 正则可离关系 最小覆盖 
P4^＊中保二元正则可离关系非最小覆盖的剔除
《山东大学学报（理学版）》2008年第12期24-27,共4页周小强 刘任任 
国家自然科学基金资助项目(606731931);湖南省教育厅重点资助项目(07A067);湖南省教育厅资助项目(08C390)
为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的...
关键词：多值逻辑 SHEFFER函数 正则可离关系 最小覆盖 
部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定
《计算技术与自动化》2007年第1期59-62,共4页周小强 刘任任 
国家自然科学基金资助(606731931)
Sheffer函数的判定与构造是多值逻辑函数结构理论中的重要问题之一,此问题可归结为定出多值逻辑函数集之准完备集的最小覆盖。本文根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出部分四值逻辑中保三元正则可离关系的...
关键词：多值逻辑 完备性 SHEFFER函数 最小覆盖 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部