Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Шнепс, М. А. Численные методы теории телетрафика

.pdf
Скачиваний:
8
Добавлен:
21.10.2023
Размер:
9.21 Mб
Скачать

Длительность занятия регистра равна

 

1 .

 

. 1

,

м

, 1

(41)'

а

Ь

р

Н-----—

+

(1 —

Я .)------

 

 

 

 

у

 

(последнее слагаемое бывает в тех случаях, когда вызов не теря­ ется). Вероятность потерь на регистрах яр определяется формулой Эрланга [см. ф-лу (2.1)] при нагрузке, равной к, умноженной на

(41), т.

е.

я„

(42>

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

Xs кт(1

я),

(43>

и вероятность

занятия ЗУ определяется

распределением Эрланга

(см. § 2.1.1) при интенсивности потока

ks и интенсивности обслу­

живания у. Получаем последнее уравнение, определяющее вероят­

ность'потерь на станции в целом:

 

П

/п i

 

(kslyYIi'.

(44>

п

п

 

1=0 v (ks/y)4j!

 

 

/=о

 

 

где p n- i — вероятность потери вызова при доступности п—i блоков. Значения pn-i считываем с графиков, полученных, например,,

методом статистического

моделирования (как показано па рис-

9.14), только в качестве

аргумента берем не к„„ а - — -кт, т. е.

 

п

часть нагрузки, поступающей на п—г доступных блоков.

Для нахождения я—вероятности потерь «а станции в целом на­

до решить систему ур-ний

(39) — (44), что можно сделать методом

поеледовательных приближений.

Полученные результаты молено обобщить в различных направ­ лениях:

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

ивоспользоваться результатами гл. 5.

2.Как было рассмотрено в гл. 6, дополнительную загрузку станции, особенно ее управляющих устройств, создают повторные вызовы. Их число молено значительно уменьшить за счет повтор­ ного искания свободного пути. В таком случае при потере попытки (что в нашей модели равносильно потере вызова) вызов не теря­ ется, а олеидает на регистре до повторной попытки и так до уста­ новления требуемого соединения. Пользуясь результатами гл. 6, где было показано, что среднее число повторных вызовов молен» определять по формуле Эрланга для системы с ожиданием, моле­ но найти соответствующие формулы.

180

9.4. МОДЕЛИРОВАНИЕ УПРАВЛЯЮЩИХ УСТРОЙСТВ

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

Вопрос о вычислении пропускной способности управляющих устройств АТС, о влиянии их на эффективность использования коммутационной аппаратуры по мере усложнения УУ становится особенно актуальным. В теории телетрафика к расчетам УУ отно­ сятся исследования систем с ожиданием и приоритетами. На VI Международном конгрессе по телетрафику проблеме описания УУ было посвящено несколько секционных заседаний, в том числе 20 докладов по системам с ожиданием. Возможности этих методов хорошо изложены в обзорном докладе Башарина [11].

Укажем отдельные результаты. В докладе Фарбера ([211], фир­ ма Белл, США) сравниваются результаты простых (детермини­ стских) вычислений с результатами статистического моделирова­ ния и данными измерений на станциях ESS № 1 и № 2. В докладе Сузуки с соавторами ([287], фирма Ниппон, Япония) приведены данные моделирования электронной станции JDEX-2 с учетом осо­ бенностей ее математического обеспечения на вычислительной ма­ шине CDC-3600. Хакансон ('[215], Швеция) применял язык GPSSдля моделирования пропускной способности УУ станции А-210.

Эти работы имеют непосредственную связь с расчетами вычис­ лительных систем, работающих в реальном масштабе времени и допускающих несколько очередей ожидания с соответствующими приоритетами. Из потока работ в данном направлении укажем только отдельные: Липаев с соавторами [80, 97], Адири и Ицхак

[160], Найлсон [267], Лыос и Шедлер [253], Клон [250].

Неудобством традиционных методов, ориентированных на изу­ чение марковских процессов, описывающих работу УУ, является громоздкость систем уравнений стационарных вероятностей, что делает невозможным ни численное, ни, тем более, аналитическоеизучение. Одним из выходов является переход с приближенному описанию УУ детерминированными (нестохастическими) процеду­ рами. Например, Крускал [249] разрабатывает такой подход для описания работы УУ, применяемых в современных электронно­ управляемых АТС. В качестве примера он рассматривает ESS № 1, где в УУ возможны пять классов приоритетов. Требования хранят­ ся в пяти группах регистров, которые осматриваются с разной ча­ стотой (цикл имеет длину 30 шагов, за один цикл регистры отдель­ ных групп опрашиваются 15, 8, 4, 2 и 1 раз соответственно).

Г л а в а 10

Методы

оценки

 

моделирования

точности

результатов

и измерений

на

сети

На основе статистической обработки резуль­ татов моделирования или измерений нельзя

найти точное значение среднего значения измеряемой величины, а только интервал (так называемый довери­ тельный интервал), который с заданной доверительной вероятно­ стью «накрывает» среднее значение измеряемой величины. В связи с этим возникают две задачи математической статистики, приво­ дящие к выбору статистик с минимальной дисперсией: 1) выбор оценки среднего значения; 2) выбор оценки дисперсии (для пост­ роения доверительного интервала). Первой из указанных задач посвящена предыдущая глава. Для получения 'Оценок среднего значения е минимальной дисперсией в § 7.3 введены модифика­ ции оценок вероятности потерь с заменой некоторых случайных величин на их среднее значение. В гл. 9 показано, как можно уменьшить дисперсию оценок сочетанием результатов моделиро­ вания с вычислением по формулам. На примере применения фор­ мулы БЛБ произведен также расчет дисперсии оценки вероятно­ сти потерь, т. е. построен доверительный интервал. Это уже пере­ ход ко второй задаче.

В настоящей главе проведено дальнейшее исследование второй задачи, а именно, рассмотрены различные приемы построения до­ верительного интервала: 1) согласно критерию Стьюдента, в том числе с учетом линейной регрессии между оценками в отдельных реализациях; 2) на основе формулы переноса ошибок; 3) на основе оценки ковариационной функции. Даны соображения о выборе длины реализаций и об обработке результатов измерений на сети.

