周湘南
- 作品数：8 被引量：33H指数：2
- 供职机构：湖南大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学自然科学总论自动化与计算机技术更多>>
- 分式R_0代数及R_0代数上的Gabriel滤子被引量：2
- 2009年
- 引进了相对于交闭系统的分式R0代数的概念,并研究了R0代数上的Gabriel滤子,证明该滤子可以确定R0代数上的一种同余关系,为进一步研究局部化R0代数奠定了基础。
- 周湘南李庆国
- 关键词：R0代数局部化同余关系
- 效应代数的素滤子,同余关系与商被引量：3
- 2007年
- 本文通过引入R-滤子,引入了格效应代数中素滤子的概念,并讨论了R-滤子,素滤子,同余关系和商之间的关系.
- 王璐周湘南
- 关键词：效应代数素滤子同余关系
- 信息安全传递的基础理论和关键技术研究
- 李庆国孙星明周湘南杨高波廖波
- 给出了三个应用系统：1、文件泄密追踪系统 2、文件隐藏信息检测系统 3、网页快速检索系统。 得到了多个图像库：FREEFOTO（10408），NRCS(3162)，UCID(1338)，F5，OutGuess，MB1，J...
- 关键词：
- 关键词：信息检测系统
- 理论的相容度及效应代数的滤子与商
- 从现代逻辑学的视野来看，逻辑学从古至今经历着从传统逻辑到经典逻辑再到非经典逻辑的发展过程.模糊逻辑与量子逻辑以及它们相应的代数系统是目前非经典逻辑体系中非常活跃的研究分支.本文主要就命题模糊逻辑系统中理论的相容性以及效应...
- 周湘南
- 关键词：相容度效应代数滤子模糊逻辑系统发散度
- 文献传递
- 一类二值谓词逻辑中公式的准真度理论被引量：24
- 2005年
- 在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集.在此基础上基于有限均匀分布概率测度空间的可数无穷乘积引入了逻辑公式的相对真度与准真度概念,证明了关于准真度而言MP规则与HS规则成立,并基于准真度对全体谓词公式之集进行了分类.准真度理论虽然并不与逻辑有效公式以及矛盾式概念完全吻合,但可证明存在一类公式,对该类公式而言,逻辑有效性等价于准真度为1,矛盾性等价于准真度为0.所以准真度为1或0分别是逻辑有效公式或矛盾式概念的一种推广.
- 王国俊秦晓燕周湘南
- 关键词：真度等价谓词逻辑无穷乘积有限集
- 不确定性问题的数学方法研究
- 李庆国周湘南杨田郭兰坤
- 该项目主要针对模糊数学，粗糙集与概念格等不确定性问题的数学方法研究中的理论问题及其应用展开研究，既有对已有研究内容的丰富和发展，又有新概念的提出和新理论体系的建立。主要体现(1)引入了双有限上有界偏序集的概念，研究了它们...
- 关键词：
- 与剩余格相关的几类逻辑代数系统的研究
- 自从布尔代数作为经典二值逻辑所对应的代数系统被提出以来，各种不同逻辑系统所相应的代数系统受到研究人员的广泛关注，并取得了大量的研究成果．例如，与Lukasiewicz连续值逻辑系统相匹配的MV-代数，由Hájek所提出的...
- 周湘南
- 关键词：剩余格逻辑代数
- 关于PI证明的若干注记
- 2003年
- PI证明是归结证明的一种重要类型,但是在目前所见到的文献中,对PI推理的定义还有一些不妥之处,没有确保PI推理中的每一步归结都是PI归结.文中给出了新的PI推理的定义,弥补了这一缺陷,并对PI归结的完备性定理证明所需的引理给出了两种简化证明.
- 周湘南秦晓燕
