您的位置： 专家智库 > >

刘瑞胜

作品数：12 被引量：45H指数：4
供职机构：吉林大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

领域

  • 4个自动化与计算...
  • 3个理学
  • 2个经济管理
  • 2个机械工程
  • 2个交通运输工程
  • 2个文化科学
  • 1个生物学
  • 1个天文地球
  • 1个化学工程
  • 1个冶金工程
  • 1个电子电信
  • 1个电气工程
  • 1个农业科学
  • 1个社会学

主题

  • 4个人工智能
  • 3个等价
  • 3个定理
  • 3个定理证明
  • 2个代理
  • 2个代数
  • 2个调度
  • 2个调解
  • 2个定理机器证明
  • 2个定制
  • 2个信念
  • 1个代价矩阵
  • 1个代码
  • 1个代码生成
  • 1个代码生成工具
  • 1个代码信息
  • 1个代码转换
  • 1个代数格
  • 1个单槽
  • 1个单词

机构

  • 4个吉林大学
  • 1个大连海事大学
  • 1个复旦大学
  • 1个长春工程学院
  • 1个东北师范大学
  • 1个教育部
  • 1个汕头大学
  • 1个中山大学

资助

  • 4个国家高技术研...
  • 4个国家自然科学...
  • 3个国家教育部博...
  • 2个中国博士后科...
  • 2个国家攀登计划
  • 2个中山大学校科...
  • 1个高等学校骨干...
  • 1个高等学校国家...
  • 1个广东省自然科...
  • 1个吉林大学青年...
  • 1个吉林省杰出青...
  • 1个吉林省科技发...
  • 1个吉林省自然科...
  • 1个教育部科学技...
  • 1个安徽省高校省...
  • 1个吉林省教育厅...
  • 1个吉林省青年科...
  • 1个江苏省博士后...
  • 1个江苏省高校自...
  • 1个教育部“新世...

传媒

  • 4个计算机科学
  • 3个吉林大学自然...
  • 3个模式识别与人...
  • 3个计算机学报
  • 3个计算机工程
  • 3个软件学报
  • 2个科学通报
  • 2个计算机研究与...
  • 2个中国科学（A...
  • 2个广西师范大学...
  • 2个计算机应用
  • 2个计算机应用研...
  • 2个小型微型计算...
  • 2个计算机工程与...
  • 2个第七届中国人...
  • 1个计算机集成制...
  • 1个自动化学报
  • 1个通信学报
  • 1个电子学报
  • 1个南京大学学报...

地区

  • 3个吉林省
  • 1个辽宁省
共 4 条 记 录，以下是 1-4
孙吉贵
供职机构：吉林大学计算机科学与技术学院
研究主题：人工智能 TABLEAU 模态逻辑 约束满足问题 粒子群算法
发表作品相关人物供职机构所获资助研究领域
刘叙华
供职机构：吉林大学计算机科学与技术学院
研究主题：人工智能 模态逻辑 模糊逻辑 调解 算子
发表作品相关人物供职机构所获资助研究领域
陈荣
供职机构：大连海事大学
研究主题：众包 SIMULINK 测试用例 单词 数据集
发表作品相关人物供职机构所获资助研究领域
翟永顺
供职机构：吉林大学计算机科学与技术学院
研究主题：人工智能 移动AGENT 安全性 AGENT 缺省理论
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0