IPOEM运筹学优化软件.docVIP

系统介绍 　　POEM优化计算平台是以NCL语言为核心，POEM整合可视化引擎Visual Script于一体为Windows 下的用户提供 一个开发应用平台。一体化的平台大大减轻用户进行软件管理（学习、开发、部署、客户培训及维护）的负担担。 　　POEM的多合一性使软件商不必再依赖市场上名目繁多的软件组件（业务规则、优化、可视化的十几种功能专一的组件）来集成他们的产品。用户只需学习NCL及Visual Script 即可进行解决方案的开发。 POEM软件包 POEM 开发平台ComPoem 逻辑及优化组件PoemView 可视化组件PoemServer 服务器NCL 模型库 POEM使用手册 NCL简介 　　NCL语言是以数理逻辑为语法的运筹学的自然语言，集逻辑、优化及搜索规则为一体。与国际市场上其他的解算器相比，NCL对复杂大规模问题可以直接在业务逻辑一级上进行建模并求解，而不用像混合整数规划MIP（Mixed Integer Programming）那样将非线性问题作复杂的线性转换后再进行求解。 1.1.1NCL的创新 　　NCL语言的科技创新体现在两方面： 　　在语法分析器（Parser）层面，采用人工智能的模式识别技术进行语法分析及语义识别，使用户在面对极端复杂的工业优化问题时，可以方便地进行自然的建模； 　　在解算器（Solver）层面，采用混合集合规划为算法核心，支持求解布尔值、实数、整数、时间、索引及集合类型上的混合约束，支持一阶逻辑、集合推理、实数域数值分析等。 1.1.2NCL的底层算法 　　NCL语言的底层算法是基于精确算法的，不仅包括经典运筹学算法库中的算法（如Branch-and-Bound, Branch-and-Cut, Branch-and-Price），更有一些前沿的运筹学算法（如Routing, Cumulative Scheduling, Edge-Finder）。 　　NCL的底层算法复杂度大多为O(n)，O(n log n)，O(n2)，O(n3)量级。对于不同的优化问题，调用的优化算法是不一样的，复杂度也不相同。 　　有别于传统的线性规划和混合整数规划，NCL的算法思想融合了约束规划CP（Constraint Programming）和混合集合规划MSP（Mixed Set Programming），NCL的优势是求解非线性问题，因此不能简单地说NCL能求解多少变量，能求解多少整数变量。只要计算机的内存和速度允许，NCL对于求解问题的变量数可以不受限制。对于具体的优化问题，在当前主流的微机配置下，高级生产排程应用模块（APS）可以求解上万道工序问题；路径优化（VRP PDP）应用模块可以求解1000个订单以内的问题。 1.1.3同类工具的对比 　　Cplex，Xpress优势在于求解线性规划，混合整数规划，以及含有少量非线性约束的优化问题。如果应用这些工具求解一些大规模的非线性问题，需要把一些非线性约束做线性转化才能够求解，这部分的工作量非常大，有时甚至是不可能完成的任务。Cplex，Xpress等线性求解器对变量数量和约束数量都有一定的限制，在处理一些工业应用中个性化的约束时，常常会因建模时约束变量剧增而无法求解，而NCL对变量和约束数量都没有限制。 　　NCL的优势是求解大规模的非线性的组合优化问题。特别是Scheduling、Routing等用线性规划或混合整数规划很难求解的问题。 　　与上述类似，线性规划，混合整数规划需要对些非线性约束做线性转化才能够求解，而混合集合规划可以方便的描述并求解这些非线性的约束。 1.1.4NCL的学术发表 　　NCL英文专著已由Springer出版. 　　J. Zhou: The NCL Natural Constraint Language. Science Press Beijing. 　　(周建阳:《自然约束语言》，科学出版社，2009) 1.2 可视化引擎 　　PoemView可以直接使用NCL语言编程输出，通过NCL语言实现了与优化引擎的无缝连接。 1.2.1 地图 　　地图用于管理空间地理。 1.2.2 甘特图 　　甘特图对象时间轴最大刻度为年，最小刻度为秒，支持对时间轴的放大和缩小。纵轴支持树状多级管理。通过地图和甘特图，可以实现对空间和时间的管理。 1.2.3 直方图 　　用负荷图（直方图）呈现资源的周期利用率，清晰地展现了主要资源的使用状况： 1.2.4 结果过程模拟 　　模拟车间设备布局，资源加工情况，便于领导全局审视生产过程。 1.2.5直觉式交互 　　优化系统实现全局上的优化，可能出现某小段时间内结果不尽如人意的情况。为此，系统提供人工干预功能来尽可能满足用户个性化要求。基于解的改善