
- •Моделювання систем
- •Передмова
- •Моделі процесів і систем
- •Класифікація моделей
- •Основні визначення та класифікація систем масового обслуговування
- •Характеристики систем масового обслуговування
- •Вхідний потік вимог
- •Стратегії керування потоками вимог
- •Класифікація систем масового обслуговування
- •Метод статистичних випробовувань
- •Генератори випадкових чисел
- •Моделювання випадкових подій та дискретних випадкових величин
- •Моделювання неперервних випадкових величин
- •Моделювання нормально-розподілених випадкових величин
- •Моделювання випадкових векторів
- •Моделювання випадкових функцій
- •Статистична обробка результатів моделювання
- •Визначення кількості реалізацій під час моделювання випадкових величин
- •Основне меню 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-критерію Ст’юдента
Вхідний потік вимог
Вхідний потік є певною послідовністю вимог, які надходять до обслуговуючої системи у деякі моменти часу. Для описання вхідного потоку вимог необхідно задати інтервал часу tk = tk – tk-1 між сусідніми моментами часу tk-1 і tk (закон надходження) та кількість вимог k (k = 1, 2, ...), які можуть надійти одночасно.
Основною характеристикою потоку вимог є інтенсивність . Це середнє число вимог, що надходить за одиницю часу. Величина = 1/визначає середній інтервал часу між двома послідовними вимогами.
Потік називається детермінованим, якщо вимоги надходять у систему через строго фіксовані проміжки часу, а інтервали часу t1k між сусідніми вимогами приймають наперед відомі значення. Якщо ще й інтервали одинакові (t1 = t2 =.. = tk =... t), то потік називається регулярним (рис. 1.7, а).
Випадковим називається такий потік, для якого вимоги надходять в обслуговуючу систему одна за одною у довільні моменти часу (t1 ≠ t2 ≠ ... ... ≠ tk), а інтервали часу tk є випадковими величинами (рис. 1.7, б).
Характеристикою випадкового потоку є задавання розподілу випадкових величин Fk (tn) усіх інтервалів tk (k = 1, 2, …).
Найпростішим називається такий потік, який одночасно має властивості стаціонарності, ординарності та відсутності післядії.
Випадковий потік вважається стаціонарним, якщо ймовірність попадання того чи іншого числа вимог на проміжок часу довжиною t залежить лише від довжини цього проміжку та не залежить від того, де на осі часу розміщений цей проміжок (рис. 1.7, в). Характер стаціонарного потоку не повинен змінюватися у часі (тобто інтенсивність стаціонарного потоку постійна (i = const)). У протилежному випадку потік вимог вважається нестаціонарним.
Рис. 1.7. Схематичне зображення моментів надходження вимог у СМО для: а) регулярного потоку; б) випадкового потоку; в) стаціонарного потоку
Випадковий потік вимог називається ординарним, якщо ймовірність попадання на ділянку t двох та більше подій дуже мала порівняно з ймовірністю попадання на цю ділянку однієї події, тобто у будь-який момент часу може з’явитися лише одна вимога. Якщо ж у будь-який момент часу може з’явитися більше однієї вимоги, тоді маємо неординарний або груповий потік вимог.
Потік вимог буде без післядії, якщо для будь-яких інтервалів часу, які не перетинаються, число вимог, що попадає на один з них, не залежатиме від числа вимог, які попадають на інші інтервали. Виконання цієї вимоги означає, що вимоги у СМО надходять незалежно одна від іншої.
На практиці потік вимог об’єктів обслуговування з достатнім наближенням описується законом розподілу Пуассона
,
де – інтенсивність потоку вимог, k = 0, 1, 2, ..., t >0, >0.
Покажемо, як під час моделювання СМО можна задати пуасонівський потік вимог. Розглянемо найпростіший потік з інтенсивністю і позначимо надходження вимоги на осі (0, t), як показано на рис. 1.8.
Рис. 1.8. Моменти надходження вимог для пуасонівського потоку
Визначимо, який розподіл мають проміжки часу Т між сусідніми вимогами у потоці. Очевидно, що величина Т буде випадковою. Її інтегральна функція розподілу F(t) = P(T < ) визначає ймовірність того, що величина Т прийме значення, менше за t. Для цього потрібно, щоб на проміжок потрапила хоча б одна вимога. Обчислимо F(t) через ймовірність протилежної події P0 того, що за проміжок часу t до системи не надійде жодної події
.
Знаходимо функцію щільності розподілу f(t) випадкової величини Т
.
Отже, щоб отримати пуасонівський потік вхідних вимог, які надходять до системи, достатньо обчислити випадкову величину з експоненціальним розподілом.
Зазначимо, що пуасонівський потік вимог на відміну від найпростішого, може бути:
стаціонарним, якщо інтенсивність не змінюється у часі;
нестаціонарним, якщо залежить від часу, = (t).
У той же час, найпростіший потік, за визначенням, завжди є стаціонарним.
Пуасонівський закон розподілу не є єдино можливим розподілом опису потоків вимог у СМО. У ряді випадків використовується рівномірний розподіл, розподіл Ерланга та інші розподіли.