РАЗЛИЧНЫЕ ПОДХОДЫ К МОДЕЛИРОВАНИЮ ПЕРЕДАЧИ ДАННЫХ ОДНОЙ СТАНЦИЕЙ В СЕТИ WI-FI Текст научной статьи по специальности «Компьютерные и информационные науки»

DOI: https://doi.org/10.23670/IRJ.2021.108.6.010

РАЗЛИЧНЫЕ ПОДХОДЫ К МОДЕЛИРОВАНИЮ ПЕРЕДАЧИ ДАННЫХ ОДНОЙ СТАНЦИЕЙ

В СЕТИ WI-FI

Научная статья

Глушаков В.Е.* ORCID: 0000-0002-4235-2931, Воронежский государственный университет, Воронеж, Россия

* Корреспондирующий автор (vitalikgl[at]gmail.com)

Аннотация

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

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

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

Ключевые слова: Wi-Fi, CSMA/CA, WLAN, MAC, моделирование передачи данных, задержка, помехи, пропускная способность, протокол доступа к среде передачи.

VARIOUS APPROACHES TO SIMULATING SINGLE STATION DATA TRANSMISSION

WITHIN A WI-FI NETWORK

Research article

Glushakov V.E.*

ORCID: 0000-0002-4235-2931, Voronezh State University, Voronezh, Russia

* Corresponding author (vitalikgl[at]gmail.com)

Abstract

The article discusses various mathematical models of the transmission of a single packet by a single station within a Wi-Fi network that allows for determining the possible delivery time when changing parameters such as the delay time, the failure rate, the rate of sending packets, the data transfer rate, etc.

The packet exchange process is considered to be a homogeneous Markov process with discrete states and continuous time. To find the limit probabilities of the states of the system and the law of distribution of the time of information transmission for each of the models, the study constructs a marked state graph and the corresponding system of Kolmogorov equations while also carrying out a comparative analysis between the model results and with the data of the practical experiment.

The results obtained in the article can be useful both in the design of wireless sections of a distributed information processing network and in their modernization.

Keywords: Wi-Fi, CSMA/CA, WLAN, MAC, data transfer simulation, delay, interference, bandwidth, transmission medium access protocol.

Введение

Тенденция развития информационных технологий требует обработки возрастающего объёма информации. Для этого всё чаще применяют распределённые системы обработки данных с использованием беспроводных сетевых технологий. Однако их использование ограничено в настоящее время из-за временных задержек в сети и потери пакетов. Для расчёта параметров функционирования таких систем необходима разработка математических моделей, позволяющих учитывать эти факторы при проектировании систем для оптимизации времени доставки информации.

Построению таких моделей посвящены работы [1], [5], но сравнительного анализа этих моделей и соотнесения с экспериментальными данными не было.

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

Принципы исследования

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

Данные модели были построены для стандарта 802.11, использующего метод множественного доступа с контролем несущей и предотвращением коллизий (CSMA/CA) [6, C. 13-14].

Последовательность обмена пакетами (для стандарта 802.11а) между передающей и принимающей станциями в случае успешной и неудачной передачи одного пакета (фрагмента) с первой попытки представлена на рисунках 1 и 2 соответственно [7, С 17].

Busy Medium DIFS <-> ^Backoff Fragment

<-> SIFS ACK

Рис. 1 - Удачная передача одного пакета

Рис. 2 - Неудачная передача одного пакета с первой попытки

Заметим, что задержка при передаче информации может быть только во время передачи фрагмента и пакета ACK.

Для успешной передачи нескольких пакетов с целью повышения эффективности передачи данных используется режим Bursting [8], [9], при котором происходит увеличение пропускной способности за счет удаления части временных затрат. В этом случае последовательность отправки одним сетевым устройством n пакетов имеет вид, представленный на рисунке 3 [9, C. 80].

Рис. 3 - Отправка n пакетов в режиме Bursting Рассмотрим теперь все пять моделей.

