您的位置： 专家智库 > >

国家自然科学基金(91118007)

作品数：43 被引量：99H指数：5
相关作者：杨孟飞黄晨顾斌董燕于广良更多>>
相关机构：北京控制工程研究所中国空间技术研究院华东师范大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术航空宇航科学技术交通运输工程电子电信更多>>

领域

  • 70个自动化与计算...
  • 30个航空宇航科学...
  • 29个电子电信
  • 24个文化科学
  • 19个理学
  • 12个经济管理
  • 10个机械工程
  • 10个交通运输工程
  • 8个建筑科学
  • 8个医药卫生
  • 8个一般工业技术
  • 7个天文地球
  • 7个电气工程
  • 6个金属学及工艺
  • 6个自然科学总论
  • 4个环境科学与工...
  • 4个政治法律
  • 4个兵器科学与技...
  • 3个哲学宗教
  • 3个水利工程

主题

  • 36个嵌入式
  • 33个航天
  • 32个计算机
  • 32个仿真
  • 29个网络
  • 29个测试用例
  • 27个代码
  • 27个软件测试
  • 26个形式化
  • 25个嵌入式软件
  • 24个自动生成
  • 24个航天器
  • 22个自动化
  • 22个分析方法
  • 21个数据流
  • 21个状态机
  • 19个形式化验证
  • 18个调度
  • 18个搜索
  • 12个源代码

机构

  • 27个北京控制工程...
  • 17个华东师范大学
  • 7个中国科学院软...
  • 6个中国航天
  • 5个中国科学技术...
  • 5个空间智能控制...
  • 4个南京大学
  • 4个西北工业大学
  • 4个北京轩宇信息...
  • 3个国防科学技术...
  • 3个北京交通大学
  • 3个中国科学院
  • 3个郑州轻工业学...
  • 3个中国航天科技...
  • 3个计算机软件新...
  • 2个北京大学
  • 2个北京空间飞行...
  • 2个北京理工大学
  • 2个上海师范大学
  • 2个教育部

资助

  • 72个国家自然科学...
  • 29个国家高技术研...
  • 20个国家重点基础...
  • 12个国家科技重大...
  • 11个国家中长期科...
  • 10个国家教育部博...
  • 10个中央高校基本...
  • 9个国家重点实验...
  • 8个安徽省自然科...
  • 6个国家科技支撑...
  • 6个中国人民解放...
  • 5个国防基础科研...
  • 5个上海市教育委...
  • 4个北京市自然科...
  • 4个创新研究群体...
  • 4个教育部“新世...
  • 4个上海市教育委...
  • 3个国家社会科学...
  • 3个上海市自然科...
  • 3个浙江省自然科...

传媒

  • 31个空间控制技术...
  • 22个软件学报
  • 22个计算机科学
  • 19个计算机应用与...
  • 19个计算机工程与...
  • 16个计算机应用研...
  • 14个计算机研究与...
  • 12个计算机学报
  • 12个航天控制
  • 12个中国科学：信...
  • 11个计算机工程
  • 11个微电子学与计...
  • 11个计算机科学与...
  • 11个中国科学：技...
  • 10个计算机系统应...
  • 10个计算机工程与...
  • 9个计算机工程与...
  • 9个计算机应用
  • 9个小型微型计算...
  • 8个中国空间科学...

地区

  • 40个北京市
  • 13个上海市
  • 5个安徽省
  • 4个江苏省
  • 3个河南省
  • 3个湖南省
  • 3个陕西省
  • 1个广西
共 72 条 记 录，以下是 1-10
杨孟飞
供职机构：北京控制工程研究所
研究主题：航天器 星敏感器 容错 形式化验证 敏感器
发表作品相关人物供职机构所获资助研究领域
黄晨
供职机构：北京控制工程研究所
研究主题：测试用例 航天 目标码 嵌入式软件 数据冲突
发表作品相关人物供职机构所获资助研究领域
顾斌
供职机构：北京控制工程研究所
研究主题：嵌入式软件 航天器 数据竞争 AADL 航天器控制
发表作品相关人物供职机构所获资助研究领域
董燕
供职机构：北京控制工程研究所
研究主题：目标码 数据冲突 航天 嵌入式 代码审查
发表作品相关人物供职机构所获资助研究领域
于广良
供职机构：北京控制工程研究所
研究主题：吉比特 实时系统 软硬件协同设计 宇航 星载计算机
发表作品相关人物供职机构所获资助研究领域
郭向英
供职机构：北京控制工程研究所
研究主题：模拟器 数据竞争 目标码 嵌入式软件 处理器
发表作品相关人物供职机构所获资助研究领域
于倩
供职机构：北京控制工程研究所
研究主题：分析方法 嵌入式软件 数据冲突 目标码 嵌入式
发表作品相关人物供职机构所获资助研究领域
李宣东
供职机构：南京大学
研究主题：自动机 面向对象 混成系统 MDA 实时系统
发表作品相关人物供职机构所获资助研究领域
虞砺琨
供职机构：北京控制工程研究所
研究主题：数据流 数据冲突 基于数据流 初始化设置 复用性
发表作品相关人物供职机构所获资助研究领域
姜宏
供职机构：北京控制工程研究所
研究主题：SPACEWIRE 吉比特 软硬件协同设计 星载计算机 航天器控制
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共8页<12345678>
聚类工具0