孙吉贵 张永刚 唐加福 廖乐健 郭哲 刘士新 石立农 高健 李志刚 景沈艳 陈卓宁 白跃伟 陈宗海 郭冬芬 朱六璋 董国增 赵志崑 史忠植 曹虎 李铁克 朱兴军 黄元亮 吴涛 曾庆惠 潘冰 高福运

正向检查 k-opt互换 弧相容 区间代数 节点互换算法 约束 优先关系 约束规划 三维几何约束 炼钢-连铸-热轧 动态包络 炼钢批量计划 并发约束程序设计 约束满足问题 一致性技术 规则 车辆路径问题 热轧调度 热轧批量计划 灰色定性仿真 累积调度问题 定性推理 灰色模型 空间布局 工程数据库管理系统 几何推理 定性仿真 非二元CSP求解 多主体系统 CAD