国家自然科学基金(60083001)

作品数：30被引量：61H指数：5
导出分析报告
相关作者：刘任任罗铸楷刘玉珍李舒陈建二更多>>
相关机构：湘潭大学中南大学中南林业科技大学深圳大学更多>>
相关期刊：《海军工程大学学报》《计算技术与自动化》《计算机工程与应用》《武汉大学学报（理学版）》更多>>
相关主题：多值逻辑SHEFFER函数极大封闭集准完备集数集更多>>
相关领域：自动化与计算机技术理学电子电信文化科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
部分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函数 极大封闭集(准完备集) 最小覆盖 
P4^＊中保三元正则可离关系函数集非最小覆盖成员的确定
《湖南理工学院学报（自然科学版）》2007年第4期16-18,共3页周小强 
国家自然科学基金(60083001)
根据部分K值逻辑的完备性理论[1]以及准完备集之间的相似关系理论[2],定出了必不属于部分四值逻辑中保三元正则可离关系函数集之最小覆盖的成员.
关键词：多值逻辑 完备性 SHEFFER函数 最小覆盖 
部分四值逻辑中保二元正则可离关系最小覆盖之确定
《计算技术与自动化》2007年第4期49-52,共4页龚志伟 刘任任 王日中 
国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03JJY3099)
根据部分K值逻辑的完备性理论、正则可离关系、相似关系的概念,构造同源关系的概念。对部分四值逻辑中最小覆盖的确定进行分析。首先,总结部分四值逻辑中,对于正则可离函数集共有129个准完各集不可剔除;然后,对保二元的48个正则可离函...
关键词：多值逻辑 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函数 极大封闭集(准完备集) 最小覆盖 正则可离关系 
关于部分四值逻辑中保2元正则可离关系的分类被引量：4
《计算技术与自动化》2006年第3期46-47,62,共3页龚志伟 刘任任 
国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03JJY3099)
根据部分多值逻辑的完备性理论,定出部分四值逻辑中保2元正则可离关系,并按照准完备集之间的相似关系概念,对所定出的关系进行分类。
关键词：多值逻辑 正则可离 相似关系 
多值逻辑函数组的置换
《湘潭大学自然科学学报》2006年第3期31-35,共5页李艳春 罗铸楷 
国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03355Y3099)
研究了由多值逻辑函数组构成的置换.定出了一类由q值逻辑函数构成的置换;采用q值逻辑函数组的置换构造了一类Bent函数和满足严格雪崩准则的函数;给出了求布尔置换的算法.
关键词：多值逻辑函数 置换 BENT函数 布尔置换 本原布尔函数 
部分四值逻辑中4元单纯可离关系之分类被引量：2
《计算技术与自动化》2006年第2期55-56,66,共3页许芬 刘任任 
国家自然科学基金资助项目(60083001)
根据部分多值逻辑的完备性理论,定出部分四值逻辑中4元单纯可离关系,再按照准完备集之间的相似关系概念,对所定出的关系进行分类。
关键词：多值逻辑 单纯可离 相似关系 
部分K值逻辑中正则可离函数集的一些结果被引量：2
《计算机工程与应用》2006年第9期48-49,72,共3页刘玉珍 刘任任 
国家自然科学基金资助项目(编号:60083001);湖南省自然科学基金资助项目(编号:03JJY3099)
根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2=G2(｛1,2｝)∪G"2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是PK*的最小覆盖成员。
关键词：多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖 
部分四值逻辑中L型函数集与拟线性函数集之确定
《海南师范学院学报（自然科学版）》2006年第1期23-25,共3页许芬 刘任任 
国家自然科学基金(60083001);湖南省自然科学基金(03JJY3099)
根据部分 k 值逻辑的完备性理论,给出了部分四值逻辑中 L 型函数集与拟线性函数集,从而推进了 P_4(?)中准完备集之最小覆盖的完全解决．
关键词：多值逻辑 L型函数集 拟线性函数集 
关于部分四值逻辑中完满对称函数集最小覆盖判定的一些结果被引量：1
《计算技术与自动化》2006年第1期41-43,共3页黄锋 刘任任 
国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03JJY3099)
对部分四值逻辑中保完满对称关系的78个准完备集按相似关系剔除不属于最小覆盖的32个准完备集,为部分四值逻辑中准完备集最小覆盖的判定提供基础。
关键词：多值逻辑 完备性 准完备集 SHEFFER函数 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部