Класифікація СМО за тою чи іншою ознакою може здійснюватися наступним чином:
· за характером надходження вимог у систему – на системи з регулярними і випадковими потоками. Випадковий потік поділяється на стаціонарний і нестаціонарний;
· за кількістю вимог, що надходять у систему за одиницю часу – на системи з ординарними і неординарними потоками вимог;
· за зв’язком між вимогами – на системи без післядії і з післядією;
· за характером поведінки вимог – на системи з випадковими і детермінованими часами обслуговування;
· за кількістю етапів обслуговування – на однофазні і багатофазні системи;
· за обслуженістю потоків вимог – на замкнені і розімкнені системи;
· за кількістю каналів обслуговування – на одноканальні (рис. 1.11, а, б, г) і багатоканальні системи (рис. 1.11, в). Останні можуть поділятися на однотипні і багатотипні;
· за неоднорідністю вимог – на системи з однорідними (рис. 1.11, а, б, в) і неоднорідними (рис. 1.11, г) потоками вимог. Однорідний потік утворюють вимоги одного класу, а неоднорідний потік утворюють вимоги декількох класів. У СМО вимоги відносяться до різних класів у тому випадку, якщо у системі вони розрізняються або за тривалістю обслуговування, або за пріоритетом. Якщо такої відмінності немає, то вимоги у СМО незалежно від фізичної сутності можуть розглядатися як вимоги одного класу;
|
|
· за часом перебування вимог у системі до початку обслуговування – на системи з відмовами системи з необмеженим часом очікування і системи з обмеженим часом очікування. Системи очікування поділяються на розімкнені (число вимог є нескінченним) і замкнені (загальне число вимог є скінчене і, як правило, постійне);
Рис. 1.11. До класифікації базових моделей СМО
(Sі – канали обслуговування)
· за числом місць у накопичувачі – СМО поділяються на системи без накопичувача (СМО з відмовами), системи з накопичувачем обмеженої ємності (СМО з втратами) (рис. 1.11, а) і системи з накопичувачем необмеженої ємності (СМО без втрат) (рис. 1.11, б).
Мережі систем масового обслуговування і методи їх дослідження наведені у [10-13, 15].
Для зручності позначення типу СМО і відповідних їм математичних моделей часто використовуються позначення, запропоновані Д. Кендалом [4, 8] у вигляді:
A / B / N / L,
де А, В – задаючі закони розподілів вхідного потоку вимог і часу обслуговування; N – число каналів обслуговування у системі (N = 1, 2,...); L – число місць у накопичувачі (L = 0, 1, 2,...). Якщо L не вказується, тоді вважається, що накопичувач має необмежену ємність.
Для задавання законів розподілу А і В використовуються такі позначення:
D – детермінований або регулярний процес;
|
|
M – марковський або випадковий процес;
Ek – процес Ерланга k -го порядку;
Gl – потік загального типу, довільний і необмежений;
G – довільний розподіл часу обслуговування і т.д.
Приклади:
1) M / M / n – означає, що система має n каналів обслуговування, вхідний потік вимог та час обслуговування визначаються розподілом Пуассона. Модель типу M / M / 1 може використовуватися для моделювання роботи однопроцесорної системи або стандартного пристрою для введення/виведення інформації.
2) D / Ek / 1 – одноканальна система з регулярним вхідним потоком і розподілом Ерланга для часу обслуговування.
3) M / G / 3 / 10 – триканальна СМО з накопичувачем обмеженої ємності, рівної 10 одиницям. У систему поступає однорідний потік вимог з експоненціальним законом розподілу інтервалів часу, а тривалість розподілу вимог розподілена за довільним законом.
У теорії СМО результати ефективності систем отримано в аналітичному вигляді тільки для моделей типу D / D / 1, M / M / 1 і M / G / 1. Для визначення характеристик моделей іншими значеннями параметрів СМО необхідно використовувати методи імітаційного моделювання.
Більш складніші СМО можуть використовувати позначення, що описують неоднорідний потік вимог і пріоритети між вимогами різних класів.
Контрольні запитання та завдання
1. Що розуміють під поняттями моделювання, модель, система? Чому існує багато визначень даних понять?
2. Яким чином поведінка системи пов’язана з поняттям стану системи?
3. Охарактеризуйте поняття стану та процесу у моделюванні. Наведіть приклади.
4. Наведіть приклади задач, які можна розв’язувати за допомогою моделювання.
5. Охарактеризуйте відмінності між параметрами і характеристиками системи.
6. Перерахуйте склад параметрів системи. Наведіть приклади параметрів технічної системи.
7. Перерахуйте склад характеристик технічної системи. Наведіть приклади.
8. Наведіть ознаки класифікацій моделей. Чому неможлива єдина класифікація моделей?
9. Виконайте критичний аналіз різних видів класифікацій моделей. Спробуйте запропонувати власну класифікацію моделей.
10. Перерахуйте і дайте характеристику способів опису структури і функції системи. Наведіть конкретні приклади.
11. Що визначається у процесах аналізу і синтезу систем?
12. Наскільки допущення про найпростіший характер потоку вимог відповідає реальності?
13. Виконайте класифікацію СМО за числом обслуговування пристроїв, за числом потоків вимог.
14. Який потік вимог називається однорідним? У яких випадках потік вимог є неоднорідним? У яких випадках вимоги у СМО відносяться до різних класів?
15. Наведіть схему одноканальної СМО з неоднорідним потоком вимог. Які параметри задаються для її опису? Які характеристики функціонування СМО можуть бути розраховані за цими параметрами?
16. Опрацюйте запитання 15 для багатоканальної СМО.
17. За яким законом розподілені інтервали часу між вимогами у найпростішому потоці?
18. Чому у СМО з накопичувачем необмеженої ємності, що працює без перенавантаження, виникають черги? У яких випадках вони виникають?
19. Охарактеризуйте на конкретному прикладі відмінності між дисциплінами обслуговування групового та одиночного режимів.
20. Перерахуйте основні дисципліни черги. У яких СМО можуть не використовуватися дисципліни черги?
21. Охарактеризуйте пріоритетні дисципліни обслуговування вимог.
22. Розкрийте позначення та охарактеризуйте такі СМО: D / M / 2 / 3; M / H2 /3; E3 / D / 2 / 5.
23. Наведіть позначення СМО за Кендалом з таким описом: двохканальна СМО з однорідним найпростішим потоком вимог, тривалість обслуговування яких розподілена за довільним законом загального виду, а ємність накопичувача є обмежена і рівна сім.
“Всі закони – імітація реальності”
|
|
(Закон Ліллі)