Um estudo de caso sobre a geração de quadros de horários nos cursos de Ciência da Computação e Engenharia da Computação da UFRGS

Detalhes bibliográficos
Autor(a) principal: Neukirchen, Fábio Viriato Perez
Data de Publicação: 2015
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/126069
Resumo: A geração de quadros de horários para universidades é um problema clássico de otimização combinatória que leva em consideração um grande número de variáveis e requisitos. Este tipo de problema, em geral, contém restrições específicas da aplicação, gerando diversas variações do problema. Apesar do problema ser classificado como NP-Difícil, o mesmo é resolvido manualmente na maior parte das instituições, devido à dificuldade de formalizar todas as restrições que cada aplicação requer em um sistema informatizado. Este trabalho apresenta um estudo da geração de quadros de horários no curso de Ciência da Computação e Engenharia da Computação da Universidade Federal do Rio Grande do Sul onde o problema é formalizado através de um modelo matemático e um estudo experimental é realizado em instâncias reais do problema. Para auxiliar tais experimentos, também foi desenvolvida uma ferramenta web para facilitar a criação de instâncias. Os resultados obtidos demonstram que as instâncias consideradas podem ser resolvidas de maneira eficiente com o modelo proposto através de um resolvedor comercial de programação inteira mista, em comparação com as soluções manuais.
id UFRGS-2_881b160819f13e08993b3cb5f4c2bad9
oai_identifier_str oai:www.lume.ufrgs.br:10183/126069
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Neukirchen, Fábio Viriato PerezBuriol, Luciana SaleteDorneles, Arton Pereira2015-08-29T02:40:12Z2015http://hdl.handle.net/10183/126069000972337A geração de quadros de horários para universidades é um problema clássico de otimização combinatória que leva em consideração um grande número de variáveis e requisitos. Este tipo de problema, em geral, contém restrições específicas da aplicação, gerando diversas variações do problema. Apesar do problema ser classificado como NP-Difícil, o mesmo é resolvido manualmente na maior parte das instituições, devido à dificuldade de formalizar todas as restrições que cada aplicação requer em um sistema informatizado. Este trabalho apresenta um estudo da geração de quadros de horários no curso de Ciência da Computação e Engenharia da Computação da Universidade Federal do Rio Grande do Sul onde o problema é formalizado através de um modelo matemático e um estudo experimental é realizado em instâncias reais do problema. Para auxiliar tais experimentos, também foi desenvolvida uma ferramenta web para facilitar a criação de instâncias. Os resultados obtidos demonstram que as instâncias consideradas podem ser resolvidas de maneira eficiente com o modelo proposto através de um resolvedor comercial de programação inteira mista, em comparação com as soluções manuais.University timetabling is a classic combinatorial optimization problem that considers a large number of variables and requirements. That type of problem in general has specific application constraints generating a large quantity of variations of the problem. Despite the fact the problem belongs to the NP-Hard class of complexity, it is usually manually solved in most institutions, due to the difficult to formalize all the required constrains in a computerized system. This work presents a study about timetabling at the course of Computer Science and Computer Engineering at UFRGS where the problem is formalized by a mathematical model and an experimental study is realized using real instances of the problem. In order to assist the experiments, a web based tool was also developed to help the creation of the instances. The results show that the instances can be efficiently solved with the proposed model using a general purpose mixed integer programming solver, in comparison to the manual solutions.application/pdfporSistemas : InformaçãoTabelasTimetablingInteger programmingMathematical modelingCombinatorial optimizationUm estudo de caso sobre a geração de quadros de horários nos cursos de Ciência da Computação e Engenharia da Computação da UFRGSA case of study on timetabling generation at the courses of computer science and computer engineering of UFRGS info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPorto Alegre, BR-RS2015Ciência da Computação: Ênfase em Ciência da Computação: Bachareladograduaçãoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000972337.pdf000972337.pdfTexto completoapplication/pdf1210731http://www.lume.ufrgs.br/bitstream/10183/126069/1/000972337.pdfa982469564e6ca82e5304d05d0cdeac3MD51TEXT000972337.pdf.txt000972337.pdf.txtExtracted Texttext/plain69401http://www.lume.ufrgs.br/bitstream/10183/126069/2/000972337.pdf.txtd971fd7f7ac11a543863d85b1b470081MD52THUMBNAIL000972337.pdf.jpg000972337.pdf.jpgGenerated Thumbnailimage/jpeg1126http://www.lume.ufrgs.br/bitstream/10183/126069/3/000972337.pdf.jpg95069559a066ddecf008a45ec93775fbMD5310183/1260692018-10-17 07:53:01.181oai:www.lume.ufrgs.br:10183/126069Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2018-10-17T10:53:01Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Um estudo de caso sobre a geração de quadros de horários nos cursos de Ciência da Computação e Engenharia da Computação da UFRGS
dc.title.alternative.en.fl_str_mv A case of study on timetabling generation at the courses of computer science and computer engineering of UFRGS
title Um estudo de caso sobre a geração de quadros de horários nos cursos de Ciência da Computação e Engenharia da Computação da UFRGS
spellingShingle Um estudo de caso sobre a geração de quadros de horários nos cursos de Ciência da Computação e Engenharia da Computação da UFRGS
Neukirchen, Fábio Viriato Perez
Sistemas : Informação
Tabelas
Timetabling
Integer programming
Mathematical modeling
Combinatorial optimization
title_short Um estudo de caso sobre a geração de quadros de horários nos cursos de Ciência da Computação e Engenharia da Computação da UFRGS
title_full Um estudo de caso sobre a geração de quadros de horários nos cursos de Ciência da Computação e Engenharia da Computação da UFRGS
title_fullStr Um estudo de caso sobre a geração de quadros de horários nos cursos de Ciência da Computação e Engenharia da Computação da UFRGS
title_full_unstemmed Um estudo de caso sobre a geração de quadros de horários nos cursos de Ciência da Computação e Engenharia da Computação da UFRGS
title_sort Um estudo de caso sobre a geração de quadros de horários nos cursos de Ciência da Computação e Engenharia da Computação da UFRGS
author Neukirchen, Fábio Viriato Perez
author_facet Neukirchen, Fábio Viriato Perez
author_role author
dc.contributor.author.fl_str_mv Neukirchen, Fábio Viriato Perez
dc.contributor.advisor1.fl_str_mv Buriol, Luciana Salete
dc.contributor.advisor-co1.fl_str_mv Dorneles, Arton Pereira
contributor_str_mv Buriol, Luciana Salete
Dorneles, Arton Pereira
dc.subject.por.fl_str_mv Sistemas : Informação
Tabelas
topic Sistemas : Informação
Tabelas
Timetabling
Integer programming
Mathematical modeling
Combinatorial optimization
dc.subject.eng.fl_str_mv Timetabling
Integer programming
Mathematical modeling
Combinatorial optimization
description A geração de quadros de horários para universidades é um problema clássico de otimização combinatória que leva em consideração um grande número de variáveis e requisitos. Este tipo de problema, em geral, contém restrições específicas da aplicação, gerando diversas variações do problema. Apesar do problema ser classificado como NP-Difícil, o mesmo é resolvido manualmente na maior parte das instituições, devido à dificuldade de formalizar todas as restrições que cada aplicação requer em um sistema informatizado. Este trabalho apresenta um estudo da geração de quadros de horários no curso de Ciência da Computação e Engenharia da Computação da Universidade Federal do Rio Grande do Sul onde o problema é formalizado através de um modelo matemático e um estudo experimental é realizado em instâncias reais do problema. Para auxiliar tais experimentos, também foi desenvolvida uma ferramenta web para facilitar a criação de instâncias. Os resultados obtidos demonstram que as instâncias consideradas podem ser resolvidas de maneira eficiente com o modelo proposto através de um resolvedor comercial de programação inteira mista, em comparação com as soluções manuais.
publishDate 2015
dc.date.accessioned.fl_str_mv 2015-08-29T02:40:12Z
dc.date.issued.fl_str_mv 2015
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/126069
dc.identifier.nrb.pt_BR.fl_str_mv 000972337
url http://hdl.handle.net/10183/126069
identifier_str_mv 000972337
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 Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/126069/1/000972337.pdf
http://www.lume.ufrgs.br/bitstream/10183/126069/2/000972337.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/126069/3/000972337.pdf.jpg
bitstream.checksum.fl_str_mv a982469564e6ca82e5304d05d0cdeac3
d971fd7f7ac11a543863d85b1b470081
95069559a066ddecf008a45ec93775fb
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1815447151762735104

Registros relacionados