Introduccin

La asignacin de los horarios en la Universidad EAFIT es un proceso que cada vez se hace ms difcil, debido a que cada semestre se matriculan mas alumnos y son abiertos mas cursos o nuevas carreras, y el crecimiento de las instalaciones de la universidad no ha crecido al mismo ritmo que los matrculados. Poder asignar las instalaciones de manera que todos los alumnos puedan ver las materias que necesita para terminar su carrera es una tarea ardua y complicada de realizar. EAFIT viene desde hace 20 aos viene realizando el proceso de asignacin con la ayuda de un trabajo de tesis de grado, en donde asigna las aulas y profesores a cursos, pero con los criterios que se tenan en 1992, los cuales han cambiado desde entonces y no son aplicables a las necesidades actuales. Con el presente trabajo se pretende actualizar los creterios de asignacin de aulas y adems realizar la seleccin de horarios con el uso de sistemas distribuidos. El problema en general, es el de como planificar los recursos que hay disponibles (Alumnos, profesores, aulas, equipos audiovisuales) de la manera ms ptima en el menor tiempo posible cumpliendo con las restricciones que el problema en si plantee, con el uso de sistemas distribuidos. La investigacin se basa en el proceso que hace el departamento de Admisiones y Registro semestralmente para la inscripcin de las materias que los estudiantes van a ver durante el semestre. Antes de comenzar el semestre cada alumno debe de inscribir las materias que desea cursar, luego de esto Admisiones y Registro le presenta al alumno cuales son los cursos a los cuales puede matricularse, mostrandole los horarios y los profesores asignados a este. As que lo que se quiere es poder hacer la asignacin de las instalaciones y recursos que tiene la Universidad en el menor tiempo posible.

Antecedentes
El problema de asignacin de horarios no es un problema trivial y ha sido investigado ampliamente en los ltimos aos debido a su complejidad y a la cantidad de restricciones que se debe de tener en cuenta a la hora de buscar una solucin en un tiempo razonable. Algunas de las soluciones propuestas para el problema son basadas en los algoritmos genticos, en programacin lineal, busqueda exhaustiva entre otros. Dependiendo del tamao del problema es importante tener en cuenta que hay mtodos que van a funcionar mejor que otros, por ejemplo, los dos ltimos mensionados son buenos en un problema de tamao pequeo y la solucin normalmente ser dada en un tiempo relativamente corto. Para problemas de tamao grande son usados otra clase de extrategias mas complejas a la hora de trabajar. Actualmente existen grupos de investigacin a nivel internacional que trabajan el tema, como es el WATT (EURO Working Group on Automated Timetabling), que se reune cada dos aos para analizar los avances mas importantes en el tema y mantiene un sitio web con informacin relevante sobre los problemas de asignacin de horarios 1. Tambin hay competencias internacionales para este problema, como International timetabling competition organizada por Metaheuristics Networks en donde buscan premiar los 5 mejores desarrollos hechos sobre el tema. En la Universidad EAFIT en el ao de 1992 se realiz un trabajo de grado por parte de Juan Guillermo Lalinde y Berta ... En donde se creo un mtodo muy novedoso y que hasta el momento an no ha sido usado en otro lugar, en donde eran usandos mtodos estadsticos y programacin, llegando a asignar ms del 90% de los recursos de la universidad satisfactoriamente en un tiempo razonable. Este ha sido usado desde entonces el mtodo usado para hacer la asignacin de grupos y ha trabajado bien, pero con los cambios que ha tenido la Universidad desde entonces, tanto en nmero de estudiantes, en el tamao de las instalaciones y restricciones en la toma de materias, los criterios de seleccin han cambiado y no son vlidas, por lo que la solucin para las restricciones actuales no satisfacen la solucin del problema de asignacin.

http://www.asap.cs.nott.ac.uk/external/watt/index.shtml

Justificacin
Dado el alto nmero de alumnos que la universidad EAFIT tiene en el momento y la cantidad de materias que se manejan igualmente y de que cada semestre el nmero de estas se incrementa, la asignacin de los recursos (aulas, profesores, equipos audiovisuales, etc) a unos cursos es cada vez ms difcil, ya que los estudiantes se inscriben en materias que estn en diferentes semestres(diferentes momentos de la carrera), lo que implica hacer una busqueda de cursos en donde dos o ms de ellos no se interfieran en el horario de los estudiantes(de un estudiante). El problema de la asignacin de horarios es considerado un problema de tipo NP-duro, por lo que es de gran importancia en el campo de la investigacin, mostrando cada ao gran cantidad de papers y de investigaciones, adems de haber libros e incluso revistas dedicadas al tema. Muchos de los busquedas de solucin actuales en este campo estn centradas en busqueda Tab, algoritmos genticos, coloreado de grafos y coloneas de hormigas. La mayora de estas soluciones tienen como base el de buscar la solucin con la ayuda de tcnicas netamente algortmicas, por lo que con el siguiente proyecto de grado lo que se busca es hacer un enfoque mucho ms matemtico, haciendo uso de tcnicas estadsticas y probabilsticas para llegar a la solucin.

Trabajo a Realizar
As, el presente trabajo lo que se presente es poder buscar una solucin ptima al problema de asignacin de horarios por medio de mtodos estadsticos y probabilsticos utilizando programacin concurrente en donde se pretende obtener una solucin que satizfaga cada una de las restricciones reduciendo el tiempo de computacin.

Problema
El problema a considerar pretende poder obtener una programacin de horarios para cada una de los cursos que hay en la programacin acadmica en cada semestre de cada carrera, considerando cada una de las restricciones que tiene el problema y buscando minimizar el nmero de grupos no asignado con el uso de la estadstica y la probabilidad, con el uso de la computacin concurrente.

Objetivos
Objetivo General
Encontrar una solucin ptima/eficiente de la asignacin de horarios y aulas de manera automtica de la Universidad EAFIT para cumplir con la asignacin acadmica de cada semestre

Objetivos Especficos
1. 2. 3. 4. Hacer un modelo matemtico que pueda asignar los recursos de la Universidad de la manera ms ptima. Disear un algoritmo que haga uso del modelo matemtico para que pueda brindar de manera eficaz y en tiempo razonable la asignacion de los horarios de la Universidad EAFIT Hacer que el algoritmo diseado sea paralelizado Uso de MapReduce

Presupuesto
Costo del personal
Un ingeniero trabajando tiempo completo durante 4 meses trabajando tiempo completo ($1300.000/mes). Da como resultado $5200.000

Costo de viticos y papelera

En la implementacin del proyecto de grado, se estiman gastos por concepto de viticos para los desarrolladores de $900.000. En papelera se estiman gastos de $150.000 por fotocopias e impresiones.

Costo de Hardware y Software

El hardware que se utilizar en el proyecto es propiedad de la Universidad EAFIT y por esta razn no se incurre en gastos de este tipo. En cuanto al software que se utilizar sera software libre, el cual puede ser usado sin tener que comprar licencias de uso, as que en cuanto a software no se incurrir en gastos. De acuerdo con los clculos estimados sera $5200.000 + $900.000 + $150.000 = $6250.000

Calendario

Bibliografa