您的位置: 专家智库 > >

谭昊勋

作品数:4 被引量:14H指数:2
供职机构:湘潭大学能源工程学院更多>>
发文基金:湖南省教育厅科研基金湖南省重点学科建设项目国家自然科学基金更多>>
相关领域:自动化与计算机技术理学更多>>

文献类型

  • 3篇期刊文章
  • 1篇学位论文

领域

  • 4篇自动化与计算...
  • 1篇理学

主题

  • 3篇函数
  • 3篇SHEFFE...
  • 2篇准完备集
  • 2篇完备集
  • 2篇逻辑函数
  • 2篇多值
  • 2篇多值逻辑
  • 2篇多值逻辑函数
  • 1篇对称函数
  • 1篇四值逻辑
  • 1篇完满
  • 1篇线程
  • 1篇分布式
  • 1篇分布式计算
  • 1篇RMI
  • 1篇JAVA_R...
  • 1篇JAVA

机构

  • 4篇湘潭大学
  • 1篇教育部

作者

  • 4篇谭昊勋
  • 2篇刘任任
  • 2篇王婷
  • 1篇郑娟
  • 1篇龙海洋

传媒

  • 1篇计算机学报
  • 1篇湘潭大学自然...
  • 1篇计算机科学

年份

  • 1篇2012
  • 1篇2011
  • 1篇2010
  • 1篇2005
4 条 记 录,以下是 1-4
排序方式:
部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定被引量:7
2010年
根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。
刘任任王婷谭昊勋
关键词:多值逻辑SHEFFER函数
部分多值逻辑函数集中准完备集的若干性质研究
多值逻辑是指一切逻辑值的取值数大于2的逻辑。多值逻辑的研究内容主要包括理论、电路与系统和应用三个方面。 多值逻辑函数结构理论包括完备性理论、函数表示理论以及单向陷门函数,其中一个基本而重要的问题是函数集完备性的判定,它也...
谭昊勋
关键词:准完备集SHEFFER函数
文献传递
基于Java RMI的分布式计算被引量:7
2005年
分布式计算是一个非常有意义和挑战的研究方向.Java的多线程和平台独立的特性为在异构系统中实现分布式计算提供了一个良好的环境.同时Java提供的远程方法调用(RemoteMethodInvocation,RMI)特性使客户机上运行的程序可以引用远程服务器上的远程对象方法,使得分布式计算更容易实现.详细地分析了JavaRMI的工作原理,并结合实例分析表明该环境能在复杂的异构系统中有效地实行分布式计算.
谭昊勋龙海洋郑娟
关键词:JAVARMI线程分布式
关于部分多值逻辑函数集中准完备集的若干性质被引量:1
2012年
Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中"保关系"的系统思想,使用群论和组合数学的工具,研究了部分多值逻辑函数集中准完备类相应关系的若干性质.给出并证明了非空关系Gm是完全关系以及子群H是Gm的对称群的充要条件,定出了部分k值逻辑中完满对称函数类Fs,m中函数集的个数.以上工作为解决部分多值逻辑中Sheffer函数的判定提供了研究基础.
刘任任王婷谭昊勋
关键词:多值逻辑准完备集SHEFFER函数
共1页<1>
聚类工具0