A minha matriz de distância na minha não há sobreposição de restrição não parece funcionar no meu modelo de resultado. Eu ter formulado a matriz de distância por meio de um conjunto de tupla. Eu tentei isso em 2 maneiras diferentes, como pode ser visto no código. Tanto tupla conjuntos parecem ser correto e a matriz de distância é adicionado na noOverlap restrição para o bdvarest sequência.
No entanto, não vejo o adicionado de transição distância entre os produtos em um ótimo resultado. Trabalhos parecem continuar, ao mesmo tempo, quando um trabalho é concluído. Em vez de aguardar um tempo de transição. Eu gostaria que esta matriz de transição para segurar tanto para a máquina 1 e a máquina 2.
Alguém poderia me dizer o que eu fiz de errado no meu modelo de formulação? Eu olhei para os exemplos, mas eles parecem ser construído da mesma forma. Então eu não sei o que estou fazendo de errado.
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);
};
dat.
nbMachines = 2;
nbJobs = 3;
duration = [
[5,6],
[3,4],
[5,7]
];
release = 1;
due = 30;
``