Модель 1 - неудачная отправка одного пакета с первой попытки

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

Рис. 4 - Граф состояний для неудачной отправки одного пакета с первой попытки

Опишем приведенные на рисунке 4 состояния:

• p - начальное состояние (нет пакетов),

• p - генерация пакета передающей станцией,

• p - передающая станция ждет время DIFS+Backoff Time_1, передает один пакет (фрагмент) c возможной задержкой, ждет установленный промежуток времени ACK Timeout,

• p - станция ждет время Backoff Time_2, повторно передает пакет с возможной задержкой,

• p - станция ждет время SIFS, принимающая станция отправляет пакет подтверждения ACK с возможной задержкой.

Здесь ^ пакетов/с - интенсивность передачи информации передающей станцией, Xt - интенсивность передачи информации, Xt = 1/ tj (i = 2,3,4) ,

t2 = tDIFS + tBACKOFF_1 + tFRAGMENT + tACK _Timeout + tзадержки , t3 = tBACKOFF_2 + tFRAGMENT + tзадержки ,

t4 = tSIFS + tACK + tзадержки .

Модель 2 - возможная неудачная отправка одного пакета с первой попытки (1 вариант)

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

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

Рис. 5 - Граф состояний для возможной неудачной передачи одного пакета одной станцией (1 вариант)

Опишем представленные на рисунке 5 состояния:

• p0 - начальное состояние (нет пакетов для отправки),

• pi - генерация пакетов передающей станцией,

• p2 - пауза 1 (передающая станция ждет время DIFS+Backoff Time_1),

• p3 - отправка пакета с возможной задержкой,

• p4 - неудачная передача части пакетов,

• p5 - пауза 2 (передающая станция ждет время ACK_Timeout),

• p6 - пауза 3 (передающая станция ждет время Backoff Time_2),

• p - успешная передача пакетов с задержкой, станция ждет время SIFS,

• p8 - принимающая станция передает пакет подтверждения ACK с возможной задержкой.

