[论文解读] Reducing the Number of Changeover Constraints in a MIP Formulation of a Continuous-Time Scheduling Problem

Pavel Borisovsky, Anton V. Eremeev+1 more|arXiv (Cornell University)|Aug 25, 2014

Process Optimization and Integration参考文献 5被引用 3

一句话总结

本文提出了一种新型混合整数规划（MIP）公式，用于连续时间生产调度，通过引入基于时间窗的二元变量，减少了切换约束的数量。通过用基于区间的分配逻辑替代传统的顺序依赖切换约束，该模型在计算上实现了显著节省，并提升了可扩展性，尤其适用于具有严格切换时间限制的大规模调度问题。

ABSTRACT

In this paper, we develop a new formulation of changeover constraints for mixed integer programming problem (MIP) that emerges in solving a short-term production scheduling problem. The new model requires fewer constraints than the original formulation and this often leads to shorter computation time of a MIP solver. Besides that, the new formulation is more flexible if the time windows for changeover tasks are given.

研究动机与目标

• 减少MIP公式在短期生产调度中的约束数量，特别是针对切换任务。
• 解决大规模调度问题中因约束数量过高导致的计算瓶颈。
• 通过最小化分解式调度框架中的内存和CPU使用量，提升求解器效率与可扩展性。
• 实现对切换操作时间窗限制的更灵活、更精确的建模。

提出的方法

• 引入二元变量 $ z(i,k,n) $，将切换任务分配至特定时间区间 $ k $，其中 $ k $ 索引切换允许的时间窗。
• 使用 $ z(i,k,n) $ 将传统顺序依赖切换约束替换为基于区间的逻辑约束，确保切换仅在有效时间窗内发生。
• 使用大M约束将切换的开始和结束时间与分配的时间区间关联，强制执行 $ Ts(i,n) \geq CT^s_k \cdot z(i,k,n) $ 和 $ Tf(i,n) \leq CT^f_k + H(1 - z(i,k,n)) $。
• 通过保留任务激活与事件点连续性约束，与现有基于事件的调度逻辑保持一致。
• 将新公式与先前工作中提出的切换阻塞机制集成，但无需显式建立事件到时间区间的映射。
• 通过 $ \sum_{k\in K} z(i,k,n) = wv(i,n) $ 确保每个切换任务仅被分配至一个时间窗。

实验结果

研究问题

• RQ1 如何在不牺牲解精度的前提下，减少基于MIP的连续时间调度模型中的切换约束数量？
• RQ2 用基于时间区间的分配替代顺序依赖切换约束，对计算性能有何影响？
• RQ3 更灵活的时间窗建模方法是否能在遵守操作约束（如受限切换时段）的前提下提升求解器效率？
• RQ4 与原始MIP公式相比，新公式的可扩展性如何随问题规模增大而变化？
• RQ5 约束数量的减少在多大程度上缓解了大规模调度应用中的内存与CPU限制？

主要发现

• 所提出的公式相比原始公式将MIP模型中的约束数量减少了约一个数量级，显著提升了可扩展性。
• 由于约束数量减少，新模型在MIP求解器中实现了更短的计算时间，尤其在较大问题实例中表现更优。
• 基于时间窗的公式允许更灵活地建模切换限制，例如禁止时段（如凌晨4–7点和下午4–7点）以及特殊切换类型（如 $ i^{\rm c1} $ 在 $ I^{\rm p1} $ 与 $ I^{\rm np1} $ 任务之间）。
• 约束减少无需显式将事件点映射至时间区间，简化了模型实现。
• 新公式与现有阻塞机制保持兼容，可无缝集成至基于分解的调度框架中。
• 实证结果表明，约束数量的减少使得更大规模的调度子问题得以求解，从而提升了分解算法的整体性能。