POEM基础课程.pdfVIP

POEM 础课程 2000-2008 ENGINEST. All rights reserved. 一、NCL语法基础 NCL Syntax NCL语法基础 2000-2008. ENGINEST. All rights reserved. NCL语言简介 Introduction to NCL 逻辑与运筹学的描述型语言 1. NCL语言是一门以数理逻辑(Mathematical Logic)为语法的运筹学的 自然语言。人工智能的模式识别技术广泛应用于NCL 的自然语法分 析及语义识别，使用户在面对极端复杂的工业优化问题时，可以方 便的用NCL进行自然的建模与求解； 2. 混合集合规划系统构成NCL 的算法内核：支持求解布尔值、实数、 整数、时间、索引及集合类型上的混合约 ；支持 阶逻辑、集合 推理，实数域数值分析等。混合集合规划支持对复杂大规模问题进 行业务逻辑 级的建模并求解。而不用像混合整数规划那样将非线 性问题作复杂的线性化转变后再求解； 3. NCL是 门可以对搜索策略高度简洁地进行编程的语言。它可以简 单灵活地实现对搜索树的逻辑控制，包括：对分支、回溯、搜索模 式 （如：二叉树常规搜索、重启搜索树、带条件的选枝等）的逻辑 控制，对软约束（soft constraint ）的应用，对多目标优化及优化步 长的控制，对近似解的控制等。 2000-2008. ENGINEST. All rights reserved. 混合集合规划 Mixed Set Programming 混合集合规划MSP (Mixed Set Programming)支持实数、整数、布尔值、索引及集合类型 上的复杂约 ，支持 阶逻辑、集合推理、实数域数值分析等。 特点： § 集合对信息的聚合性（上界、下界、基数、上确界、下确界、交、并、差、前驱、后继）; § 对算法的耦合作用 （NCL有300多种域切割算法，通过MSP，算法之间形成网状 系）; § 集合推理系统融入运筹学, 大大强化算法的求解能力。 MSP是NCL在运筹学算法方面的最大创新 1, 3, 2, 4, 6, 7 i [1,6] x = ， i NCL可以对复杂大规模问题进行高度简洁的描述 A [1,6], NCL的优势在于求解非线性的组合优化问题 ?A = 2, NCL可以在预求解 （pre-solve ）阶段确定A = {3, 4}, x = 6, 因为仅有x = 2, x = 4, x +x = 6. i A i 3 4 3 4 2000-2008. ENGINEST. All rights reserved. NCL编码规则 NCL Coding Convention NCL编码遵从数理逻辑表达式标准，以TEX编码为基础，并符合以下规则： 1. 聚合类用_{ …}^{…}{…} 来编码下标、上标及主体部分: 例如: 在NCL中表达为\sum_{ …}^{…}{…}；