
- •Моделювання систем
- •Передмова
- •Моделі процесів і систем
- •Класифікація моделей
- •Основні визначення та класифікація систем масового обслуговування
- •Характеристики систем масового обслуговування
- •Вхідний потік вимог
- •Стратегії керування потоками вимог
- •Класифікація систем масового обслуговування
- •Метод статистичних випробовувань
- •Генератори випадкових чисел
- •Моделювання випадкових подій та дискретних випадкових величин
- •Моделювання неперервних випадкових величин
- •Моделювання нормально-розподілених випадкових величин
- •Моделювання випадкових векторів
- •Моделювання випадкових функцій
- •Статистична обробка результатів моделювання
- •Визначення кількості реалізацій під час моделювання випадкових величин
- •Основне меню 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-критерію Ст’юдента
Контрольні запитання
Для яких одноканальних СМО можна розв’язати задачі моделювання аналітичним методом?
Чим відрізняється моделювання одноканальних замкнутих і розімкнутих СМО?
За допомогою яких блоків GPSSW проводиться збір статистичної інформації для каналу обслуговування та для черг?
Як перед початком моделювання встановити виведення потрібних параметрів моделювання?
Як створену імітаційну модель відкомпілювати і запустити на виконання?
Лабораторна робота 6. Моделювання у GPSS World багатоканальних СМО та оцінка якості їх функціонування
Мета лабораторної роботи – здійснити імітаційне моделювання багатоканальних розімкнутих і замкнутих СМО та провести аналіз ефективності функціонування систем
Загальні відомості
Моделювання багатоканальних розімкнутих СМО. Методи побудови моделей систем з багатоканальними пристроями засобами GPSS World розглянуто у розділі 7. Процес функціонування багатоканальної розімкнутої системи масового обслуговування та основні події, які виникають в процесі роботи такої СМО, зображено на рис. 10.5.
Рис. 10.5. Графічне зображення функціонування багатоканальної розімкнутої системи масового обслуговування
Охарактеризуємо кожну подію, яка виникає в системі, що моделюється.
Надходження вимог в систему (GENERATE).
Вхід вимоги в накопичувач (ENTER).
Визначення каналу обслуговування (TRANSFER).
Очікування звільнення одного із каналів обслуговування (SEIZE).
Вихід вимоги з накопичувача (LEAVE).
Час обслуговування вимоги в каналі обслуговування (ADVANCE).
Звільнення каналу обслуговування (RELEASE).
Вихід вимоги з системи (TERMINATE).
Вимога по черзі перевіряє всі можливі канали обслуговування до того часу, поки не знайде вільного. Перевагу мають ті канали, які перевіряються першими.
Представимо усі можливі стани досліджуваної СМО у вигляді розміченого графа станів (рис. 10.6). Стан системи визначається числом вимог у ній. Зокрема, можна виділити три варіанти станів:
у системі немає вимог;
число вимог n у системі є меншим за число каналів обслуговування (0 < n < N), тобто всі вимоги обслуговуються;
ч
исло вимог n у системі є більшим або рівним за число каналів обслуговування (N ≤ n), тобто N вимог обслуговуються, а
очікують у черзі.
Рис. 10.6. Розмічений граф станів системи
Граничні ймовірності станів СМО визначаються із системи алгебраїчних рівнянь:
Sn+1
Sn+1
Sn-1
Процес функціонування багатоканальної замкнутої системи масового обслуговування зображено на рис. 10.7.
Опишемо у контексті блоків GPSS World кожну подію, яка виникає у системі.
Надходження вимоги в систему (GENERATE).
Вхід вимоги у накопичувач (ENTER).
Передача вимоги в один із вільних каналів обслуговування (TRANSFER).
Очікування звільнення одного із каналів обслуговування (SEIZE).
Вихід вимоги з накопичувача (LEAVE).
Час обслуговування вимоги в каналі обслуговування (ADVANCE).
Звільнення каналу обслуговування (RELEASE).
Повернення вимоги в систему (TRANSFER).
Рис. 10.7. Графічне зображення функціонування багатоканальної замкнутої системи масового обслуговування
Оскільки вимоги з усіх каналів обслуговування повертаються у систему, то система є замкнутою. Моделювання таких СМО вимагає генерування обмеженої кількості транзактів (вимог) і відсутності блока для вилучення транзактів з моделі.
П
обудуємо
розмічений граф станів системи з
можливими переходами зі стану в стан
(рис. 10.8).
Рис. 10.8. Розмічений граф станів системи
Стан системи пов’язується з числом вимог, що знаходяться у системі. Тут можливі два варіанти:
кількість вимог n, що надійшли у систему, є меншою за кількість каналів обслуговування (0 ≤ n < N), тобто всі вимоги обслуговуються;
кількість вимог n у системі є більшою або рівною за кількість каналів обслуговування (N ≤ n), тобто N вимог обслуговуються, а інші очікують у черзі.
Система рівнянь для визначення граничних ймовірностей станів системи має вигляд: