Основные результаты операционного анализа формируются в виде соотношений между операционными переменными. Эти соотношения базируются на гипотезе о балансе потоков в сети: количество требований, которые поступили в некоторый узел в течение продолжительного периода времени Т, равно количеству требований, которые покинули этот узел. Эта гипотеза определяет условия работы сети СМО в постоянном режиме, т.е. считается, что требования всегда покидают узлы сети. Баланс потоков требований существует только для периода наблюдения, однако, это неплохое приближение в случае продолжительного периода времени Т, т.к. отношение обычно незначительное.
Гипотеза о балансе даёт возможность определить зависимость между операционными переменными для каждого узла сетей, а также записать уравнение баланса потоков требований:
. (5)
Справедливость выражения (5) следует из допущения о балансе потоков требований в сети, т.е. поскольку , но при условии, что , находим . Разделив последнее соотношение на общее время наблюдения Т, получим выражение (5). Уравнения (5) будут иметь единое решение для замкнутой сети в случае заданного значения . Для разомкнутой сети уравнения (5) будут линейно зависимыми, однако и в этом случае они дают полезную информацию о динамике потоков сети.
С помощью (4) находим продуктивность узла, т.е. интенсивность, с которой требования покидают узел .
Определим коэффициент посещения узла требованиями:
. (6)
Уравнения баланса потока можно записать как эквивалентную систему уравнений, в которой вместо интенсивности потоков используются коэффициенты посещения каждого узла сети.
Разделим левую и правую части выражения(5) на
(7)
Выражение (7) справедливо, если справедливо (5).
Связь коэффициентов посещения с продуктивностью узла определяется по формуле:
Вычислим среднее время пребывания требований в стохастической сети. Обозначим время пребывания требования в отдельных узлах через . Введем ещё одну операционную переменную , которая равна суммарному времени ожидания обслуживания требований в узле в течение времени Т:
(8)
Среднее время пребывания требований в системе можно найти через и коэффициенты посещения отдельных узлов требованиями, т.е.
(9)
Это общий закон времени пребывания, который справедлив и в том случае, когда гипотеза о балансе потоков не выполняется.
Найдем среднее количество требований в сети которое определяется через среднее количество требований в каждом узле , , где – операционная переменная, которую можно получить из основных операционных переменных:
10)
Для среднего времени пребывания требований в сети справедлив закон Литтла, т.е. среднее время пребывания требований в м узле определяется через среднее количество требований в нём и интенсивность потока:
(11)
Обосновать формулу Литтла можно также применяя операционный анализ.
Из равенства (10) найдем . Подставим полученную операционную переменную в равенство (8): .
Закон Литтла справедлив также для всей сети в целом. Подставив формулы (6), (11) в выражение (9), получим (12)
Покажем, как можно использовать основные соотношения операционного анализа для определения времени пребывания требований в замкнутой сети (рис.6).
Рис.6. Общая сеть СМО
Пусть имеется М устройств, время обслуживания требования каждым из них - . Среднее время обслуживания требования в сети определяется по формуле:
(13)
Выражение (13) следует из следующих соображений. Среднее время одного цикла взаимодействия, которое включает время обслуживания требования во внешней сети и пребывания в одном из М устройств, определяется суммой . Если допустить, что выполняется гипотеза о балансе потоков, то для заданного цикла справедлива формула Литтла. Поэтому величина определяет среднее количество занятых устройств или среднее количество работающих устройств для системы с отказами.
Рассмотрим примеры. Показанные в них модели сетей касаются моделирования вычислительных систем, однако, приведенные расчеты имеют общий характер.
Пример. Рассмотрим замкнутую сеть, которая имеет М=20 устройств. Среднее время обслуживания каждым устройством . Для узлов сети вероятность перемещения требований в узел составляет соответственно , а коэффициенты посещения этих узлов , , Узел загружен на 50%, среднее время обслуживания узлом поступающих требований составляет 25 мс. Найти среднее время пребывания и среднее количество требований в сети .
Решение. Определим коэффициент посещения узла , используя уравнение баланса потоков требований, записанное через коэффициенты посещения узлов:
.
Определим интенсивность поступления требований в сети:
.
По условию задачи и .
Находим среднее время пребывания требования в сети:
Для определения среднего количества требований в сети воспользуемся формулой Литтла:
Рис.7. Пример сети СМО
Пример. Разомкнутая сеть содержит М=40 устройств обслуживания. Среднее время обслуживания каждым устройством О сети известны следующие данные:
- среднее время нахождения требований, которые поступают в сеть от 40 устройств обслуживания, равно 5с;
- среднее время обслуживания любого требования в узле составляет 40 мс;
- каждое требование, которое поступает от каждого из М устройств обслуживания, порождает 10 требований, поступающих в узел ;
- каждое требование, которое поступает в систему извне, порождает 5 требований, поступающих в узел ;
- загруженность узла составляет 90%.
Определить нижнюю границу времени нахождения в сети требований, которые поступают от М устройств обслуживания с интенсивностью входного потока и от внешнего источника требований с интенсивностью , т.е. определяются пропускной способностью узла .
Рис.7. Пример сети СМО, которая имеет замкнутую и разомкнутую части
Переменные, которые касаются требований, поступающих от М устройств обслуживания, обозначим звёздочкой.
Из выражения находим , где – среднее время нахождения требований, которые поступили в сеть от 40 устройств обслуживания. Тогда
Интенсивность потока требований до узла определим как сумму интенсивностей потоков требований от устройств обслуживания и интенсивности потока внешних требований, т.е. . Тогда , или
Находим и Тогда
Вычислим интенсивность входного потока внешних требований в сети:
Допустим, что начальные условия изменились и интенсивность входного потока внешних требований увеличился втрое, т.е. Тогда Если среднее время обработки требований в узле не изменилось, то при загруженности узла на 100% максимально возможная интенсивность обслуживания требований в узле составит Таким образом, интенсивность обслуживания требований в узле (устройствами обслуживания, которые находятся в узле ) не может превышать (25-7,5)=17,5вимоги/с.
Отсюда
Нижняя граница времени нахождения в сети требований, которые поступают от 40 устройств обслуживания, составит .
Таким образом, увеличение интенсивности потока внешних требований в 3 раза приводит к увеличению среднего времени нахождения требований в сети, которые поступают от 40 устройств обслуживания, на 2,9с.