咨询：在Cplex OPL中实现跨班次任务更换操作员的调度方法

核心思路：任务拆分+子任务绑定多操作员 #

将跨班次的原任务拆分为对应每个班次的子任务，每个子任务独立绑定一个符合班次要求的操作员，同时通过约束保证子任务的时间衔接与总时长匹配。

具体实现步骤与代码示例 #

1. 定义基础数据与决策变量

首先扩展数据结构，增加班次、子任务相关的定义：

// 原任务数据
tuple Task {
  int id;
  float totalDuration; // 原任务总加工时长
}
{Task} Tasks = ...;

// 操作员与班次数据
tuple Operator {
  int id;
}
{Operator} Operators = ...;

tuple Shift {
  int id;
  float startTime;
  float endTime;
}
{Shift} Shifts = ...;

// 预定义每个任务需要拆分的班次（或通过模型动态计算）
{Shift} ShiftsForTask[t in Tasks] = ...;

// 决策变量：子任务区间、子任务分配的操作员、操作员的任务序列
dvar interval subTask[t in Tasks, s in ShiftsForTask[t]] size dur[t,s];
dvar int assignedOp[t in Tasks, s in ShiftsForTask[t]] in Operators.id;
dvar sequence opSeq[o in Operators] in all(t in Tasks, s in ShiftsForTask[t] where assignedOp[t,s] == o.id) subTask[t,s];

2. 子任务时长与衔接约束

保证子任务总时长等于原任务时长，且跨班次子任务时间无缝衔接：

// 子任务总时长匹配原任务
forall(t in Tasks)
  sum(s in ShiftsForTask[t]) dur[t,s] == t.totalDuration;

// 子任务时间衔接（上一班次结束即下一班次开始）
forall(t in Tasks, s1 in ShiftsForTask[t], s2 in ShiftsForTask[t] where s1.id < s2.id)
  endOf(subTask[t,s1]) == startOf(subTask[t,s2]);

3. 操作员班次匹配与intensity约束

确保子任务完全落在对应操作员的班次内，且每个操作员同一时间只能处理一个子任务：

// 子任务必须在分配操作员的对应班次时间范围内
forall(t in Tasks, s in ShiftsForTask[t], o in Operators where assignedOp[t,s] == o.id) {
  startOf(subTask[t,s]) >= s.startTime;
  endOf(subTask[t,s]) <= s.endTime;
}

// 操作员的任务序列intensity约束（同一时间最多执行一个子任务）
forall(o in Operators)
  intensity(opSeq[o], 1) <= 1;

4. 可选：优化目标与切换成本

如果需要最小化总完工时间或操作员切换成本，可以添加目标函数：

// 最小化总完工时间
minimize max(t in Tasks, s in ShiftsForTask[t]) endOf(subTask[t,s]);

// 或加入操作员切换成本（同一任务换操作员时产生成本）
float switchCost = 5;
minimize max(t in Tasks, s in ShiftsForTask[t]) endOf(subTask[t,s]) 
  + sum(t in Tasks, s1 in ShiftsForTask[t], s2 in ShiftsForTask[t] where s1.id < s2.id) 
    (assignedOp[t,s1] != assignedOp[t,s2]) * switchCost;

关键注意事项 #

• 子任务的班次划分可以通过模型动态计算：比如根据任务的计划开始时间，自动匹配覆盖该任务时间段的所有班次，无需手动预定义ShiftsForTask。
• 若任务允许在班次间隙暂停（仅跨班次换操作员，非必须无缝衔接），可去掉子任务时间衔接的约束，仅保证子任务的时间顺序。

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