您的位置： 专家智库 > >

国家科技支撑计划(SQ2012BAJY4052)

作品数：3 被引量：6H指数：1
相关作者：贺飞顾明张硕何巍更多>>
相关机构：清华大学教育部更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家科技支撑计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 4个自动化与计算...
  • 2个电子电信
  • 1个经济管理
  • 1个化学工程
  • 1个石油与天然气...
  • 1个机械工程
  • 1个动力工程及工...
  • 1个建筑科学
  • 1个交通运输工程
  • 1个航空宇航科学...
  • 1个一般工业技术
  • 1个理学

主题

  • 3个形式化
  • 3个形式化方法
  • 3个硬件
  • 3个软硬件
  • 3个软硬件协同
  • 2个代码
  • 2个对象模型
  • 1个代理
  • 1个代码克隆
  • 1个代码库
  • 1个单点
  • 1个单点登录
  • 1个单根纤维
  • 1个档位
  • 1个导向性
  • 1个登录
  • 1个等效
  • 1个低油耗
  • 1个电计量
  • 1个电视

机构

  • 4个清华大学
  • 3个教育部
  • 1个北京清软英泰...

资助

  • 4个国家科技支撑...
  • 4个国家重点基础...
  • 4个国家自然科学...
  • 4个清华大学自主...
  • 2个国家高技术研...
  • 2个北京市属高等...
  • 1个北京市自然科...
  • 1个中国博士后科...
  • 1个北京市科技计...
  • 1个国家杰出青年...
  • 1个国家科技重大...
  • 1个中央级公益性...
  • 1个广西青年科学...
  • 1个国家部委资助...
  • 1个国家教育部博...
  • 1个国家重点实验...
  • 1个中国航空科学...

传媒

  • 3个计算机工程与...
  • 3个计算机科学
  • 2个计算机集成制...
  • 2个计算机学报
  • 2个计算机应用
  • 2个计算机应用研...
  • 1个中国勘察设计
  • 1个新型炭材料
  • 1个工程热物理学...
  • 1个电视技术
  • 1个仪器仪表学报
  • 1个物理学报
  • 1个计算机研究与...
  • 1个通信学报
  • 1个北京大学学报...
  • 1个电子学报
  • 1个清华大学学报...
  • 1个南京大学学报...
  • 1个计算机工程与...
  • 1个国防科技大学...

地区

  • 4个北京市
共 4 条 记 录，以下是 1-4
贺飞
供职机构：清华大学软件学院
研究主题：形式化方法 数据分析 仿真 嵌入式软件 接口自动机
发表作品相关人物供职机构所获资助研究领域
顾明
供职机构：清华大学
研究主题：计算机设备 领域知识 存储介质 漏洞 WEB服务
发表作品相关人物供职机构所获资助研究领域
何巍
供职机构：清华大学软件学院
研究主题：服务器模型 分布式嵌入式系统 仿真平台 仿真 浏览器
发表作品相关人物供职机构所获资助研究领域
张硕
供职机构：清华大学软件学院
研究主题：形式化方法
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0