10.1. ПРИМЕНЕНИЕ КРИТЕРИЯ СТЬЮДЕНТА

1. Центральная предельная теорема для марковских процессов

Оценка точности результатов моделирования основана на применении центральной предельной теоремы, которая говорит о сходимости выборочных статистик к нормальному закону распре­ деления. Чаще всего при моделировании оценка точности произ­

182

водится по критерию Стыодента. Конечно, саму методику модели­ рования следует выбирать так, чтобы вычисленные статистики имели минимальную дисперсию.

Приведем формулировку центральной предельной теоремы для марковских процессов (см., например, Сираждинов [131]), на ос­ нове которой можно вычислить дисперсию оценки линейного функ­ ционала

0 )

.V£S

определенного над множеством 5 состояний х марковского процес­ са x (t). В нашем случае под я понимается вероятность потерь, т. е. fx совпадает с условной вероятностью потерь ■у(х).

Пусть дана оценка выражения (1) в виде

 

 

т

 

 

 

 

 

 

 

Я (Т )= -L ^ f[x {l)]d t,

 

 

 

 

 

(2)

 

 

о

 

 

 

 

 

 

 

где f[x(t)] в момент t совпадает с fX(t).

 

 

 

 

Теорема утверждает,

что величина я(Г) имеет предельное нор­

мальное распределение со средним значением я и дисперсией D/T,

точнее,

 

 

 

 

 

 

 

 

 

Мя(Г) =

л +

о(1);

 

 

 

 

 

