Scientific journal
Modern high technologies
ISSN 1812-7320
"Перечень" ВАК
ИФ РИНЦ = 0,940

DEVELOPMENT OF A MATHEMATICAL MODEL OF A FAULT-TOLERANT OFDM SYSTEM USING INTEGER WAVELET TRANSFORMATIONS IN MODULAR CODES

Kalmykov I.A. 1 Chistousov N.K. 1 Kalmykova N.I. 1 Dukhovnyy D.V. 1
1 North Caucasus Federal University
Annotation. One of the solutions to improve the efficiency of low-orbit satellite Internet (LSI) is the use of orthogonal frequency multiplexing (OFDM) method. Replacing the fast Fourier transform (FFT) with an integer discrete wavelet transform (IDVT) reduces the time required for orthogonal signal conversion (OSC). To further increase the speed of data exchange in the LSI, mathematical models of the implementation of the IDVT using modular residue class codes (MRCC) were developed. The use of MRCC made it possible to perform orthogonal signal transformations in parallel across modules. At the same time, when processing signals between the bases of the MRCC, the exchange of intermediate results is not performed. Thus, due to parallelization and the use of residuals, the bit depth of which is significantly less than that of the operands, the speed of execution of the reverse and forward IDVT was increased. However, if redundancy is introduced into the ICQ, then this code will be able to detect and correct errors that occur during the OSC process. Thus, the fault tolerance of the OFDM system using an integer discrete wavelet transform performed in MRCC can be increased. Therefore, the development of a mathematical model of a fault-tolerant OFDM system operating in the MRC is an urgent task. The study was supported by the Russian Science Foundation grant No. 23-21-00036, https://rscf.ru/project/23-21-00036/.
mathematical model of the OFDM system
Haar wavelet transform
modular residue class codes
error correction

Для повышения эффективности передачи информации в низкоорбитальном спутниковом интернете (НСИ) было предложено использовать системы OFDM [1]. С целью увеличения скорости передачи информации в системах, поддерживающих технологию OFDM, в работах [2, 3] было предложено использовать вместо быстрых преобразований Фурье целочисленные дискретные вейвлет-преобразования. Компактность данных преобразований позволяет увеличить скорость ортогональных преобразований сигналов. Для дальнейшего повышения скорости обработки сигналов было предложено реализовать в ЦДВП в модулярных кодах классов вычетов (МККВ) [4, 5]. Данная цель достигалась за счет параллельных вычислений, которые производились по основаниям кода. Однако МККВ можно использовать и для повышения отказоустойчивости вычислительных устройств. Для этого, во-первых, расширяется набор оснований кода за счет введения дополнительных контрольных модулей. Во-вторых, необходимо разработать алгоритм проверки процесса вычислений ЦДВП в МККВ с целью выявления ошибок, возникающих из-за сбоев или отказов. Очевидно, что интеграция методов вычисления ЦДВП и принципов построения корректирующих модулярных кодов класса вычетов требует разработки математической модели отказоустойчивой системы OFDM, способной осуществлять обработку сигналов в условиях сбоев и отказов, возникающих в процессе функционирования. Поэтому разработка такой математической модели отказоустойчивой системы OFDM является актуальной задачей.

Материалы и методы исследования

1.1. Теория построения избыточных кодов МККВ

Интеграция параллельных арифметических кодов и методов вычислений ЦДВП позволила повысить скорость ортогональных преобразований сигналов за счет ускорения выполнения арифметических операций, которые используются в дискретных вейвлет-преобразованиях. Чтобы распараллелить вычисления, необходимо найти взаимно-простые числа missing image file, для которых выполняется неравенство missing image file. Если их перемножить, то получаем диапазон разрешенных кодовых комбинаций (КК) [6, с. 4]:

missing image file. (1)

В этом случае разрешенную КК целого числа А можно представить как

missing image file, (2)

где А < РРКК; ai ≡ Amod pi , i = 1,2,…,n.

В МККВ параллельно выполняется сложение, вычитание и умножение [7, с. 12]

missing image file,(3)

где * – модульные операции МККВ; E < РРКК; ei ≡ Emod pi , i = 1,2,…,n.

Анализ (3) показывает, что данные модульные операции выполняются с соответствующими остатками по всем основаниям кода одновременно. При этом между основаниями МККВ нет связи, то есть остатки друг на друга не влияют. Именно это используется при построении корректирующих МККВ. При этом данные коды имеют еще одно преимущество [8, с. 254]. Если расширить количество оснований для введения избыточности в КК, то принципы выполнения модульных операций для контрольных остатков не изменятся. Таким образом, контрольные остатки являются равноправными с информационными остатками, так определяются только модульными операциями. В этом заключено коренное отличие МККВ от других корректирующих кодов, используемых для повышения помехоустойчивости систем передачи.

