贾阳 常隆兴 文亮 龚健 刘波 段永颢 郭树玲 孙增圻 陈建新 肖爱斌 王桂英 王青 董燕 郝志刚 左万娟

综合电子系统 变量排序 方法 适应性 数据一致性 现场可编程门阵列 月球巡视探测器 拜占庭恢复 故障检测 容错 ROBDD 月球探测 可配置逻辑块 软件可靠性 形式验证 进化 CASE 故障模型 智能 三重模块冗余 容错方法 遗传算法 自动控制系统 辐射效应 故障模式分析 AOCC 可进化硬件 进化算法 断言 存储器

中国空间技术研究院 北京控制工程研究所 空间智能控制技术国家级重点实验室