TheNclNaturalConstraintLanguage.pps-营智优化.pptVIP

NCL语言与一阶逻辑规划The NCL Natural Constraint LanguageProgramming in First-Order Logic 目录 1. 优化计算语言NCL 计算机语言的类型 求解系统(solver)与形式化(formalism) 背景与目标 逻辑编程与优化计算 求解系统的构成要素 NCL的资源优化模型 NCL发表物 2. 算法框架 一阶逻辑 数据类型 运算关系及定义域 数值型函数 布尔型函数 集合型函数 量词逻辑与逻辑分支 逻辑函数与子模型 Cotangent：数值型自定义函数 孙膑的逻辑模型与求解 Square Packing Production Scheduling NCL模型：二维排序(2D Sorting) Vehicle Routing NCL模型：Routing 3. 工业应用 优化计算平台POEM 优化计算技术的应用领域 3.1 排产优化 (Production Scheduling) 生产排程的约束模型(1) 生产排程的约束模型(2) 电子器件排产 冶金浇铸流程排程 烟草生产排产 排程的系统算法 分解、合并的算法示意图 3.2 民航业务优化 (Optimization for Civil Aviation) 航线网络规划 (Airline Network Planning) 航线网络规划的约束模型 飞机排班(航班与维修) (Aircraft Scheduling) 飞机排班的约束模型 国航SAP短期计划平台 机组排班 (Crew Scheduling) 机组排班的约束模型 不正常航班恢复优化 (Aircraft Schedule Recovery) 不正常航班恢复的约束模型 3.3 物流优化 (Logistics Optimization) 配送的约束模型(1) 配送的约束模型(2) 仓储选址优化(Depot Optimization) 卡车计划与路径优化 车次实时跟踪 法国Elf Antargaz天然气集团 营智优化 Simpler ? Smarter ? Swifter 工序级约束： 工序的资源需求 工序的工艺流程 工序的时序控制 工序的加工时间 工序的开工时间窗口... 优化目标： 订单最小延迟时间量 最小化工期 主要设备最大利用率... 繁杂的个性化约束： 下班前不开工 小批量遗留工序当班完成 投料间隔... 零部件级约束： 产品的零部件结构关系 与上周期零部件工序的衔接 不同零部件的资源耦合 零部件间前、后继关系 零部件的调度次序... NCL ?2000-2012. ENGINEST. All rights reserved. Simpler ? Smarter ? Swifter 大规模制造用于航空、航天的各式天线等精密产品 NCL ?2000-2012. ENGINEST. All rights reserved. Simpler ? Smarter ? Swifter 配料机 (AOD) 时限基 于钢锭 冷却 1 时限可变 滞留钢包时限?: ?h - 3h 基于钢锭 时限极短 1h 冷却 n 时限可变 转换 钢包 转换 钢包 转换 钢包 钢包 2 钢包 1 钢包 n 时限基于钢锭 ： 连续浇铸 40’ - 1h 钢锭 旋转 进料 熔炉1 时限 2h 熔炉2 时限 2h 时限极短 旋转进料 NCL ?2000-2012. ENGINEST. All rights reserved. Simpler ? Smarter ? Swifter 厦门烟厂: 验证新工艺，优化排产 NCL ?20