1.2. Разработка метода поиска ошибочных остатков в МККВ

Для МККВ однократная ошибка представляет собой искажение одного остатка КК. Чтобы избыточный МККВ смог исправить такую ошибку, необходимо ввести контрольные основания missing image file. Они выбираются из условия

missing image file. (4)

Из-за введения оснований, во-первых, увеличение размера кодовой комбинации:

missing image file. (5)

Во-вторых, диапазон РРКК расширяется до полного, содержащего все возможные КК:

Pполнmissing image file. (6)

В избыточном МККВ разрешенными будут только те комбинации, для которых

missing image file. (7)

Однако проверить условие (7), не выполнив перевод КК в позиционную систему счисления (ПСС), нельзя. Решить данную проблему можно, если использовать равнозначность информационных и контрольных остатков в МККВ. В этом случае возникает возможность вычисления значений контрольных остатков missing image file, используя информационные остатки. Если в процессе вычислений ошибок из-за сбоев или отказов не было, то справедливо равенство missing image file. В этом случае имеет место равенство

missing image file (8)

Если ошибки имели место, то справедливость равенства (9) нарушается.

Очевидно, что эффективность данного подхода к коррекции ошибки во многом определяется алгоритмом, позволяющим вычислять контрольные остатки. В работе [8, с. 68–70] представлен алгоритм расширения системы оснований, то есть вычисления остатка ak+1 по заданному входному вектору A = (a1, a2, ..., an ). Данный алгоритм построен на основе Китайской теоремы об остатках (КТО), в которой, используя n – 1 информационный остаток, выполняется перевод в ПСС:

missing image file (9)

где missing image file; Bi – ортогональные базисы; missing image file – ранг числа A; missing image file;

mi – вес ортогонального базиса; i = 1,2,…,n–1, missing image file.

Подставив выражение для вычисления ранга в равенство (9), получаем, что

missing image file. (10)

Недостатком этого алгоритма является сокращение числа разрешенных комбинаций в pn раз, так, при вычислениях используется n – 1 информационный остаток. Устранить этот недостаток позволяет разработанный метод вычисления контрольного остатка. Пусть задан код МККВ, состоящий из n информационных и одного контрольного основания pn+1. Если КК избыточного МККВ разрешенная, то номер диапазона, в который КК подает, равен

H = [ A / PPKK ] = 0. (11)

Воспользуемся КТО для n +1 оснований МККВ и подставим (9) в выражение (11). При этом учитываем, что номера диапазонов Н изменяются от 0. Значит, операцию нахождения целой частного Н в (11) можно заменить операцией по модулю pn+1. Тогда

missing image file. (12)

Исходя из условия взаимной простоты оснований pi, i = 1,2,…,n + 1, имеем

missing image file, (13)

где Bi* – ортогональный базис для МККВ, содержащего кортеж оснований missing image file.

Подставим выражение (13) в равенство (12). Получаем

missing image file. (14)

Если комбинация МККВ не содержит ошибку, то Н = 0. Тогда справедливо

missing image file. (15)

1.3. Математическая модель отказоустойчивой системы OFDM, использующей избыточный МККВ

Математическая модель отказоустойчивой системы OFDM, использующей избыточный МККВ, включает в себя следующие этапы обработки данных.

1. На первом этапе производится перевод данных из последовательного вида в параллельный. Сначала потоковые данные разбиваются на блоки missing image file, состоящие из D разрядов, гдеmissing image file. Затем каждый такой блок поступает на вход прямого преобразователя ПСС-МККВ, поддерживающего 2M-арный алгоритм вычислений, где он делится на блоки по С = 2M бит каждый. Блоки имеют следующий вид:

missing image file (16)

Чтобы получить остатки, преобразователь вычисляет, где i = 1,2,…,n + 2

missing image file. (17)

2. На втором этапе в отказоустойчивой системе OFDM производится вычисление обратного модифицированного вейвлет-преобразования Хаара в МККВ [5]. Набор отсчетов X(j) – это кортеж, включающий {ai} – аппроксимирующие и {dj} детализирующие коэффициенты ЦДВП Хаара, которые представлены в МККВ. Для выполнения обратного преобразования используются missing image file и missing image file – коэффициенты НЧ и ВЧ фильтров Хаара. Математически данное обратное преобразование записывается выражением для

missing image file, (18)

missing image file, (19)

где missing image file; missing image file; V = 2W – коэффициент масштабирования; missing image file; missing image file; missing image file.

3. Представленные в избыточном МККВ вычисленные временные отсчеты missing image file необходимо перевести в ПСС. Для этого используется обратный кодопреобразователь, реализующий КТО [7, с. 81]. Для этого надо сначала получить ортогональные базисы МККВ согласно

Вi = Pimi = mi Pполн / pi, (20)

