Problema de Escalonamento de Docentes a Vigilâncias: Uma Aplicação no ISEG

Este projeto tem como objetivo construir um sistema de apoio à decisão (SAD), o ESCPRO, para o escalonamento de docentes a vigilâncias de exames do departamento de matemática do ISEG Universidade de Lisboa. Os docentes devem ser escalonados com base na sua categoria, carga horária percentual contratada, saldo prévio de vigilâncias, unidades curriculares lecionadas, possíveis incompatibilidades e indisponibilidades. O ESCPRO inclui a resolução de um modelo de programação linear inteira mista (PLIM). A implementação do SAD é feita em Python recorrendo ao Gurobi e ao OR-Tools para resolver o modelo. Inicialmente, pensou-se usar V.B.A. com OpenSolver mas esta opção foi abandonada por se revelar menos adequada, contudo serviu para comparação de resultados. O interface gráfico (G.U.I. - Graphical User Interface), desenvolvido usando a biblioteca Tkinter do Python, tem o objetivo de facilitar a leitura e resolução do problema pelo utilizador, pois o script com a programação do modelo e formação do G.U.I. é posteriormente convertido num ficheiro executável isolado, de modo que o utilizador não precise de ter conhecimentos de programação para resolver e/ou criar o modelo. O sistema foi testado com dados fornecidos pelo ISEG, num ficheiro de Excel, tendo produzido um escalonamento em poucos segundos. Deste modo, pode considerarse que é cumprindo o propósito que presidiu à realização deste projeto: economizar tempo no desempenho desta tarefa que se realiza pelo menos duas vezes por ano.