О замкнутых сетях массового обслуживания с переменным числом систем обслуживания Текст научной статьи по специальности «Компьютерные и информационные науки»

Известия Саратовского ушверотгета. 2005. Т. 5. Сер. Математика. Механика. Информагпка, вып. 1

И.Е. Тананко

Саратовский государственный университет,

кафедра системного анализа и автоматического управления

E-mail: [email protected]

УДК 519.872

О ЗАМКНУТЫХ СЕТЯХ МАССОВОГО ОБСЛУЖИВАНИЯ С ПЕРЕМЕННЫМ ЧИСЛОМ СИСТЕМ ОБСЛУЖИВАНИЯ

About closed queuing networks with variable number of queues

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

Consider a closed queueing network with the possibility of breakdowns at each server. When a breakdown occurs at one server, all customers there are transferred in queue with operational server immediately, and the server is then sent for repair. Steady-state probability of the queue sizes is obtained, and is shown to have a product form solution.

I.E. Tananko

Сети массового обслуживания применяются в качестве математических моделей дискретных стохастических систем, имеющих ненадежные элементы. Например, в работе [1] исследуется маршрутизация требований в сети обслуживания с определенной вероятностью возникновения ошибки в момент завершения обслуживания требований. Анализу открытой сети обслуживания, в которой в момент отказа прибора уничтожаются требования, посвящена работа [2]. Приближенный метод анализа открытой сети обслуживания с независимыми отказами и восстановлениями систем обслуживания представлен в [3]. В работе [4] задача анализа ненадежной сети обслуживания сведена к решению задачи анализа классической замкнутой сети обслуживания. Целью данной работы является разработка метода анализа замкнутых сетей массового обслуживания с переменным числом систем обслуживания.

Пусть Г — замкнутая сеть массового обслуживания, состоящая из / систем массового обслуживания (СМО) Сь / = 1, 2, ..., I, типа М | М |1. В сети находится ТУ требований одного класса. Переходы требований между системами обслуживания в процессе эволюции сети Г определяются неприводимой маршрутной матрицей 0 = 0(А г,] — 1, 2, ...,/. Обозначим Ь = {1,2, ...,/} множество номеров систем обслуживания. Предполагается, что в каждой из систем обслуживания С„ г е Ь, в процессе функционирования сети Г, может изменяться параметр функции распределения длительности обслуживания требований, последовательно принимая значения из множества {цг, ц}, где ц,- > 0 и ц = 0, г = 1,2,..., I. Состоянием структуры сети массового обслуживания Г(ш) назовем вектор т = (т,), где т1 е {ц„ ц,} — состояние прибора системы массового обслуживания С„ г = 1, 2, ..., I. Систему С,-, г е Ь, с т, > 0 (т, = 0) будем называть системой обслуживания с исправным прибором (с неисправным прибором) или просто исправной СМО (неисправной СМО). Множество состояний структур сети Г обозначим С1. Длительности использования системой Сг интенсивностей ц, или ¡л г являются экспоненциально распределенными случайными величинами с параметрами а, и р, соответственно, г = 1, 2, ...,/.

В момент перехода системы / е Ь, из исправного в неисправное состояние происходят следующие события: элементы 0,у и 0уг-,у = 1, 2,...,/, становятся равными нулю до момента восстановления прибора г'-й системы обслуживания; все требования, находившиеся в системе Сг, поступают в систему обслуживания с исправным прибором или остаются в системе С,-, если в сети Г остается только одна исправная СМО; маршрутные вероятности 9/г > 0 систем Су,у' е Ь,

© И. Е. Тананко, Z005

распределяются между оставшимися в /-и строке ненулевыми элементами маршрутной матрицы 0 пропорционально их значениям.

Таким образом, порядок маршрутной матрицы Щт) равен числу ненулевых элементов вектора т. Общее число требований в сети обслуживания не меняется.

Сеть обслуживания Г(/и), ш е П, назовем сетью обслуживания с определенной структурой, если соответствующая этой сети маршрутная матрица является неприводимой. В противном случае сеть обслуживания назовем сетью обслуживания с неопределенной структурой. Полагаем, что в сети обслуживания с неопределенной структурой обслуживание требований не производится ни одной из систем обслуживания. Будем считать, что для каждого состояния структуры теП известна определенность структуры сети обслуживания Г.

Пусть Б — множество состояний структур, образующих сети Г(/и) с определенной структурой, ^ = П/О — множество состояний структур, образующих сети Г(т) с неопределенной структурой, Р{Р) и Р(Г) — стационарные вероятности соответственно того, что сеть обслуживания имеет определенную и неопределенную структуру.

Очевидно, что наличие в сети Г ненадежных систем обслуживания оказывает существенное влияние на процесс функционирования этой сети обслуживания.

Функционирование сети Г можно рассматривать как два протекающих одновременно процесса: 1) процесс отказов и восстановлений систем массового обслуживания и 2) вложенный в него процесс обслуживания и переходов требований между системами сети обслуживания. Предполагается, что отказы и восстановления систем обслуживания независимы.

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

Поэтому в дальнейшем, пренебрегая переходным процессом, будем считать, что стационарный режим функционирования сети обслуживания Г наступает сразу с момента изменения ее параметров.

Найдем вероятностно-временные характеристики сети массового обслуживания с переменным числом систем обслуживания.

Вероятность р1 (ц,) того, что система С, находится в исправном состоянии и обслуживает требования с интенсивностью определяется

