贺高红 肖公奎 杨伟 乔瑞 刘元法 汪健生 崔凯 林畅 黄明 刘亚琦 任继永

推理机 程序系统 Petri网 真空脱气 传热系数 纵流式 壳程 会合 流路 同步 中空纤维 总传热系数 阻力降 计算机系统 死锁 流场 进程 进程同步 温度场 互斥 换热器 PROLOG语言 溶解氧 信号量