郑力 郭学理 陈良亮 刘燕 肖乾广 肖建 黄毅 胡文斌 曹万里 冯继明 严仰光 郝永芳

CMIP 逻辑程序 直流分量 业务组件 闪电 Tableau算法 Horn子句 强对流云团 SNMPv2 组件组合 匹配算法 语义 SNMPv1 云顶温度 网络管理 智能代理 数字调节 mie散射 领域本体 检测 SNMPv3 简单网络管理协议 模型理论语义 逆变器 SNMP 描述逻辑

清华大学工业工程系 武汉大学软件工程国家重点实验室 武汉大学计算机科学与技术学院