您的位置: 专家智库 > >

陈清亮

作品数:21 被引量:100H指数:5
供职机构:暨南大学更多>>
发文基金:国家自然科学基金广东省自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术文化科学电子电信理学更多>>

领域

  • 21个自动化与计算...
  • 11个电子电信
  • 9个文化科学
  • 8个理学
  • 5个天文地球
  • 3个经济管理
  • 2个生物学
  • 2个机械工程
  • 2个轻工技术与工...
  • 2个医药卫生
  • 2个自然科学总论
  • 1个电气工程
  • 1个交通运输工程
  • 1个一般工业技术
  • 1个社会学
  • 1个政治法律
  • 1个兵器科学与技...

主题

  • 12个图像
  • 12个网络
  • 9个数据库
  • 9个逻辑
  • 8个时态
  • 7个形式化
  • 7个搜索
  • 6个一致性
  • 6个知识
  • 6个认知逻辑
  • 5个递推
  • 5个递推公式
  • 5个英文
  • 5个智能体
  • 5个图表示
  • 4个电子商务
  • 4个定理
  • 4个形式化方法
  • 3个形式化验证
  • 3个一阶逻辑

机构

  • 13个中山大学
  • 8个暨南大学
  • 4个广东商学院
  • 3个华南师范大学
  • 3个广东财经大学
  • 2个北京工业大学
  • 2个清华大学
  • 2个中国科学院
  • 1个北京大学
  • 1个长沙交通学院
  • 1个广东工业大学
  • 1个桂林电子科技...
  • 1个电子科技大学
  • 1个国防科学技术...
  • 1个南京大学
  • 1个华侨大学
  • 1个吉林大学
  • 1个河南科技大学
  • 1个广东技术师范...
  • 1个华南理工大学

资助

  • 20个国家自然科学...
  • 18个广东省自然科...
  • 17个国家重点基础...
  • 12个中央高校基本...
  • 9个广东省科技计...
  • 8个广东省科技攻...
  • 7个国家杰出青年...
  • 5个教育部留学回...
  • 5个中国博士后科...
  • 5个德国研究基金
  • 4个国家高技术研...
  • 4个国家大学生创...
  • 4个广东省教育厅...
  • 4个博士科研启动...
  • 4个广东省教育部...
  • 3个教育部科学技...
  • 3个广州市科技计...
  • 2个湖南省自然科...
  • 2个广东省高校优...
  • 2个广西青年科学...

传媒

  • 14个计算机工程与...
  • 12个计算机学报
  • 11个中山大学学报...
  • 11个软件学报
  • 9个计算机研究与...
  • 9个计算机科学
  • 7个计算机应用研...
  • 7个小型微型计算...
  • 5个电子学报
  • 5个华中科技大学...
  • 5个计算机工程
  • 5个计算机应用与...
  • 5个现代计算机
  • 4个计算机工程与...
  • 4个计算机应用
  • 4个计算机工程与...
  • 3个系统工程与电...
  • 3个天文学报
  • 3个微电子学与计...
  • 3个计算机系统应...

地区

  • 17个广东省
  • 2个北京市
  • 1个四川省
  • 1个福建省
  • 1个浙江省
22 条 记 录,以下是 1-10
苏开乐
供职机构:浙江师范大学数理与信息工程学院
研究主题:开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
发表作品相关人物供职机构所获资助研究领域
吕关锋
供职机构:北京工业大学计算机学院
研究主题:BDD OBDD SPV 最短路径 知识结构
发表作品相关人物供职机构所获资助研究领域
岳伟亚
供职机构:中山大学信息科学与技术学院信息技术教育部重点实验室
研究主题:语义模型 形态小波 灰度形态学 模糊形态学 图像处理
发表作品相关人物供职机构所获资助研究领域
杨晋吉
供职机构:华南师范大学
研究主题:存储介质 图像 形式化验证 染色体 概率模型检测
发表作品相关人物供职机构所获资助研究领域
姜云飞
供职机构:中山大学信息科学与技术学院软件研究所
研究主题:人工智能 基于模型诊断 专家系统 规划图 遗传算法
发表作品相关人物供职机构所获资助研究领域
吴立军
供职机构:电子科技大学计算机科学与工程学院
研究主题:形式化方法 时态 时态认知逻辑 EMD 符号模型检测
发表作品相关人物供职机构所获资助研究领域
骆翔宇
供职机构:华侨大学计算机科学与技术学院
研究主题:WEB服务 多智能体系统 时态认知逻辑 WEB服务组合 有界模型检测
发表作品相关人物供职机构所获资助研究领域
陈蔼祥
供职机构:广东财经大学
研究主题:规划图 遗传算法 遗传规划算法 并行搜索 基于模型诊断
发表作品相关人物供职机构所获资助研究领域
张庆丰
供职机构:暨南大学
研究主题:天体测量 图像 CASSINI ISS 宇宙射线
发表作品相关人物供职机构所获资助研究领域
朱可宜
供职机构:暨南大学信息科学技术学院计算机科学系
研究主题:多智能体 时态逻辑 认知逻辑
发表作品相关人物供职机构所获资助研究领域
共3页<123>
聚类工具0