Details
Title | Автоматизация составления расписания в вузе с использованием SMT-решателей и генетического алгоритма // Системный анализ в проектировании и управлении: сборник научных трудов XXVIII Международной научно-практической конференции, 27–29 июня 2024 года: [в 2 частях]. Ч. 1 |
---|---|
Creators | Жабко Георгий Петрович ; Сиднев Александр Георгиевич ; Хомяков Виктор Сергеевич |
Organization | Санкт-Петербургский политехнический университет Петра Великого |
Imprint | Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2024 |
Electronic publication | 2025 |
Collection | Общая коллекция |
Document type | Article, report |
File type | |
Language | Russian |
DOI | 10.18720/SPBPU/2/id24-486 |
Rights | Свободный доступ из сети Интернет (чтение, печать, копирование) |
Additionally | New arrival |
Record key | RU\SPSTU\edoc\76153 |
Record create date | 5/30/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.
Access count: 19
Last 30 days: 19