Details

Работа посвящена разработке математической модели учебного расписания в ВУЗе в рамках ВШИСиСТ, а также исследованию и разработке алгоритмов составления расписания на основе приведенной модели. В ходе выполнения работы выполнялись следующие задачи: 1. Исследование существующих моделей и алгоритмов составления расписания учебных занятий в ВУЗе 2. Разработка математической модели расписания ВУЗа в рамках ВШИСиСТ 3. Разработка и исследование алгоритмов составления учебного расписания на основе предложенной модели 4. Разработка графического интерфейса для упрощения взаимодействия с программной реализацией модели и алгоритмов составления расписания. В результате работы разработана математическая модель, состоящая из объектов и ограничений и описывающая учебный процесс в Вузе в рамках ВШИСиСТ. Исследованы существующие подходы решения задачи построения расписания, реализованы собственные алгоритмы решения задачи на основе подходов генетического алгоритма и использования SMT-решателей. Также разработано веб-приложение, предоставляющее пользователю возможность автоматизированного составления расписания с применением разработанной математической модели и алгоритмов.

The bachelor’s thesis is dedicated to development of university courses mathematical model as well as research and development of the course scheduling algorithms according to described mathematical model. In the course of the work the following tasks were considered: 1. Research of existing university course scheduling model and algorithms. 2. Development of the mathematical model within the confines of university higher school. 3. Development of the university courses scheduling algorithms according to described model. 4. Application development for the purpose of simplifying interaction with university scheduling mathematical model and algorithms. The result of graduate work is university scheduling mathematical model and algorithms. Mathematical model consists of mathematical objects and constraints, which describe educational process within the confines of university higher school. Existing approaches for solving the scheduling problem are investigated, own algorithms for solving the problem are implemented based on the approaches of the genetic algorithm and the use of SMT solvers. A web application that provides the user with the possibility of automated scheduling using the described mathematical model and algorithms has also been developed.