Matriz de transição não incluídos na minha solução do meu problema de programação no CPLEX CP

0

Pergunta

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;
 
``
1

Melhor resposta

0

Você deve especificar o intervalo de tipos para cada seqüência. No seu caso, o tipo é a identificação do trabalho:

int JobId[j in Jobs] = j;
dvar sequence tool[m in Machines] in all(j in Jobs) opttask[j][m] types JobId;
2021-11-22 15:50:24

Em outros idiomas

Esta página está em outros idiomas

Русский
..................................................................................................................
Italiano
..................................................................................................................
Polski
..................................................................................................................
Română
..................................................................................................................
한국어
..................................................................................................................
हिन्दी
..................................................................................................................
Français
..................................................................................................................
Türk
..................................................................................................................
Česk
..................................................................................................................
ไทย
..................................................................................................................
中文
..................................................................................................................
Español
..................................................................................................................
Slovenský
..................................................................................................................