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_{ …}^{…}{…}；