Детальная информация

Название Автоматизация составления расписания в вузе с использованием SMT-решателей и генетического алгоритма // Системный анализ в проектировании и управлении: сборник научных трудов XXVIII Международной научно-практической конференции, 27–29 июня 2024 года: [в 2 частях]. Ч. 1
Авторы Жабко Георгий Петрович ; Сиднев Александр Георгиевич ; Хомяков Виктор Сергеевич
Организация Санкт-Петербургский политехнический университет Петра Великого
Выходные сведения Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2024
Электронная публикация 2025
Коллекция Общая коллекция
Тип документа Статья, доклад
Тип файла PDF
Язык Русский
DOI 10.18720/SPBPU/2/id24-486
Права доступа Свободный доступ из сети Интернет (чтение, печать, копирование)
Дополнительно Новинка
Ключ записи RU\SPSTU\edoc\76153
Дата создания записи 30.05.2025

Разрешенные действия

Прочитать Загрузить (0,5 Мб)

Группа Анонимные пользователи
Сеть Интернет

Работа посвящена формированию математической модели учебного расписания высшей школы или иного аналогичного подразделения вуза, а также разработке и исследованию алгоритмов составления расписания на ее основе. Этапы разработки рассматриваемой темы: 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

Подробная статистика