您的位置： 专家智库 > >

国家重点基础研究发展计划(2009CB320701)

作品数：14 被引量：57H指数：5
相关作者：金芝张伟张伟梅宏赵海燕更多>>
相关机构：北京大学中国科学院数学与系统科学研究院教育部更多>>
发文基金：国家重点基础研究发展计划国家自然科学基金中国人民大学科学研究基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 30个自动化与计算...
  • 16个文化科学
  • 12个经济管理
  • 10个理学
  • 9个电子电信
  • 5个医药卫生
  • 4个电气工程
  • 4个一般工业技术
  • 3个天文地球
  • 3个金属学及工艺
  • 3个农业科学
  • 3个自然科学总论
  • 2个哲学宗教
  • 2个生物学
  • 2个化学工程
  • 2个矿业工程
  • 2个冶金工程
  • 2个机械工程
  • 2个建筑科学
  • 2个交通运输工程

主题

  • 16个网络
  • 16个WEB服务
  • 14个计算机
  • 13个形式化
  • 12个软件工程
  • 11个用户
  • 11个软件复用
  • 10个知识
  • 9个语义
  • 9个搜索
  • 9个联网
  • 8个映射
  • 8个体系结构
  • 8个物联网
  • 7个迭代
  • 7个需求捕获
  • 7个网构软件
  • 6个引擎
  • 5个代码
  • 4个代理

机构

  • 19个北京大学
  • 13个教育部
  • 6个中国科学院数...
  • 6个中国科学院研...
  • 5个中国科学院
  • 3个河南科技大学
  • 2个华南师范大学
  • 2个青岛大学
  • 2个武汉大学
  • 2个中国人民大学
  • 2个中国计算机学...
  • 2个中国科学院大...
  • 1个北京中医药大...
  • 1个第二军医大学
  • 1个河北医科大学
  • 1个第三军医大学
  • 1个复旦大学
  • 1个广州中医药大...
  • 1个北京师范大学
  • 1个贵阳医学院

资助

  • 30个国家重点基础...
  • 29个国家自然科学...
  • 17个国家高技术研...
  • 10个国家杰出青年...
  • 9个国家教育部博...
  • 8个教育部重点实...
  • 7个中国博士后科...
  • 6个河南省科技攻...
  • 5个北京市自然科...
  • 5个创新研究群体...
  • 4个教育部科学技...
  • 4个广西壮族自治...
  • 4个“九五”国家...
  • 3个国家科技支撑...
  • 3个教育部留学回...
  • 3个河南省科技创...
  • 3个中国人民大学...
  • 2个广东省自然科...
  • 2个国家科技攻关...
  • 2个国家社会科学...

传媒

  • 19个计算机学报
  • 16个计算机研究与...
  • 16个软件学报
  • 10个电子学报
  • 10个计算机科学与...
  • 10个中国科学：信...
  • 9个小型微型计算...
  • 9个计算机科学
  • 8个计算机工程与...
  • 7个北京大学学报...
  • 5个科学通报
  • 5个计算机工程
  • 4个南京大学学报...
  • 4个计算机应用研...
  • 4个计算机工程与...
  • 4个系统仿真学报
  • 4个计算机教育
  • 4个2006年全...
  • 3个中国大学教学
  • 3个计算机应用与...

地区

  • 19个北京市
  • 4个河南省
  • 2个湖南省
  • 2个广东省
  • 1个山东省
  • 1个天津市
  • 1个广西
共 30 条 记 录，以下是 1-10
金芝
供职机构：北京大学信息科学技术学院高可信软件技术教育部重点实验室
研究主题：物联网 软件系统 环境本体 软件工程 存储介质
发表作品相关人物供职机构所获资助研究领域
张伟
供职机构：北京大学信息科学技术学院软件研究所
研究主题：软件复用 软件工程 性需求 自适应软件 基于互联网
发表作品相关人物供职机构所获资助研究领域
张伟
供职机构：北京大学信息科学技术学院高可信软件技术教育部重点实验室
研究主题：软件复用 软件工程 开源软件 基于互联网 群体智能
发表作品相关人物供职机构所获资助研究领域
梅宏
供职机构：北京大学信息科学技术学院
研究主题：软件体系结构 中间件 软件复用 软件工程 面向对象
发表作品相关人物供职机构所获资助研究领域
赵海燕
供职机构：北京大学信息科学技术学院高可信软件技术教育部重点实验室
研究主题：软件复用 自适应 画布 协同式 面向目标
发表作品相关人物供职机构所获资助研究领域
王捍贫
供职机构：北京大学
研究主题：保持性 模型论 Q 形式化方法 MARTE
发表作品相关人物供职机构所获资助研究领域
王越
供职机构：中国科学院数学与系统科学研究院
研究主题：基于知识 性需求 知识引导 经验知识 软件系统
发表作品相关人物供职机构所获资助研究领域
刘春
供职机构：河南大学
研究主题：性需求 信息物理融合系统 用户需求 向量化 面向目标
发表作品相关人物供职机构所获资助研究领域
朱梅霞
供职机构：天津工业大学计算机科学与软件学院
研究主题：顺序图 MARTE 实时系统 形式化分析 形式化方法
发表作品相关人物供职机构所获资助研究领域
李力行
供职机构：中国科学院数学与系统科学研究院
研究主题：物联网 环境实体 自动机 时间自动机 环境建模
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0