我的 CPLEX CP 调度问题解决方案中不包含转换矩阵
Transition matrix not included in my solution of my scheduling problem in CPLEX CP
我的无重叠约束中的距离矩阵似乎在我的 model 结果中不起作用。我已经通过元组集制定了距离矩阵。从代码中可以看出,我已经以两种不同的方式进行了尝试。两个元组集似乎都是正确的,并且在 dvar 序列的 noOverlap 约束中添加了距离矩阵。
尽管如此,我没有在最佳结果中看到产品之间增加的过渡距离。当一项工作完成时,工作似乎同时继续进行。而不是等待过渡时间。我希望此转换矩阵同时适用于机器 1 和机器 2。
有人能告诉我我的 model 公式哪里做错了吗?我查看了这些示例,但它们似乎是以相同的方式构建的。所以我不知道我做错了什么。
mod.
using CP;
// Number of Machines (Packing + Manufacturing)
int nbMachines = ...;
range Machines = 1..nbMachines;
// Number of Jobs
int nbJobs = ...;
range Jobs = 1..nbJobs;
int duration[Jobs,Machines] = ...;
int release = ...;
int due = ...;
tuple Matrix { int job1; int job2; int value; };
//{Matrix} transitionTimes ={<1,1,0>,<1,2,6>,<1,3,2>,<2,1,2>,<2,2,0>,<2,3,1>,<3,1,2>,<3,2,3>,<3,3,0>};
{Matrix} transitionTimes ={ <i,j, ftoi(abs(i-j))> | i in Jobs, j in Jobs };
dvar interval task[j in Jobs] in release..due;
dvar interval opttask[j in Jobs][m in Machines] optional size duration[j][m];
dvar sequence tool[m in Machines] in all(j in Jobs) opttask[j][m];
execute {
cp.param.FailLimit = 5000;
}
// Minimize the max timespan
dexpr int makespan = max(j in Jobs, m in Machines)endOf(opttask[j][m]);
minimize makespan;
subject to {
// Each job needs one unary resource of the alternative set s (28)
forall(j in Jobs){
alternative(task[j], all(m in Machines) opttask[j][m]);
}
forall(m in Machines){
noOverlap(tool[m],transitionTimes);
}
};
execute {
writeln(task);
};
数据
nbMachines = 2;
nbJobs = 3;
duration = [
[5,6],
[3,4],
[5,7]
];
release = 1;
due = 30;
``
您应该为每个序列指定间隔类型。
在您的情况下,类型是作业 ID:
int JobId[j in Jobs] = j;
dvar sequence tool[m in Machines] in all(j in Jobs) opttask[j][m] types JobId;
我的无重叠约束中的距离矩阵似乎在我的 model 结果中不起作用。我已经通过元组集制定了距离矩阵。从代码中可以看出,我已经以两种不同的方式进行了尝试。两个元组集似乎都是正确的,并且在 dvar 序列的 noOverlap 约束中添加了距离矩阵。
尽管如此,我没有在最佳结果中看到产品之间增加的过渡距离。当一项工作完成时,工作似乎同时继续进行。而不是等待过渡时间。我希望此转换矩阵同时适用于机器 1 和机器 2。
有人能告诉我我的 model 公式哪里做错了吗?我查看了这些示例,但它们似乎是以相同的方式构建的。所以我不知道我做错了什么。
mod.
using CP;
// Number of Machines (Packing + Manufacturing)
int nbMachines = ...;
range Machines = 1..nbMachines;
// Number of Jobs
int nbJobs = ...;
range Jobs = 1..nbJobs;
int duration[Jobs,Machines] = ...;
int release = ...;
int due = ...;
tuple Matrix { int job1; int job2; int value; };
//{Matrix} transitionTimes ={<1,1,0>,<1,2,6>,<1,3,2>,<2,1,2>,<2,2,0>,<2,3,1>,<3,1,2>,<3,2,3>,<3,3,0>};
{Matrix} transitionTimes ={ <i,j, ftoi(abs(i-j))> | i in Jobs, j in Jobs };
dvar interval task[j in Jobs] in release..due;
dvar interval opttask[j in Jobs][m in Machines] optional size duration[j][m];
dvar sequence tool[m in Machines] in all(j in Jobs) opttask[j][m];
execute {
cp.param.FailLimit = 5000;
}
// Minimize the max timespan
dexpr int makespan = max(j in Jobs, m in Machines)endOf(opttask[j][m]);
minimize makespan;
subject to {
// Each job needs one unary resource of the alternative set s (28)
forall(j in Jobs){
alternative(task[j], all(m in Machines) opttask[j][m]);
}
forall(m in Machines){
noOverlap(tool[m],transitionTimes);
}
};
execute {
writeln(task);
};
数据
nbMachines = 2;
nbJobs = 3;
duration = [
[5,6],
[3,4],
[5,7]
];
release = 1;
due = 30;
``
您应该为每个序列指定间隔类型。 在您的情况下,类型是作业 ID:
int JobId[j in Jobs] = j;
dvar sequence tool[m in Machines] in all(j in Jobs) opttask[j][m] types JobId;