您的位置： 专家智库 > 资助详情>国家自然科学基金(61272001)

国家自然科学基金(61272001)

作品数：2 被引量：1H指数：1
相关作者：徐晓飞曲国远贺飞贺飞更多>>
相关机构：中国航空无线电电子研究所教育部清华大学更多>>
发文基金：国家自然科学基金中国航空科学基金国家部委资助项目更多>>
相关领域：自动化与计算机技术更多>>
人物
机构

领域

  • 4个自动化与计算...
  • 3个电子电信
  • 2个航空宇航科学...
  • 1个金属学及工艺
  • 1个轻工技术与工...
  • 1个医药卫生
  • 1个一般工业技术
  • 1个文化科学
  • 1个理学

主题

  • 4个形式化
  • 4个形式化方法
  • 4个硬件
  • 4个时钟同步
  • 4个时钟同步协议
  • 3个代码
  • 3个硬件系统
  • 2个调度
  • 2个调度方法
  • 2个端口
  • 2个多路
  • 2个形式化验证
  • 2个形式语言
  • 2个硬件验证
  • 2个自动机
  • 2个自动机理论
  • 1个带宽
  • 1个带宽分配
  • 1个带宽预留
  • 1个代码分析

机构

  • 2个教育部
  • 2个中国航空无线...
  • 1个北京市耳鼻咽...
  • 1个清华大学
  • 1个上海交通大学
  • 1个西北工业大学
  • 1个首都医科大学
  • 1个北京清软英泰...

资助

  • 4个国家自然科学...
  • 4个国家部委资助...
  • 4个中国航空科学...
  • 3个北京市自然科...
  • 2个国家科技支撑...
  • 1个国防基础科研...
  • 1个国防科技重点...
  • 1个国家高技术研...
  • 1个国家重点基础...
  • 1个北京市科技计...
  • 1个国家杰出青年...
  • 1个北京市教委科...
  • 1个北京市卫生系...
  • 1个北京市重点实...
  • 1个北京市属高等...
  • 1个长江学者和创...
  • 1个清华大学自主...
  • 1个首都卫生发展...
  • 1个首都医学发展...
  • 1个卫生部卫生公...

传媒

  • 4个国防科技大学...
  • 2个计算机应用
  • 2个软件学报
  • 2个计算机工程与...
  • 2个航空电子技术
  • 2个计算机科学
  • 1个计算机集成制...
  • 1个西北工业大学...
  • 1个哈尔滨工业大...
  • 1个计算机研究与...
  • 1个计算机学报
  • 1个计算机工程与...
  • 1个计算机应用研...
  • 1个小型微型计算...
  • 1个航空学报
  • 1个计算机工程与...
  • 1个应用力学学报
  • 1个北京航空航天...
  • 1个耳鼻咽喉（头...
  • 1个首都医科大学...

地区

  • 2个上海市
  • 1个湖南省
  • 1个北京市
共 4 条 记 录，以下是 1-4
徐晓飞
供职机构：中国航空无线电电子研究所
研究主题：调度 时间触发 交换机 交叉开关 VOQ
发表作品相关人物供职机构所获资助研究领域
曲国远
供职机构：中国航空无线电电子研究所
研究主题：时间触发 通信 航空电子系统 航空电子 机载
发表作品相关人物供职机构所获资助研究领域
贺飞
供职机构：教育部
研究主题：变应性鼻炎患者 过敏性鼻炎 内窥镜检查 变应性鼻炎 人工耳蜗植入
发表作品相关人物供职机构所获资助研究领域
贺飞
供职机构：清华大学
研究主题：形式化方法 数据分析 仿真 可满足性 嵌入式软件
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0