Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/16394

TitleAbordagem SAT para escalonamento de projectos com condições gerais de precedência
Author(s)Alves, Rui Miguel de Freitas
Advisor(s)Sousa, Sérgio
Alvelos, Filipe Pereira e
Issue date2011
Abstract(s)O problema do escalonamento de projectos com restrição de recursos e relações gerais de precedência (RCPSP-GPR) vem sendo objecto de estudo desde há várias décadas, tendo já conhecido diversas abordagens para o resolver. Na presente dissertação propõe-se traduzir o problema para uma formulação de satisfação proposicional, e aplicá-la iterativamente, sob um algoritmo de pesquisa adequado, de modo a alcançar uma solução óptima em termos temporais. Para um número significativo de instâncias da PSPLIB, a eficiência deste método supera em ordens de grandeza uma conhecida abordagem de programação inteira.
The Project Management Resource Constrained Problem with General Precedence Relations (RCPSP-GPR) has been a subject of study for several decades now, and it has known a wide variety of different approaches in order to tackle it. This dissertation proposes to translate the problem into a propositional satisfiability formulation and then compute it iteratively under an adequate search algorithm, so that a time optimal solution is attained. For a significant number of the PSPLIB instances, this method outperforms by orders of magnitude a well known integer programming approach.
TypeMaster thesis
DescriptionDissertação de mestrado em Engenharia de Sistemas
URIhttp://hdl.handle.net/1822/16394
AccessOpen access
Appears in Collections:BUM - Dissertações de Mestrado
DPS - Dissertações de Mestrado

Files in This Item:
File Description SizeFormat 
Dissertação_Rui Miguel de Freitas Alves_2011.pdf
  Restricted access
1,18 MBAdobe PDFView/Open    Request a copy!

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID