您的位置： 专家智库 > >

国家自然科学基金(60496324)

作品数：10 被引量：102H指数：6
相关作者：金芝陆汝钤邹彪朱雪峰张哲更多>>
相关机构：中国科学院数学与系统科学研究院中国石油大学（北京）中国科学院更多>>
发文基金：国家自然科学基金中国科学院知识创新工程重要方向项目国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术理学更多>>

领域

  • 10个自动化与计算...
  • 4个文化科学
  • 3个经济管理
  • 3个医药卫生
  • 2个电子电信
  • 2个自然科学总论
  • 1个机械工程
  • 1个建筑科学
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个环境科学与工...
  • 1个一般工业技术
  • 1个社会学
  • 1个军事
  • 1个理学

主题

  • 9个网络
  • 7个形式化
  • 5个形式化方法
  • 5个网络协议
  • 4个信任
  • 3个信息系统
  • 3个语义
  • 3个知识
  • 3个知识库
  • 2个迭代
  • 2个多视点
  • 2个信息获取
  • 2个信息融合
  • 2个形式化验证
  • 1个大学计算机
  • 1个大学计算机基...
  • 1个大样本
  • 1个代码
  • 1个代码编写
  • 1个代码库

机构

  • 4个中国石油大学...
  • 4个中国科学院数...
  • 4个中国科学院研...
  • 2个中国科学院
  • 2个地球探测与信...
  • 1个复旦大学
  • 1个北京大学
  • 1个对外经济贸易...
  • 1个清华大学
  • 1个教育部
  • 1个中国石油大学...
  • 1个空军航空大学
  • 1个北京大学口腔...
  • 1个中国科学院软...
  • 1个济南市第三人...
  • 1个中国标准化研...
  • 1个中国计算机学...
  • 1个陕西省质量技...
  • 1个北京大学口腔...

资助

  • 10个国家自然科学...
  • 5个国家重点基础...
  • 5个中央级公益性...
  • 5个中国科学院知...
  • 4个国家高技术研...
  • 3个国家杰出青年...
  • 3个中国科学院知...
  • 2个The Ro...
  • 2个国家科技重大...
  • 2个“九五”国家...
  • 1个高等学校国家...
  • 1个河南省科技攻...
  • 1个霍英东教育基...
  • 1个基础研究重大...
  • 1个卫生部科学研...
  • 1个云南省自然科...
  • 1个浙江省自然科...
  • 1个中国博士后科...
  • 1个广西壮族自治...
  • 1个北京市教委资...

传媒

  • 8个计算机科学
  • 4个电子学报
  • 4个软件学报
  • 3个南京大学学报...
  • 3个计算机学报
  • 3个计算机工程与...
  • 3个中国科学（E...
  • 3个2005’全...
  • 2个计算机研究与...
  • 2个科技导报
  • 2个计算机工程与...
  • 2个计算机工程与...
  • 2个2003'全...
  • 2个2004’全...
  • 2个2007全国...
  • 2个2008全国...
  • 2个中国计算机学...
  • 2个第四届中国A...
  • 1个电脑编程技巧...
  • 1个华东师范大学...

地区

  • 10个北京市
共 10 条 记 录，以下是 1-10
金芝
供职机构：北京大学信息科学技术学院高可信软件技术教育部重点实验室
研究主题：物联网 软件系统 环境本体 软件工程 自适应
发表作品相关人物供职机构所获资助研究领域
邹彪
供职机构：中国石油大学（北京）地球物理与信息工程学院计算机科学与技术系
研究主题：形式化方法 网络协议
发表作品相关人物供职机构所获资助研究领域
朱曼玲
供职机构：对外经济贸易大学
研究主题：移动互联网 高校 基于移动终端 资源池 本体论
发表作品相关人物供职机构所获资助研究领域
孙雷
供职机构：中国石油大学（北京）
研究主题：教学方法 固含率 解耦 探针 形式化方法
发表作品相关人物供职机构所获资助研究领域
陆汝钤
供职机构：中国科学院数学与系统科学研究院
研究主题：人工智能 专家系统 软件工程 常识知识库 自动生成
发表作品相关人物供职机构所获资助研究领域
刘璘
供职机构：清华大学软件学院
研究主题：信任 雷达 中文 信号分选 软件工程
发表作品相关人物供职机构所获资助研究领域
朱雪峰
供职机构：中国石油大学（北京）地球物理与信息工程学院计算机科学与技术系
研究主题：形式化方法 网络协议
发表作品相关人物供职机构所获资助研究领域
许建军
供职机构：中国标准化研究院
研究主题：食品安全 食品 食品管理 最大残留限量 农药残留
发表作品相关人物供职机构所获资助研究领域
张哲
供职机构：中国石油大学（北京）地球物理与信息工程学院计算机科学与技术系
研究主题：形式化方法 网络协议
发表作品相关人物供职机构所获资助研究领域
侯丽珊
供职机构：中国科学院软件研究所
研究主题：环境变迁 环境本体 网构软件 WEB服务 WEB
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0