-
刘波
-
-
- 所属机构:北京控制工程研究所
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 杨桦
- 作品数：73被引量：49H指数：5
- 供职机构：北京控制工程研究所
- 研究主题：形式化验证 星载 操作系统 嵌入式操作系统 航天器
- 刘鸿瑾
- 作品数：61被引量：42H指数：4
- 供职机构：北京控制工程研究所
- 研究主题：多核 SPACEWIRE 容错 单粒子翻转 SOC
- 吴一帆
- 作品数：49被引量：22H指数：3
- 供职机构：北京控制工程研究所
- 研究主题：高可靠 单粒子翻转 多核 处理器 抗辐射
- 杨孟飞
- 作品数：233被引量：452H指数：12
- 供职机构：北京空间飞行器总体设计部
- 研究主题：星敏感器 航天器 容错 形式化验证 敏感器
- 施蕾
- 作品数：46被引量：38H指数：4
- 供职机构：北京控制工程研究所
- 研究主题：处理器 图像 单粒子翻转 FPGA 基于FPGA
