Resolução de horários de exames com pesquisa local restringida

Detalhes bibliográficos
Autor(a) principal: Roldão, Francisco José de Abreu
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/10362/7038
Resumo: Dissertação para obtenção do Grau de Mestre em Engenharia Informática
id RCAP_5759c3a384137539e17617e0da6c9d9d
oai_identifier_str oai:run.unl.pt:10362/7038
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 Resolução de horários de exames com pesquisa local restringidaPesquisa localCOMETResolução de horáriosProgramação com restriçõesHeurísticasDissertação para obtenção do Grau de Mestre em Engenharia InformáticaA produção de horários é um problema altamente combinatório dado o conjunto de restrições que envolve e as suas interdependências, bem como um conjunto de preferências e características de qualidade que são difíceis de especificar e mais ainda de quantificar. Não sendo razoável explorar todo o espaço de pesquisa dada a sua dimensão exponencial, a utilização de pesquisa local torna-se apelativa, em parte porque a definição de vizinhanças pode ser feita de uma forma bastante intuitiva, permitindo a validação e comparação com métodos manuais de resolução do problema. Recentemente, começam a aparecer linguagens e ferramentas para pesquisa local restringida que favorecem a declaratividade da especificação de pesquisa local e que se têm revelado altamente competitivas na resolução de vários tipos de problemas combinatórios. Nesta dissertação, é testada esta abordagem na produção de horários. Mais especificamente, são analisadas o tipo de restrições, preferências e medidas de qualidade que ocorrem na especificação de horários. Subsequentemente, após a análise das vizinhanças a utilizar na resolução destes problemas, implementou-se um protótipo, bem como as meta-heurísticas que se revelaram mais interessantes. O protótipo implementado foi testado com exemplos de horários produzidos na FCT/UNL e as várias meta-heurísticas implementadas foram testadas com o benchmark da Universidade de Toronto.Faculdade de Ciências e TecnologiaBarahona, PedroRUNRoldão, Francisco José de Abreu2012-02-14T11:06:32Z20112011-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10362/7038porinfo: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:RCAAP2024-03-11T03:38:35Zoai:run.unl.pt:10362/7038Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:17:10.733664Repositó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 Resolução de horários de exames com pesquisa local restringida
title Resolução de horários de exames com pesquisa local restringida
spellingShingle Resolução de horários de exames com pesquisa local restringida
Roldão, Francisco José de Abreu
Pesquisa local
COMET
Resolução de horários
Programação com restrições
Heurísticas
title_short Resolução de horários de exames com pesquisa local restringida
title_full Resolução de horários de exames com pesquisa local restringida
title_fullStr Resolução de horários de exames com pesquisa local restringida
title_full_unstemmed Resolução de horários de exames com pesquisa local restringida
title_sort Resolução de horários de exames com pesquisa local restringida
author Roldão, Francisco José de Abreu
author_facet Roldão, Francisco José de Abreu
author_role author
dc.contributor.none.fl_str_mv Barahona, Pedro
RUN
dc.contributor.author.fl_str_mv Roldão, Francisco José de Abreu
dc.subject.por.fl_str_mv Pesquisa local
COMET
Resolução de horários
Programação com restrições
Heurísticas
topic Pesquisa local
COMET
Resolução de horários
Programação com restrições
Heurísticas
description Dissertação para obtenção do Grau de Mestre em Engenharia Informática
publishDate 2011
dc.date.none.fl_str_mv 2011
2011-01-01T00:00:00Z
2012-02-14T11:06:32Z
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/10362/7038
url http://hdl.handle.net/10362/7038
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.publisher.none.fl_str_mv Faculdade de Ciências e Tecnologia
publisher.none.fl_str_mv Faculdade de Ciências e Tecnologia
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_ 1799137820306046976