Publicação
Resolução de horários de exames com pesquisa local restringida
| dc.contributor.advisor | Barahona, Pedro | |
| dc.contributor.author | Roldão, Francisco José de Abreu | |
| dc.date.accessioned | 2012-02-14T11:06:32Z | |
| dc.date.available | 2012-02-14T11:06:32Z | |
| dc.date.issued | 2011 | |
| dc.description | Dissertação para obtenção do Grau de Mestre em Engenharia Informática | en_US |
| dc.description.abstract | 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. | en_US |
| dc.identifier.uri | http://hdl.handle.net/10362/7038 | |
| dc.language.iso | por | en_US |
| dc.publisher | Faculdade de Ciências e Tecnologia | en_US |
| dc.subject | Pesquisa local | en_US |
| dc.subject | COMET | en_US |
| dc.subject | Resolução de horários | en_US |
| dc.subject | Programação com restrições | en_US |
| dc.subject | Heurísticas | en_US |
| dc.title | Resolução de horários de exames com pesquisa local restringida | en_US |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| my.embargo.terms | null | en_US |
| rcaap.rights | openAccess | en_US |
| rcaap.type | masterThesis | en_US |