Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Ответы ТПР.doc
Скачиваний:
114
Добавлен:
27.09.2019
Размер:
3.64 Mб
Скачать

17. Вероятностный смысл параметров смо.

18. 0Бозначения по Кендалу.Смо типа м/м/n/m. Базовая модель смо и классификация по Кендалу

Базовыми составляющими, определяющими математическую модель СМО, являются описания входного потока требований и обрабатывающих их серверов. В общем случае, требование, поступившее в систему и заставшее все серверы занятыми, помещается в специальный накопитель — очередь. Размер этого накопителя, определяющий максимально возможную длину очереди, может быть различным. В предельных случаях он может быть равным бесконечности, тогда все поступающие требования принимаются системой, или равным нулю, тогда все требования, поступившие при занятых серверах, будут отброшены системой, или, как принято говорить, заблокированы. В промежуточном случае, при конечной максимальной длине очереди, часть требований, заставших все серверы занятыми, будут помещены в свободное пространство накопителя, и только если накопитель окажется полным, требования окажутся заблокированными.

Схематично структуру СМО можно отобразить каскадным соединением накопителя и пула серверов.

На вход накопителя поступает входной поток требований, математическая модель которого задается. Каждой модели входного потока принято ставить в соответствие условное обозначение. Например, для пуассоновского потока такое обозначение состоит из единственной буквы М, в честь математика Маркова, который построил исчерпывающую теорию случайных процессов и систем с памятью. Пуассоновский поток является простейшим случаем марковских npoi/eccoe.

Серверы рассматриваемой СМО должны быть описаны с помощью задания распределения вероятности длины интервала времени, расходуемого на обслуживание одного требования. Таким образом, математическая модель сервера — это случайная величина, определяющая время обработки требования (события). В зависимости от функции распределения вероятности серверы классифицируются наподобие входным процессам и получают такие же символические обозначения. Например, сервер с экспоненциальной плотностью вероятности для времени обслуживания будет обозначаться также буквой М, отмечая марковский характер потока освобождений сервера. Количество серверов в системе играет принципиальную роль и отмечается целым числом. Тройку основных условных обозначений (тип входного потока, время обслуживания в сервере, число серверов) объединяют в одно условное обозначение типа системы массового обслуживания через слэш (slash). Например, М/М/1. Такое обозначение СМО говорит о том, что входной поток системы — марковский (пуассоновский), время обслуживания в сервере имеет экспоненциальное распределение и в системе один такой сервер. Условное обозначение, которое здесь приведено, было впервые предложено Кендалом и может кроме указанных трех основных обозначений содержать дополнительные. Эти дополнительные символы указываются после трех основных через двоеточие и могут обозначать особенности системы:

a/b/c:d/e/f.

Например, обозначение M/M/m:Loss означает, что СМО обрабатывает пуассоновский поток требований с помощью т серверов, с экспоненциальным распределением времени обслуживания и полными потерями, т. е. все требования, пришедшие в систему с занятыми серверами, будут потеряны (заблокированы). Значит, размер накопителя в данной СМО равен нулю, и все требования сразу поступают на серверы.

Ниже приведены наиболее часто встречающиеся условные обозначения компонентов и примеры условных обозначений СМО: М— марковская модель (экспоненциальное распределение интервала времени); D — детерминированная величина интервала времени; Е* — эрланговское распределение ?-го порядка; U — равномерное (uniform) распределение интервала времени; G — произвольное (general) распределение интервала времени; fBM — фрактальное броуновское движение как модель для числа событий в единицу времени; fGN — фрактальный гауссовский шум.

Например: a/b/c:Loss — система с нулевой длиной очереди (полными потерями); а/Ь/с/:к — система с максимальным размером очереди, равным к; G/G/1 — система с произвольным законом распределения интервала времени между входными требованиями (обычно задается функцией плотности вероятности a(t)), с произвольным временем обслуживания требования (обычно задается функцией плотности вероятности Ь(х)) и одним сервером. Размер входного накопителя предполагается неограниченным; fBM/D/1 — система с входным потоком, описываемым самоподобным процессом типа фрактального броуновского движения и единственным сервером с постоянным временем обслуживания требований.