龚志伟

作品数:9被引量:5H指数:1
导出分析报告
供职机构:中南林业科技大学理学院更多>>
发文主题:多值逻辑四值逻辑正则可离关系准完备集SHEFFER函数更多>>
发文领域:自动化与计算机技术文化科学更多>>
发文期刊:《山东大学学报(理学版)》《计算机工程与应用》《学园》《计算技术与自动化》更多>>
所获基金:国家自然科学基金湖南省自然科学基金湖南省教育科学规划课题更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-9
视图:
排序:
基于微信平台的普通高校本科教学模式的改进与优化
《学园》2019年第13期14-15,共2页孙玉荣 黄慧华 龚志伟 
湖南省教育科学规划课题研究成果(项目编号:XJK014AXX003).
翻转课堂教学模式的实现是当今教师教学实践的热点问题。以系统论的观点探讨普通高校本科教学模式的特征,提出教学模式改革应遵循的基本原则,分析基于微信平台的翻转课堂教学模式与混合教学模式存在的问题,从而提出微信平台支持下本科...
关键词:微信平台 本科教学模式 改进与优化 
部分多值逻辑的准完备集中同源关系的研究
《计算机工程与科学》2014年第8期1533-1537,共5页龚志伟 
国家自然科学基金资助项目(60673193)
通过研究准完备集之间存在的内在联系,首次提出了两个m项关系同源的概念,然后分析并证明了保同源关系的准完备集之间的性质,最后阐述了此性质在准完备集之最小覆盖的证明过程中所发挥的作用。
关键词:多值逻辑 准完备集 最小覆盖 同源关系 
部分K值逻辑中完满对称函数集的确定和构造
《计算机工程与科学》2013年第2期81-84,共4页龚志伟 刘任任 
国家自然科学基金资助项目(60673193);中南林业科技大学校青年基金资助项目(QJ2010021B)
根据部分K值逻辑的完备性理论,对于一般的K,首先确定了保二元完满对称函数集的个数,并给出了这些函数集的构造方法;然后确定了所有的完满对称函数集的个数,并给出了这些函数集的构造方法。
关键词:多值逻辑 准完备集 完满对称函数集 
部分四值逻辑中准完备集的最小覆盖被引量:1
《计算机工程与应用》2012年第23期52-57,76,共7页龚志伟 刘任任 
国家自然科学基金(No.60673193);中南林业科技大学校青年基金(No.QJ2010021B)
根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。
关键词:多值逻辑 最小覆盖 SHEFFER函数 
部分K值逻辑中单纯可离函数集结构研究
《山东大学学报(理学版)》2012年第5期89-92,97,共5页龚志伟 刘任任 王婷 
国家自然科学基金资助项目(60673193);中南林业科技大学校青年基金资助项目(QJ2010021B)
根据部分K值逻辑的完备性理论,研究了部分K值逻辑中单纯可离关系函数集的结构。首先解出了部分K值逻辑中m元关系直接划分的个数,然后根据划分求出了部分四值逻辑的所有单纯可离函数集,最后分析了部分K值逻辑中保K元单纯可离关系函数集...
关键词:多值逻辑 准完备集 单纯可离函数集 
部分K值逻辑中完满对称函数集最小覆盖判定的一些结果
《计算机科学》2012年第5期205-207,共3页龚志伟 刘任任 
国家自然科学基金(60673193);中南林业科技大学校青年基金(QJ2010021B)资助
根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑的准完备集之最小覆盖。然后对关系图中边的数目分情况进行讨论,定出了部分K值逻辑中保二元的完满对称函...
关键词:多值逻辑 完备性 SHEFFER函数 完满对称函数集 
部分四值逻辑中保二元正则可离关系非最小覆盖的剔除
《计算技术与自动化》2011年第3期76-78,共3页龚志伟 刘任任 
国家自然科学基金资助(606731931)
为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的...
关键词:多值逻辑 完备性 正则可离关系 最小覆盖 
部分四值逻辑中保二元正则可离关系最小覆盖之确定
《计算技术与自动化》2007年第4期49-52,共4页龚志伟 刘任任 王日中 
国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03JJY3099)
根据部分K值逻辑的完备性理论、正则可离关系、相似关系的概念,构造同源关系的概念。对部分四值逻辑中最小覆盖的确定进行分析。首先,总结部分四值逻辑中,对于正则可离函数集共有129个准完各集不可剔除;然后,对保二元的48个正则可离函...
关键词:多值逻辑 SHEFFER函数 正则可离关系 最小覆盖 
关于部分四值逻辑中保2元正则可离关系的分类被引量:4
《计算技术与自动化》2006年第3期46-47,62,共3页龚志伟 刘任任 
国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03JJY3099)
根据部分多值逻辑的完备性理论,定出部分四值逻辑中保2元正则可离关系,并按照准完备集之间的相似关系概念,对所定出的关系进行分类。
关键词:多值逻辑 正则可离 相似关系 
检索报告 对象比较 聚类工具 使用帮助 返回顶部