(3>

 

 

 

 

 

 

 

 

 

(4)

где

 

 

 

 

 

 

 

 

 

D =

2

fp

 

 

 

 

 

 

 

a.Pes

 

 

 

 

 

 

 

 

^

= - P a PnR + Pa R^ + P&Ra ~ R ^

 

 

 

(5>

р

_

^ир/ар .

г> _р .

р _____ V 4

р

 

 

^■ар — .у

< ^ a ~ 2 j

^ ~ 2 j

 

 

 

 

 

^аа

PgS

 

a.PgS

 

 

 

aeS

 

 

 

 

 

 

 

Ааа — главный

минор

определителя

матрицы

интенсивностей

перехода процесса x(t), взятого со знаком минус,

т. е. |—А |, кото­

рый соответствует элементу

а аа; A ap/ap

главный

минор

(|S|—2)-го порядка определителя

(—А),

а=й=р; при а=|3 Лаа;аа =

= 0. Из соотношений (2) — (4) следует, что величина

 

( я ( Г ) - л ) У ^

 

 

 

 

 

(6)

в пределе при Г-»-оо подчиняется гауссовому раопределению

(нор­

мальному распределению со средним значением 0 и дисперсией 1

или, другими словами, с параметрами (0; 1)).

что п(Т ) имеет нор-

Рисунок 10.1 иллюстрирует утверждение,

, D .

мальное распределение с параметрами (я, —

).

183

Приведенные формулы показывают, что вычисление дисперсии оценки п(Т) является более сложной задачей, чем нахождение предельных вероятностей, что, конечно, уменьшает 'практическое

Рис. 10.1. Иллюстрация к центральной предельной теореме

значение ф-л (5). На их основе можно получить только результа­ ты для некоторых простых контрольных примеров. Такого рода контрольные примеры нами даны в [155]; можно также сослаться на таблицы Башарина [15], где приведены значения дисперсии оценки вероятности потерь по времени на полнодоступном пучке линий (в расчете на единицу времени).

2. Схема применения критерия Стьюдента

Центральная предельная теорема дает теоретическое обосно­ вание применению критерия Стьюдента. На рис. 10.2 схематически изображен подход к сбору данных при использовании критерия Стьюдента. Из реализации выбрасывается начальный отрезок дли-

Рис. 10.2. Обработка реализации процесса по схеме Стьюдента

184

ны То и отрезок длины t между реализациями. Получаем п неза­ висимых реализаций, каждая из которых имеет длину Т.

Ниже обсудим, как выбрать Т0, такое, чтобы процесс пришел в стационарное состояние, и / такое, чтобы отдельные реализации' можно было считать независимыми. Длительность реализации Т следует выбрать так, чтобы полученную оценку щ можно было

считать распределенной нормально с параметрами

(я, а2). Эти па­

раметры оцениваем выражениями:

 

 

П

 

 

i=i

(7>

 

 

и

У, (я* — я)2

 

(8).

S“ =

—------------

 

п—I

 

Тогда для истинного значения я доверительные границы можно представить в виде

я — зт -| -1 {п

1) —-4=- ,

(9)

— “

у п

 

где ta {п— 1) ■— коэффициент, определяемый ^-распределением (рас­ пределение Стыодента) при (п— 1)-й степени свободы и двусторон­ ней доверительной вероятности 1—2а. Смысл коэффициента t a. по­ ясняет рис. 10.3.

Рис. 10.4. Сравнение доверительных гра­ ниц распределении Стыодента и Гаусса

185

Детальное сравнение доверительных границ дано на рис. 10.4, откуда ясно видно влияние увеличения числа реализаций на до­ верительный интервал оценки.

3. Уменьшение доверительного интервала посредством линейной регрессии

Мы построили доверительный интервал (9) оценки л как ■среднего арифметического от п измерений яь ■■•, яп, предполагая, что при всех п измерениях интенсивность потока была равна од­ ному и тому же заданному значению X. В действительности X тоже претерпевает случайные колебания от измерения к измерению, и мы имеем п реализаций двумерной случайной величины (Xi, ki), (?.2, яг), ••., (Хп, яп). Учет колебаний Я, дает возможность полу­ чить более точные выводы о величине потерь. Во-первых, целесо­

образно считать, что полученная оценка я = — Бя* относится не к

п

заданному значению X, а к его оценке Я = — БЯ,-. Во-вторых, можно

п

воспользоваться предположением, что (Я*, т ) распределены по двумерному нормальному закону. Покажем, что это предположе­ ние уменьшает доверительный интервал.

Как известно, плотность распределения двумерной нормальной случайной величины имеет вид

У)

 

-ехр f--------- !—

( х - а у -

2 л ах ву 1' 1 — р2

 

 

1

2(1 — р*)

 

.(* - a )(0 - 6 ) +

ii

1

( 10)

0.1- 01/

 

I ’

 

где а, b — средние значения и ах, оу—-средние квадратичные от­ клонения обоих случайных величин соответственно, а р — их коэф­ фициент корреляции, определяемый в виде

М (ха) (у—Ь)

 

0д-Оу

 

 

 

Напомним,что в одномерном случае

 

 

1

ехр ( _

— а)2

 

/М = У 2л а

1

о2

 

где

 

 

 

 

а =

М х

 

ау

dx\

 

а2

 

 

 

 

а2 =

М {х — а)2.

 

 

(П)

( 12)

(13)

186

При пренебрежении случайным разбросом значений х дисперсия величины у равна ,а2у. Если же рассматривать условное распреде­ ление величины у при условии, что х = а, то с учетом (10)

 

]’(</ — b)2f( a,

y ) d y

 

 

D(ylx = a) = =^— --------------------

 

(14)

 

J / К

U ) d y

 

 

 

 

_оо

 

 

 

 

После подстановки (10) в (14),

интегрирования

и учета (11)

имеем

D{yjx = a) = {\— р2)а 2.

 

 

(15)

Так как — 1

1, то при

|р |> 0 всегда

 

 

D (у/х = а) <

о 2,

 

 

 

(16)

что и следовало доказать.

 

 

D(y/x = a) = 0,99 а2

Выигрыш зависит от величины р: при р= 0,1

(выигрыш мал),

а три р = 0,5

уже Z>(j//x= a) =0,75о2, что

равно­

сильно экономии 1/4 объема выборки при статистическом модели­ ровании. Покажем, как это соображение использовать на практике.

Под х

можно подразумевать X, а под у — величину я, тогда

а = К, Ь = л,

а вместо о2.,-, а2у и р2 выступают оценки:

. т Ь Е < * ■ -* *

1=1

 

5 ] (Яг-Я)*;

Р‘

(л — l)3s£ si

Геометрический смысл этих обозначений иллюстрирует рте. 10.5а. Эллипс ограничивает 95-процентную доверительную границу дву­ мерного нормального распределения; кривые/». /л и /яд=1 — это кривые одномерной нормальной 'плотности согласно (11), только первые две плотности безусловные, а третья/лд = х вычислена при

условии Х = Х, подобно тому, как она входит в (14). Регрессионная линия

я (А,) = л -)- р — —

