基于OptaPlanner的航空航天复合材料厂固化任务调度建模问询

背景 #

固化任务关键属性 #

• Task ID：任务唯一标识
• 任务预计到达时间
• 固化参数：相同参数的任务可同时调度至同一热压罐
• 固化时长：由固化参数指定，相同参数任务时长一致，即热压罐占用时间
• 工装基准面积：任务在热压罐中所需的占用区域
• 最大等待时长：任务必须在此时间范围内执行

热压罐关键属性 #

• Autoclave ID：设备唯一标识
• 容量：可容纳的固化任务工装基准面积总和上限

核心需求 #

• 所有热压罐初始状态为可用
• 需结合固化参数、任务预计到达时间、热压罐当前占用状态对任务进行分组
• 将分组后的批次任务分配至热压罐执行
• 单台热压罐同一时间仅能执行一个批次的任务
• 批次内所有任务的工装基准面积总和不得超过对应热压罐的容量
• 优化目标：最小化所有固化任务的总等待时长

技术问询与解答 #

建模思路 #

针对这类批次调度+设备分配的组合优化问题，可按以下步骤建模：

1. 批次（Batch）实体定义
   • 作为任务与热压罐的中间关联实体，包含属性：批次ID、关联的固化参数、任务集合、计划开始时间、计划结束时间、分配的热压罐ID。
   • 约束：批次内所有任务的固化参数必须一致；批次总工装面积≤分配热压罐的容量；批次内任务的预计到达时间≤批次计划开始时间，且批次计划开始时间≤任务预计到达时间+最大等待时长。
2. 任务与批次的关联约束
   • 每个任务必须且仅属于一个批次
   • 批次的计划开始时间需≥所有关联任务的预计到达时间，同时需≤每个任务的「预计到达时间+最大等待时长」
   • 相同固化参数的任务才可被划入同一批次
3. 热压罐的调度约束
   • 同一热压罐的批次计划时间区间（开始到结束）不能重叠
   • 批次的计划结束时间 = 计划开始时间 + 固化参数指定的时长
4. 目标函数定义
   • 以所有任务的「批次计划开始时间 - 任务预计到达时间」的总和最小化为优化目标，即总等待时长最小。

核心难点应对 #

• 未来任务的提前规划：将所有已知的未来任务（含预计到达时间）纳入模型，采用静态调度+滚动重排的策略——先基于当前已知的所有任务（含未来一定周期内的任务）生成最优调度方案，当新任务实际到达或原有任务状态变更时，重新触发调度计算，更新批次与设备分配。
• 相同参数任务的优先级与批处理：在构建批次时，优先满足「最大等待时长更短」的任务，避免超时；同时在容量允许的前提下，尽可能将同参数、到达时间接近的任务划入同一批次，减少热压罐的启停次数。可通过约束规则实现：比如当新增任务时，先尝试加入已有待执行的同参数批次（若容量仍有剩余、且满足等待时长要求），无法加入时再创建新批次。
• 设备分配逻辑：分配批次至热压罐时，优先选择当前最早可用、且容量满足的热压罐；若存在多个可选热压罐，可结合热压罐的历史负载均衡等辅助规则优化。

OptaPlanner支持情况 #

OptaPlanner完全支持这类场景，属于**组合优化中的批次调度（Batch Scheduling）+ 资源分配（Resource Assignment）**问题，具体适配方式：

• 定义Task、Batch、Autoclave三个实体类，其中Batch作为规划实体（Planning Entity），包含autoclave（规划变量）和startTime（规划变量）两个核心规划属性；Task作为问题事实（Problem Fact），与Batch关联。
• 配置约束规则：通过硬约束（Hard Constraint）确保批次参数一致性、容量不超限、热压罐时间不重叠、任务等待时长不超限；通过软约束（Soft Constraint）最小化总等待时长。
• 利用OptaPlanner的启发式算法（如禁忌搜索、遗传算法）快速求解大规模任务场景的最优解，同时支持滚动调度的增量计算。

内容的提问来源于stack exchange，提问作者Alex