柏彦奇 王洪媛 龚传信 胡守仁 匡冶 王志英 戴葵 龚锐 王平 姜新雷 刘忠鹏 左万利 高耀清 刘淑芬

并行推理机 逻辑程序 概念模型 对象模型 软错误恢复 主动数据库 双核冗余 ECA规则 片上多核处理器 并行度 三核冗余 联邦式作战仿真 冲突消解 合流性 软错误屏蔽