
- •Моделювання систем
- •Передмова
- •Моделі процесів і систем
- •Класифікація моделей
- •Основні визначення та класифікація систем масового обслуговування
- •Характеристики систем масового обслуговування
- •Вхідний потік вимог
- •Стратегії керування потоками вимог
- •Класифікація систем масового обслуговування
- •Метод статистичних випробовувань
- •Генератори випадкових чисел
- •Моделювання випадкових подій та дискретних випадкових величин
- •Моделювання неперервних випадкових величин
- •Моделювання нормально-розподілених випадкових величин
- •Моделювання випадкових векторів
- •Моделювання випадкових функцій
- •Статистична обробка результатів моделювання
- •Визначення кількості реалізацій під час моделювання випадкових величин
- •Основне меню gpss World
- •Меню File
- •Меню Edit
- •Панель інструментів gpss World
- •Вікно моделі у системі gpss World
- •Інтерактивний перегляд значень виразів
- •Налаштування параметрів моделювання
- •4.1. Основне меню gpss World
- •4.2. Подання моделей у вигляді блок-діаграм
- •4.3. Основні складові системи gpssw
- •4.4. Об'єкти обчислювальної категорії
- •4.4.1. Константи
- •4.4.2. Системні числові атрибути
- •4.4.3. Арифметичні і логічні оператори
- •4.4.4. Бібліотечні математичні функції
- •4.4.5. Змінні користувача
- •4.4.6. Вирази в операторах gpss
- •4.4.7. Зберігаючі комірки
- •4.4.8. Матриці зберігаючих комірок. Оголошення та ініціалізація матриць
- •4.4.9. Арифметичні змінні й арифметичні вирази
- •4.4.10. Булеві змінні
- •4.4.11. Типи функцій
- •5.1. Введення транзактів у модель і вилучення їх із неї
- •5.2. Блоки для зміни значень параметрів транзактів
- •5.3. Блоки апаратної категорії зайняття та звільнення одноканальних пристроїв
- •5.4. Блоки перевірки стану та передавання керування в одноканальних пристроях
- •5.5. Блоки статистичної категорії
- •5.6. Блоки для зміни послідовності руху транзактів у моделі
- •5.7. Блоки апаратної категорії для переривань одноканальних пристроїв
- •5.8. Блоки апаратної категорії для переведення одноканальних пристроїв у стан недоступності
- •5.9. Створення і застосування списків користувача
- •Основні етапи моделювання у системі gpssw
- •Команди gpss World
- •Інтерактивні можливості gpss World
- •Відлагодження моделей у gpss World
- •Блоки зайняття та звільнення багатоканальних пристроїв
- •Блоки апаратної категорії для переведення багатоканальних пристроїв у стан недоступності та відновлення доступності
- •Блоки перевірки стану багатоканальних пристрів
- •Моделювання перемикачів
- •Основні елементи мови
- •Побудова виразів
- •Plus-оператори та їх призначення
- •Вбудована бібліотека процедур
- •Генератори випадкових чисел
- •Реалізація методу Ньютона для розв’язування нелінійних рівнянь за допомогою мови Plus
- •Налагодження Plus-процедур
- •Команда integrate і блок integration для моделювання неперервних систем
- •Використання plus-процедур для моделювання неперервних систем
- •Використання функцій в імітаційних моделях
- •Генерування випадкових чисел для дискретних рівномірних розподілів
- •Генерування випадкових чисел для дискретних нерівномірних розподілів
- •Генерування випадкових чисел для неперервного рівномірного розподілу
- •Генерування випадкових чисел для неперервних нерівномірних розподілів
- •Функції типу e, l і м
- •9.1. Основні відомості з теорії планування експериментів
- •9.1.1. Повний факторний експеримент
- •Оцінювання точності результатів моделювання
- •Дисперсійний аналіз
- •Однофакторний дисперсійний аналіз
- •9.2.2. Двофакторний дисперсійний аналіз
- •9.3. Технологія дисперсійного аналізу у gpss World
- •9.4. Технологія регресійного аналізу у gpss World
- •9.5. Організація експериментів користувача у gpss World
- •Initial Rezult_tf,unspecified ;Ініціалізація матриці результатів
- •Загальні положення
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання
- •Контрольні запитання
- •Загальні положення
- •Завдання для виконання роботи
- •Контрольні запитання
- •Загальні положення
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання
- •Контрольні запитання
- •Загальні положення
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання
- •Контрольні запитання
- •Загальні положення
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання одноканальних розімкнутих смо
- •Індивідуальні завдання для моделювання одноканальних замкнутих смо
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання багатоканальних розімкнутих смо
- •Індивідуальні завдання для моделювання багатоканальних замкнутих смо
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання роботи транспортного конвеєра
- •Індивідуальні завдання для моделювання роботи ділянки цеху
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання роботи еом для оброблення завдань з різними пріоритетами
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання роботи вузла комутації повідомлень
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання поширення вірусу на системному диску
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання для проведення дисперсійного аналізу для дослідження вагомості впливу змінних користувача на об’єкт моделі
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання для розроблення експерименту користувача
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання проведення регресійного аналізу для оптимізації і кількісного прогнозу поведінки системи
- •Контрольні запитання
- •Елементи стандартного звіту
- •Загальна інформація про результати роботи моделі
- •Інформація про імена
- •Інформація про блоки
- •Інформація про об’єкти типу «пристрій»
- •Інформація про об’єкти типу «черга»
- •Інформація про об’єкти типу «багатоканальний пристрій»
- •Інформація про таблиці
- •Інформація про списки користувача
- •Табличні значення критеріїв
- •Значення t-критерію Ст’юдента
Міністерство освіти і науки України
Національний лісотехнічний університет України
Соколовський Я.І., Шабатура Ю.В., Крошний І.М., Дендюк М.В.
Моделювання систем
У GPSS WORLD
Львів - 2010
УДК 004.94(075.8)
Рецензенти В.М.Томашевський – д.т.н., професор кафедри управляючих систем і технології Національного технічного університету “Київський політехнічний інститут”;
Є.В.Бодянський – д.т.н., професор кафедри штучного інтелекту Харківського національного університету радіоелектроніки;
В.В.Пасічник – д.т.н., професор, завідувач кафедри інформаційних систем і мереж Національного університету “Львівська політехніка”.
Соколовський Я.І., Шабатура Ю.В., Крошний І.М., Дендюк М.В. Моделювання систем в середовищі GPSS World. – Львів, 2010. – 358 с.
У навчальному посібнику наведено матеріал, необхідний для вивчення імітаційного моделювання систем в інструментальному середовищі GPSS World для створення імітаційних моделей. Їх застосування показано на конкретних прикладах. Описуються можливості GPSS World для створення та проведення експериментів з моделями. Детально розглянуті методи практичної реалізації моделей систем у лабораторному практикумі.
Посібник розрахований на бакалаврів, що навчаються за напрямами підготовки “Комп’ютерні науки”. Ним можуть скористатися магістри, аспіранти та дослідники для моделювання та дослідження конкретних систем. Посібник буде корисним фахівцям у галузі комп’ютингу та бажаючим самостійно оволодіти методами імітаційного комп’ютерного моделювання.
Короткий зміст
Передмова 9
Перелік скорочень 12
Розділ 1. Загальні питання імітаційного моделювання 13
Розділ 2. Ймовірнісне моделювання 33
Розділ 3. Програмне середовище імітаційного моделювання GPSS World 60
Розділ 4. Система імітаційного моделювання GPSS World 81
Розділ 5. Моделі систем з одноканальними пристроями 109
Розділ 6. Створення і відлагодження імітаційних моделей у GPSS World 154
Розділ 7. Моделювання багатоканальних пристроїв у GPSS World 177
Розділ 8. Мова Plus та Plus-процедури 191
Розділ 9. Технології моделювання у GPSS World 232
Розділ 10. Лабораторний практикум 273
Додатки 332
Предметний покажчик 354
Література та посилання 358
Зміст
Передмова 9
Перелік скорочень 12
Розділ 1. Загальні питання імітаційного моделювання
Моделі процесів і систем 13
Класифікація моделей 17
Основні визначення та класифікація систем масового обслуговування 19
Характеристики систем масового обслуговування 20
Вхідний потік вимог 23
Стратегії керування потоками вимог 26
Класифікація систем масового обслуговування 29
Контрольні запитання та завдання 31
Розділ 2. Ймовірнісне моделювання
Метод статистичних випробовувань 33
Генератори випадкових чисел 35
Моделювання випадкових подій та дискретних випадкових величин 39
Моделювання неперервних випадкових величин 45
Моделювання нормально-розподілених випадкових величин 49
Моделювання випадкових векторів 51
Моделювання випадкових функцій 53
Статистична обробка результатів моделювання 54
Визначення кількості реалізацій під час моделювання випадкових величин 56
Контрольні запитання та завдання 58
Розділ 3. Програмне середовище імітаційного моделювання GPSS World
Основне меню GPSS World 60
Меню File 62
Меню Edit. 66
Меню Search 68
Меню View 68
Меню Command 68
Меню Window і меню Help 69
Панель інструментів GPSS World 70
Вікно моделі у системі GPSS World 71
Інтерактивний перегляд значень виразів 74
Налаштування параметрів моделювання 76
Контрольні запитання та завдання 80
Розділ 4. Система імітаційного моделювання GPSS World
4.1. Основне меню GPSS World 81
4.2. Подання моделей у вигляді блок-діаграм 88
4.3. Основні складові системи GPSSW 91
4.4. Об'єкти обчислювальної категорії 93
4.4.1. Константи 94
4.4.2. Системні числові атрибути 94
4.4.3. Арифметичні і логічні оператори 96
4.4.4. Бібліотечні математичні функції 97
4.4.5. Змінні користувача 97
4.4.6. Вирази в операторах GPSS 98
4.4.7. Зберігаючі комірки 98
4.4.8. Матриці зберігаючих комірок. Оголошення та ініціалізація матриць 100
4.4.9. Арифметичні змінні й арифметичні вирази 102
4.4.10. Булеві змінні 103
4.4.11. Типи функцій 105
Контрольні запитання та завдання 108
Розділ 5. Моделі систем з одноканальними пристроями
5.1. Введення транзактів у модель і вилучення їх із неї 109
5.2. Блоки для зміни значень параметрів транзактів 115
5.3. Блоки апаратної категорії зайняття та звільнення одноканальних пристроїв 117
5.4. Блоки перевірки стану та передавання керування в одноканальних пристроях 121
5.5. Блоки статистичної категорії 124
5.6. Блоки для зміни послідовності руху транзактів у моделі 128
5.7. Блоки апаратної категорії для переривань одноканальних пристроїв 136
5.8. Блоки апаратної категорії для переведення одноканальних пристроїв у стан недоступності 144
5.9. Створення і застосування списків користувача 146
Контрольні запитання та завдання 152
Розділ 6. Створення і відлагодження імітаційних моделей у GPSS World
Основні етапи моделювання у системі GPSSW 154
Команди GPSS World 160
Інтерактивні можливості GPSS World 163
Відлагодження моделей у GPSS World 170
Контрольні запитання та завдання 175
Розділ 7. Моделювання багатоканальних пристроїв у GPSS World
Блоки зайняття та звільнення багатоканальних пристроїв 177
Блоки апаратної категорії для переведення багатоканальних пристроїв у стан недоступності та відновлення доступності 180
Блоки перевірки стану багатоканальних пристрів 183
Моделювання перемикачів 187
Контрольні запитання та завдання 190
Розділ 8. Мова Plus та Plus-процедури
Основні елементи мови 191
Побудова виразів 193
Plus-оператори та їх призначення 194
Вбудована бібліотека процедур 196
Генератори випадкових чисел 200
Реалізація методу Ньютона для розв’язування нелінійних рівнянь за допомогою мови Plus 203
Налагодження Plus-процедур 204
Команда INTEGRATE і блок INTEGRATION для моделювання неперервних систем 206
Використання PLUS-процедур для моделювання неперервних систем 210
Використання функцій в імітаційних моделях 218
Генерування випадкових чисел для дискретних рівномірних розподілів 220
Генерування випадкових чисел для дискретних нерівномірних розподілів 221
Генерування випадкових чисел для неперервного рівномірного розподілу 223
Генерування випадкових чисел для неперервних нерівномірних розподілів 224
Функції типу E, L і М 227
Контрольні запитання і завдання 229
Розділ 9. Технології моделювання у GPSS World
9.1. Основні відомості з теорії планування експериментів 232
Повний факторний експеримент 232
Оцінювання точності результатів моделювання 239
Дисперсійний аналіз 240
Однофакторний дисперсійний аналіз 241
Двофакторний дисперсійний аналіз 243
Технологія дисперсійного аналізу у GPSS World 247
Технологія регресійного аналізу у GPSS World 258
Організація експериментів користувача у GPSS World 266
Контрольні запитання і завдання 271
Розділ 10. Лабораторний практикум
Лабораторна робота 1. Моделювання випадкових подій і дискретних випадкових величин 273
Лабораторна робота 2. Моделювання неперервних випадкових величин 277
Лабораторна робота 3. Моделювання випадкових векторів і функцій 279
Лабораторна робота 4. Моделювання дискретних процесів 283
Лабораторна робота 5. Моделювання у GPSSW одноканальних розімкнутих СМО та оцінка якості їх функціонування 292
Лабораторна робота 6. Моделювання у GPSS World багатоканальних СМО та оцінка якості їх функціонування 298
Лабораторна робота 7. Моделювання у GPSS World багатофазних СМО та оцінка якості їх функціонування 305
Лабораторна робота 8. Моделювання виробничих систем (на прикладі моделювання роботи транспортного конвеєра та моделювання роботи ділянки цеху) 308
Лабораторна робота 9. Моделювання роботи ЕОМ для оброблення завдань з різними пріоритетами 313
Лабораторна робота 10. Моделювання роботи вузла комутації повідомлень 316
Лабораторна робота 11. Моделювання неперервних систем (на прикладі поширення вірусу на системному диску) 319
Лабораторна робота 12. Дослідження вагомості впливу змінних користувача на об’єкт моделі за допомогою дисперсійного аналізу 322
Лабораторна робота 13. Дослідження вагомості впливу обраних факторів на об’єкт моделі за допомогою експерименту користувача 326
Лабораторна робота 14. Оптимізація і прогнозування поведінки системи за допомогю регресійного аналізу 329
Додаток 1. Формати і графічні зображення блоків 332
Додаток 2. Системні числові атрибути GPSS 338
Додаток 3. Елементи стандартного звіту 343
Додаток 4. Табличні значення критеріїв 351
Предметний покажчик 354
Література та посилання 358