где missing image file – вес ортогонального базиса; missing image file.

Тогда согласно КТО обратный перевод МККВ-ПСС реализуется

missing image file Pполн. (21)

Одновременно с этим преобразованием выполняется разработанный метод поиска и исправления ошибки. Для этого сначала вычисляются контрольные вычеты:

missing image file (22)

missing image file. (23)

Затем выполняется вычисление невязки:

missing image file (24)

Если λ1 = λ2 = 0, то в процессе ортогональной обработки сигналов сбоев и отказов не было. Пусть в процессе выполнения обратного ЦДВП Хаара в i-м остатке произошла ошибка. Тогда КК имеет вид

missing image file,

где ΔSi = {1,2,…,Si – 1} – глубина ошибки. В этом случае имеем missing image file.

Затем происходит коррекция ошибки

missing image file Pполн. (25)

Исправленные отсчеты missing image file поступают на вход АЦП, где преобразуются в аналоговый сигнал, который подается на модулятор, а затем в канал связи.

На приемной стороне аналоговый сигнал с помощью ЦАП преобразуется в кортеж отсчеты missing image file, которые подаются на преобразователь ПСС-МККВ, с выхода которого снимаются КК МККВ missing image file missing image file.

Далее выполняется прямое ЦДВП Хаара в МККВ, что позволяет получить значение коэффициентов {ai} и {dj} в следующем виде: ККmissing image file missing image file. Полученные комбинации поступают на обратный кодопреобразователь МККВ-ПСС, который на основе КТО получает блоки данных длиной D разрядов, используя выражение (21). Одновременно с этим выполняется метод поиска и исправления ошибки согласно (14) и (15). Если λ1 = λ2 = 0, то в процессе ортогональной обработки сигналов сбоев и отказов не было. Если missing image file, то производится коррекция ошибки искаженного отсчета missing image file согласно (25).

Результаты исследования и их обсуждение

Пусть имеем основания р1 = 63, р2 = 64, р3 = 65. Тогда РРКК = 262080, что позволяет использовать 9-разрядные входные данные и коэффициенты Хаара. В качестве контрольных выбрали р4 = 67, р5 = 71. Тогда Рполн = 1246714560. Пусть, коэффициент масштабирования V = 28. Пусть на вход передатчика поступили два отсчета Х1 = 221 и Х2 = 198, которые поступили на вход преобразователя ПСС-МККВ. Кодовые комбинации МККВ входных отсчетов Х1 и Х2, коэффициентов Хаара, отсчетов сигналов S1 и S2 показаны в таблице.

При вычислении S1 и S2 были использованы выражения (18) и (19). Проведем проверку КК missing image file. Вычислим ортогональные базисы для оснований р1 = 63, р2 = 64, р3 = 65, р4 = 67. Представим их, как показано выражением (13). Тогда

missing image file,

missing image file;

missing image file;

missing image file.

Находим missing image file. Подставляем в выражение (22). Получаем

missing image file.

Аналогичным образом получили второй контрольный остаток missing image file. Подставляем в выражение (24) и получаем λ1 = λ2 = 0. Значит, ошибки в кодовой комбинации нет. Пусть ошибка произошла в первом остатке, тогда КК имеет вид missing image file. Глубина ошибки равна ΔS1 = 47. Используя выражения (22) и (23), получаем missing image fileи missing image file. Так как λ1 = 62, λ2 = 30, то согласно (25) происходит исправление ошибки:

missing image file Pполн missing image file.

Вычисление первых двух отсчетов сигналов ЦДВП Хаара в МККВ

 

Х1

Х2

missing image file

missing image file

missing image file

missing image file

S1

S2

В ПСС

220

199

181

-181

181

181

3801

75839

р1 = 63

31

10

55

8

55

55

21

50

р2 = 64

28

7

53

11

53

53

25

63

р3 = 65

25

4

51

14

51

51

31

49

р4 = 67

19

65

47

20

47

47

49

62

р5 = 71

7

57

39

32

39

39

38

11

Заключение

В статье представлена математическая модель отказоустойчивой системы OFDM, использующей ЦДВП Хаара в МККВ. Разработан метод коррекции ошибок на основе расширений системы оснований. Разработанный метод позволяет провести вычисление контрольных остатков, на основе кортежа информационных, имея больший диапазон разрешенных кодовых комбинаций по сравнению с [8, с. 68–70]. Рассмотрен процесс вычисления отсчетов сигнала с помощью обратного ЦДВП Хаара, а также процесс поиска и коррекции ошибок с использованием трех информационных р1 = 63, р2 = 64, р3 = 65 и контрольных оснований р4 = 67, р5 = 71. Применение разработанного метода позволило увеличить РРКК в 65 раз по сравнению с алгоритмом [8, с. 68–70].