龚志伟
- 作品数:11 被引量:7H指数:1
- 供职机构:中南林业科技大学理学院更多>>
- 发文基金:国家自然科学基金湖南省自然科学基金湖南省教育科学规划课题更多>>
- 相关领域:自动化与计算机技术文化科学更多>>
- 部分K值逻辑中单纯可离函数集结构研究
- 2012年
- 根据部分K值逻辑的完备性理论,研究了部分K值逻辑中单纯可离关系函数集的结构。首先解出了部分K值逻辑中m元关系直接划分的个数,然后根据划分求出了部分四值逻辑的所有单纯可离函数集,最后分析了部分K值逻辑中保K元单纯可离关系函数集的性质。
- 龚志伟刘任任王婷
- 关键词:多值逻辑准完备集
- 部分K值逻辑中完满对称函数集最小覆盖判定的一些结果
- 2012年
- 根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑的准完备集之最小覆盖。然后对关系图中边的数目分情况进行讨论,定出了部分K值逻辑中保二元的完满对称函数集在边数小于等于K时的准完备集之最小覆盖成员。
- 龚志伟刘任任
- 关键词:多值逻辑SHEFFER函数
- 部分四值逻辑中保二元正则可离关系最小覆盖之确定被引量:1
- 2007年
- 根据部分K值逻辑的完备性理论、正则可离关系、相似关系的概念,构造同源关系的概念。对部分四值逻辑中最小覆盖的确定进行分析。首先,总结部分四值逻辑中,对于正则可离函数集共有129个准完各集不可剔除;然后,对保二元的48个正则可离函数集按相似关系分为9类;最后,证明这9类保二元正则可离函数集是最小覆盖成员。
- 龚志伟刘任任王日中
- 关键词:多值逻辑SHEFFER函数正则可离关系
- 关于部分四值逻辑中保2元正则可离关系的分类被引量:5
- 2006年
- 根据部分多值逻辑的完备性理论,定出部分四值逻辑中保2元正则可离关系,并按照准完备集之间的相似关系概念,对所定出的关系进行分类。
- 龚志伟刘任任
- 关键词:多值逻辑
- 部分多值逻辑的准完备集中同源关系的研究
- 2014年
- 通过研究准完备集之间存在的内在联系,首次提出了两个m项关系同源的概念,然后分析并证明了保同源关系的准完备集之间的性质,最后阐述了此性质在准完备集之最小覆盖的证明过程中所发挥的作用。
- 龚志伟
- 关键词:多值逻辑准完备集同源关系
- 关于部分四值逻辑中3元正则可离关系的分类
- 1 引言多值逻辑函数结构理论中函数系完备性之判定问题是一个基本而重要的问题,同时也是自动机理论,多值逻辑网络中必须解决的问题,此问题的解决依赖于定出多值逻辑函数集中的所有准完备集,通常分为完全多值逻辑、部分多值逻辑、一元...
- 龚志伟刘任任
- 文献传递
- 部分四值逻辑中保二元正则可离关系非最小覆盖的剔除
- 2011年
- 为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。
- 龚志伟刘任任
- 关键词:多值逻辑正则可离关系
- 基于微信平台的普通高校本科教学模式的改进与优化
- 2019年
- 翻转课堂教学模式的实现是当今教师教学实践的热点问题。以系统论的观点探讨普通高校本科教学模式的特征,提出教学模式改革应遵循的基本原则,分析基于微信平台的翻转课堂教学模式与混合教学模式存在的问题,从而提出微信平台支持下本科教学模式的改进策略。
- 孙玉荣黄慧华龚志伟
- 关键词:本科教学模式
- 部分K值逻辑中完满对称函数集的确定和构造
- 2013年
- 根据部分K值逻辑的完备性理论,对于一般的K,首先确定了保二元完满对称函数集的个数,并给出了这些函数集的构造方法;然后确定了所有的完满对称函数集的个数,并给出了这些函数集的构造方法。
- 龚志伟刘任任
- 关键词:多值逻辑准完备集
- 部分四值逻辑中准完备集的最小覆盖被引量:1
- 2012年
- 根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。
- 龚志伟刘任任
- 关键词:多值逻辑SHEFFER函数