郭平 汪强 袁由光 张浥楠

表决系统 意愿 人大常委会 松散同步 软件容错 系统可靠性 软硬件 上海市 设计与应用 编码 微型计算机系统 三模冗余 方法设计 冗余系统 决策树 处理器 结构复杂 固定性故障 边界扫描 软件工程 故障检测