ТЕОРІЯ РОЗКЛАДІВ
Робоча програма навчальної дисципліни (Силабус) |
Реквізити навчальної дисципліни
Рівень вищої освіти | Перший (бакалаврський) |
---|---|
Галузь знань | 12 Інформаційні технології |
Спеціальність | 126 Інформаційні системи та технології |
Освітня програма | Інформаційні управляючі системи та технології |
Статус дисципліни | Нормативна (обов'язкова) |
Форма навчання | Заочна |
Рік підготовки, семестр | ІІІ курс, весняний семестр |
Обсяг дисципліни | 3 кредити (90 годин, з них 10 годин лекцій, 80 годин СРС) |
Семестровий контроль / контрольні заходи | Залік/МКР |
Розклад занять | http://rozklad.kpi.ua/Schedules/ScheduleGroupSelection.aspx |
Мова викладання | Українська |
Інформація про керівника курсу / викладачів | доцент, к.т.н, Жданова Олена Григорівна, zhdanova.elena@hotmail.com https://ist.kpi.ua/uk/pedagogichnij-sklad/ |
Розміщення курсу | Посилання на дистанційний ресурс MOODLE: https://do.ipo.kpi.ua/course/view.php?id=1665 |
Програма навчальної дисципліни
1. Опис навчальної дисципліни, її мета, предмет вивчення та результати навчання
Метою навчальної дисципліни «Теорія розкладів» є отримання студентами ґрунтовної математичної підготовки з теоретичних, методологічних та алгоритмічних основ інформаційних технологій для використання математичного апарату під час вирішення прикладних і наукових завдань, що стосуються прийняття оптимальних рішень в області інформаційних управляючих систем.
Предмет навчальної дисципліни – методи та алгоритми календарного планування, що використовуються при проектуванні, впровадженні та експлуатації інформаційних управляючих систем, систем обробки інформації на базі комп'ютерних систем і мереж.
В результаті освоєння дисципліни повинні бути сформовані такі компетентності:
Код | Назва |
---|---|
ЗК 1 | Здатність до абстрактного мислення, аналізу та синтезу |
ФК 4 | Здатність проектувати, розробляти та використовувати засоби реалізації інформаційних систем, технологій та інфокомунікацій (методичні, інформаційні, алгоритмічні, технічні, програмні та інші) |
ФК 5 | Здатність оцінювати та враховувати економічні, соціальні, технологічні та екологічні фактори на всіх етапах життєвого циклу інфокомунікаційних систем |
ФК 6 | Здатність використовувати сучасні інформаційні системи та технології (виробничі, підтримки прийняття рішень, інтелектуального аналізу даних та інші), методики й техніки кібербезпеки під час виконання функціональних завдань та обов'язків |
ФК 11 | Здатність до аналізу, синтезу і оптимізації інформаційних систем та технологій з використанням математичних та імітаційних моделей і методів |
ФК 18 | Здатність до розробки і використання інтелектуальних інформаційних систем, технологій генерації та аналізу знань, алгоритмів штучного інтелекту для вирішення прикладних задач і підтримки прийняття рішень в різних прикладних областях життєдіяльності людини |
ФК 19 | Здатність до застосування методів прийняття управлінських рішень в умовах невизначеності та багатофакторної залежності щодо визначення рішення та ефективності управлінської діяльності |
ФК 21 | Здатність до математичного моделювання в економіці, розуміння прикладних задач і математичних моделей макро- і мікроекономіки, аналізу і прогнозування процесів ринкової економіки |
Після засвоєння дисципліни студенти мають продемонструвати такі результати навчання:
Код | Назва |
---|---|
ПРН 2 | Застосовувати знання фундаментальних і природничих наук, системного аналізу та технологій моделювання, стандартних алгоритмів та дискретного аналізу при розв'язанні задач проєктування і використання інформаційних систем та технологій |
ПРН 6 | Демонструвати знання сучасного рівня технологій інформаційних систем,практичні навички програмування та використання прикладних і спеціалізованих комп'ютерних систем та середовищ з метою їх запровадження у професійній діяльності |
ПРН 17 | Знати методології та технології проєктування та реалізації інформаційнихуправляючих систем та технологій підтримки прийняття рішень. Вмітивикористовувати існуючі засоби, компоненти та технології для побудовиінформаційних управляючих систем та технологій підтримки управлінськихрішень |
ПРН 19 | Вміти розв'язувати складні непередбачувані задачі і проблеми у спеціалізованих сферах професійної діяльності та/або навчання, що передбачають збирання та інтерпретацію та аналіз інформації (даних), вибір методів та інструментальних засобів, застосування інноваційних підходів |
ПРН 21 | Вміти використовувати методи та засоби аналізу даних, обирати тавикористовувати математичні моделі, будувати стратегії розв'язання практичних задач, в тому числі в галузі штучного інтелекту, обґрунтовувати вибір методу оптимізації при розв'язанні прикладних проблем у спеціалізованих сферах професійної діяльності |
2. Пререквізити та постреквізити дисципліни (місце в структурно-логічній схемі навчання за відповідною освітньою програмою)
Для успішного засвоєння дисципліни студент повинен володіти освітніми компонентами:
- Вища математика;
- Теорія ймовірностей і математична статистика;
- Спеціальні розділи математики;
- Ймовірнісні моделі та статистичне оцінювання в інформаційно-управляючих системах.
Компетенції, знання та уміння, одержані в процесі вивчення освітнього компонента є необхідними для подальшого вивчення освітніх компонентів:
- Прийняття рішень в інформаційних системах.
3. Зміст навчальної дисципліни
Тема 1. Предмет та задачі дисципліни Тема 2. Методи розв'язання задач ТР Тема 3. Системи обслуговування з однією машиною Тема 4. Системи обслуговування з декількома машинами Тема 5. Типи алгоритмів складання розкладів
4. Навчальні матеріали та ресурси
Базова література
- Гуляницький Л. Ф. Прикладні методи комбінаторної оптимізації: навч. посіб. / Л. Ф. Гуляницький, О. Ю. Мулеса. – Київ: Видавничо-поліграфічний центр «Київський університет», 2016. – 142 с
- Conway R. W. Theory of Scheduling / R. W. Conway, W. L. Maxwell, L. W. Miller., 2003. – 304 с.
- Pinedo M. L. Scheduling. Theory, Algorithms and Systems / Michael Pinedo. – New York: Springer Science+Business Media, 2008. – 671 с.
- Pinedo M. L. Planning and Scheduling in Manufacturing and Services / Michael Pinedo. – New York: Springer Science+Business Media, 2009. – 536 с.
- Taha H. A. Operations Research. An Introduction. Eighth Edition / Hamdy Taha. – New Jersey: Pearson Education, 2007. – 813 с.
Додаткова література
- Rossi F. Handbook of Constraint Programming / F. Rossi, P. van Beek, T. Walsh. – Amsterdam: Elsevier, 2006. – 957 с.
- Rudová H. Course on Constraint Programming and Scheduling [Електроннийресурс] / Hana Rudová. – 2009. – Режимдоступудоресурсу: https://www.fi.muni.cz/~hanka/konstanz09/.
Для викладання дисципліни необхідні наступні ресурси: при проведенні лекцій та практичних занять в аудиторії має бути комп'ютер з проєктором.
Навчальний контент
5. Методика опанування навчальної дисципліни
5.1. Тематика лекцій
Теми лекцій та практичних занять та перелік основних питань неведені в таблиці 1.
Таблиця 1
№ лекції | Назва тем, що розглядаються на лекції, та перелік основних питань |
---|---|
1 | Тема 1. Предмет та задачі дисципліни. Предмет та задачі теорії розкладів (ТР). Проблеми впорядкування. Питання «ідеального» впорядкування. Математична модель задачі ТР. Критерії оцінки розкладів. Вхідні величини при складанні розкладів. Шукані (вихідні) величини при складанні розкладів. Співвідношення між середніми вихідних величин. Розклад і вартість. Регулярний критерій. Діаграма Гантта. Класифікація задач ТР. Нотація Грехема. Тема 2. Методи розв'язання задач ТР. Методи розв'язання задач ТР. Математичне програмування і ТР. Класифікація методів розв'язання задач теорії розкладів. Наближені методи розв'язання. Правила диспетчеризації. Локальний пошук. Напрямки розвитку сучасних методів розв'язання задач теорії розкладів. |
Тема 3. Системи обслуговування з однією машиною | |
2 | Системи обслуговування з однією машиною. Незалежні роботи без ваг та директивних строків. Практичні задачі, що зводяться до систем обслуговування з однією машиною. Переривання. Штучні простої. Теорема про оптимальність розкладу відносно регулярного критерію з класу розкладів без переривань та простоїв. Перестановочні розклади. Перестановочні розклади. Упорядкування за мінімумом тривалості робіт (SPT). Упорядкування за максимумом тривалості робіт (LPT). Теореми про оптимальність SPT, LPT. Методи доведення теорем: перестановочний прийом, метод попарних перестановок. Незалежні роботи з директивними строками. Впорядкування у відповідності з плановим строком. Теорема Джексона. Впорядкування у відповідності з резервом часу. Оптимізація за двома критеріями. Теорема про мінімізацію середньої тривалості проходження робіт при збереженні нульового запізнення. |
3 | Незалежні роботи з вагами. Випадкове впорядкування. Властивості антитетичних правил. Упорядкування у випадку критерію, що враховує ваги. Мінімізація сумарної зваженої тривалості проходження робіт. Мінімізація середнього зваженого запізнення. Алгоритм Шилда-Фрідмана. Наявність налаштувань, неодночасне надходження. Тривалість налаштування, яка залежить/не залежить від впорядкування. Неодночасне надходження робіт. Системи з обслуговуванням «заново», системи з дообслуговуванням. Системи зі штучними простоями. Впорядкування за наявності обмежень на можливі варіанти розкладів. Складання розкладів при частковому впорядкуванні. Часткове упорядкування. Мінімізація середньої тривалості проходження груп робіт. Мінімізація середньозваженої тривалості проходження груп робіт. Мінімізація середньої тривалості проходження робіт. Впорядкування за наявності обмежень на можливі варіанти розкладів – відношення впорядкування у вигляді ланцюгів. |
Тема 4. Системи обслуговування з декількома машинами | |
4 | Системи обслуговування з декількома машинами. Паралельні машини. Ідентичні, пропорційні, незалежні машини. Системи, в яких роботи можуть виконуватися кількома машинами одночасно. Системи, в яких заборонено одночасне виконання робіт кількома машинами. Задачі оптимізації загального часу обслуговування. Задачі з директивними строками. Мінімізація сумарного і максимального значення закінчення робіт. Конвеєрні системи. Особливості системи конвеєрного типу. Перестановочні розклади. Мінімізація максимальної тривалості проходження в конвеєрній системі з двох приладів. Мінімізація середньої тривалості проходження в конвеєрній системі з двох приладів. Конвеєрна система з трьох приладів. Впорядкування у великих системах конвеєрного типу. |
5 | Складання розкладу в задачах з відношенням передування. Види відношень передування (ациклічний орієнтований граф, ланцюг, дерево). Метод критичного шляху. Задача складання розкладу виконання робіт з відношеннями передування у вигляді дерева (intree, outtree). Методи розв'язання часткових випадків задачі. Складання розкладу виконання робіт паралельними машинами, для яких виконується умова вкладеності. Вкладені множини машин. Методи розв'язання часткових випадків задачі. Правило найменш гнучкої роботи. Тема 5. Типи алгоритмів складання розкладів. Типи алгоритмів складання розкладів. Однократні алгоритми. Алгоритми, що коригуються. Алгоритми диспетчеризації. Пріоритет роботи (операції). Правила вибору операції RANDROM, MOPNR, MWKR-P, MWKR/P, SPT, MWKR, LWKR. |
5.2. Методи і засоби навчання
Перевага надається методам, які спрямовані на виховання критичного мислення. Міждисциплінарний підхід реалізується в тому, що ми опираємось на раніше засвоєні дисципліни (методи дискретного програмування з «Дослідження операцій в ІУС», при оцінці складності алгоритмів використовуються знання, отримані студентами при вивченні «Теорії алгоритмів»). Професійно-орієнтований підхід реалізуються в тому, що в процесі викладання дисципліни розглядається багато змістовних постановок проблемних ситуацій, що зустрічаються на практиці.
Основним засобом навчання є середовище MOODLE, розгорнуте на базі Платформи дистанційного навчання «Сікорський». В цій системі на сторінці дисципліни для студентів доступні усі навчально-методичні матеріали (конспект лекцій, презентації, завдання домашніх робіт тощо).
Контроль знань студентів проводиться шляхом тестування та виконання індивідуальних завдань. Тести містять питання наступних видів: багатоваріантне питання (вибір одної чи кількох альтернатив; відповідність (двох переліків); вкладені відповіді (вставка тексту); числове питання; перетягування маркерів; есе (текст, який потребує оцінювання викладачем). При підготовці до тестів студентам надається можливість проходження пробних (тренувальних) тестів. Це дозволяє їм ознайомитись з переліком контрольних питань і видами тестів, та планувати час проходження тесту. Аби уникнути перекосу в сторону тестування, важливо виконання письмових індивідуальних робіт, які завантажуються студентами в MOODLE. При цьому всі помилки коментуються викладачем до задовільного засвоєння студентом відповідних методів. У разі необхідності проводяться індивідуальні консультації. Так реалізується індивідуалізований студентоцентрований підхід.
6. Самостійна робота студента
Види самостійної роботи студентів:
- опанування теоретичного матеріалу, підготовка до проходження тестів – 72 год (конспект та презентації лекцій завантажені в MOODLE, пробні та основні тести – також в MOODLE);
- підготовка до МКР – 4 год (умови завдань наведені в MOODLE);
- підготовка до заліку – 4 год.
7. Модульна контрольна робота
Метою модульної контрольної роботи (МКР) є закріплення та перевірка теоретичних знань із освітнього компонента, набуття студентами практичних навичок самостійного вирішення задач.
МКР складається з двох частин:
- частина 1: тест на тему «Мінімаксні та максимінні критерії. Упорядкування, що враховують директивні строки»;
- частина 2: тест на тему «Складання розкладів за наявності відношень передування у вигляді дерева».
МКР проводиться у системі MOODLE. За кожною частиною кожен студент виконує індивідуальне завдання.
Політика та контроль
8. Політика навчальної дисципліни (освітнього компонента)
Основні положення політики:
- політика щодо академічної доброчесності: Кодекс честі Національного технічного університету України «Київський політехнічний інститут імені Ігоря Сікорського» встановлює загальні моральні принципи, правила етичної поведінки осіб та передбачає політику академічної доброчесності для осіб, що працюють і навчаються в університеті, якими вони мають керуватись у своїй діяльності, в тому числі при вивченні та складанні контрольних заходів з дисципліни «Дослідження операцій в інформаційно-управляючих системах»;
- правила відвідування занять: відвідування лекційних є обов'язковою складовою вивчення матеріалу; заохочувальні або штрафні бали за відвідування занять не нараховуються;
- політика щодо оцінювання результатів контрольних заходів, дедлайнів та перескладань: для кожного контрольного заходу в системі MOODLE вказаний термін виконання; студенти мають можливість підняти будь-яке питання, яке стосується процедури проведення та оцінювання контрольних заходів; студенти мають право оскаржити результати контрольних заходів, аргументовано пояснивши, з яким критерієм не погоджуються відповідно до оціночного листа та/або зауважень; у випадку виявлення факту академічної недоброчесності робота не зараховується, а її переписування не дозволяється; у разі невиконання (без поважних причин) контрольних заходів, можливість їх переписування студентові не надається;
- заохочувальні бали: виставляються за участь у розробці нових тестових питань та допомогу в оновлені методичних матеріалів, презентацій тощо; кількість заохочуваних балів не більше 10.
9. Види контролю та рейтингова система оцінювання результатів навчання (РСО)
9.1. Поточний контроль
Рейтинг студента з дисципліни складається з балів, що він отримує за:
- проходження тестів;
- виконання модульної контрольної роботи (у вигляді тестів);
- відповідь на заліку.
Умови завдань для самостійної проробки (в тому числі пробні тести), а також тести для поточного контролю знань, розміщені в системі MOODLE, розгорнутій на базі Платформи дистанційного навчання «Сікорський»: https://do.ipo.kpi.ua/course/view.php?id=1665.
9.2. Система рейтингових (вагових) балів та критерії оцінювання
В таблиці 2 наведені теми та види контрольних заходів, які виконуються студентом протягом семестру, і відповідні їм бали.
Таблиця 2
№ | Тема контрольного заходу | Максимальна сума балів |
---|---|---|
1 | Складання розкладів за критеріями: середній та середній зважений час закінчення, проходження, очікування, зміщення | 10 |
2 | Мінімаксні та максимінні критерії. Упорядкування, що враховують директивні строки (МКР, частина 1) | 15 |
3 | Упорядкування за наявності відношень передування у вигляді ланцюга. Складання розкладів для систем з декількома паралельними машинами, що виконують роботи одночасно | 15 |
4 | Складання розкладів за наявності відношень передування у вигляді дерева (МКР, частина 3) | 10 |
5 | Складання розкладів для конвеєрних систем | 10 |
Загальна кількість балів (за семестр) | 60 |
9.3. Розрахунок шкали рейтингу
Максимальна сума балів контрольних заходів протягом семестру ($$R_D^$$) складає 100 балів.
Студенти, які набрали протягом семестру рейтинг менше 40% від максимальної кількості балів (менше ніж 24 бали), до залікової контрольної роботи не допускаються.
Студенти, які набрали протягом семестру рейтинг менше 60% від максимальної кількості балів (менше ніж 36 балів), зобов'язані виконувати залікову контрольну роботу
Студенти, які набрали протягом семестру не менше ніж 60% від максимальної кількості балів (не менше ніж 36 балів), отримують залікову оцінку так званим "автоматом" відповідно до набраного рейтингу:
$$R_D = {100 \over 60} \sum_^{5} r_j$$,
де – сума балів, що отримав студент протягом семестру за роботи, перелічені в табл. 2.
9.4. Критерії оцінювання залікового контрольного завдання
Максимальна сума балів питань залікової контрольної роботи ($$R_Z^$$) – 100 балів.
Залікова контрольна робота проводиться у вигляді тесту та складається з 10 задач, кожна з яких оцінюється у 10 балів. Типи задач, що виносяться на залік, наведені у таблиці 3.
Таблиця 3
№ з/п | Задачі |
---|---|
1 | Упорядкування за мінімумом тривалості робіт (SPT) |
2 | Упорядкування за максимумом тривалості робіт (LPT) |
3 | Упорядкування у відповідності з плановим строком |
4 | Упорядкування у відповідності з резервом часу |
5 | Оптимізація за двома критеріями (нульове запізнення + мінімізація середнього моменту закінчення) |
6 | Тривалість налаштування, яка залежить від впорядкування |
7 | Одна машина: Упорядкування при наявності обмежень на можливі варіанти розкладу. Складання розкладів при частковому впорядкуванні |
8 | Одна машина: Складання розкладів при заданому відношенні передування (ланцюг) |
9 | Паралельні машини: Роботи можуть виконуватися одночасно кількома машинами |
10 | Паралельні машини: Заборонено одночасне виконання робіт кількома машинами. Ідентичні машини. SPT та реверсний SPT |
11 | Паралельні машини: Заборонено одночасне виконання робіт кількома машинами. Машини різної продуктивності. Складання розкладу виконання робіт паралельними пропорційними машинами з метою мінімізації середнього часу перебування робіт в системі |
12 | Складання розкладу виконання робіт паралельними ідентичними машинами з метою мінімізації makespan |
13 | Складання розкладу для $$P_m / t_j = 1, tree / T_$$ |
14 | Складання розкладу для $$P_m / t_j = 1, M_i nested / T_$$ |
15 | Мінімізація максимальної тривалості проходження в конвеєрній системі з двох машин |
Для отримання студентом відповідних оцінок (ECTS та традиційних) його рейтингова оцінка переводиться згідно з таблицею 4.
Таблиця 4
Бали (або ) | Оцінка |
---|---|
100…95 | Відмінно |
94…85 | Дуже добре |
84…75 | Добре |
74…65 | Задовільно |
64…60 | Достатньо |
Менше 60 | Незадовільно |
Не виконані умови допуску | Не допущено |
10.Додаткова інформація з дисципліни (освітнього компонента)
Усі матеріали розміщені в середовищі MOODLE, розгорнутому на базі Платформи дистанційного навчання «Сікорський», за посиланням: https://do.ipo.kpi.ua/course/view.php?id=1665.
Робочу програму навчальної дисципліни (силабус):
Складено доцент, к.т.н, доцент, Жданова Олена Григорівна Ухвалено кафедрою ІСТ (протокол №21 від 29.06.2023 р.) Погоджено Методичною комісією факультету (протокол №11 від 29.06.2023 р.)