Здесь \ пакетов/с - интенсивность передачи информации передающей станцией, ^ = k ■ \ , где k -коэффициент неудачной отправки (часть от отправленных пакетов), Л( - интенсивность передачи информации,

Äj =1/ tj (i - 3,.. .,8) , t3 — tDIFS + tBACKOFF_ 1 - — ^FRAGMENT + ^задержки ' ¡5 ~ ^ACK Timeout' ~~ ^BACKOFF_2 '

17 = tsifs , t8 = tACK + tзадержки .

Модель 3 - возможная неудачная передача одного пакета с первой попытки (2 вариант)

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

Рис. 6 - Граф состояний для возможной неудачной передачи одного фрагмента одной станцией

с задержкой (2 вариант)

Опишем представленные на рисунке 6 состояния: Р - начальное состояние (нет пакетов для отправки), pl - генерация пакетов передающей станцией,

Р - пауза 1 (передающая станция ждет время DIFS+Backoff Time_1), Р - отправка пакета с возможной задержкой, Р - неудачная передача части пакетов с первого раза,

Р - пауза 2 (передающая станция ждет время ACKTimeout+Backoff Time_2), Р - успешная передача "неудачных" пакетов с возможной задержкой, Р1 - передающая станция ждет время SIFS,

Р - принимающая станция передает пакет подтверждения ACK с возможной задержкой. Здесь Д пакетов/с - интенсивность передачи информации передающей станцией, Д = к ■ Д , где к -коэффициент неудачной отправки (часть от отправленных пакетов), Д - интенсивность передачи информации,

(г'-3,...,8) - t3 —tDIFS + tBACKOFF' 14 ~ ¿FR4GMENT ^задержки ' h ^ACK _Timeout ^BACKOFF_2 '

16 = 1-SIFS ' = ^ACK + ^задержки ■

Модель 4 - циклическая удачная передача одного пакета

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

Рис. 7 - Граф состояний для циклической удачной передачи одного фрагмента одной станцией с задержкой

Опишем представленные на рисунке 7 состояния:

• Р0 - начальное состояние (нет пакетов для отправки),

• Р1 - генерация пакетов передающей станцией,

• Р - пауза 1 (станция ждет время DIFS+ Backoff Time),

• Р - отправка пакета с возможной задержкой,

• - пауза 2 (станция ждет время SIFS),

• - принимающая станция передает пакет подтверждения ACK с возможной задержкой.

Здесь ^ пакетов/с - интенсивность передачи информации передающей станцией, - интенсивность передачи

информации. Л- =1/1- (/ = 2,..., 6)

t2 tDIFS ^ tBACKOFF

t3 tFRAGMENT

t

задержки

t4 tSIFS

t5 tACK ^ tSIFS ^ tзадержки , t6 tACK ^ tзадержки .

Модель 5 - последовательная удачная передача и пакетов

Для успешной передачи последовательно n пакетов используется режим Bursting. В этом случае последовательность отправки одним сетевым устройством n пакетов имеет вид, представленный на рисунке 3. Соответствующий размеченный граф изображен на рисунке 8.

Рис. 8 - Граф состояний для последовательной передачи n пакетов в режиме Bursting

Из схемы на рисунке 3 видно, что на каждый отправленный пакет (фрагмент) с задержкой приходятся 2 паузы SIFS и 1 пакет ACK с задержкой.

Опишем представленные на рисунке 8 состояния:

• p0 - начальное состояние (нет пакетов для отправки),

• - генерация пакетов передающей станцией,

• p2 - пауза 1 (станция ждет время DIFS+ Backoff Time),

• p3 - отправка n пакетов с возможной задержкой, передающая станция ждет время 2n SIFS, принимающая станция передает n пакетов подтверждения ACK с возможной задержкой.

Здесь Д пакетов/с - интенсивность передачи информации передающей станцией, Д - интенсивность передачи

шформац™, Д = 1 / t i (i = 2,3) , t2 = tdifs + tbackoff , t3 =n '(2 ' tSIFS + tFRAGMENT + tACK + 2 ' tзадержки ) .

Метод решения

Для нахождения предельных вероятностей состояний системы и закона распределения времени передачи информации строится система уравнений Колмогорова. Для модели 1 она имеет следующий вид [10, C. 133-134]:

dPo dt

dj- = \p 0 Д2Р1' dt

dp2 dt

dp3 dt dp4 dt

= ^2pi 2'

= hp2 -\p3'

= Д4 p3 •

Начальные условия -

|>o(0)=l,

[p,(0) = 0 0 = 1,-.-, 4).

Для данной модели плотность распределения вероятностей времени доставки одного пакета передающей станцией будет определяться формулой [10, С 175]:

<

F(t) = Л4p3(t).

Для остальных моделей системы уравнений Колмогорова строятся аналогично. Основные результаты и их обсуждение

При решении всех систем дифференциальных уравнений использовались значения параметров из стандарта IEEE

802.11а: tSLOT_TIMER = 9 мкс, tSIFS = 16 МКс tDIFS = tSIFS + 2tSLOT_TIMER = 34 МКс, tACK_Timeout = 100 мкс, размер

фрейма ACK - 14 байт, размер передаваемых пакетов (фреймов) FRAGMENTJ - 700 байт. Для моделей 1-3 t^ttoff i = d ' tslot timer ( dt - случайная величина таймера отката), причем dt = 1 (i = 1,2) в случае минимальных временных затрат и d = 31 , d2 = 63 - в случае максимальных. Для моделей 4-5 tbackoff = d • tSLOT timer , где d = 1 в случае минимальных временных затрат и d = 31 - в случае максимальных. Коэффициент неудачной отправки (для моделей 2-3) k = 0,1%. Скорость передачи данных K - 100 Мбит/с. Решение системы находилось численно на отрезке [0;0.04] с числом отрезков разбиения N = 2000. Время задержки t3a^ ш принимает значения 0 мкс и 125 мкс. Интенсивность передачи информации ^ - 200, 400, 600, 800 и 1000 пакетов/c (п/c).

Для численного решения применялся программный математический пакет Maple 13 и метод Рунге-Кутта-Фелберга 4-5 порядков.

Для проверки результатов моделирования в одной из подвальных лабораторий Воронежского госуниверситета были проведены измерения реальной скорости передачи пакетов. Компьютер был соединен сетевым проводом Ethernet с двухдиапазонным Wi-Fi роутером Tp-Link Archer C20 AC750 (частота 5 ГГц), ноутбук - с помощью Wi-Fi. Захват трафика производился на ноутбуке с помощью программы EtheRGen. Устройства находились на расстоянии 3 м в одной лаборатории в метре от земли.

Так как к сети Wi-Fi был подключен только один клиент (компьютер), задержки можем считать минимальными. В таблице 1 указаны ожидаемое время получения пакетов для первых 4-х моделей и реальное время при разной

загрузке канала. Первое значение - минимальное, для d{ ,2 = 1 (модели 1-3) и d = 1 (модель 4), t3adepoiCKM = 0, второе -максимальное, для d = 31, d2 = 63 (модели 1-3) и d = 31 (модель 4), t3adep3KKM = 125 . Очевидно, что для одной пары

клиент-сервер ни одна из моделей 1-4 не подходит, хотя при большой загрузке сети (1000 п/с) экспериментальные данные приближаются к модельным, особенно для 2-3 моделей.

Таблица 1 - Реальное и ожидаемое время получения пакета для моделей 1-4

Скорость передачи информации

200 п/c 400 п/c 600 п/c 800 п/c 1000 п/с

Эксперимент 0,000465223 0,000484871 0,000465223 0,000473366 0,000459202 0,000489319 0,000782919 0,000784406 0,000820112 0,000849802

1 модель 0,005259940,00645821 0,002775870,00397887 0,001942550,00314554 0,001525880,00272887 0,001275880,00247888

2 модель 0,005098040,00561630 0,002613450,00313345 0,001780120,00230012 0,001363460,00188346 0,001113460,00163346

3 модель 0,005098050,00561632 0,002613470,00313347 0,001780140,00230015 0,001363470,00188348 0,001113470,00163349

4 модель 0,005102390,00578818 0,002617800,00330598 0,001784480,00247265 0,001367820,00205599 0,001117820,00180599

Если же проводить сравнительный анализ этих моделей между собой, то видно, что результаты численного эксперимента для 2-й и 3-й моделей практически совпадают, хотя у 3-й незначительно выше. Самые большие значения получились для 1 -й модели, что объясняется большими временными затратами. Наиболее неудачной из этих моделей является 4-я, у которой, несмотря на отсутствие повторной отправки пакета, временные затраты, хотя и меньше, чем у 1-й (что объяснимо), но больше 2-й и 3-й.

Для 5-й модели были получены грубые оценки определения времени доставки пакета: результаты численного эксперимента для последовательной отправки п пакетов были разделены на п. Полученные значения при разной загрузке сети приведены в таблице 2.

Таблица 2 - Реальное и ожидаемое время получения пакета для модели 5

Скорость Эксперимент Модель 5

(пакетов/c) число пакетов n d ожидаемое время

200 0,0004843563 13 1 0,000472889

0,0004848711 31 0,000493571

400 0,000465223 7 1 0,000449759

0,000473366 31 0,000488329

600 0,000459202 5 1 0,000428407

0,000489319 31 0,000482406

Окончание таблицы 2 - Реальное и ожидаемое время получения пакета для модели 5

Скорость Эксперимент Модель 5

(пакетов/c) число пакетов n d ожидаемое время

800 0,00078292 2 1 0,000732974

0,000784407 31 0,000867972

2 1 0,000607974

1000 0,000820112 31 0,000742974

0,000849802 1 1 0,001129474

31 0,001379474

Таким образом, для одной пары клиент-сервер отправка пакетов осуществляется в режиме Bursting, причем (что ожидаемо), с увеличением загрузки канала число пакетов уменьшается.

Заключение

Из анализа получившихся результатов видно, что для одной пары клиент-сервер передача пакетов при малой загрузке канала осуществляется в режиме Bursting, а при большой - приближается к результатам для моделей 2-3, что может говорить о том, что при изменении загрузки каналов происходит изменение режимов передачи данных.

Этот аспект требует более детальной проработки.

Результаты данной статьи могут представлять интерес при проектировании и модернизации сети Wi-Fi.

Конфликт интересов Conflict of Interest

Не указан. None declared.

Список литературы / Reference

1. Глушаков В. Е. Исследование подходов к моделированию передачи данных в беспроводных сетях / В. Е. Глушаков // Научный журнал «Globus» : ХХХ Международная научно-практическая конференция «Достижения и проблемы современной науки» (Санкт-Петербург, 4 мая 2018 г.). - Санкт-Петербург, 2018. - Ч. 1. - С. 48-55.

2. Глушаков В. Е. Исследование зависимости времени доставки информации от числа фрагментов / В. Е. Глушаков // Информационные технологии моделирования и управления. Международный научно-технический журнал. -Воронеж : Научная книга, 2020. - № 2 (120). - С. 130-138.

3. Глушаков В. Е. Исследование модели неудачной передачи информации / В. Е. Глушаков // Современная наука: проблемы, идеи, тенденции : материалы Международной научно-практической конференции 23 июня 2020 года (г. Нефтекамск, Башкортостан). - Нефтекамск : Научно-издательский центр «Мир науки», 2020. - С. 46-53.

4. Глушаков В. Е. Численное моделирование повышения производительности передачи данных в беспроводных сетях / В. Е. Глушаков // Научный альманах. - 2020. - № 4-1 (66). - С. 19-25.

5. Глушаков В. Е. Исследование модели возможной неудачной передачи одного пакета с задержкой в сети Wi-Fi / В. Е. Глушаков // Международный научно-исследовательский журнал. - 2021. - № 5-1(107). - С. 61-66.

6. Платунова С. М. Архитектура и технические средства корпоративной сети на базе беспроводного оборудования WI-FI фирмы ZyXEL : учеб. пособие / С. М. Платунова. - Санкт-Петербург : ИТМО, 2014. - 61 с.

7. Раздел 7. Локальные беспроводные сети WiFi. Лекции по стандартам. - [Электронный ресурс]. URL: http://docplayer.ru/33818454-Razdel-7-lokalnye-besprovodnye-seti-wifi-lekcii-po-standartam.html (дата обращения: 3.03.18).

8. Методы увеличения производительности в беспроводных сетях Wi-Fi, часть первая: Bursting, Compression, Fast Frames, Concatenation. - [Электронный ресурс]. URL: https://www.ixbt.com/comm/tech-80211g-super_1.shtml (дата обращения: 20.04.2020).

9. Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications. - ANSI/IEEE Std 802.11, 1999 Edition. - 512 p. - [Electronic resource]. URL: https://www.wardriving.ch/hpneu/info/doku/802.11-1999.pdf (accessed: 20.04.2020).

10. Вентцель, Е.С. Теория случайных процессов и ее инженерные приложения : учеб. пособие для втузов / Е. С. Вентцель, Л. А. Овчаров. - 2-е изд., стер. - Москва : Высшая школа, 2000. - 383 с.

Список литературы на английском языке / References in English

1. Glushakov V. E. Issledovanie podhodov k modelirovaniju peredachi dannyh v besprovodnyh setjah [Study of approaches to modeling data transmission in wireless networks] / V. E. Glushakov // Nauchnyj zhurnal «Globus» : XXX Mezhdunarodnaja nauchno-prakticheskaja konferencija «Dostizhenija i problemy sovremennoj nauki» (Sankt-Peterburg, 4 maja 2018 g.) [Scientific journal "Globus" : XXX International Scientific and Practical Conference "Achievements and Problems of Modern Science" (St. Petersburg, May 4, 2018)]. - Sankt-Peterburg, 2018. - Part 1. - pp. 48-55. [in Russian]

2. Glushakov V. E. Issledovanie zavisimosti vremeni dostavki informacii ot chisla fragmentov [Research on the dependence of information delivery time on the number of fragments] / V. E. Glushakov // Informacionnye tehnologii modelirovanija i upravlenija. Mezhdunarodnyj nauchno-tehnicheskij zhurnal [Information technologies of modeling and management. International Scientific and Technical Journal]. - Voronezh : Nauchnaja kniga, 2020. - № 2 (120). - pp. 130-138. [in Russian]

3. Glushakov V. E. Issledovanie modeli neudachnoj peredachi informacii [Study of the model of unsuccessful transmission of information] / V. E. Glushakov // Sovremennaja nauka: problemy, idei, tendencii : materialy Mezhdunarodnoj nauchno-prakticheskoj konferencii 23 ijunja 2020 goda (g. Neftekamsk, Bashkortostan) [Modern science: problems, ideas, trends: materials of the International Scientific and Practical Conference on June 23, 2020 (Neftekamsk, Bashkortostan)]. - Neftekamsk : Mir nauki, 2020. - pp. 46-53. [in Russian]

4. Glushakov V. E. Chislennoe modelirovanie povyshenija proizvoditel'nosti peredachi dannyh v besprovodnyh setjah [Numerical modeling of increasing the performance of data transmission in wireless networks] / V. E. Glushakov // Nauchnyj al'manah [Scientific Almanac]. - 2020. - № 4-1 (66). - pp. 19-25. [in Russian]

5. Glushakov V. E. Issledovanie modeli vozmozhnoj neudachnoj peredachi odnogo paketa s zaderzhkoj v seti Wi-Fi [Study of the model of possible unsuccessful transmission of one packet with a delay in the Wi-Fi network] / V. E. Glushakov // Mezhdunarodnyj nauchno-issledovatel'skij zhurnal [International research journal]. - 2021. - № 5-1(107) . - P. 61-66. [in Russian]

6. Platunova S. M. Arhitektura i tehnicheskie sredstva korporativnoj seti na baze besprovodnogo oborudovanija WI-FI firmy ZyXEL : ucheb. posobie [Architecture and technical means of the corporate network based on wireless WI-FI equipment of the company ZyXEL: textbook] / S. M. Platunova. - Sankt-Peterburg : ITMO, 2014. - 61 p. [in Russian]

7. Razdel 7. Lokal'nye besprovodnye seti WiFi. Lekcii po standartam [Section 7. Local Wireless Networks WiFi. Lectures on standards]. - [Electronic resource]. URL: http://docplayer.ru/33818454-Razdel-7-lokalnye-besprovodnye-seti-wifi-lekcii-po-standartam.html (accessed: 3.03.18). [in Russian]

8. Metody uvelichenija proizvoditel'nosti v besprovodnyh setjah Wi-Fi, chast' pervaja: Bursting, Compression, Fast Frames, Concatenation [Methods for increasing performance in wireless Wi-Fi networks, part one: Bursting, Compression, Fast Frames, Concatenation]. - [Electronic resource]. URL: https://www.ixbt.com/comm/tech-80211g-super_1.shtml (accessed: 20.04.2020). [in Russian]

9. Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications. - ANSI/IEEE Std 802.11, 1999 Edition. - 512 p. - [Electronic resource]. URL: https://www.wardriving.ch/hpneu/info/doku/802.11-1999.pdf (accessed: 20.04.2020).

10. Ventcel' E. S. Teorija sluchajnyh processov i ee inzhenernye prilozhenija : uchebnoe posobie dlja vtuzov [The theory of random processes and its engineering applications : a textbook for knots] / E. S. Ventcel', L. A. Ovcharov. - Moscow : Vysshaja shkola, 2000. - 383 p. [in Russian]