Modelling batch processing machines problems with symmetry breaking and arc flow formulation
Autor(a) principal: | |
---|---|
Data de Publicação: | 2019 |
Tipo de documento: | Tese |
Idioma: | eng |
Título da fonte: | Repositório Institucional da UFRJ |
Texto Completo: | http://hdl.handle.net/11422/13545 |
Resumo: | Problemas de minimização do makespan no escalonamento de bateladas em máquinas de processamento são extensamente explorados pela literatura acadêmica, motivados principalmente por testes burn-in na indústria de semicondutores. Os problemas considerados neste trabalho consistem em agrupar tarefas em bateladas e escalonar o processamento em uma ou mais máquinas em paralelo. As tarefas possuem tempos de processamento e tamanhos não idênticos e o tamanho total da batelada não pode exceder a capacidade da máquina. Para cada batelada é definido um tempo de processamento que será igual ao maior tempo de processamento das tarefas que foram alocadas a ela. O problema pode considerar também tempos de liberação das tarefas não idênticos e, neste caso, as bateladas só poderão ser processadas depois que a tarefa com o maior tempo de liberação for disponibilizada. Este trabalho aborda quatro diferentes problemas de escalonamento de bateladas, que consideram diferentes características: máquina de processamento única 1|sj , B|Cmax, máquinas de processamento paralelas idênticas Pm|sj , B|Cmax, máquina de processamento única e tarefas com tempos de liberação não idênticos 1|rj , sj , B|Cmax, máquinas de processamento paralelas idênticas e tarefas com tempos de liberação não idênticos Pm|rj , sj , B|Cmax. São propostos novos modelos matemáticos com formulações que exploram o tratamento de simetria para estes problemas. Além disso, é apresentado um modelo baseado em fluxo em arco para os problemas 1|sj , B|Cmax e Pm|sj , B|Cmax. Os modelos matemáticos são resolvidos utilizando CPLEX e os resultados computacionais comprovam que os modelos propostos possuem um desempenho melhor do que outros modelos da literatura. |
id |
UFRJ_f3dc0a0e8092721a5f7872497b76aa3d |
---|---|
oai_identifier_str |
oai:pantheon.ufrj.br:11422/13545 |
network_acronym_str |
UFRJ |
network_name_str |
Repositório Institucional da UFRJ |
repository_id_str |
|
spelling |
Trindade, Renan Spencerhttp://lattes.cnpq.br/0523104569378276http://lattes.cnpq.br/5925479498003995Araújo, Olinto César Bassi dehttp://lattes.cnpq.br/3250263200794986Simonetti, Luidi GelabertFrota, Yuri Abitbol de MenezesD’Ambrosio, ClaudiaFampa, Marcia Helena Costa2021-01-22T00:07:35Z2023-11-30T03:04:06Z2019-05http://hdl.handle.net/11422/13545Problemas de minimização do makespan no escalonamento de bateladas em máquinas de processamento são extensamente explorados pela literatura acadêmica, motivados principalmente por testes burn-in na indústria de semicondutores. Os problemas considerados neste trabalho consistem em agrupar tarefas em bateladas e escalonar o processamento em uma ou mais máquinas em paralelo. As tarefas possuem tempos de processamento e tamanhos não idênticos e o tamanho total da batelada não pode exceder a capacidade da máquina. Para cada batelada é definido um tempo de processamento que será igual ao maior tempo de processamento das tarefas que foram alocadas a ela. O problema pode considerar também tempos de liberação das tarefas não idênticos e, neste caso, as bateladas só poderão ser processadas depois que a tarefa com o maior tempo de liberação for disponibilizada. Este trabalho aborda quatro diferentes problemas de escalonamento de bateladas, que consideram diferentes características: máquina de processamento única 1|sj , B|Cmax, máquinas de processamento paralelas idênticas Pm|sj , B|Cmax, máquina de processamento única e tarefas com tempos de liberação não idênticos 1|rj , sj , B|Cmax, máquinas de processamento paralelas idênticas e tarefas com tempos de liberação não idênticos Pm|rj , sj , B|Cmax. São propostos novos modelos matemáticos com formulações que exploram o tratamento de simetria para estes problemas. Além disso, é apresentado um modelo baseado em fluxo em arco para os problemas 1|sj , B|Cmax e Pm|sj , B|Cmax. Os modelos matemáticos são resolvidos utilizando CPLEX e os resultados computacionais comprovam que os modelos propostos possuem um desempenho melhor do que outros modelos da literatura.Problems of minimizing makespan in scheduling batch processing machines are widely exploited by academic literature, mainly motivated by burn-in tests in the semiconductor industry. The problems addressed in this work consist of grouping jobs in batches and scheduling this in parallel machines. The jobs have non-identical size and processing times. The total size of the batch cannot exceed the capacity of the machine. The processing time of each batch will be equal to the higher processing time of all the jobs assigned to it. Jobs can also consider non-identical release times; in this case, the batch can only be processed after the job with the longest release time is available. This thesis discusses four different batch scheduling problems, which consider different characteristics: single processing machine 1|sj , B|Cmax, parallel processing machines Pm|sj , B|Cmax, single processing machine and non-identical release times 1|rj , sj , B|Cmax, parallel processing machines and non-identical release times Pm|rj , sj , B|Cmax. New mathematical formulations are proposed exploiting the treatment of symmetry for these problems. In addition, an arc-flow-based model is presented for problems 1|sj , B|Cmax and Pm|sj , B|Cmax. The mathematical models are solved using CPLEX, and computational results show that the proposed models have a better performance than other models in the literature.Submitted by Natasha Valladão (natashasilvaa4@gmail.com) on 2021-01-07T19:46:28Z No. of bitstreams: 1 RenanSpencerTrindade.pdf: 1255468 bytes, checksum: c6f2cba17cce6d8afb8010c86adcad01 (MD5)Approved for entry into archive by Moreno Barros (moreno@ct.ufrj.br) on 2021-01-22T00:07:35Z (GMT) No. of bitstreams: 1 RenanSpencerTrindade.pdf: 1255468 bytes, checksum: c6f2cba17cce6d8afb8010c86adcad01 (MD5)Made available in DSpace on 2021-01-22T00:07:35Z (GMT). No. of bitstreams: 1 RenanSpencerTrindade.pdf: 1255468 bytes, checksum: c6f2cba17cce6d8afb8010c86adcad01 (MD5) Previous issue date: 2019-05engUniversidade Federal do Rio de JaneiroPrograma de Pós-Graduação em Engenharia de Sistemas e ComputaçãoUFRJBrasilInstituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de EngenhariaCNPQ::ENGENHARIASBatch processing machineSchedulingMakespanSymmetryArc flowModelling batch processing machines problems with symmetry breaking and arc flow formulationModelagem de problemas de máquinas de processamento em lote utilizando formulações com quebra de simetrias e fluxo em arcoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisabertoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRJinstname:Universidade Federal do Rio de Janeiro (UFRJ)instacron:UFRJORIGINALRenanSpencerTrindade.pdfRenanSpencerTrindade.pdfapplication/pdf1255468http://pantheon.ufrj.br:80/bitstream/11422/13545/1/RenanSpencerTrindade.pdfc6f2cba17cce6d8afb8010c86adcad01MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81853http://pantheon.ufrj.br:80/bitstream/11422/13545/2/license.txtdd32849f2bfb22da963c3aac6e26e255MD5211422/135452023-11-30 00:04:06.427oai:pantheon.ufrj.br:11422/13545TElDRU7Dh0EgTsODTy1FWENMVVNJVkEgREUgRElTVFJJQlVJw4fDg08KCkFvIGFzc2luYXIgZSBlbnRyZWdhciBlc3RhIGxpY2Vuw6dhLCB2b2PDqihzKSBvKHMpIGF1dG9yKGVzKSBvdSBwcm9wcmlldMOhcmlvKHMpIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBjb25jZWRlKG0pIGFvIFJlcG9zaXTDs3JpbyBQYW50aGVvbiBkYSBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkbyBSaW8gZGUgSmFuZWlybyAoVUZSSikgbyBkaXJlaXRvIG7Do28gLSBleGNsdXNpdm8gZGUgcmVwcm9kdXppciwgY29udmVydGVyIChjb21vIGRlZmluaWRvIGFiYWl4byksIGUvb3UgZGlzdHJpYnVpciBvIGRvY3VtZW50byBlbnRyZWd1ZSAoaW5jbHVpbmRvIG8gcmVzdW1vKSBlbSB0b2RvIG8gbXVuZG8sIGVtIGZvcm1hdG8gZWxldHLDtG5pY28gZSBlbSBxdWFscXVlciBtZWlvLCBpbmNsdWluZG8sIG1hcyBuw6NvIGxpbWl0YWRvIGEgw6F1ZGlvIGUvb3UgdsOtZGVvLgoKVm9jw6ogY29uY29yZGEgcXVlIGEgVUZSSiBwb2RlLCBzZW0gYWx0ZXJhciBvIGNvbnRlw7pkbywgdHJhZHV6aXIgYSBhcHJlc2VudGHDp8OjbyBkZSBxdWFscXVlciBtZWlvIG91IGZvcm1hdG8gY29tIGEgZmluYWxpZGFkZSBkZSBwcmVzZXJ2YcOnw6NvLgoKVm9jw6ogdGFtYsOpbSBjb25jb3JkYSBxdWUgYSBVRlJKIHBvZGUgbWFudGVyIG1haXMgZGUgdW1hIGPDs3BpYSBkZXNzYSBzdWJtaXNzw6NvIHBhcmEgZmlucyBkZSBzZWd1cmFuw6dhLCBiYWNrLXVwIGUgcHJlc2VydmHDp8OjbyBkaWdpdGFsLgoKRGVjbGFyYSBxdWUgbyBkb2N1bWVudG8gZW50cmVndWUgw6kgc2V1IHRyYWJhbGhvIG9yaWdpbmFsLCBlIHF1ZSB2b2PDqiB0ZW0gbyBkaXJlaXRvIGRlIGNvbmNlZGVyIG9zIGRpcmVpdG9zIGNvbnRpZG9zIG5lc3RhIGxpY2Vuw6dhLiBWb2PDqiB0YW1iw6ltIGRlY2xhcmEgcXVlIGEgc3VhIGFwcmVzZW50YcOnw6NvLCBjb20gbyBtZWxob3IgZGUgc2V1cyBjb25oZWNpbWVudG9zLCBuw6NvIGluZnJpbmdpIGRpcmVpdG9zIGF1dG9yYWlzIGRlIHRlcmNlaXJvcy4KClNlIG8gZG9jdW1lbnRvIGVudHJlZ3VlIGNvbnTDqW0gbWF0ZXJpYWwgZG8gcXVhbCB2b2PDqiBuw6NvIHRlbSBkaXJlaXRvcyBkZSBhdXRvciwgZGVjbGFyYSBxdWUgb2J0ZXZlIGEgcGVybWlzc8OjbyBpcnJlc3RyaXRhIGRvIGRldGVudG9yIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBlIGNvbmNlZGUgYSBVRlJKIG9zIGRpcmVpdG9zIHJlcXVlcmlkb3MgcG9yIGVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgZGUgcHJvcHJpZWRhZGUgZGUgdGVyY2Vpcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIGUgcmVjb25oZWNpZG8gbm8gdGV4dG8gb3UgY29udGXDumRvIGRhIHN1Ym1pc3PDo28uCgpTZSBvIGRvY3VtZW50byBlbnRyZWd1ZSDDqSBiYXNlYWRvIGVtIHRyYWJhbGhvIHF1ZSBmb2ksIG91IHRlbSBzaWRvIHBhdHJvY2luYWRvIG91IGFwb2lhZG8gcG9yIHVtYSBhZ8OqbmNpYSBvdSBvdXRybyhzKSBvcmdhbmlzbW8ocykgcXVlIG7Do28gYSBVRlJKLCB2b2PDqiBkZWNsYXJhIHF1ZSBjdW1wcml1IHF1YWxxdWVyIGRpcmVpdG8gZGUgUkVWSVPDg08gb3UgZGUgb3V0cmFzIG9icmlnYcOnw7VlcyByZXF1ZXJpZGFzIHBvciBjb250cmF0byBvdSBhY29yZG8uCgpBIFVGUkogaXLDoSBpZGVudGlmaWNhciBjbGFyYW1lbnRlIG8ocykgc2V1KHMpIG5vbWUocykgY29tbyBhdXRvcihlcykgb3UgcHJvcHJpZXTDoXJpbyhzKSBkYSBzdWJtaXNzw6NvLCBlIG7Do28gZmFyw6EgcXVhbHF1ZXIgYWx0ZXJhw6fDo28sIHBhcmEgYWzDqW0gZGFzIHBlcm1pdGlkYXMgcG9yIGVzdGEgbGljZW7Dp2EsIG5vIGF0byBkZSBzdWJtaXNzw6NvLgo=Repositório de PublicaçõesPUBhttp://www.pantheon.ufrj.br/oai/requestopendoar:2023-11-30T03:04:06Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ)false |
dc.title.pt_BR.fl_str_mv |
Modelling batch processing machines problems with symmetry breaking and arc flow formulation |
dc.title.alternative.pt_BR.fl_str_mv |
Modelagem de problemas de máquinas de processamento em lote utilizando formulações com quebra de simetrias e fluxo em arco |
title |
Modelling batch processing machines problems with symmetry breaking and arc flow formulation |
spellingShingle |
Modelling batch processing machines problems with symmetry breaking and arc flow formulation Trindade, Renan Spencer CNPQ::ENGENHARIAS Batch processing machine Scheduling Makespan Symmetry Arc flow |
title_short |
Modelling batch processing machines problems with symmetry breaking and arc flow formulation |
title_full |
Modelling batch processing machines problems with symmetry breaking and arc flow formulation |
title_fullStr |
Modelling batch processing machines problems with symmetry breaking and arc flow formulation |
title_full_unstemmed |
Modelling batch processing machines problems with symmetry breaking and arc flow formulation |
title_sort |
Modelling batch processing machines problems with symmetry breaking and arc flow formulation |
author |
Trindade, Renan Spencer |
author_facet |
Trindade, Renan Spencer |
author_role |
author |
dc.contributor.advisorLattes.pt_BR.fl_str_mv |
http://lattes.cnpq.br/0523104569378276 |
dc.contributor.authorLattes.pt_BR.fl_str_mv |
http://lattes.cnpq.br/5925479498003995 |
dc.contributor.advisorCo1.none.fl_str_mv |
Araújo, Olinto César Bassi de |
dc.contributor.advisorCo1Lattes.pt_BR.fl_str_mv |
http://lattes.cnpq.br/3250263200794986 |
dc.contributor.author.fl_str_mv |
Trindade, Renan Spencer |
dc.contributor.referee1.fl_str_mv |
Simonetti, Luidi Gelabert |
dc.contributor.referee2.fl_str_mv |
Frota, Yuri Abitbol de Menezes |
dc.contributor.referee3.fl_str_mv |
D’Ambrosio, Claudia |
dc.contributor.advisor1.fl_str_mv |
Fampa, Marcia Helena Costa |
contributor_str_mv |
Simonetti, Luidi Gelabert Frota, Yuri Abitbol de Menezes D’Ambrosio, Claudia Fampa, Marcia Helena Costa |
dc.subject.cnpq.fl_str_mv |
CNPQ::ENGENHARIAS |
topic |
CNPQ::ENGENHARIAS Batch processing machine Scheduling Makespan Symmetry Arc flow |
dc.subject.por.fl_str_mv |
Batch processing machine Scheduling Makespan Symmetry Arc flow |
description |
Problemas de minimização do makespan no escalonamento de bateladas em máquinas de processamento são extensamente explorados pela literatura acadêmica, motivados principalmente por testes burn-in na indústria de semicondutores. Os problemas considerados neste trabalho consistem em agrupar tarefas em bateladas e escalonar o processamento em uma ou mais máquinas em paralelo. As tarefas possuem tempos de processamento e tamanhos não idênticos e o tamanho total da batelada não pode exceder a capacidade da máquina. Para cada batelada é definido um tempo de processamento que será igual ao maior tempo de processamento das tarefas que foram alocadas a ela. O problema pode considerar também tempos de liberação das tarefas não idênticos e, neste caso, as bateladas só poderão ser processadas depois que a tarefa com o maior tempo de liberação for disponibilizada. Este trabalho aborda quatro diferentes problemas de escalonamento de bateladas, que consideram diferentes características: máquina de processamento única 1|sj , B|Cmax, máquinas de processamento paralelas idênticas Pm|sj , B|Cmax, máquina de processamento única e tarefas com tempos de liberação não idênticos 1|rj , sj , B|Cmax, máquinas de processamento paralelas idênticas e tarefas com tempos de liberação não idênticos Pm|rj , sj , B|Cmax. São propostos novos modelos matemáticos com formulações que exploram o tratamento de simetria para estes problemas. Além disso, é apresentado um modelo baseado em fluxo em arco para os problemas 1|sj , B|Cmax e Pm|sj , B|Cmax. Os modelos matemáticos são resolvidos utilizando CPLEX e os resultados computacionais comprovam que os modelos propostos possuem um desempenho melhor do que outros modelos da literatura. |
publishDate |
2019 |
dc.date.issued.fl_str_mv |
2019-05 |
dc.date.accessioned.fl_str_mv |
2021-01-22T00:07:35Z |
dc.date.available.fl_str_mv |
2023-11-30T03:04:06Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/11422/13545 |
url |
http://hdl.handle.net/11422/13545 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Universidade Federal do Rio de Janeiro |
dc.publisher.program.fl_str_mv |
Programa de Pós-Graduação em Engenharia de Sistemas e Computação |
dc.publisher.initials.fl_str_mv |
UFRJ |
dc.publisher.country.fl_str_mv |
Brasil |
dc.publisher.department.fl_str_mv |
Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia |
publisher.none.fl_str_mv |
Universidade Federal do Rio de Janeiro |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFRJ instname:Universidade Federal do Rio de Janeiro (UFRJ) instacron:UFRJ |
instname_str |
Universidade Federal do Rio de Janeiro (UFRJ) |
instacron_str |
UFRJ |
institution |
UFRJ |
reponame_str |
Repositório Institucional da UFRJ |
collection |
Repositório Institucional da UFRJ |
bitstream.url.fl_str_mv |
http://pantheon.ufrj.br:80/bitstream/11422/13545/1/RenanSpencerTrindade.pdf http://pantheon.ufrj.br:80/bitstream/11422/13545/2/license.txt |
bitstream.checksum.fl_str_mv |
c6f2cba17cce6d8afb8010c86adcad01 dd32849f2bfb22da963c3aac6e26e255 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ) |
repository.mail.fl_str_mv |
|
_version_ |
1784097191437008896 |