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

• Autor(es): Roldão, Francisco José de Abreu
• Data: 2011
• Identificador Persistente: http://hdl.handle.net/10362/7038
• Origem: Repositório Institucional da UNL
• Assunto(s): Pesquisa local; COMET; Resolução de horários; Programação com restrições; Heurísticas
• Tipo de Documento: Dissertação de Mestrado
• Idioma: Português
• Orientador(es): Barahona, Pedro

Descrição

Dissertação para obtenção do Grau de Mestre em Engenharia Informática A 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.