Details

Title Автоматизация составления расписания в вузе с использованием SMT-решателей и генетического алгоритма // Системный анализ в проектировании и управлении: сборник научных трудов XXVIII Международной научно-практической конференции, 27–29 июня 2024 года: [в 2 частях]. Ч. 1
Creators Жабко Георгий Петрович ; Сиднев Александр Георгиевич ; Хомяков Виктор Сергеевич
Organization Санкт-Петербургский политехнический университет Петра Великого
Imprint Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2024
Electronic publication 2025
Collection Общая коллекция
Document type Article, report
File type PDF
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

Allowed Actions

Read Download (0.5 Mb)

Group Anonymous
Network Internet

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

Network User group Action
ILC SPbPU Local Network All
Read Print Download
Internet All

Access count: 19 
Last 30 days: 19

Detailed usage statistics