CC BY
91
УДК 0004.7 Дата подачи статьи: 08.06.18
Б01: 10.15827/0236-235Х.031.4.710-714 2018. Т. 31. № 4. С. 710-714
Разработка модифицированного алгоритма
случайного множественного доступа с возможностью погашения, интерференции
С.А. Жежера 1, аспирант, ii.sgegera@gmail.com
1 Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики (Университет ИТМО), г. Санкт-Петербург, 197101, Россия
Предметом исследования являются пропускная способность и надежность беспроводных сетей в системах множественного случайного доступа. В системе множественного доступа передача данных основана на соперничестве станций за общую среду передачи, при этом каждый узел, не имеющий задолженности, передает пакет, рискуя попасть в случайные конфликты.
Статья посвящена новому решению, основанному на совместной работе алгоритма с процедурой погашения интерференции, когда базовая станция в состоянии осуществить вычитание абонентского сигнала из ранее принятого сигнала, чтобы восстановить остаточный сигнал для повышения надежности беспроводных сетей с пульсирующим трафиком.
Модифицированный алгоритм основан на идее поиска в множестве принятых сигналов ортогонального подмножества, позволяющего одновременно извлечь все множество конфликтных сигналов. Алгоритм использует полный перебор и потому обладает значительной вычислительной сложностью.
В результате исследований выявлено, что при использовании процедуры погашения интерференции происходит ускорение процесса разрешения конфликта. Для этого необходимо хранить абонентские сигналы в специальных дополнительных ячейках памяти. При модификации алгоритма множественного доступа в исходящий сигнал от каждого абонента добавляется служебная информация о предыдущих попытках передать сигнал.
Исключительное право использования процедуры погашения интерференции позволяет снизить вероятность возникновения конфликтов и таким образом увеличить качество передачи данных. В статье исследована возможность повышения эффективности случайного множественного доступа с погашением интерференции. Предлагается использовать модифицированный алгоритм из семейства ALOHA с возможностью погашения интерференции в сетях с использованием пуассоновского входного потока.
Ключевые слова: алгоритм случайного множественного доступа, интерференция, алгоритм доступа к каналу, алгоритм разрешения конфликта, случайный множественный доступ, период разрешения конфликта, беспроводные сети.
В современных инфокоммуникационных системах и сетях обеспечение высокой надежности [1, 2], отказоустойчивости, безопасности и производительности при минимизации задержек передачи данных в значительной мере зависит от организации метода множественного доступа [3, 4].
Как объект исследований централизованные системы передачи данных состоят из абонентских станций и базовой станции, обслуживающей абонентские станции. Передача данных между ними происходит по восходящему и нисходящему каналам. Восходящий канал предназначен для передачи от абонентской станции до базовой, при этом абонентские станции друг друга «не слышат». Взаимодействие между ними осуществляется через базовую станцию. Передача данных от базовой станции к абонентской осуществляется по нисходящему каналу, причем в широковещательном режиме, поэтому все абонентские станции ее «слышат».
В системах множественного доступа передача данных основана на соперничестве станций за общую среду передачи, при этом каждый узел, не имеющий задолженности, передает пакет, рискуя попасть в случайные конфликты [5]. По данным исследований [6], в существующих системах множе-
ственного доступа с применением алгоритма ALOHA имеется проблема низкой пропускной способности и низкой надежности. Алгоритм случайного множественного доступа (СМД) решает задачи доступа к каналу и разрешения конфликтов. В широко распространенных алгоритмах семейства ALOHA (двоичная экспоненциальная отсрочка, множественный доступ с прослушиванием, тактированная ALOHA) алгоритм разрешения отсутствует [7]. Для алгоритмов семейства ALOHA характерна простота реализации, но отмечается низкая пропускная способность канала. В модели СМД централизованных сетей рассматривается только конкурентный интервал. В зависимости от сложившейся ситуации в канале передачи в определенном промежутке времени возможны три ситуации в слотах - успех, пусто, конфликт [8].
Доказано, что использование древовидных алгоритмов показывает хорошую производительность по сравнению с алгоритмами семейства ALOHA [7] за счет того, что древовидные алгоритмы включают в себя, кроме алгоритма доступа к каналу, и алгоритмы разрешения конфликтов. Недостаток древовидных алгоритмов - сложная вычислительная реализация [9].
В данной работе предлагается модифицированный алгоритм с погашением интерференции, который предусматривает использование дополнительных ячеек памяти и пропуск конфликтных сигналов в нижних окнах. Он основан на идее поиска в множестве принятых сигналов ортогонального подмножества, позволяющего одновременно извлечь все множество конфликтных сигналов. Алгоритм использует полный перебор и потому обладает значительной вычислительной сложностью, в силу этого требуется оценить границу для пропускной способности системы при использовании предложенного модифицированного древовидного алгоритма.
Описание алгоритма
Предлагается модифицированный алгоритм из семейства ЛЬОИЛ. Его анализ основан на следующих известных предположениях, описывающих модель множественного доступа с последовательным подавлением помех.
1. Канал разделен на временные интервалы фиксированной длины. Каждому пользователю разрешается начинать передачу в начале временного интервала. Все пакеты имеют одинаковую длину, равную одному временному интервалу.
2. Безошибочный прием сигнала: слот принимается либо как пустой, успешный, либо как слот-конфликт в зависимости от количества передаваемых пакетов: ноль, один или несколько.
3. Существует бесконечный набор пользователей, генерирующих пакеты в соответствии с процессом Пуассона (где каждый пакет соответствует новому пользователю).
4. Безошибочный ответ. В конце каждого окна базовая станция передает статус конфликта: либо успех (конфликт разрешен успешно), либо нет.
Основная идея предлагаемой модификации состоит в следующем: при разрешении конфликта некоторой кратности N осуществляется поиск подмножества из N линейно независимых сигналов, переданных в процессе разрешения данного конфликта. В этом отношении существует некоторое сходство с алгоритмами беспроводного множественного доступа, введенными в [10-12]. Эти алгоритмы способны разрешать конфликт пользователей K с помощью методов разделения источников. Более конкретно: каждый из пользователей K повторно передает свой пакет в каждом последующем слоте, пока базовая станция не объявит о завершении текущего периода разрешения конфликта.
Основное отличие предлагаемой модификации алгоритма заключается в том, что пакеты декодируются с использованием абстрактной концепции вычитания/сложения сигнала, и предполагается, что множественность конфликта не может быть об-
наружена. Более того, каждое сообщение-участник конфликта покидает систему в самом его конце. В древовидных алгоритмах сообщения покидают систему по мере разрешения конфликта, а не только в самом конце.
При модификации алгоритма множественного доступа в исходящий сигнал от каждого абонента добавляется служебная информация о предыдущих попытках передать сигнал.
Каждый конфликтный период представляет собой кадр, содержащий M слотов равной продолжительности, где M фиксировано, и набор из N пользователей для связи с базовой станцией (BS), которая действует как общий приемник. В начале конфликта каждый пользователь самостоятельно генерирует пакет, который должен быть передан с вероятностью pa, где pa < 1. Число активных пользователей в конфликтном периоде Na является случайной распределенной величиной со средним значением Na = pa N.
Время, прошедшее от начального столкновения до момента, когда пакеты были успешно переданы, называется периодом разрешения конфликтов (CRP). Таким образом, когда используется режим заблокированного доступа, новые поступления блокируются до тех пор, пока не закончится CRP, в течение которого они прибыли. Блокируемые поступления будут участвовать в следующем CRP.
Такое поведение повторяется для каждого из последующих слотов, пока приемник не получит сообщение SUCCESS, воспринимаемое как обратная связь, указывающая, что все пакеты успешно декодированы, а значит, завершен CRP. Для N больших это правило часто приводит к последовательности столкновений, так как вероятность успешной передачи (или пустого окна) уменьшается экспоненциально с ростом N.
Существует одно исключение из этого правила передачи: в начале каждого CRP пользователи обязаны передавать свой пакет со служебной информацией о предыдущих попытках передать сигнал. Важнейшей причиной этого правила является то, что нужно определить, были ли все пакеты, участвующие в текущем CRP, декодированы из переданных сигналов. Иначе невозможно установить всех участников конфликта и, соответственно, определить его завершение.
Пусть в текущем конфликте участвуют N абонентов (кратность конфликта N заранее неизвестна). Установим в соответствие si-му сигналу, принятому базовой станцией, бинарный вектор-столбец si Е {1, 0}N. Единица на позиции j вектора-столбца Si означает, что в окне i абонент/' осуществлял передачу. Таким образом, so - это вектор из N единиц, так как в первом окне конфликта все участвующие абоненты осуществляют передачу. Если некоторый вектор-столбец Si содержит ровно одну единицу на позиции j, то абонент j осуществил успешную передачу сигнала.
Предположим, что с начала процедуры разрешения конфликта было передано т > N сигналов, а также, что N из этих т сигналов соответствуют множеству линейно независимых вектор-столбцов 5,1 ,..., SiN, где 1 = /1 < /1< ... < iN = т. Пусть Месть N х N - матрица, составленная из вектор-столбцов 5,1, ..., 5т (к-й столбец которой есть вектор-столбец 5к). М состоит из линейно независимых столбцов, следовательно, обратима.
Предположим теперь, что известны кратность конфликта N, набор индексов /1, ..., хыл и соответствующая им матрица М. В случае, если М-1 содержит только целые числа, можно восстановить исходные сигналы, решив систему уравнений 5 = хМ относительно х или х= 5М-1, где 5 - это множество принятых на базовой станции сигналов в окнах /1, ...,
В качестве примера проанализируем определенный конфликт кратности N = 5. Введем в рассмотрение сигналы от четырех абонентов 5 = (А, В, С, Б, Е). Пусть в первом, втором, третьем, четвертом и пятом окнах получены следующие смеси сигналов: 5,1= А + В + С + Б + Е, 5,2 = А + С, = А + + В, = Б, 5/5 = Е. Описанная ситуация схематично изображена на рисунке. Восстановление сигналов (А, В, С, Б, Е) эквивалентно нахождению решения системы уравнений:
5 = А + В + С + П + Е, 52 = А + С, = А + В, 5 4 = П, 5 4 = Е.
Соответствующая матрица М и ее обратная матрица М-1 следующие:
M :
1 1 1 1 1 -1 1 1 1 1
1 0 1 0 0 1 -1 0 -1 -1
1 1 0 0 0 > M-1 = 1 0 -1 -1 -1
0 0 0 1 0 0 0 0 1 0
0 0 0 0 1 0 0 0 0 1
Так, можно получить А как - 5 /1+ 5/2 + 5/3 + + + 5,5 = - А - В - С - Б - Е + А + С + А + В + Б + Е = = А. Иными словами, вектор-столбцы Мл обеспечивают базовую станцию необходимыми коэффициентами и операциями для процедуры погашения интерференции.
В общем случае коэффициенты в матрице М-1 могут быть любыми рациональными числами. Если умножим каждый элемент матрицы на ее определитель, получим целые коэффициенты. В этом случае решением системы уравнений будут помноженные на определитель матрицы (целое число для двоичной матрицы) исходные абонентские сигналы. Согласно допущениям алгоритма, базовая станция в состоянии корректно декодировать сигнал аБ, где а целое. Положив а = ¡М-11 для каждого сигнала, базовая станция, таким образом, окажется в состоянии восстановить каждый принятый сигнал.
Задача нахождения неизвестных N, ,1, ..., ,п, иМ решается с помощью полного перебора по всем возможным вариантам этих значений при приеме каждого очередного сигнала. Перебирая все возможные обратимые бинарные матрицы М и решая х = 5 М| М-1, базовая станция проверяет, соответствует ли х множеству успешно переданных сигналов, и при обнаружении соответствия посылает уведомление об успешном разрешении конфликта.
Можно показать, что подобная процедура позволяет установить множество переданных сигналов с точностью до перестановки.
Время разрешения конфликта Ьы в предложенном алгоритме равняется среднему количеству попыток, требуемых для получения N линейно независимых векторов [10]. Среднее время разрешения конфликта прямо пропорционально его кратности:
Ln < 1 +
lim
ik-n n + 1-1 , k=i 1 2 j=i 2
N-1
= Eb = 1.606695...
N ^
При N, стремящемся к бесконечности, второе слагаемое предыдущего уравнения сходится к константе 1 • 606695. Таким образом, количество окон, необходимых для восстановления конфликтных сигналов, линейно зависит от количества этих сигналов: lim Ln = N + c, пропускная способность
N
для данного алгоритма равна Rc = lim — = 1.
n^x LM
Заключение
В работе предложен алгоритм множественного доступа для канала с погашением интерференции. Основная идея подхода состоит в том, чтобы разрешить конфликт некоторой кратности N, собирая достаточные (> N линейные комбинации этих N
пакетов, так что, эти N отдельных пакетов могут быть извлечены путем идентификации подмножества из N линейных независимых сигналов. Основное отличие данной работы в том, что от каждого абонента происходит добавление в исходящий сигнал служебной информации о предыдущих попытках передать сигнал. Кроме того, пакеты декодируются с использованием абстрактной концепции вычитания/сложения сигнала. Более того, каждое сообщение-участник конфликта покидает систему в самом его конце. В древовидных алгоритмах сообщения покидают систему по мере разрешения конфликта, а не только в самом конце. На практике данный алгоритм можно применить для автоматизации склада: автоматически собирать информацию в масштабе реального времени о поступлении и реализации товаров и сокращении времени на все логические операции.
Разработанный алгоритм обеспечивает максимальную пропускную способность (Maximum Stable Througput, MST, Rc), равную 1. Наилучший из предложенных ранее алгоритмов - алгоритм Гион-накеса (Successive Interference Cancellation Tree Algorithm, SICTA), обеспечивающий максимальную пропускную способность Rc = 0.693.
Литература
1. Sorin D. Fault Tolerant Computer Architecture. Morgan & Claypool, 2009, 103 p.
2. Богатырев В.А., Богатырев С.В. Критерии оптимальности многоустойчивых отказоустойчивых компьютерных систем // Науч.-технич. вестн. СПб гос. ун-та информ. технологий, механики и оптики. 2009. № 5. С. 92-98.
3. Коломойцев В.С. Оценка эффективности и обоснование выбора структурной организации системы многоуровневого защищенного доступа к ресурсам внешней сети // Информация и космос. 2015. № 3. С. 71-79.
4. Богатырев В.А., Богатырев С.В., Богатырев А.В. Оптимизация древовидной сети с резервированием коммутационных узлов и связей // Телекоммуникации. 2013. № 2. С. 42-48.
5. Parshutina S.A. Models to support design of highly reliable distributed computer systems with redundant processes of data transmission and handling. Proc. Intern. Conf. IT&QM&IS, 2017, pp. 96-99. DOI:10.1109/itmqis.2017.8085772.
6. Кирьянов А.Г., Ляхов А.И., Хоров Е.М. Модель передачи мультимедийных потоков реального времени при помощи детерминированного метода доступа // Информационные процессы. 2014. Т. 14. № 3. С. 197-213.
7. Цыбаков Б.С, Михайлов В.А. Свободный синхронный доступ пакетов в широковещательный канал с обратной связью // Пробл. передачи информ. 1978. Т. 22. № 4. С. 32-59.
8. Андреев С.Д. Централизованное управление множественным доступом в сетях передачи информации при высокой загрузке: дис. канд. технич. наук. СПб, 2009. 182 с.
9. Никоненко Н.Д. Древовидный алгоритм вычисления условных математических ожиданий // Современные наукоемкие технологии. 2017. № 2. С. 48-52.
10. Peeters G.T., Van Houdt B. On the capacity of a random access channel with successive interference cancellation. Proc. IEEE ICCW, 2015, pp. 2051-2056. DOI: 10.1109/TCOMM.2010.093010. 090222.
11. Paolini E., Stefanovic C., Liva G., Popovski P. Coded random access: applying codes on graphs to design random access protocols. IEEE Communications Magazine, 2015, vol. 53, no. 6, pp. 144-150. DOI: 10.1109/MCOM.2015.7120031.
12. Houdt B. Van, Peeters G.T. FCFS tree algorithms with interference cancellation and single signal memory requirements. Telecommunications, Proc. ICT 2008, pp. 1-6. DOI: 10.1109/ ICTEL.2008.4652691.
13. Богатырев В.А., Богатырев А.В. Функциональная надежность систем реального времени // Науч.-технич. вестн. СПб гос. ун-та информ. технологий, механики и оптики. 2013. № 4.С. 150-151.
14. Кобляков В.А. Управление множественным доступом в централизованных сетях передачи данных: дис. канд. технич. наук. СПб, 2016, 19 с.
15. Новиков Е.А., Зиннуров С.Х. Модель гибкого обслуживания трафика сложной структуры и алгоритм оперативного резервирования дополнительных каналов в земных станциях спутниковой связи // Системы управления, связи и безопасности. 2017. № 1. С. 98-115.
16. Топорков И.С., Ковальский А.А., Зиннуров С.Х. Модель и алгоритм управления процессом резервирования ресурса сети спутниковой связи при обслуживании разнородного нестационарного трафика // Изв. Ин-та инженерной физики. 2016. Т. 1. № 39. С. 37-47.
Software & Systems Received 08.06.18
DOI: 10.15827/0236-235X.031.4.710-714 2018, vol. 31, no. 4, pp. 710-714
A modified algorithm of random multiple access with successive interference cancellation S.A. Zhezhera l, Postgraduate Student, ii.sgegera@gmail.com
1 The National Research University of Information Technologies, Mechanics and Optics, St. Petersburg, 197101, Russian Federation
Abstract. The subject of the study is the analysis of the throughput and reliability of wireless networks in multiple random access systems. The article investigates the possibility of increasing the efficiency of random multiple access with interference mitigation. In a multiple-access system, data transmission is based on the competition of stations for the overall transmission medium. Each node that does not have a debt passes a packet while risking to fall into random conflicts.
The aim of the article is a new solution for the joint operation of an algorithm with an interference mitigation procedure when the base station is able to subtract a subscriber signal from a previously received signal in order to recover a residual signal to improve the reliability of wireless networks with pulsed traffic.
The modified algorithm is based on the idea of searching in the set of received signals of an orthogonal subset that allows simultaneously extracting all the set of conflicting signals. The algorithm uses a full search and therefore has considerable computational complexity.
Research results revealed that the process of conflict resolution is accelerating when using the procedure for canceling interference. In order to do this, subscriber signals should be stored in special additional memory cells. When the multiple access algorithm is modified into an outgoing signal from each subscriber, the service information of the previous attempts to transmit the signal is added.
The exclusive right to use the procedure to cancel interference can reduce the probability of conflicts and thus increase the quality of data transmission. The paper proposes to use a modified algorithm from the ALOHA family with the possibility of canceling interference in networks using the Poisson input stream.
Keywords: random multiple access algorithm, interference, channel access algorithm, conflict resolution algorithm, random multiple access, conflict resolution period, wireless networks.
References
1. Sorin D. Fault Tolerant Computer Architecture. Morgan & Claypool Publ., 2009, 103 p.
2. Bogatyrev V.A., Bogatyrev S.V. Optimality criteria of multilevel failure-safe computer systems. Scientific and Technical J. of Information Technologies, Mechanics and Optics. 2009, no. 5, pp. 92-98 (in Russ.).
3. Kolomoytsev V.S. Estimation of efficiency and rationale for the selection of the structural organization of the system of multi-level secure access to external network resources. Information and Space. 2015, no. 3, pp. 71-78 (in Russ.).
4. Bogatyrev V.A., Bogatyrev S.V., Bogatyrev A.V. Tree network optimization with redundant switching nodes and connections. Telecommunications. 2013, no. 2, pp. 42-48 (in Russ.).
5. Parshutina S.A. Models to support design of highly reliable distributed computer systems with redundant processes of data transmission and handling. 2017 Intern. Conf. "Quality Management, Transport and Information Security, Information Technologies" (IT&QM&IS). 2017, pp. 96-99. D0I:10.1109/itmqis.2017.8085772.
6. Kiryanov A.G., Lyakhov A.I., Khorov E.M. Model of the transfer of real-time multimedia streams using a deterministic access method. Information Processes. 2014, vol. 14, no. 3, pp. 197-213 (in Russ.).
7. Tsybakov B.C., Mikhaylov V.A. Free synchronous access of packets to a broadcast channel with feedback. Problems of Information Transmission. 1978, vol. 22, no. 4, pp. 32-59 (in Russ.).
8. Andreev S.D. Centralized Management of Multiple Access in High-Load Information Networks. PhD Thesis. St. Petersburg, 2009, 182 p.
9. Nikonenko N.D. The tree algorithm for calculation of conditional mathematical expectations. Modern Science Technologies. 2017, no. 2, pp. 48-52 (in Russ.).
10. Peeters G.T., Van Houdt B. On the capacity of a random access channel with successive interference cancellation. IEEE Intern. Conf. on Communication Workshop (ICCW), 2015. 2015, pp. 2051-2056. DOI: 10.1109/TC0MM.2010.093010. 090222.
11. Paolini E., Stefanovic C., Liva G., Popovski P. Coded random access: applying codes on graphs to design random access protocols. IEEE Comm. Magazine. 2015, vol. 53, no. 6, pp. 144-150. DOI: 10.1109/MCOM.2015.7120031.
12. Van Houdt B., Peeters G.T. FCFS tree algorithms with interference cancellation and single signal memory requirements. Intern. Conf. on Telecommunications, ICT 2008. 2008, pp. 1-6. DOI:10.1109/ICTEL.2008.4652691.
13. Bogatyrev V.A., Bogatyrev A.V. Functional reliability of real-time systems. Scientific and Technical J. of Information Technologies, Mechanics and Optics. 2013, no. 4, pp. 150-151 (in Russ.).
14. Koblyakov V.A. Management of Multiple Access in Centralized Data Networks. PhD Thesis. St. Petersburg, 2016, 19 p.
15. Novikov E.A., Zinnurov S.Kh. Flexible service model of complex traffic and real-time algorithm of channel reserve for satellite earth stations. Systems of Control, Communication and Security. 2017, no. 1, pp. 98-115 (in Russ.).
16. Toporkov I.S., Kovalsky A.A., Zinnurov S.Kh. Model and algorithm of management of process of reservation of a resource of a network of satellite communication at service of the diverse non-stationary traffic. Proc. of Institute of Engineering Physics. 2016, vol. 1, no. 39, pp. 37-47 (in Russ.).
Примеры библиографического описания статьи
1. Жежера С.А. Разработка модифицированного алгоритма случайного множественного доступа с возможностью погашения интерференции // Программные продукты и системы. 2018. Т. 31. № 4. С. 710-714. DOI: 10.15827/0236-235X.031.4.710-714.
2. Zhezhera S.A. A modified algorithm of random multiple access with successive interference cancellation. Software & Systems. 2018, vol. 31, no. 4, pp. 710-714 (in Russ.). DOI: 10.15827/0236-235X.031.4.710-714.
