12. Непрерывно-стохастические модели (q - схемы).

w – поток событий прихода заявок (на накопитель Н)

u – поток событий обслуживаний (на К)

у – выходной поток

Системы массового обслуживания (СМО) являются непрерывно-стохастическими системами. При описании СМО м/б использован формализм Q-схем.

СМО:

- по кол-ву единиц обсл-я (параллельное соед-е приборов): много- и одноканальные

- по кол-ву этапов обсл-я(послед. соед. приборов): много- и однофазные

- по св-вам каналов(кол-во способов обсл-я): неоднородны и однородные.

Если СМО включает один прибор, то такая СМО является однофазной одноканальной системой. Если СМО включает несколько приборов, соединенных паралл-но к-рые позволяют вести парал-ную обработку нескольких транзактов и в совокупности м/б рассмотрены как одно устр-во, включающее несколько парал-ных каналов обслуживания, то такие системы явл-ся многоканальными.

Если несколько приборов соединены послед-но, то транзакты обслуживаются послед-но в каждом приборе (имеют несколько фаз обслуживания), то система является многофазной.

Если функционирование канала не меняется на протяжении времени функционирования системы, то система является однородной. Иначе, неоднородная.

Поток событий.

Однородный поток событий:

моменты поступления: 0t₁t₂…t_n…

интервалы поступлений: ₁=t₁; ₂=t₂ -t₁;….

Неоднородный поток событий: {t_i; f_i}

Детерминированный поток:  = const

Случайный поток событий:   const

Поток с ограниченным последствием: интервалы поступлений независимы.

Типы поток событий:

- стационарный поток событий (Р не зависти от t);

- одинарный поток событий (P(k>1,t, ) ~0);

- поток без последствия (P не зависит от n (m не зависит от n));

Простой (пуассоновский) поток:

- стационарный

- ординарный

- без последствий

Поток является стационарным, если он определяется интервалом времени наблюдения и не определяется опред-м моментом времени. Поток событий является ординарным, если в сколько угодно малом промежутке времени возникает только одно событие. Поток наз-ся поток без последствий, если кол-во наблюдаемых событий не одном интервале времени не зависит от кол-ва событий, наблюдаемых на др. интервале времени (интервалы времени не пресекаются)

Интенсивность потока событий.

N–число событий за время наблюдения.

Интенсивность потока соб-й: =N/Т_н

Вероятность появления n событий на интервале [t, t+]: Канал обслуживания:

- по дисциплине обслуживания:

- FIFO

- LIFO

- по приоритету

- по закону распределения

- по действию при занятом канале:

- отказ

- ожидание с ограничением по времени или по длине очереди

- ожидание

Состояние прибора {кол-во заявок в накопителе, кол-во заявок в очерди}

Параметры Q-схемы:

Системы с потерями: L_i^Н=0

Системы с ожиданием: L_i^Н

Дисциплины обслуживания:

- алгоритм выбора из очереди

- алгоритм обслуживания

Приоритет заявки:

- по процессу захвата канала:

- абсолютный

- относительный

- по процессу формирования

- статический

- динамический

Приоритет транзакта является абсолютным, если транзакт может осуществить прерывание обслуживание др. транзакта. Иначе, относительный. Транзакт с максимальным приоритетом гарантированно первым выбирается из очереди. Приоритет явл-ся статическим, если его значение задается до моделирования и более не меняется. Приоритет динамический, если значения зависят от св-в Q-схемы и в процессе моделирования м/б изменены.

Алгоритм функционирования приборов:

- правила переполнения канала/накопителя

- правила ухода по истечению времени

- правила выбора маршрута ухода

- правила блокировки каналов

Формализация:

Q = <W, U, H, Z, R, A>

W – поток событий прихода заявок

U – поток событий обслуживания заявок

Н – множ-во внутренних параметров системы

Z – множ-во состояний системы

R – оператор сопряжения приборов

A – оператор алгоритмов обслуживания

Способы исследования:

- аналитические модели

- компьютерные модели