沈海华 岳阳 梁国星 谢克明 陈云霁 关荣昌 吕川 吴鸿修 徐宏强 吕明 胡伟武

SAT CNF VR 形式验证 有界模型检验 远程测控 内齿珩轮模型 并行转移网（PaTNet） 维修性 单螺杆压缩机 计算机动画 计算机应用 最短路径 包络面 遗传算法 字级模型检验 无线传输 维修 曲面 平台 几何造型 维修工作网 动画 渐开线螺旋面 Petri网 共轭曲面 仿真 维修工作 短信息 建模 人体模型

北京航空航天大学可靠性工程研究所 山西太原 太原理工大学机械工程学院 太原理工大学 中国科学院计算技术研究所微处理器研究中心