生产排程算法及工业应用.docxVIP

PAGE 1 PAGE 1 生产排程算法及工业应用  生产排程问题是工业生产和实际生活中常见的一类问题。该类问题绝大多数都是复杂的NP-hard问题，求解这些问题特别困难．本文使用自然约束语言NCL设计生产排程问题的模型。得益于NCL的混合集合规划算法系统。该模型可以考虑复杂的多约束、多目标的生产排程问题。同时，基于NCL的规律推理功能，通过What-If…式交互，可在甘特图上直观地对结果进行分析和修改。  1引言  生产排程问题，又称排序问题或生产调度问题，是针对一项可分解的工作(如产品制造)，探讨在尽可能满意约束条件(如交货期、工艺路线、资源状况等)的前提下，通过下达生产指令，支配其每步操作使用哪些资源、其加工时间及加工的先后顺序。以获得产品制造时间或制造成本的最优化。  生产排程问题是对于详细生产问题的一种抽象和简化。即便对单机排序问题，假如考虑n个作业而每个作业只考虑加工时间及与序列有关的预备时间，就可以规约到n个城市的TSP问题。一般的生产排程问题就更为复杂了，也就是说，绝大多数的生产排程问题都是NP-hard问题。常规的优化算法研究这些生产排程问题已经有很长一段时间了，而本文采用一种全新的算法和建模思想，使用规律优化语言NCL对复杂的多约束、多目标的生产排程问题进行建模研究。  2NCL介绍  自然约束语言NCL是一门集规律、优化算法及求解规则于一体的业务建模和问题求解的智能描述型语言。NCL采用混合集合规划算法系统，支持在多种类型(特殊是集合类型)上的混合约束推理，突破了传统的线性求解机制，通过域切割算法体系和高效、敏捷的求解规则掌握，实现对复杂优化问题的求解。  2.1NCL语言的特点  NCL是一门以基础数理规律为语法的运筹学自然语言。人工智能的模式识别技术广泛应用于NCL的自然语法分析及语义识别，使用户在面对复杂的工业优化问题时，可以在更高层级关注对问题的建模。  混合集合规划(MixedSetProgramming，简称MSP)构成NCL的算法内核：支持求解布尔值、实数、整数、时间、索引及集合类型上的混合约束；支持一阶规律、集合推理、实数域数值分析等。混合集合规划支持对复杂大规模问题进行业务规律一级的建模并求解。  NCL是一门可以对搜寻策略高度简洁地进行编程的语言。它可以简洁敏捷地实现对搜寻树的规律掌握，包括对分支、回溯、搜寻模式的规律掌握，对软约束的应用，对多目标优化及优化步长的掌握，对近似解的掌握等。  2.2NCL语言的算法与求解系统  NCL的算法理念源于约束规划(ConstraintProgramming)，它的核心思想是通过约束间的网状关系联合推理，合理、有效地切削组合优化问题的解空间，抑制组合爆炸，从而达到求解问题的目的。NCL以混合集合规划(MSP)为算法内核，其算法属于精确算法。混合集合规划并不是在推理中简洁地使用集合符号，而是严格、完备地使用集合论作为推理体系的一部分，从而实现一种能够超越线性限制(不同于基于线性松弛算法的线性解算器)的、更通用的算法系统来求解约束满意问题。  简而言之，NCL的求解系统基于约束切割(ConstraintCut)与深度优先搜寻(Depth-FirstSearch)原则，其求解框架如图1所示。首先用约束推理切割解的搜寻空间：之后通过查询关键变量对解空间进行完备的搜寻。 图1NCL的求解框架 2.3基于NCL的工程化开发  实际生活中的优化排程问题远比学术问题复杂，如下面所列几项。 数据规律复杂、约束繁琐；问题规模大，往往是上万道工序：除了优化模型和算法，还需要相应的结果可视化：要求对结果的可视化交互，要求对结果进行二次优化；用户在需求分析过程中对问题的理解经常变化；实施困难：周期长、见效慢、成本高…… NCL是一门支持工程化开发的运筹学语言。NCL中包含丰富的、基础性的、可参数化的优化模块，这些模块往往独立于行业，具有很强的通用性。NCL在需求不断变化时可以进行低成本系统调整，便于使用者进行开发和维护。此外，NCL中包含一体化的结果显示，如甘特图、地图、直方图和统计表等，便于开发者进行高效、并行的开发和部署。 3建模及求解  3.1建模  3.1.1生产排程中的约束  生产排程的主模型是在满意订单优先级、设备生产能力、订单和其工序的生产工艺等约束状况下，根据设备最大利用率、订单最小延迟数等优化目标，在一个周期内，对各个设备上工序进行优化排序。生产排程中的基础约束包括： 资源的能力约束；资源的工作时间约束；资源的工作日历约束；订单的优先级约束；不同订单的耦合约束；订单各工序的次序