--PAGE_BREAK--Время перехода свободного маркера между соседними АС будем считать одинаковым для всех станций и равно d. Скорость движения сообщения по кольцу такая же, как и скорость движения свободного маркера. Время, необходимое для передачи и приема сообщения в кольце, обозначим через a.
Интервал времени между последовательными приходами маркеров на станции равен либо D=d+aпри наличии хотя бы одного сообщения для передачи на АС кольца, либо d, если ни на одной АС нет ни одного сообщения для передачи.
После того, как АС-адресат приняла сообщение, квитанция о приеме передается по кольцу на АС-отправитель этого сообщения. При получении квитанции о приеме АС-отправитель освобождается от переданного сообщения, отправляет маркер на очередную АС.
1.2 Математическая модель функционирования многомаркерной, несимметричной КЛВС с буферами , с 3 АС и 2-мя маркерами, с ординарной дисциплиной обслуживания
Рассмотрим несимметричную КЛВС с протоколом маркерного доступа, которая состоит из 3 абонентских станций, на i-тую АС поступает простейший поток сообщений интенсивности
На первой АС имеется буфер емкостью на второй АС буфер емкостью , на третьей АС буфер , которые служат для отправки сообщений по кольцу, а также есть приемные буфера, которые позволяют принимать любое количество сообщений. АС пронумерованы таким образом, что номер АС увеличивается по направлению движения свободных маркеров, причем после прохождения третьей АС свободный маркер поступает на первую АС. Для передачи сообщений используются 2 маркера.
Буфер на i-той станции назовем полностью свободным, если на АС нет сообщений для передачи и полностью занятым, если на АС имеется сообщений, подлежащих передаче.
Если свободный маркер поступает на свободную АС (не содержащую ни одного сообщения), то он немедленно отправляется на очередную АС. Если маркер поступает на АС, где имеется хотя бы одно сообщение, то немедленно начинается передача имеющихся сообщений в соответствии с дисциплиной обслуживания.
Дисциплина обслуживания – ординарная, т.е. при поступлении маркера на АС обслуживается не более одного сообщения, стоящего в очереди в момент прихода маркера.
Будем считать, что во время передачи сообщения все поступающие на эту АС сообщения, подлежащие передаче, теряются. Т.е. в этом случае на АС, с которой передаются сообщения, происходит блокировка буфера, в котором находились сообщения в момент прихода маркера. Время блокировки равно времени передачи сообщения, находившихся на АС-отправителе в момент прихода маркера.
Время перехода свободного маркера между соседними АС будем считать одинаковым для всех станций и равно d. Скорость движения сообщения по кольцу такая же, как и скорость движения свободного маркера. Время, необходимое для передачи и приема сообщения в кольце, обозначим через a.
Интервал времени между последовательными приходами маркеров на станции равен либо D=d+aпри наличии хотя бы одного сообщения для передачи на АС кольца, либо d, если ни на одной АС нет ни одного сообщения для передачи.
После того, как АС-адресат приняла сообщение, квитанция о приеме передается по кольцу на АС-отправитель этого сообщения. При получении квитанции о приеме АС-отправитель освобождается от переданного сообщения, отправляет маркер на очередную АС.
1.3 Математическая модель функционирования многомаркерной, несимметричной КЛВС с NАС, с kмаркерами (k=N) и буферами различной емкости
Рассмотрим несимметричную КЛВС с протоколом маркерного доступа, которая состоит из N абонентских станций, на i-тую АС поступает простейший поток сообщений интенсивности
На каждой АС имеется буфер с емкостью , который служит для отправки сообщений по кольцу, а также есть приемный буфер, который позволяет принимать любое количество сообщений. АС пронумерованы таким образом, что номер АС увеличивается по направлению движения свободных маркеров, причем после прохождения N-ой АС свободный маркер поступает на первую АС. Для передачи сообщений используются k маркеров, k=N.
Буфер на i-той станции назовем полностью свободным, если на АС нет сообщений для передачи и полностью занятым, если на АС имеется сообщений, подлежащих передаче.
Если свободный маркер поступает на свободную АС (не содержащую ни одного сообщения), то он немедленно отправляется на очередную АС. Если маркер поступает на АС, где имеется хотя бы одно сообщение, то немедленно начинается передача имеющихся сообщений в соответствии с дисциплиной обслуживания.
Дисциплина обслуживания – ординарная, т.е. при поступлении маркера на АС обслуживается не более одного сообщения, стоящего в очереди в момент прихода маркера.
Будем считать, что во время передачи сообщения все поступающие на эту АС сообщения, подлежащие передаче, теряются. Т.е. в этом случае на АС, с которой передаются сообщения, происходит блокировка буфера, в котором находились сообщения в момент прихода маркера. Время блокировки равно времени передачи сообщения, находившихся на АС-отправителе в момент прихода маркера.
Время перехода свободного маркера между соседними АС будем считать одинаковым для всех станций и равно d. Скорость движения сообщения по кольцу такая же, как и скорость движения свободного маркера. Время, необходимое для передачи и приема сообщения в кольце, обозначим через a.
Интервал времени между последовательными приходами маркеров на станции равен либо D=d+aпри наличии хотя бы одного сообщения для передачи на АС кольца, либо d, если ни на одной АС нет ни одного сообщения для передачи.
После того, как АС-адресат приняла сообщение, квитанция о приеме передается по кольцу на АС-отправитель этого сообщения. При получении квитанции о приеме АС-отправитель освобождается от переданного сообщения, отправляет маркер на очередную АС.
Данная модель интересна тем, что любая станция может передавать сообщение (если оно имеется). Это объясняется тем, что количество маркеров совпадает с количеством станций. Это модель имеет также особенности и в виде матрицы переходов из одного периодического класса в другой.
2. Определение стационарных вероятностей состояний несимметричных, многомаркерных КЛВС
2.1 Определение стационарных вероятностей состояний многомаркерной, несимметричной КЛВС с буферами различной емкости, с NАС и kмаркерами, с ординарной дисциплиной обслуживания
Будем рассматривать поведение КЛВС в моменты поступления маркеров на АС. В этом случае изменение состояний КЛВС образуют конечную цепь Маркова.
Под состоянием КЛВС будем понимать состояние всех АС кольца в момент поступления на них маркеров. Каждая АС может находиться всегда в одном из состоянии.
Все состояния КЛВС делятся на N периодических классов, каждый из которых содержит в рассматриваемом случае состояние.
Особенности протокола приводят к тому, что указанная цепь Маркова является неприводимой, периодической с периодом, равным N.
Некоторый j-тый класс (j{1,2,…, N}) соответствует поступлению некоторого фиксированного маркера на j-тую АС. Вероятности переходов из j-того периодического класса в (j+1) – ый образуют () матрицу.
Закодируем состояния КЛВС парами чисел (i, r), i=(), 0.Здесь i определяет класс состояний, т.е. равно номерам тех станций, на которых находятся маркеры, r определяет номер состояния.
Введем обозначение M=() – множество номеров тех станций, на которых находятся маркера, R=(), , l{1,…, N}, — обозначает количество сообщений на l-той АС. Также обозначим через P() – вектор-строку вероятностей состояний КЛВС.
Обозначим через — вероятность того, что за время на i-тую АС не поступит ни одного сообщения; — вероятность того, что за время на i-тую АС поступит m сообщений; — вероятность того, что за время на i-тую АС поступит m и более сообщений.
Так как поток сообщений пуассоновский, то имеем:
=
=
, i{1,2,…, N}
Изучая поведение КЛВС во вложенные Марковские моменты, получим следующую процедуру определения стационарных вероятностей сети.
Теорема. Стационарные вероятности рассматриваемой КЛВС вычисляются из соотношений:
P()=P() A(;)
(1)
где А - матрица вероятностей переходов из i-того периодического класса в состояние (i+1) – го класса, элементы которой вычисляются по формуле:
a()=++, времена вычисляются по следующим формулам:
а также вероятность перехода равна нулю, если:
1) >0 , Q={1,2,3,…, N}
2)
Доказательство:
P() – вектор-строка вероятностей состояний i-того периодического класса; матрица А размерности , элементами которой являются вероятности переходов из i-того периодического класса в (i+1) – ый.
Вследствие периодичности цепи Маркова если либо (i, j)(N, 1). Из этих рассуждений имеем Р(1)=Р(N)
Р(J)=P (J-1) J{2,3,…, N}, J определяет периодический класс.
J определяет те, станции на которых находятся маркеры в данном периодическом классе, с учетом постановки математической модели любой маркер может переходить только на соседнюю станцию. Это и обуславливает то, что маркер с N-ной станции переходит на первую АС.
Таким образом, учитывая условие нормировки, имеем процедуру (1) определения векторов стационарных вероятностей КЛВС.
Доказано.
Для обоснования правильности формул времени необходимо учитывать следующие положения:
1) если поступает сообщение, а соответствующий буфер занят полностью, то сообщение теряется, и при подсчете поступивших сообщений оно не учитывается;
2) если сообщение не передается, то из данного буфера оно никуда не может исчезнуть, поэтому если при переходе из некоторого состояния в соседнее какое-то сообщение теряется, то вероятность данного перехода равна 0;
3) при передаче сообщения из АС, на которой есть маркер, буфер данной станции блокируется;
4) со станции с маркером может передаваться не более одного сообщения.
5) на тех станциях, на которых нет маркеров, может быть вероятность равна единице в том случае, если в i-том периодическом классе и в (i+1) – вом буфер станции был полностью занят.
2.2 Определение стационарных вероятностей состояний многомаркерной, несимметричной КЛВС с буферами , с 3 АС и 2-мя маркерами, с ординарной дисциплиной обслуживания
Будем рассматривать поведение КЛВС в моменты поступления маркеров на АС. В этом случае изменение состояний КЛВС образуют конечную цепь Маркова.
Под состоянием КЛВС будем понимать состояние всех АС кольца в момент поступления на них маркеров. Каждая АС может находиться всегда в одном из состоянии.
Все состояния КЛВС делятся на 3 периодических классов, каждый из которых содержит в рассматриваемом случае 12 состояний.
Особенности протокола приводят к тому, что указанная цепь Маркова является неприводимой, периодической с периодом, равным 3.
Некоторый j-тый класс (j{1,2,3}) соответствует поступлению некоторого фиксированного маркера на j-тую АС. Вероятности переходов из j-того периодического класса в (j+1) – ый образуют матрицу.
Закодируем состояния КЛВС парами чисел (i, r), i=(), 011. Здесь i определяет класс состояний, т.е. равно номерам тех станций, на которых находятся маркера, r определяет номер состояния.
Введем обозначение M=() – множество номеров тех станций, на которых находятся маркера, R=(), , l{1,2,3}, — обозначает количество сообщений на l-той АС. Также обозначим через P() – вектор-строку вероятностей состояний КЛВС.
Обозначим через — вероятность того, что за время на i-тую АС не поступит ни одного сообщения; — вероятность того, что за время на i-тую АС поступит m сообщений; — вероятность того, что за время на i-тую АС поступит m и более сообщений.
Так как поток сообщений пуассоновский, то имеем:
=
=
, i{1,2,3}
Изучая поведение КЛВС во вложенные Марковские моменты, получим следующую процедуру определения стационарных вероятностей сети, которая является частным случаем теоремы из пункта 2.1: стационарные вероятности рассматриваемой КЛВС вычисляются из соотношений:
P (2,3)=P (1,2) A (1,2);
P (3,1)=P (2,3) A (2,3);
P (1,2)=P (3,1) A (3,1);
А – матрица вероятностей переходов из i-того периодического класса в состояние (i+1) – го класса, элементы которой вычисляются по формуле:
a()=
времена вычисляются по следующим формулам:
а также вероятность перехода равна нулю, если:
1) >0 , Q={1,2,3}
2)
Для обоснования правильности формул времени необходимо учитывать следующие положения:
1) если поступает сообщение, а соответствующий буфер занят полностью, то сообщение теряется, и при подсчете поступивших сообщений оно не учитывается;
2) если сообщение не передается, то из данного буфера оно никуда не может исчезнуть, поэтому если при переходе из некоторого состояния в соседнее какое-то сообщение теряется, то вероятность данного перехода равна 0;
3) при передаче сообщения из АС, на которой есть маркер, буфер данной станции блокируется;
4) со станции с маркером может передаваться не более одного сообщения;
5) на тех станциях, на которых нет маркеров, может быть вероятность равна единице в том случае, если в i-том периодическом классе и в (i+1) – вом буфер станции был полностью занят.
В приложении будет предоставлены матрицы переходов для рассматриваемой КЛВС. Обозначение означает, что маркеры находились на первой и второй станциях.
2.3 Определение стационарных вероятностей состояний многомаркерной, несимметричной КЛВС с буферами различной емкости, с NАС и k=Nмаркерами, с ординарной дисциплиной обслуживания
Будем рассматривать поведение КЛВС в моменты поступления маркеров на АС. В этом случае изменение состояний КЛВС образуют конечную цепь Маркова.
Под состоянием КЛВС будем понимать состояние всех АС кольца в момент поступления на них маркеров. Каждая АС может находиться всегда в одном из состоянии.
Все состояния КЛВС делятся на N периодических классов, каждый из которых содержит в рассматриваемом случае состояние.
Особенности протокола приводят к тому, что указанная цепь Маркова является неприводимой, периодической с периодом, равным N.
Некоторый j-тый класс (j{1,2,…, N}) соответствует поступлению некоторого фиксированного маркера на j-тую АС. Вероятности переходов из j-того периодического класса в (j+1) – ый образуют () матрицу. Зафиксируем некоторый маркер и будем рассматривать поведение сети в моменты поступления этого маркера АС.
Закодируем состояния КЛВС парами чисел (i, r), i=(), 0.Здесь i определяет класс состояний, т.е. равно номеру станции, на которой находятся маркеры, r определяет номер состояния.
Введем обозначение M=() – множество номеров тех станций, на которых находятся маркера, R=(), , l{1,…, N}, — обозначает количество сообщений на l-той АС. Также обозначим через P() – вектор-строку вероятностей состояний КЛВС.
продолжение
--PAGE_BREAK--