危险品的.pptVIP

危险品的配送优化Optimizing the Distribution and Transport of Dangerous Materials 优化计算语言NCL 混合集合规划 (Mixed Set Programming) 学术发表 学术问题：路径优化 带仓库选址的路径优化 NCL的routing模型 工业中的优化问题 优化方案的工程化开发 优化计算平台POEM 天然气的大规模配送 配送优化问题 优化过程 配送的约束 其它约束及优化目标 Dispatcher系统 基于需求分布的仓储选址 基于需求的经济区划分、份额分配 卡车计划 路线优化与局域交互 车次实时跟踪 全方位的回馈与统计信息 车次性能(Trip Performance)分析 液罐车日常配送优化 液气罐定期、定量配送优化 Elf Antargaz的宣传报导 营智优化 * ?2000-2010 ENGINEST. All rights reserved. 周建阳 Simpler ? Smarter ? Swifter 以数理逻辑为自然语法的优化计算语言 支持对工业问题在业务逻辑层面的建模与求解 FE2 × (To2 – Ti2) = 600.0, FE1 × (To1 – Ti1) = 1000.0, 150.0 × Fi1 + To2 × FB12 – Ti1 × FE1 = 0.0, 150.0 × Fi2 + To1 × FB21 – Ti2 × FE2 = 0.0, min 1300 × exp(0.6 × log(20000 × 6 / (4 × + (T11+T12)))) + 1300 × exp(0.6 × log(12000 × 6 / (4 × + (T21+T22)))) . Ti1 ? [150.0, 240.0], To1 ? [250.0, 490.0], Ti2 ? [150.0, 190.0], To2 ? [210.0, 340.0], FE1 ? [2.941, 10.0], FE2 ? [3.158, 10.0], Fi1 ≥ 0.0, Fi2 ≥ 0.0, FB12 ≥ 0.0, FB21 ≥ 0.0, Fo1 ≥ 0.0, Fo2 ≥ 0.0, T11 = 500.0 – To1, T12 = 250.0 – Ti1, T21 = 350.0 – To2, T22 = 200.0 – Ti2, Fi1 + Fi2 = 10.0, Fo2 + FB12 = FE2, Fo1 + FB21 = FE1, Fi1 + FB12 = FE1, Fi2 + FB21 = FE2, 最小化热能 转换器能耗 线性约束 非线性约束 非线性目标 数学描述 ? 求解 POEM ?2000-2011. ENGINEST. Simpler ? Smarter ? Swifter 支持数值运算: 实数域、整数域 支持日期/时间推理 支持一阶逻辑: 量词、谓词、函数、逻辑关系 支持集合规划 集合对信息的聚合性 - 元素、基数、上界、下界、交、并、差、前继、后继 动态量词逻辑增强模糊推理的能力，支持更强大的问题描述与求解: - i ? A (…) - ? i ? A (…) - y = ? i ? A xi 域切割算法与算法耦合 - 针对各类运算与关系的域切割算法 - 算法之间耦合形成网状关系，进一步提升求解能力 Distribution of Dangerous Materials ?2000-2010. ENGINEST. Simpler ? Smarter ? Swifter 国际杂志 J. Zhou: Introduction to the constraint language NCL. J. Log. Program. 45 (1-3): 71-103(2000). 学术专著 周建阳：《自然约束语言》，科学出版社，236页，2009年。 J. Zhou: The NCL Natural Constraint Language. To be published by Sprin