ФОРМУЛИРОВКИ ЗАДАЧИ СОСТАВЛЕНИЯ РАСПИСАНИЙ
Общая формулировка задачи составления расписаний
В наиболее общей формулировке задача составления расписаний состоит в следующем. С помощью некоторого множества ресурсов или обслуживающих устройств должна быть выполнена накоторая фиксированная система заданий. Цель заключается в том, чтобы при заданных свойствах заданий и ресурсов и наложенных на них ограничениях найти эффективный алгоритм упорядочивания заданий, оптимизирующий или стремящийся оптимизировать требуемую меру эффективности. В качестве основных мер эффективности изучаются длина расписания и среднее время пре бывания заданий в системе. Модели этих задач являются детерминированными в том плане, что вся информация, на основе которой принимаются решения об упорядочивании, известны заранее.
Общая теория расписаний предполагает, что все обслуживающие устройства (или процессоры) не могут выполнять в данный момент времени более одного задания, что для расписания учебных занятий не является достаточным, если в качестве процессора при распределении заданий принять учебную аудиторию. Так как в некоторых случаях в одной аудитории могут проводится занятия с более чем одной группой одновременно, например общие лекции для нескольких потоков. Поэтому, при переносе общей теории расписаний на расписание учебных занятий нами были сделаны следующий допущения:
В итоге, формулировка задачи составления расписания учебных занятий звучит следующим образом: "Для заданного набора учебных аудиторий (в данном случае под учебной аудиторией понимается широкий круг помещений, в которых проводятся учебные занятия (от компьютерной лаборатории до спортивного зала)) и заданного набора временных интервалов (т.е. по сути, уроков или учебных пар) построить такое распределение учебных занятий для всех объектов (учителя и учебные группы), для которого выбраный критерий оптимальности является наилучшим". В качестве критерия оптимальности в данном случае могут выступать различные показатели. Замечания:
На практике не очень удобно работать с информацией в том виде, в котором она определяется в математической модели. Поэтому нами было рассмотрено несколько способов организации исходных данных задачи построения расписания учебных занятий. В качестве основных способов организации рекомендуется выбирать реляционный способ - данные в виде реляционных таблиц, организацию в виде иерархической структуры и сетевой способ организации с помощью сетевой базы данных.
G = {T1, T2, …, Tn} - множество заданий; < - отношение частичного порядка, заданное на множестве заданий G; [tijk] - трехмерная матрица размером n x m x p, представляющая распределение заданий по процессорам в заданный интервал времени; P = {P1, P2,…,Pm} - множество процессоров; R = {R1, R2,…,Rp} - множество временных интервалов; <' - отношение частичного порядка, заданное на множестве R; U - множество ограничений.
Особенности практической реализации модели системы