刘晓强 孙家广 洪炳熔 孙丽杰 张宇 乔永强

症状 伽罗瓦域 全局诊断 控制流 系统重构 t-可诊断系统 局部诊断 特征造型 PMC模型 溅射 增强型逐步协商表决 二维工程图 软件表决 相关瞬态故障 多处理机 EDHM模型 二维、三维联动 MM模型 通用比较模型 星载计算机 信号函数 有限状态机

哈尔滨工业大学计算机科学与工程系 西安微电子技术研究所 清华大学计算机科学与技术系 哈尔滨通江晶体管厂 哈尔滨工业大学计算机科学与工程系智能机器... 航天部骊山微电子公司