郑力 王伟 肖岚 桂长林 肖建 刘小君

组态软件 匹配算法 模型理论语义 连通性 Horn子句 控制理论 逻辑程序 智能Agent ControlView Tableau算法 Internet 语义 计算机应用 表征 描述逻辑 表面形貌 组件组合 人工智能控制技术 人工智能 数字图书馆 领域本体 业务组件 测控 图像描述

清华大学工业工程系 安徽合肥 合肥工业大学机械与汽车工程学院