CC BY
46
он содержит конечное подмножество экспериментов, соответствующих т-неприводимым максимально различающим словам. Так как число таких элементов в т-неприводимом тупиковом эксперименте из С (А) конечно, то и всех идентифицирующих следов для заданного автомата А также конечно.
Таким образом, если в качестве «не избыточных» следов из С (А) рассматривать т-неприводимые тупиковые следы из С (А), то в С (А) существует конечное множество таких следов.
Библиографический список
1. Льюинг Л. Идентификация систем. Теория для пользователя : пер. с англ. М. : Наука, 1991. 432 с.
2. Богомолов С. А. О синтезе автоматов по конечному множеству экспериментов // ДАН СССР. 1985. Т. 281, № 1. С. 20-22.
3. Богомолов С. А. О восстановлении автомата по экспериментам // Дискретная математика. 1989. Т. 1, № 1. С. 135-146.
4. Гилл А. Введение в теорию конечных автоматов. М. : Наука, 1966. 272 с.
5. Кудрявцев В. Б., Алешин С. В., Подколзин А. С. Элементы теории автоматов. М. : Изд-во Моск. ун-та, 1978. 216 с.
6. Мур Э. Ф. Умозрительные эксперименты с после-довательностными машинами // Автоматы / под ред. К. Э. Шеннона, Дж. Маккарти. М. : Изд-во иностр. лит., 1956. С. 179-210.
Identification of a State Machine Structure with Finites Fragment of Behavior S. A. Bogomolov
Saratov State Socio-Economic University, Russia, 410003, Saratov, Radishcheva st., 89, Alexbogomolov@ya.ru Identification of a state machine structure with finite fragments of behavior is discussed. The state machine behavior is a set of various finite-sequential (f.-s.) functions realized in a state machine, and under a finite fragment of behavior we mean traces of f.-s. functions and state machines. The concept of an identifying trace for a state machine irredundant over its realization is introduced. The approach is suggested that enables to separate and descript in the set of traces identifying a state machine the finite set of irredundant traces consisting of only essential information for identification of a state machine.
Key words: state machine, experiments with a state machine, subexperiment of experiment, trace of f.-s. function and state machine, identifying trace of state machine, operation of trace reduction, irredundant identifying trace of state machine.
References
1. Ljung L. System Identification : Theory for the User. University of Linkoping Sweden, 1987. 432 p.
2. Bogomolov S. A. On the synthesis of automata from a finite set experiments. Dokl. Acad. Sci. USSR, 1985, vol. 281, no. 1, pp. 20-22.
3. Bogomolov S. A. Reconstruction of an automaton from
experiments. Discrete Mathematics and Applications, 1991, vol. 1, no 2, pp. 117-128.
4. Gill A. Introduction to the Theory of Finite-state Machines. McGraw-Hill, 1962. 272 pp.
5. Kudryavtsev V. B., Aleshin S. V., Podkolzin A. S. Elementy teorii avtomatov [Topics of Automata Theory]. Moscow, Moscow Univ. Press, 1978. 216 pp. (in Russian).
6. Moor E. F. Speculative experiments with sequential machines. In Automata Studies, eds. C. E. Shennon, J. McCarthy. Princeton, Princeton Univ. Press, 1956, pp. 129-153.
УДК 519.872
СЕТИ МАССОВОГО ОБСЛУЖИВАНИЯ С ГРУППОВЫМИ ПЕРЕХОДАМИ ТРЕБОВАНИЙ, БЛОКИРОВКАМИ И КЛАСТЕРАМИ
Ю. И. Митрофанов1, В. И. Долгов2, Е. С. Рогачко3, Е. П. Станкевич4
1 Доктор технических наук, заведующий кафедрой системного анализа и автоматического управления, Саратовский государственный университет им. Н. Г. Чернышевского, MitrophanovYuI@info.sgu.ru
2Кандидат физико-математических наук, доцент кафедры системного анализа и автоматического управления, Саратовский государственный университет им. Н. Г. Чернышевского, www@vidolgov.ru
3Кандидат физико-математических наук, доцент кафедры системного анализа и автоматического управления, Саратовский государственный университет им. Н. Г. Чернышевского, RogachkoES@info.sgu.ru
4Старший преподаватель кафедры системного анализа и автоматического управления, Саратовский государственный университет им. Н. Г. Чернышевского, StankevichElena@mail.ru
Исследуется два типа сетей массового обслуживания с групповыми переходами требований -- сети с блокировками и сети с кластерами. Получено стационарное распределение в мультипликативной форме для сетей с блокировками переходов в состояния, в которых число требований в системах превышает заданные ограничения. Для сетей обслуживания с непересекающимися кластерами систем решается задача анализа и находится стационарное распределение в мультипликативной форме. Приводятся примеры анализа сети с блокировками и сети с кластерами.
Ключевые слова: сети массового обслуживания, групповые переходы требований, блокировки, кластеры, анализ сетей массового обслуживания.
ВВЕДЕНИЕ
Сети массового обслуживания с блокировками относятся к классу сетей, в которых переходы требований между системами зависят от ограничений, наложенных на значения некоторых параметров сетей. Часто в таких сетях ограничивается число мест для ожидания в очередях систем обслуживания, входящих в состав сетей. В сетях с такими ограничениями при отсутствии в некоторой системе свободных мест для ожидания в очереди поступление требований в эту систему из других систем и внешнего источника требований прекращается. Обзор различных способов блокировки и методов вычисления стационарного распределения в мультипликативной форме сетей массового обслуживания с блокировками дан в [1].
Возможность блокировки переходов требований в сетях существенно затрудняет анализ сетей этого класса точными методами. Поэтому значительное внимание уделяется развитию и разработке приближенных методов анализа [2-6], включающих, в частности, весьма эффективные методы анализа, основанные на использовании методов декомпозиции и агрегирования.
Значительный интерес в теоретическом и прикладном отношении представляет класс сетей массового обслуживания, в которых системы массового обслуживания разделены на группы — кластеры. Достаточно полное представление о задачах, возникающих при анализе таких сетей, и методах их решения, дают, например, работы [7-9].
В настоящее время в качестве математических моделей коммуникационных и вычислительных систем и сетей широко используются сети массового обслуживания с групповыми переходами требований и групповым обслуживанием. Особую важность в этом отношении представляет класс сетей массового обслуживания, стационарное распределение которых имеет мультипликативную форму, так как стационарные характеристики сетей этого класса могут быть вычислены достаточно просто. Теория и методы анализа сетей обслуживания этого класса интенсивно развиваются последние два десятилетия. Опубликованные в работах [10,11] результаты о мультипликативной форме стационарного распределения и предложенный в [10] метод анализа неоднородных сетей массового обслуживания с непрерывным и дискретным временем, групповыми переходами и групповым обслуживанием требований получили дальнейшее развитие в [12,13]. Значительное внимание в работах [12,13] уделяется рассмотрению способов блокировки переходов групп требований в сетях и методов анализа сетей обслуживания с блокировками и кластерами.
Как правило, результаты теоретических исследований сетей массового обслуживания с непрерывным и дискретным временем, групповыми переходами и групповым обслуживанием существенно расширяют возможности разработки эффективных методов анализа сетей обслуживания этого класса; в качестве примера можно привести работы [14-16]. Как показано в [14], для сетей массового обслуживания с групповыми переходами и блокировками, обусловленными ограничениями на число требований в системах массового обслуживания, стационарное распределение в мультипликативной форме существует, если только отменять переход всей группы в случае невозможности хотя бы одного требования из группы осуществить требуемый переход и в соответствии с алгоритмом маршрутизации повторно определять системы обслуживания, в которые должны быть направлены требования данной группы. В работе [15] для сетей массового обслуживания с групповыми переходами и групповым обслуживанием вводится понятие структурной обратимости, использование которого упрощает вывод уравнений трафика. Методы агрегирования и декомпозиции, основанные на использовании теоремы Нортона для сетей массового обслуживания, могут применяться, как показано в работе [16], для широкого класса сетей массового обслуживания с групповыми переходами и мультипликативной формой стационарного распределения.
В данной статье рассматриваются замкнутые однородные сети массового обслуживания с непрерывным временем и групповыми переходами; приводятся описание, модель эволюции и мультипликативная форма стационарного распределения сетей. Исследуются сети этого класса двух типов — сети с блокировками и сети с кластерами, при этом используются результаты работ [13,17]. Для сетей с блокировками переходов сети в состояния, в которых число требований в системах превышает заданные ограничения, получено стационарное распределение в мультипликативной форме. Для сети с непересекающимися кластерами решается задача управления потоками. Целью управления является обеспечение такого распределения требований между кластерами сети, при котором число требований в определенном кластере существенно не превосходило бы некоторого заданного числа. Управление реализуется посредством изменения интенсивностей обслуживания в других кластерах. Получено стационарное распределение в мультипликативной форме сетей обслуживания с кластерами.
1. СЕТИ МАССОВОГО ОБСЛУЖИВАНИЯ С БЛОКИРОВКАМИ
Пусть замкнутая сеть массового обслуживания Ж6 с непрерывным временем и групповыми переходами содержит Ь систем массового обслуживания г = 1,... ,Ь, и Н требований одного класса. Предположим, что в сети N возможны блокировки переходов между системами групп требований. Переходы требований между системами определяются маршрутной матрицей © = ), г,] = 1,..., Ь, где — вероятность того, что требование после обслуживания в системе £ поступает в систему £; при групповых переходах требований в сети реализована независимая маршрутизация требований. Система г = 1,..., Ь, включает Н одинаковых обслуживающих приборов. Длительность обслуживания требований в системе £ имеет экспоненциальное распределение с параметром ^, 0 < ^ < 1, г = 1, ...,Ь (данные ограничения на значения ^ не влияют на общность полученных результатов); производится одновременное обслуживание всех пребывающих в системе требований; случайное число требований, обслуживание которых завершается одновременно в системе £, имеет биномиальное распределение с параметром Состояние сети N6 определяется вектором 5 = г = 1,..., Ь, где з — число требований, находящихся в системе £. Множество состояний сети обозначим через X. Изменение состояния сети происходит вследствие переходов между системами групп требований.
При переходе сети из состояния з в состояние з', обусловленного тем, что й требований покинули систему £, й требований поступили в систему £ и Ь требований оставались в системе £, з = Ь + й и з' = Ь + й', где Ь = (Ь), г = 1,..., Ь, — вектор оставшихся требований, а й = (й) и й' = (й^) — векторы, представляющие соответственно уходящие и поступающие требования. Векторы й и й' назовем векторами перемещений, а множество всех векторов перемещений обозначим как Д. Интенсивность частного перехода сети между состояниями з и з' обозначим через ,6. Алгоритм перехода сети Ж6 из состояния з в состояние з' более подробно описан в работе [17].
Обозначим через д.., е X, интенсивность перехода сети из состояния з в состояние з', а через п = (п.), з е X, — стационарное распределение сети.
Интенсивность перехода из состояния з в состояние з' определяется выражением
= ^ . (1)
Так как распределение п является стационарным, для всех з, з' е X удовлетворяются уравнения глобального равновесия:
п. ^ д.. = ^ п.' дв'в. (2)
з'=з з'=з
Подставляя (1) в (2) и меняя порядок суммирования, получим, что распределение п является стационарным, если для всех з, з' е X
п. ^ ^ = ^ ^ пь+,.
Эволюция сети Ж6 может быть описана эргодической цепью Маркова г> с непрерывным временем, конечным множеством состояний X и стационарным распределением п.
Пусть для фиксированного Ь Хь является множеством состояний цепи Маркова и, которому соответствует множество Оь С О векторов перемещений й € Оь, и пусть Хь,т, т = , — неприводимые множества в Хь по отношению к цепи Маркова и. Назовем Хь локальным множеством состояний, а Хь,т — локальными подмножествами. Заметим, что состояние 5 может быть элементом различных локальных множеств Хь. Это делает возможным переходы из одного локального множества состояний в другое, так как в общем случае для Ь = Ь' имеем Хь П Хь' = 0.
Для сети Nе интенсивности перехода даа' ,ь могут быть представлены в виде произведения двух функций:
Цаа',ь = иа,ь+а -аа',ь.
Здесь функция и^) отображает характеристики обслуживания, т. е. дисциплины и интенсивности обслуживания в системах, а функция У(.) — характеристики маршрутизации, т. е. маршрутные вероятности и вероятности блокировки переходов требований между системами обслуживания; обе функции заданы с точностью до постоянного множителя. Функция и(.) может быть выражена через произвольные заданные функции Ф^) и Ф^) в следующем виде [13]:
Фз —а
ис!,з = , (3)
где функция Ф(^) предполагается строго положительной на Х, а функция Ф^) — неотрицательной.
Функция, отображающая характеристики обслуживания, также может быть представлена в виде
ь
и* з = Фз—а/Фзеа, где еа = П й»!. В этом случае ь = -аа',ьеа и даа',ь = и*а ь+а-*а' ь.
;=1
Предположим, что для любого фиксированного Ь, для которого Хь = 0, Хь = иЪГЬ=1 Хь,т и т € {1,..., Нь}, система уравнений
ЮЛЛ',ь = 5^ уа'>ь-а'а,ь, Ь + d € Хъ,т, (4)
а' =а а' =а
имеет единственное положительное решение {ул,ь| Ь + d € Хь,т}, с точностью до постоянного множителя.
Определим на множестве Х цепь Маркова х с интенсивностями перехода ад, которые удовлетворяют следующим соотношениям: для любых Ь, т = 1,..., Ь,ь и Ь + й, Ь + й' € Хь т таа ,ь = уз-,ь,
та а,ь Уа,ь
иначе адаа' ,ь = 0.
Обозначим через а = (аз), 5 € Х, стационарное распределение цепи х, тогда [13]
Пз = № аз, 5 € Х, (5)
где С — нормализующая константа.
Предположим, что функция и(.) имеет мультипликативную форму, в которой каждый множитель иг (\) связан с соответствующей системой массового обслуживания , тогда
ь ь ф
иа,з = П иг,а ,з4) = Г
;,(з, —а,)
■ ! ■ 1 Фг,3г
г = 1 г=1 ' г
Здесь функция иг^.) отображает характеристики обслуживания в системе Бг, когда в системе производится обслуживание всей группы требований. Учитывая, что и;,(а,,з,) = и*з.)йг!, и
= (й;) ^ (1 - д;)з,—а,
функция иа,з удовлетворяет (3), если положить
1 — д
фз—а = П
(5; — й;)!
; = 1 4 у
з, —а,-
ф=п Л С1)■ (6)
Предположим, что для сети Nе функция Уаа',ъ имеет вид
Уаа' ,ъ = и аа' каа' ,ъ, (7)
где У(.) — маршрутные вероятности переходов между системами групп требований, к(.) — функция блокировки [13].
Положим каа',ъ = 1 для всех й, й' и Ь, т.е. блокировок переходов групп требований в сети N не происходит, и пусть существует положительное решение уа уравнений группового трафика:
У а ^ иаа' = 5^ Уа' иа'а ■ (8)
а' =а а'=а
Тогда для всех Ь таких, что Ь + й Е X, решением системы (4) является уа,ъ = Уа. Если существует функция Г(^) такая, что для всех Ь, т и всех Ь + й,Ь + й' Е Хъ,т
гъ+а = Уа,ъ (9) гъ+а' Уа' ,ъ
то а(.) в выражении (5) определяется равенством [13] ста = Г5, 5 е X.
При каа',ъ = 1 для всех й, й' и Ь, т. е. при отсутствии блокировок переходов групп требований, и независимой маршрутизации требований в сети ^ маршрутные вероятности переходов групп требований имеют вид
- = £ п(((11 П ■ (|0)
а^ £Ai=l у г1 ' гь/ ^=1
( Ь Ь )
где А = < й^, г,] = 1, ■ ■ ■, Ь : й^ > 0, й^ = 0, если = 0, ^ й^ = йг, ^ й^ = й^ >, й^ представ-
[ з=1 г=1 )
ляет число требований, осуществляющих переход из системы Бг в систему Sj. Здесь учитываются все возможные переходы требований между системами обслуживания в сети.
ь
Если существует положительное решение Uj, ] = 1, ■ ■ ■, Ь, маршрутных уравнений Uj = ^ ¡¿i6ij,
г=1
то решением уравнений группового трафика (8) является
ь
а
Уа = П ^, (11)
г=1
ь+
и функция Гъ+а = Л +а удовлетворяет (9). Вероятности ст^), входящие в (5), тогда определяются
г=1 ь
выражением а3 = П , 5 е Х^
г=1
Теперь предположим, что для некоторых й, й' и Ь функция каа',ъ = 1, т. е. в сети N возможны блокировки переходов групп требований.
Метод блокировки переходов в сети Ne включает действия по проверке условий возможности перехода сформированных групп требований между системами и действия по восстановлению состояния, в котором пребывала сеть до формирования групп требований. Как правило, в случае невыполнения условий перехода все требования, завершившие обслуживание в некоторых системах и готовые перейти в другие системы, возвращаются в свои исходные системы и начинают обслуживаться повторно.
Переход сети Ne из состояния 5 в состояние э' обусловлен тем, что из требований, завершивших обслуживание в некоторых системах и входящих в определенные вектором й группы, алгоритмом маршрутизации были сформированы представляющие компоненты вектора й группы требований, поступивших в соответствующие системы. Поэтому реализация блокировки переходов групп требований в сети возможна или запрещением формирования векторов перемещений й некоторых типов,
или запрещением формирования для векторов перемещений й некоторых типов соответствующих векторов й', или запрещением поступления требований, определенных векторами перемещений й' некоторых типов, в соответствующие системы обслуживания. В первом случае для запрещения формирования, например вектора перемещения й, очевидно, должна быть равна нулю интенсивность формирования й при пребывании сети в состоянии 5. Во втором случае должны быть равны нулю соответствующие интенсивности ъ, а в третьем случае должно быть запрещено поступление в соответствующие системы требований, определенных вектором й', сформированным из вектора й. Например, если для заданного с? положить ъ = -ъ = 0 для всех й, й', Ь, то определенным
вектором с? группам требований запрещается принимать участие в переходах. Если для заданного
ь ь
числа, например К, положить , ъ = 0, когда ^ йг = К или ^ С = К, то запрещаются переходы
г=1 г=1
групп требований, когда общее число уходящих и/или поступающих требований равно К.
Рассмотрим случай, когда для каждой системы массового обслуживания задано максимальное число требований, которым разрешено находиться в системе, например, для системы должно быть 5 < Мг, 1 < % < при этом функция , ъ имеет вид (7), где кгг', ъ = 1(Ь + й' < М). Здесь М = (Мг), % = 1, ...,£, а 1(А) обозначает индикатор события А, т. е. 1(А) = 1, если событие А происходит и 1(А) = 0 в противном случае. Таким образом, проверка условия возможности перехода групп требований производится для всех систем, но в случае невыполнения этого условия хотя бы для одной системы обслуживания запрещаются переходы всех групп уходящих требований, требования возвращаются в свои исходные системы и начинают обслуживаться повторно.
При независимой маршрутизации требований в сети Xе с блокировками переходов требований маршрутные вероятности и^) имеют вид (10).
Предположим, что групповая маршрутизация является обратимой, т. е. решение у(.) системы уравнений группового трафика (8) удовлетворяет равенству уг= уг и^. Тогда
уй ,ъ = Уг1(Ь + й < М) (12)
является решением системы (4), и с функцией Г^), удовлетворяющей равенству (9), ст. в выражении (5) определяется равенством
о* = Г, 5 < М. (13)
Теорема 1. Для сети Nе с блокировками стационарные вероятности состояний имеют вид
= П £ ОЙ" 1(5. < М)/ ЕП £ (*)" 5 е X.
г = 1 / в:в€Л г=1
Доказательство. Подставляя (11) в (12), имеем:
ь
Уй,ъ = П ^ 1(Ьг + С < Мг).
г=1
Учитывая, что 5 = Ь + й и 5' = Ь + й', получим:
ь ь ь
П 1(Ьг + С < М) П -ъ' 1(5г < М) П 1(5г < М)
у^,ъ = г = 1_ = г=1_ = г = 1_
уг',ъ п 1(Ьг + й < М) п -ъ' 1(5 < МО п 1(5 < Мг)
г = 1 г=1 г = 1
Тогда из отношения (9) следует, что
ь
Г. =П 1(5г < Мг).
г=1
С учетом выражений (6), (13) и (5) получим:
С И Л Г") 1(5г < Мг), 5 € X,
П =
.
где
С =
( ь
£ П
I в:в£Х • \&в<М
—1
Шг
□
2. СЕТИ МАССОВОГО ОБСЛУЖИВАНИЯ С КЛАСТЕРАМИ
Рассмотрим сеть массового обслуживания N° с групповыми переходами требований. Сеть содержит Ь систем массового обслуживания Бг, г = 1,...,Ь, и Н требований одного класса. Вероятности перехода требований между системами сети определяются маршрутной матрицей © = ), г,з = 1,..., Ь. Система Бг, г = 1,..., Ь, включает Н одинаковых обслуживающих приборов. Системы обслуживания принадлежат одному из Я непересекающихся кластеров (групп систем). С каждым из кластеров N°, г = 1,..., Я, связано множество Сг номеров систем. Интенсивности обслуживания в системах одного кластера одинаковы и равны , 0 <ДГ < 1, г = 1,...,Я (данные ограничения на значения не влияют на общность полученных результатов). Длительность обслуживания требований в системе $г, г е Сг, имеет экспоненциальное распределение с параметром . Состояние сети Nс определяется вектором 5 = (5), г = 1,..., Ь, где 5г — число требований, находящихся в системе Бг; X — множество состояний сети.
Обозначим через п(з) = (пг(5)), г = 1,... ,Я, вектор числа требований, находящихся в кластерах; а через т(1) = (тг(1)) — вектор числа требований, уходящих из кластеров, т. е.
пг (5) = ^^ 5г, тг (1) = ^^ 1г
гесг
гесг
Вектор п(з) определяет способ распределения Н требований между Я кластерами при пребывании сети N° в состоянии 5. Пусть Q — общее число способов распределения Н требований между Я кластерами. Вектор п(9) ), г = 1,..., Я, д е {1,...^}, где п^ — число требований в
кластере N° при д-м способе распределения требований, назовем макросостоянием сети N°; число макросостояний сети Nс равно Q. Макросостоянию п(д) соответствует множество состояний Хд, т. е. п(з) = п(д) для всех 5 е Хд. Очевидно, X = иС^=1 Хд.
Сеть N° может рассматриваться как частный случай сети №, когда отсутствуют блокировки переходов групп требований, т. е. кая,ъ = 1 для всех 1, 1 и Ь, и ц,г = , г е Сг, г = 1,..., Я. Таким образом, для сети N° функция и^ в может быть найдена из выражения, полученного для сети №:
= П П (1 (а)(1 - ^г(в)—(а)
г=1 геОг
Тогда функция иа в удовлетворяет (3), если положить
= П П
1 /1 л \ пг (в)—тг (Я)
1 /1 — \ ; к '
г=1 гесг
(5 — 1 )! V А
Д 1 / 1 \ пг(в)
= й Д
Теорема 2. Для сети N° стационарные вероятности состояний имеют вид
(14)
(15)
Пв = С П ¿) П^ 5 е X
г=1 4
гесг
где
вех г=1
я = £П £ П^
(16)
Д / 1 \ Пг (в) в
I \ т-г Шт
5г!
гесг
в
1
в
и
г
Доказательство. Так как в сети N° маршрутизация требований такая же, как и в сети Ж6, без
ь
блокировок переходов групп требований, имеем а3 = П и?*, 5 е X, или
i=1
R
^ = П П
r=i ieor
s e X.
(17)
Подставляя (15) и (17) в (5), получим (16), где С — нормализующая константа. □
Математическое ожидание (м. о.) числа требований , в системе Si, г = 1,... ,Ь, вычисляется по формуле
н
Si =
!> Т, ■
k=1 s: seX
&Si =k
Для кластера Nf, r = 1,..., R, м. о. числа требований nr = Si.
iecr
Предположим, что требуется, чтобы число требований в кластере Nf существенно не превосходило некоторого фиксированного числа Мь Этого можно достичь замедлением обслуживания в других кластерах посредством использования множителя ar в кластере Nf r = 2,..., R, когда n1(s) > Mi, s e X. Таким образом, получим обслуживание в сети, учитывающее взаимную зависимость кластеров [13]. Тогда
^s-d
Uds = <
Фs
W.S-
s-d
R
ф^ ar
r=2
П1 (s) < MM1, П1 (s) > M1,
функция Фs-d определяется выражением (14), а функция ф. имеет вид
RR
П «г - щ ar - 1 1(n1(s) < M1)
r=2 r=2
R R
r=1 iecr
1
si!
nr (s)
(18)
Теорема 3. Для сети Nс с взаимозависимыми кластерами, если требуется, чтобы п1 (5) < Мь стационарные вероятности состояний имеют вид
1
G
п
r=2
ar -
7 «г - 1 1(n1(s) < M1)
r=2
П
r=1
nr (s)
п
iecr
si!
s e X,
где
g = £
seX
RR
П «r - П «r - 1) 1(n1(s) < M1)
r=2 r=2
П
r=1
nr (s)
П
iecr
si!
Доказательство проводится аналогично доказательству теоремы 2 при замене выражения (15) на (18). □
3. ПРИМЕРЫ
Пример 1 (сеть с блокировками). Рассмотрим сеть массового обслуживания N6 с параметрами: Ь = 4, Н =10, д = (0, 4; 0, 3; 0,1; 0, 2),
© =
' 0 0, 3 0, 6 0, 1
0, 2 0 0, 4 0,4
0,3 0,4 0 0, 3
.0,3 0, 3 0, 4 0
(19)
Для сети Ж6 при различных значениях вектора M вычислим стационарные вероятности состояний сети и м. о. числа требований в системах £ = ( ,, ,2, ,3,£4). Для сети без блокировок,
s
$s =
R
R
R
П =
т. е. когда М = (10,10,10,10), 5 = (0,938; 1, 512; 5,614; 1,936). Для сети с блокировками при векторе ограничений М = (6, 6,6,6) имеем 5 = (1,104; 1, 777; 4, 847; 2, 272), при М = (5, 5, 5, 5) 5 = (1, 243; 1,987; 4, 264; 2, 506), а при М = (4,4,4,4) 5 = (1,495; 2, 259; 3, 592; 2,654). Из приведенных результатов видно, что при уменьшении значений компонент вектора М во всех случаях выполняется условие 5 < М, что объясняется увеличением стационарных вероятностей пребывания сети Ж6 в состояниях, удовлетворяющих ограничению з < М, за счет блокировки переходов сети в такие состояния, когда з > М. Метод блокировки может использоваться для перераспределения требований между системами обслуживания в сети Ж6. Например, чтобы уменьшить 53, которое в сети без блокировок существенно превосходит м. о. числа требований в остальных системах, наложим соответствующее ограничение: если М = (10,10, 5,10), то 5 = (1, 232; 1,985; 4, 240; 2, 543); если М = (10,10,4,10), то 5 = (1, 388; 2, 236; 3, 511; 2, 865); если М = (10,10, 3,10), то 5 = (1, 562; 2, 516; 2, 698; 3, 224).
Пример 2 (сеть с кластерами). Рассмотрим сеть массового обслуживания ЖС, состоящую из Я = 2 кластеров ЖС и , с параметрами: Ь = 4, Н = 4, С = {1, 2}, С2 = {3,4}, Д = (0,1; 0, 9), матрица © имеет вид (19).
Определим макросостояния сети: п(1) = (2, 2), п(2) = (3,1), п(3) = (1, 3), п(4) = (4, 0), п(5) = (0,4). По формуле пп(,) = п., о = 1,..., 5, вычислим стационарные вероятности макросостояний:
пп(1) = 0,060, пп(2) = 0,315, пп(з) = 0,005, пп(4) = 0,619, пп(5) = 0,001. Вычислим м. о. числа требований в системах сети 5 = ( 51, 52, 53, 54) и м. о. числа требований в кластерах п = (п 1 , п2): 5 = (1,607; 1,942; 0, 267; 0,184), п = (3, 549; 0,451).
Далее рассмотрим сеть Ж'С, которая отличается от сети тем, что при выполнении условия п^ > Мь где — заданное число требований в кластере ЖС, в кластере осуществляется изменение интенсивности обслуживания посредством использования множителя а2. Стационарные вероятности макросостояний сети Ж'С при различных значениях а2 и = 2 приведены в табл. 1. Также в табл. 1 приведена стационарная вероятность п^ .)>^ 1} пребывания сети Ж'С в макросостояниях, удовлетворяющих условию п^ > , например, при = 1 п^.)>м^(} = пп(1) + пп(2) + пп(4),
при М1 = 2 п{п( . ) >М( } = пп(2) + пп(4) , при М1 = 3 п{п( ■ ) } = пп(4) .
Таблица 1
Стационарные вероятности макросостояний сети Ы'с
а2 5 2 1 0,9 0,5 0,2 0,1 0,05 0,01
М1 =2
Пп(1) 0,013 0,031 0,060 0,066 0,113 0,238 0,379 0,536 0,804
Пп(2) 0,332 0,326 0,315 0,313 0,296 0,250 0,198 0,141 0,042
Пп(3) 0,001 0,003 0,005 0,006 0,010 0,020 0,032 0,045 0,068
Пп(4) 0,654 0,640 0,620 0,615 0,581 0,491 0,390 0,276 0,083
0,000 0,000 0,000 0,000 0,000 0,001 0,001 0,002 0,003
П{п1 ') >М 1} 0,986 0,966 0,935 0,928 0,877 0,741 0,588 0,417 0,125
М1 = 1
П{п1 • )>М 1} 0,999 0,997 0,995 0,994 0,990 0,974 0,950 0,904 0,654
М 1 = 3
П{п1 • )>М11} 0,891 0,765 0,619 0,594 0,449 0,246 0,140 0,075 0,016
Из табл. 1 видно, что при всех значениях ММ1 и а2 > 1 при увеличении а2 вероятность п^ )>м(}
возрастает, т. е. возрастает вероятность «неблагоприятных» состояний (например, при = 2 увеличиваются вероятности макросостояний п(2) и п(4)), а при а2 < 1 и уменьшении а2 вероятность п{п(.)>мм(} уменьшается, т. е. уменьшается вероятность «неблагоприятных» состояний. Значению а2 = 1 соответствуют результаты, полученные для сети ЖС.
В табл. 2 приведены м. о. числа требований в системах и кластерах сети при = 2 и различных значениях а2 < 1.
Таблица 2
Математические ожидания числа требований в системах и кластерах сети N/с при М1 = 2
a2
Математические
ожидания 0,9 0,5 0,2 0,1 0,01 0,001
si 1,602 1,561 1,454 1,333 0,967 0,879
1,935 1,887 1,756 1,611 1,168 1,063
0,274 0,326 0,467 0,625 1,104 1,218
0,189 0,226 0,323 0,431 0,761 0,840
ni 3,537 3,448 3,210 2,944 2,135 1,942
n2 0,463 0,552 0,790 1,056 1,865 2,058
Из табл. 2 видно, что при уменьшении а2 м. о. числа требований в системах и кластерах сети изменяются так, чтобы при некотором значении а2 выполнялось условие и[ < ММ1.
ЗАКЛЮЧЕНИЕ
Сети массового обслуживания с групповыми переходами требований широко применяются в качестве математических моделей вычислительных и информационных систем, вычислительных и коммуникационных сетей, производственных систем. Для моделирования систем с ограниченными ресурсами эффективно используются сети обслуживания с блокировками. Сети обслуживания с кластерами применяются при исследовании стохастических информационных систем, когда необходимо оценивать степень влияния на эволюцию системы ее отдельных подсистем, а также при анализе систем методами декомпозиции. Особую важность представляет класс сетей массового обслуживания, стационарное распределение которых имеет мультипликативную форму, так как в этом случае существенно упрощается вычисление стационарных характеристик исследуемых сетей. К данному классу относятся рассмотренные в этой работе сети обслуживания. Они могут найти практическое применение при исследовании сетевых стохастических систем, в моделях которых — сетях массового обслуживания — размеры поступающих в системы групп требований не превосходят числа обслуживающих приборов в системах. В противном случае можно применить один из способов блокировки переходов групп требований, тогда стационарные характеристики исследуемых сетей будут приближенными и их точность будет зависеть от значений вероятностей событий, связанных с блокировками переходов. Предположение об экспоненциальном распределении длительностей обслуживания требований при практическом использовании рассмотренных в статье сетей массового обслуживания в качестве моделей дискретных стохастических систем часто не является ограничивающим. Распределения длительностей обслуживания в общем случае могут быть произвольными, если при использовании этих распределений ошибки определения стационарных характеристик модельных сетей обслуживания не превышают допустимых значений.
Библиографический список
1. Balsamo S., Nitto Persone V. A survey of product form queueing networks with blocking and their equivalences // Ann. Oper. Res. 1994. Vol. 48. P. 31-61.
2. Boxma O. J., Konheim A. G. Approximate analysis of exponential queueing systems with blocking // Acta Informatica. 1981. Vol. 15. P. 19-66.
3. Clo M. C. MVA for product-form cyclic queueing networks with blocking // Ann. Oper. Res. 1998. Vol. 79. P. 83-96.
4. Balsamo S., Clo M. C. A convolution algorithm for product-form queueing networks with blocking // Ann. Oper. Res. 1998. Vol. 79. P. 97-117.
5. Liu X., Buzacott J. A. A decomposition-related
throughput property of tandem queueing networks with blocking// Queueing Systems. 1993. Vol. 13. P. 361-383.
6. Strelen J. C., Bark B., Becker J., Jonas V. Analysis of queueing networks with blocking using a new aggregation technique // Ann. Oper. Res. 1998. Vol. 79. P. 121-142.
7. Boucherie R. J., Dijk N. M. A generalization of Norton's theorem for queueing networks // Queueing Systems. 1993. Vol. 13. P. 251-289.
8. Dijk N. M, Sluis E. Simple product-form bounds for queueing networks with finite clusters // Ann. Oper. Res. 2002. Vol. 113. P. 175-195.
9. Boucherie R. J., Dijk N. M. Queueing networks :
a fundamental approach. N.Y.; Heidelberg; London : Springer Science+Business Media, LLC, 2011. 823 p.
10. Henderson W, Taylor P. G. Product form in networks of queues with batch arrivals and batch services // Queueing Systems. 1990. Vol. 6. P. 71-88.
11. Henderson W, Pearce C. E. M., Taylor P. G, Dijk N. M. Closed queueing networks with batch services // Queueing Systems. 1990. Vol. 6. P. 59-70.
12. Boucherie R. J., Dijk N. M. Spatial birth-dearth processes with multiple changes and applications to batch service networks and clustering processes // Adv. Appl. Prob. 1991. Vol. 22. P. 433-455.
13. Boucherie R. J., Dijk N. M. Product forms for queueing networks with state-dependent multiple job transitions // Adv. Appl. Prob. 1991. Vol. 23, № 1. P. 152-187.
14. Boucherie R. J. Batch routing queueing networks with jump-over blocking // Probability in the Engineering and Informational Sciences. 1996. Vol. 10. P. 287-297.
15. Miyazawa M. Structure-reversibility and departure functions of queueing networks with batch movements and state dependent routing // Queueing Systems. 1997. Vol. 25. P. 45-75.
16. Bause F., Boucherie R. J., Buchholz P. Norton's theorem for batch routing queueing networks // Stochastic Models. 2001. Vol. 17. P. 39-60.
17. Митрофанов Ю. И., Рогачко Е. С., Станкевич Е. П. Анализ неоднородных сетей массового обслуживания с групповыми переходами требований // Изв. Сарат. ун-та. Нов. сер. Серия Математика. Механика. Информатика. 2011. Т. 11, вып. 3, ч. 1. С. 41-46.
Queueing Networks with Batch Movements of Customers, Blocking and Clusters
Yu. I. Mitrophanov, V. I. Dolgov, E. S. Rogachko, E. P. Stankevich
Saratov State University, Russia, 410012, Saratov, Astrahanskaya st., 83, MitrophanovYuI@info.sgu.ru, www@vidolgov.ru, RogachkoES@info.sgu.ru, StankevichElena@mail.ru
Two types queueing networks with batch movements of customers -- networks with blocking and networks with clusters are investigated. Product form stationary distribution for networks with blocking of transitions in states, in which the number of customers in queueing systems exceeds given values, is derived. For queueing networks with disjoint clusters of systems the problem of analyzing is solved and the product form stationary distribution is found. Examples of analysis of the network with blocking and the network with clusters are presented.
Key words: queueing networks, batch movements of customers, blocking, clusters, analysis of queueing networks.
References
1. Balsamo S., Nitto Persone V. A survey of product form queueing networks with blocking and their equivalences. Ann. Oper. Res., 1994, vol. 48, pp. 31-61.
2. Boxma O. J., Konheim A. G. Approximate analysis of exponential queueing systems with blocking. Acta Informatica, 1981, vol. 15, pp. 19-66.
3. Clo M. C. MVA for product-form cyclic queueing networks with blocking. Ann. Oper. Res., 1998, vol. 79, pp. 83-96.
4. Balsamo S., Clo M. C. A convolution algorithm for product-form queueing networks with blocking. Ann. Oper. Res., 1998, vol. 79, pp. 97-117.
5. Liu X., Buzacott J. A. A decomposition-related throughput property of tandem queueing networks with blocking. Queueing Systems, 1993, vol. 13, pp. 361-383.
6. Strelen J. C., Bark B., Becker J., Jonas V. Analysis of queueing networks with blocking using a new aggregation technique. Ann. Oper. Res., 1998, vol. 79, pp. 121-142.
7. Boucherie R. J., Dijk N. M. A generalization of Norton's theorem for queueing networks. Queueing Systems, 1993, vol. 13, pp. 251-289.
8. Dijk N. M., Sluis E. Simple product-form bounds for queueing networks with finite clusters. Ann. Oper. Res., 2002, vol. 113, pp. 175-195.
9. Boucherie R. J., Dijk N. M. Queueing networks: a fundamental approach. New York, Heidelberg, London, Springer Science+Business Media, LLC, 2011, 823 p.
10. Henderson W., Taylor P. G. Product form in networks of queues with batch arrivals and batch services. Queueing Systems, 1990, vol. 6, pp. 71-88.
11. Henderson W., Pearce C. E. M., Taylor P. G., Dijk N. M. Closed queueing networks with batch services. Queueing Systems, 1990, vol. 6, pp. 59-70.
12. Boucherie R. J., Dijk N. M. Spatial birth-dearth processes with multiple changes and applications to batch service networks and clustering processes. Adv. Appl. Prob., 1991, vol. 22, pp. 433-455.
13. Boucherie R. J., Dijk N. M. Product forms for queueing networks with state-dependent multiple job transitions. Adv. Appl. Prob., 1991, vol. 23, no. 1, pp. 152187.
14. Boucherie R. J. Batch routing queueing networks with jump-over blocking. Probability in the Engineering and Informational Sciences, 1996, vol. 10, pp. 287-297.
15. Miyazawa M. Structure-reversibility and departure functions of queueing networks with batch movements and state dependent routing. Queueing Systems, 1997, vol. 25, pp. 45-75.
16. Bause F., Boucherie R. J., Buchholz P. Norton's theorem for batch routing queueing networks. Stochastic Models, 2001, vol. 17, pp. 39-60.
17. Mitrophanov Yu. I., Rogachko E. S., Stankevich E. P.
YflK 519.713.2, 512.534
Analysis of heterogeneous queueing networks with batch movements of customers. Izv. Sarat. Univ. N. S. Ser. Math. Mech. Inform., 2011, vol. 11, iss. 3, pt. 1, pp. 41-46 (in Russian).
ПРЕДСТАВЛЕНИЕ УНИВЕРСАЛЬНЫХ ПЛАНАРНЫХ АВТОМАТОВ АВТОНОМНЫМИ ВХОДНЫМИ СИГНАЛАМИ
В. А. Молчанов
Доктор физико-математических наук, профессор кафедры теоретических основ компьютерной безопасности и криптографии, Саратовский государственный университет им. Н. Г. Чернышевского, v.molchanov@inbox.ru
Универсальные планарные автоматы являются универсальными притягивающими объектами в категории автоматов, у которых множества состояний и выходных сигналов наделены структурами плоскостей. Основной результат работы показывает, что любой универсальный планарный автомат изоморфен многосортной алгебраической системе, канонически построенной из автономных входных сигналов исходного автомата.
Ключевые слова: автоматы, полугруппы, плоскости, многосортные алгебраические системы. ВВЕДЕНИЕ
Теория автоматов является одним из основных разделов математической кибернетики, в котором изучаются устройства преобразования информации, естественно возникающие в многочисленных задачах теории управления, теории связи и многих других. В общем случае такое устройство может находиться в различных состояниях, которые изменяются под влиянием определенных внешних воздействий (входных сигналов) и, в свою очередь, сами воздействуют на внешнюю среду (с помощью выходных сигналов). Математической моделью такого устройства является многосортная алгебраическая система, называемая автоматом и представляющая собой алгебру А = (X, 5, У, 5, А) с тремя основными множествами X, 5, У и двумя бинарными операциями 5 : X х 5 ^ X, А : X х 5 ^ У. При этом X называется множеством состояний автомата, 5 — множеством входных сигналов, У — множеством выходных сигналов, 5 — функцией переходов и А — выходной функцией автомата. Функция переходов 5 для каждого входного сигнала 5 е 5 определяет состояние 5(х, 5), в которое переходит автомат из состояния х е X под действием сигнала 5. Аналогично выходная функция А для каждого входного сигнала 5 е 5 определяет выходной сигнал А(х, 5), который выдает автомат под действием сигнала 5.
Таким образом, для каждого входного сигнала 5 е 5 автомат А определяет функцию переходов 5. : X ^ X и выходную функцию А. : X ^ У по формулам: 5.(х) = 5(х, 5) и А.(х) = А(х, 5). Для элементов е 5 последовательное действие функций переходов 5., 5^ так определяет ассоциативное умножение входных сигналов 5 ■ что 5.^ = 5.5^. Поэтому обычно предполагается, что множество входных сигналов 5 является полугруппой, которая обозначается символом 1пр(А) и при любых значениях х е X, 5, £ е 5, удовлетворяет условиям 5(х, 5 ■ £) = 5 (5(х, 5), £), А(х, 5 ■ £) = А (5(х, $),£).
Входной сигнал а е 5 автомата А = (X, 5, У, 5, А) называется автономным, если его действие не зависит от состояний этого автомата, т.е. найдутся такое состояние автомата, обозначаемое а1, и такой выходной сигнал автомата, обозначаемый а2, что 5(х,а) = а1, А(х,а) = а2 для всех состояний автомата х е X.
В зависимости от специфики рассматриваемых задач математической кибернетики устройство преобразования информации может моделироваться автоматом, у которого множества состояний X и выходных сигналов У наделены дополнительной математической структурой (например, структурой линейного пространства, упорядоченного множества, топологического пространства и др.), которая сохраняется функциями переходов и выходными функциями этого автомата (см., например, [1]). Так, известные конкретные задачи математической кибернетики приводят к понятиям линейных, упорядоченных и топологических автоматов, которые изучались в работах [1-4]. При таком подходе один из
