- •1 Основні поняття системи та моделі
- •Поняття моделі
- •1.2 Співвідношення між моделлю та системою
- •Загальна характеристика проблеми моделювання
- •1.4 Класифікація моделей
- •1.5 Вимоги до моделей
- •Комп'ютерне та імітаційне моделювання
- •2 Побудова імітаційних моделей
- •2.1 Основні принципи побудови математичних моделей
- •2.2 Неперервно-детерміновані моделі (d-моделі)
- •2.3 Основні форми подання математичних моделей
- •Введемо змінні стану об’єкта
- •3 Імовірнісне моделювання
- •3.1 Метод статистичних випробувань
- •3.2 Генератори випадкових чисел
- •3.3 Статистичні критерії
- •3.4 Основні критерії перевірки випадкових спостережень а. Критерій “хі-квадрат”
- •4 Моделювання випадкових подійта дискретних величин
- •4.1 Незалежні випадкові події
- •4.2 Група несумісних подій
- •4.3 Умовна подія
- •Умовної події
- •4.4 Випадкова дискретна величина
- •4.5 Біноміальний розподіл
- •4.6 Розподіл Пуассона
- •4.7 Моделювання неперервних випадкових величин
- •4.7.1 Метод оберненої функції
- •4.7.2 Рівномірний розподіл
- •4.7.3 Експоненціальний розподіл
- •4.7.4 Пуассонівський потік
- •4.5.5 Нормальний розподіл
- •Для моделювання нормального розподілу
- •Розподіл і потоки Ерланга
- •4.8 Статистична обробка результатів моделювання
- •4.8.1 Оцінювання ймовірності
- •4.8.2 Оцінювання розподілу випадкової величини
- •4.8.3 Оцінювання математичного сподівання
- •4.8.4 Оцінювання дисперсії
- •4.8.5 Оцінювання кореляційного моменту
- •4.9 Визначення кількості реалізацій під час моделювання випадкових величин
- •4.9.1 Оцінювання ймовірності
- •4.9.2 Оцінювання середнього значення
- •5 Моделювання систем масового обслуговування
- •5.1 Моделі систем мо
- •5.1.1 Характеристики смо
- •5.1.2 Вхідний потік вимог
- •5.1.3 Моделювання пуассонівського потоку
- •5.1.4 Час обслуговування
- •5.1.5 Організація черги
- •5.1.6 Правила обслуговування вимог
- •5.1.7 Вихідний потік вимог
- •5.2 Режими роботи системи масового обслуговування
- •5.2.1Типи моделей систем масового обслуговування
- •5.2.2 Формула Литтла
- •5.2.3 Одноканальні системи масового обслуговування
- •5.2.4 Обслуговування потоків задач в смо з необмеженою кількістю процесорів
- •10 Імовірність того, що в черзі 2 вимоги:
- •6 Мережі смо
- •6.1 Операційний аналіз мереж
- •6.2 Мережі Петрі
- •Перелік використаних джерел
5.1.7 Вихідний потік вимог
Вихідний потік — це потік вимог, які залишають систему, до того ж вони можуть бути як обслуженими, так і необслуженими. Структура формування потоку вихідних вимог більш важлива для багатофазових систем, де вихідний потік одного пристрою для обслуговування (фази обслуговування) є вхідним для іншого. Ймовірнісні характеристики розподілу вимог вихідного потоку в часі залежать від щільності вхідного потоку та параметрів роботи пристроїв для обслуговування.
З теорії масового обслуговування
відомо, що вихідний потік вимог CMО з М
пристроями з очікуванням для найпростішого
вхідного потоку з параметром λ і
експоненціального розподілу часу
обслуговування з параметром μ є
найпростішим потоком з параметром
.
Це дає можливість аналізувати багатофазові
системи і мережі CMО, в яких вихідний
потік вимог одних систем обслуговування
є вхідним для інших. У всіх інших випадках
розподіл імовірності вихідних потоків
вимог CMО має складнішу ймовірнісну
природу і може вивчатись тільки шляхом
спостереження за функціонуванням цих
CMО під час моделювання.
5.2 Режими роботи системи масового обслуговування
На практиці часто доводиться вивчати режими роботи СМО, за допомогою яких описується деякий виробничий процес або система обробки інформації. Якщо в системі пристрої для обслуговування час від часу виходять з ладу, то вводиться поняття режим відмови. Під час дослідження деяких систем треба брати до уваги ще один режим — блокування обслуговування, пов'язаний з тимчасовим перериванням або сповільненням процесу обслуговування.
Зміна режиму роботи СМО може бути зумовлена зовнішнім впливом (наприклад, тимчасовою відсутністю деталей у технологічному процесі, ремонтом обладнання тощо) або виходом із ладу деякого пристрою системи (наприклад, блока живлення в комп'ютері).
5.2.1Типи моделей систем масового обслуговування
У теорії систем масового обслуговування розглядаються тільки такі СМО, параметри ефективності яких можна отримати аналітично в замкненому або числовому вигляді. Для позначення таких моделей СМО часто використовують запис, запропонований Канделом – X/Y/Z, де X – розподіл часу прибуття надходження вимог, Y – розподіл часу обслуговування, a Z – кількість пристроїв для обслуговування.
Найпоширенішою моделлю, яка розглядається в теорії масового обслуговування, є модель типу М/М/1. Ця модель має тільки один пристрій для обслуговування (цифра 1), і в ній процеси розподілу часу надходження (перша буква М) та обслуговування (друга буква М) є марківськими. Для такої моделі час між двома надходженнями вимог до системи і час їх обслуговування мають експоненціальні розподіли. Модель типу М/М/1 може використовуватися, наприклад, для моделювання роботи однопроцесорної системи або стандартного пристрою для введення-виведення інформації (магнітного диска, принтера тощо).
Модель типу D/D/1 – детермінована, а модель D/M/1 — змішана. Якщо відомостей про систему мало, її модель позначають як G/G/m – модель з будь-якими розподілами ймовірностей випадкових величин і m пристроями для обслуговування.
У теорії масового обслуговування аналітичні результати отримано тільки для моделей типів D/D/1, М/М/1 і М/G/1. Для визначення характеристик моделей з іншими значеннями параметрів СМО потрібно використовувати методи імітаційного моделювання.
У реальних системах не завжди можна описати закони розподілу вхідних потоків вимог і часу їх обслуговування. Для їх визначення потрібно вміти оцінювати характер робочого навантаження системи. Зокрема, у разі моделювання комп'ютерної системи треба знати, коли до системи надходять нові завдання, скільки часу потрібно для виконання процесором кожного з них, як часто програма звертається до пристроїв для введення-виведення інформації. Для цього треба розробити діаграму роботи системи, на якій можна зобразити потоки вхідних завдань у систему, ресурси, до яких вони направляються, а також час обслуговування завдань на цих ресурсах.
Якщо графік робочого навантаження має періодичній характер, то під час спостереження за роботою комп'ютера є можливість отримати представницьку вибірку, яку можна застосовувати для аналізу показників ефективності СМО. Проте моделювання з використанням такого опису робочого навантаження (сценарію) дасть змогу відтворити тільки результати роботи комп'ютерної системи в минулому. На підставі цього не можна визначити, як працюватиме система в майбутньому.
Для того щоб спрогнозувати поведінку системи в майбутньому, потрібно виявити закономірності та визначити один або кілька розподілів ймовірностей, а не використовувати необроблені дані, отримані шляхом вимірювання. Якщо для визначення робочого навантаження на систему використовуються розподіли ймовірності, а для аналізу результатів моделювання – відповідні статистичні методи, то отримані результати можна поширити на більший діапазон робочих навантажень, ніж під час використання визначеного сценарію.
