您的位置： 专家智库 > >

国家自然科学基金(60970040)

作品数：4 被引量：9H指数：2
相关作者：赵希顺孙永新符志强周进张燕更多>>
相关机构：中山大学仲恺农业工程学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

领域

  • 4个自动化与计算...
  • 2个哲学宗教
  • 2个电子电信
  • 2个文化科学
  • 1个经济管理
  • 1个历史地理
  • 1个理学

主题

  • 3个语义WEB服...
  • 3个描述逻辑
  • 2个动作语言
  • 2个英文
  • 2个硬件
  • 2个语言
  • 2个语义
  • 2个时序逻辑
  • 2个谨慎
  • 2个可编程逻辑
  • 2个可满足性
  • 2个基于硬件
  • 1个调度
  • 1个调度系统
  • 1个动点
  • 1个动画演示
  • 1个读卡
  • 1个读卡器
  • 1个读写
  • 1个读写器

机构

  • 4个中山大学
  • 2个仲恺农业工程...
  • 1个南京大学

资助

  • 5个国家自然科学...
  • 2个国家社会科学...
  • 1个国家高技术研...
  • 1个国家教育部博...
  • 1个教育部人文社...
  • 1个韶关市科技计...

传媒

  • 3个计算机应用研...
  • 2个电子世界
  • 2个现代计算机
  • 2个福建电脑
  • 2个计算机科学
  • 2个逻辑学研究
  • 2个仲恺农业工程...
  • 2个郑州师范教育
  • 1个求是学刊
  • 1个科学通报
  • 1个中国科学（A...
  • 1个计算机应用与...
  • 1个中山大学学报...
  • 1个计算机应用
  • 1个软件学报
  • 1个电脑知识与技...
  • 1个暨南大学学报...
  • 1个南京大学学报...
  • 1个吉林大学学报...
  • 1个软件导刊

地区

  • 4个广东省
共 5 条 记 录，以下是 1-5
赵希顺
供职机构：中山大学人文科学学院逻辑与认知研究所
研究主题：英文 逻辑 表示式 LAR GU
发表作品相关人物供职机构所获资助研究领域
孙永新
供职机构：仲恺农业工程学院信息科学与技术学院
研究主题：描述逻辑 叶形 基于多尺度 曲率尺度空间 语义WEB服务
发表作品相关人物供职机构所获资助研究领域
符志强
供职机构：仲恺农业工程学院
研究主题：蚁群算法 《计算机接口技术》 计算机接口技术 对等网 搜索算法
发表作品相关人物供职机构所获资助研究领域
周进
供职机构：中山大学人文科学学院逻辑与认知研究所
研究主题：FPGA SAT算法 基于硬件 可满足性 可编程逻辑
发表作品相关人物供职机构所获资助研究领域
张燕
供职机构：中山大学人文科学学院逻辑与认知研究所
研究主题：谨慎 动作语言 语义
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0