Детальная информация
Название | Автоматизация составления расписания в вузе с использованием SMT-решателей и генетического алгоритма // Системный анализ в проектировании и управлении: сборник научных трудов XXVIII Международной научно-практической конференции, 27–29 июня 2024 года: [в 2 частях]. Ч. 1 |
---|---|
Авторы | Жабко Георгий Петрович ; Сиднев Александр Георгиевич ; Хомяков Виктор Сергеевич |
Организация | Санкт-Петербургский политехнический университет Петра Великого |
Выходные сведения | Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2024 |
Электронная публикация | 2025 |
Коллекция | Общая коллекция |
Тип документа | Статья, доклад |
Тип файла | |
Язык | Русский |
DOI | 10.18720/SPBPU/2/id24-486 |
Права доступа | Свободный доступ из сети Интернет (чтение, печать, копирование) |
Дополнительно | Новинка |
Ключ записи | RU\SPSTU\edoc\76153 |
Дата создания записи | 30.05.2025 |
Работа посвящена формированию математической модели учебного расписания высшей школы или иного аналогичного подразделения вуза, а также разработке и исследованию алгоритмов составления расписания на ее основе. Этапы разработки рассматриваемой темы: 1) анализ существующих моделей и алгоритмов составления расписания учебных занятий в вузе; 2) разработка математической модели расписания вуза в рамках Высшей школы компьютерных технологий и информационных систем (ВШ КТиИС); 3) разработка и исследование алгоритмов составления учебного расписания на основе предложенной модели. В результате представлена математическая модель расписания, совокупность объектов и ограничений, являющаяся отражением учебного процесса в вузе. Исследованы существующие подходы к построению расписания, реализованы собственные методы решения задачи на основе генетического алгоритма и использования SMT-решателей.
The work is devoted to the formation of a mathematical model of the academic schedule of a higher school or other similar department of a university, as well as the development and research of scheduling algorithms based on it. Stages of the development of the topic under consideration: 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. As a result, a mathematical model of the schedule, a set of objects and restrictions, which is a reflection of the educational process at the university, is presented. The existing approaches to scheduling are investigated, and proprietary methods for solving the problem based on a genetic algorithm and the use of SMT solvers are implemented.
Количество обращений: 10
За последние 30 дней: 10