Аналогично для системы С„ находящейся в неисправном состоянии, справедливо выражение

тт д. » тах{а., /3,}.

I г '

РМ = а;1/(а,-1 + Д-1) = Д/(а, + А), * = 1,2,..., /.

(1)

где

Информатика

139

Известия Саратовского унпверсптета. 2005. Т. 5. Сер. Математика. Механика. Пнформатка, вып. 1

Очевидно, что

1.

/ИЁО

Стационарные вероятности Р(О) и Р(Р) пребывания сети Г соответственно в множествах состояний структур £) и Р:

Р(Р)=^Р(т).

теО

Вероятности (1) используются в качестве весовых коэффициентов при вычислении вероятностно-временных характеристик сети Г.

Сеть обслуживания, пребывающая в состоянии структуры т е Д является связной подсетью систем обслуживания С, с т, > 0. Из этого следует, что функционирование подсети Т(т) можно рассматривать как функционирование сети обслуживания с надежными системами обслуживания. Характеристики подсети Г(т), т е Д могут быть вычислены известными методами [5].

Выражение для определения У— искомой характеристики систем обслуживания или сети Д функционирующей в пространстве состояний структуры Г, имеет вид

г\и) шей

(2)

где у{т) — характеристика подсети Г(/и). Характеристики сети Г, находящейся в пространстве состояний структуры Г2, определяются из выражения

У=^у(т)Р(т\

те £2

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

Т =

¿=1

т е П.

Пример. Пусть Г — замкнутая экспоненциальная сеть массового обслуживания с одним классом требований, I = 4, N = 6, ^ = (1.2,1.25,1.0,1.1), Д = (0.0,0.0,0.0,0.0), а = (0.002,0.001,0.001,0.002), р = (0.02,0.03,0.03,0.01), маршрутной матрицей

0(|Я) =

'0 1 0 0 Л 0.1 0 0.6 0.3

0 0.1 0 0.9

1 0 0 0,

у

(3)

щет = (р1,р2,ц3,рл).

Видно, что из всевозможных состояний структур сети Г только состояния (д, д, д, д), (д, д, 0, д), (д, д, д, 0), (д, д, 0, 0) и (0, д, д, 0) принадлежат множеству В.

Используя выражения (1) и (2), определим X = (к,) — вектор интенсивностей потоков требований в системы обслуживания — и

140

Научный отдел

S. A Твердохпебов. Геометрические образы конечных детерминированных автоматов

— пропускную способность сети Г: Я = (0.722,0.920,0.581,0.616), Л = 2.839. Стационарные вероятности Р(П) и Р(Р) равны соответственно 0,894 и 0,106.

Для сети массового обслуживания с числом систем обслуживания I = 4, числом требований в сети N=6, вектором ц = (1.2,1.25,1.0,1.1) и маршрутной матрицей (3), но имеющей абсолютно надежные системы обслуживания, характеристики принимают значения

Я = (0.842,0.895,0.537, 0.752), Л = 3.026.

Из сравнения полученных результатов видно, что в сети обслуживания с ненадежными СМО наблюдается перераспределение потоков в системах обслуживания. Пропускная способность этой сети обслуживания меньше, чем в сети обслуживания с надежными СМО.

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

Библиографический список

1. Economides А.А., Silvester J.A. Optimal routing in a network with unreliable links // IEEE INFOCOM'88. 1988. Aug. P. 288-297.

2. Chao X. A queueing network model with catastrophes and product form solution // Oper. Res. Let. 1995. V. 18. P. 75-79.

3. Chakka R„ Mitrani I. Approximate solutions for open networks with breakdowns and repairs // Stochastic

УДК 519.21

ГЕОМЕТРИЧЕСКИЕ ОБРАЗЫ КОНЕЧНЫХ

ДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ

В.А. Твердохлебов

Саратовский государственный университет, кафедра теоретических основ информатики и информационных технологий E-mail: [email protected]

В данной работе вводится новая геометрическая модель автомата и изложены методы анализа, синтеза, распознавания с использованием этой модели.

Networks — Theory and applications / Eds F.P. Kelli, S. Zachary, I. Ziedins. Oxford, 1996. Chapt. 16. P. 267-280.

4. Vinod В., Altiok T. Approximating unreliable queueing networks under the assumption of exponentiality // J. Oper. Res. Soc. 1986. V. 37, N 3. P. 309-316.

5. Митрофанов Ю.И. Основы теории сетей массового обслуживания. Саратов, 1993.

V.A. Tverdokhlebov

In this work a new way of defining finite state machines (FSM) is being suggested. The discrete word geometry is built for that purpose, in which machine image is expressed as a set of lines. The methods of synthesis and analysis of geometrical images of FSMs and their features are researched. The new way of defining the FSMs allows analyzing the machine's behavior, excluding the exhausting recursive procedure of defining the initial fragments of machine functioning.

Разработка фрагмента теории геометрических образов автоматов является, по мнению автора статьи, необходимой для развития теории автоматов по крайней мере, при решении задач и проблем, связанных с анализом, синтезом и распознаванием конкретных форм поведения автоматов и законов функционирования автоматов. Такая «встреча» теории автоматов с геометрией согласуется с ролью и значением геометрии даже в специальных справочных изданиях, в которых обобщены и приведены наиболее общие представления о геометрии. Отмечается, что «взаимопроникновение геометрии и других областей математики столь тесно, что часто

© В А Твердохпебов, 2005