(X X)

(17)

дает прямолинейную

аппроксимацию кривой вероятности

потерь

в окрестности точки Х=Х. В качестве величины 5лд = 1

при расче­

тах выступает величина

 

(л,- — я (Я,,-))2,

(18)

187

где

л (Я,-) — значения, определяемые ур-нпем

(17). Окончательно

доверительный интервал искомой оценки

 

 

л (^) = л + ta (п — 2)

(19)

где

t а (п—2 ) — коэффициент, определяемый

/-распределением

Стьюдента при п—2 степенях свободы и двусторонней доверитель­ ной вероятности 1—2а. Рисунок 10.56 иллюстрирует эту схему рас­ четов.

По данным Кюммерле (251], при моделировании систем телетрафика получается, что доверительный интервал (19) на 30%

Рис. 10.5. К влиянию корреляции на доверительный ин­ тервал оценки вероятности потерь:

а) схема, поясняющая математические обозначения; б) пример обработки данных

меньше того, который дает исходная формула согласно критерию Стьюдента (9), не учитывающая колебания и их корреляцию с я,- (это вполне реальная цифра при коэффициенте корреляции р >0,5).

188

10.2.ОЦЕНКА ДИСПЕРСИИ НА ОСНОВЕ ФОРМУЛЫ ПЕРЕНОСА ОШИБОК

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

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

Приведем выражение дисперсии согласно формуле переноса ошибок. Предположим, что моделируемая траектория состоит из N периодов случайной длины, каждый из которых начинается пере­ ходом в состояние v (все линии заняты) и кончается первым воз­ вращением в это же состояние. Итак, датш оценка вероятности

потерь:

 

ai +

 

n(N) = Oil +. . •+ ССV-

Р^

где а,-, р,-— случайные величины, определенные на t-м периоде мо­ делирования. Согласно формуле переноса ошибок

Д Л( А ) = ^ + о ( ^ г ) = N

a2 Sp — 2 а р cov (а, Р) + Р2

(а + Р)1

где

 

_1_ N

 

 

N

 

(«*£ — аГ-

 

 

N— 1

i=l

 

 

 

 

 

 

 

Величины

р и Sp

оцениваются аналогично:

 

N

 

 

 

cov (а, Р) =

д ^ - J ]

(а— а) ф,—Р).

 

i=i

 

 

 

В случае независимых ар, - ,

т. е. cov(a, р) = 0,

л ^ а2 4 + Р2 4

 

 

( 20)

( 21)

(а + Р)1

Выражение (20) может служить основой для построения довери-

/ \

d

тельного интервала оценки л {N) в виде л (N )'±C~^, где С — дове-

189

Соседние файлы в папке книги из ГПНТБ