陈国良 张彤 孙良彦 陈丽华 王敏 矫梅燕

形式规范 等效率函数 网络点 并行计算模型 JOOADL语言 并行算法 湿度 一体化 串并转换 差分方程 分析法 形式语义 演绎法 循环结构 敏感元件 分析算法 时态逻辑 Gamma 温度 并行计算 Transputer网络 程序综合 可伸缩性 并行体系结构 数值预报

中国科学技术大学计算机系 吉林大学电子工程系 沈阳工业仪器仪表研究所 中国科学技术大学计算机科学系 中国科学技术大学电子工程与信息科学系 安徽省气象科学研究所