Abordagem SAT para escalonamento de projectos com condições gerais de precedência

Detalhes bibliográficos
Autor(a) principal: Alves, Rui Miguel de Freitas
Data de Publicação: 2011
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/16394
Resumo: Dissertação de mestrado em Engenharia de Sistemas
id RCAP_52e558dfc7c23a6bbcf4477a598c4ca4
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/16394
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Abordagem SAT para escalonamento de projectos com condições gerais de precedência519.876Dissertação de mestrado em Engenharia de SistemasO 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.Sousa, SérgioAlvelos, Filipe Pereira eUniversidade do MinhoAlves, Rui Miguel de Freitas20112011-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/1822/16394porinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:02:58Zoai:repositorium.sdum.uminho.pt:1822/16394Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T18:53:02.857069Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Abordagem SAT para escalonamento de projectos com condições gerais de precedência
title Abordagem SAT para escalonamento de projectos com condições gerais de precedência
spellingShingle Abordagem SAT para escalonamento de projectos com condições gerais de precedência
Alves, Rui Miguel de Freitas
519.876
title_short Abordagem SAT para escalonamento de projectos com condições gerais de precedência
title_full Abordagem SAT para escalonamento de projectos com condições gerais de precedência
title_fullStr Abordagem SAT para escalonamento de projectos com condições gerais de precedência
title_full_unstemmed Abordagem SAT para escalonamento de projectos com condições gerais de precedência
title_sort Abordagem SAT para escalonamento de projectos com condições gerais de precedência
author Alves, Rui Miguel de Freitas
author_facet Alves, Rui Miguel de Freitas
author_role author
dc.contributor.none.fl_str_mv Sousa, Sérgio
Alvelos, Filipe Pereira e
Universidade do Minho
dc.contributor.author.fl_str_mv Alves, Rui Miguel de Freitas
dc.subject.por.fl_str_mv 519.876
topic 519.876
description Dissertação de mestrado em Engenharia de Sistemas
publishDate 2011
dc.date.none.fl_str_mv 2011
2011-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/16394
url http://hdl.handle.net/1822/16394
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132308240859136

Registros relacionados