Scientific journal
Fundamental research
ISSN 1812-7339
"Перечень" ВАК
ИФ РИНЦ = 1,222

THE USE OF REDUNDANT MODULAR CODES IN THE DEVELOPMENT OF FAULT-TOLERANT REQUEST-RESPONSE RECOGNITION SYSTEMS SATELLITE

Kalmykov M.I. 2 Babenko L.K. 1 Kalmykov I.A. 2 Efremenkov I.D. 2 Miroshnikov D.A. 2
1 Southern Federal University
2 Federal State Autonomous Educational Institution Higher Professional Education «North-Caucasian Federal University»
В работе представлены новые принципы использования параллельных модулярных кодов при построении запросно-ответной системы распознавания спутника. Применение запросно-ответных систем в комплексах дистанционного контроля, мониторинга и управления позволяет повысить имитозащиту низкоорбитальной системы спутниковой связи (ССС). В результате их работы спутник-нарушитель, который находится в зоне видимости станции связи, расположенной на необслуживаемом объекте, не сможет навязать ретрансляционную помеху. Данная помеха, имитирующая команду управления, может вывести из строя объект контроля, что может привести к экологической катастрофе. Повысить эффективность работы запросно-ответной системы распознавания спутника можно за счет использования модулярных кодов. катастрофы. Независимая и параллельная обработка остатков по основаниям модулярного кода служит основой не только повышения скорости вычислений, но и надежности устройства. Целью исследований является повышение надежности запросно-ответных системы за счет использования разработанного алгоритма поиска и коррекции ошибок с помощью модулярных кодов.
The paper presents new principles of request-response detection system of the satellite by using a parallel modular codes. The use of request-response systems to systems of remote control, monitoring and management allows you to increase Kitazawa low-orbit satellite communication system (SSS). As a result of their work, the satellite, the offender, who is within sight of the stations that located on unattended object will not be able to impose relay interference. This obstacle simulates the management team, will damage the test object, which can lead to environmental disaster. To improve the efficiency of the request-response detection system the satellite can be due to the use of modular codes. disaster. abate presents a mathematical model implementation of discrete wavelet transform with the use of modular codes. Independent and parallel processing of residues on the grounds modular code is the basis not only improve the computing speed but also the reliability of the device. The aim of the research is to improve the reliability of the request-response system through the use of the developed search algorithms and error correction using modular.
request-response detection system of the satellite
correcting modular code
positional characteristics
the detection algorithm and error correction

В настоящее время низкоорбитальные системы спутниковой связи применяются в комплексах дистанционного контроля, мониторинга и управления необслуживаемыми объектами добычи и транспортировки углеводородов, расположенных на Крайнем Севере. С целью предотвращения навязывания активной имитационной помехи чужим спутником-нарушителем предлагается использовать запросно-ответные системы распознавания спутника (ЗОСРС). В работе [1] представлен способ построения ЗОСРС, который применяет протокол аутентификации типа «запрос-ответ», использующий доказательство с нулевым разглашением знаний. Так как все вычислительные операции проводятся по большому модулю, чтобы обеспечить высокую имитостойкость протокола, то запросно-ответная система распознавания спутника характеризуется значительными схемными затратами. Это негативно влияет на надежность работы ЗОСРС. Решить данную проблему можно за счет применения модулярных кодов (МК). Поэтому разработка новых принципов построения запросно-ответной системы распознавания спутника в модулярном коде является актуальной задачей.

Цель исследования

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

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

С целью повышения надежности запросно-ответной системы опознавания статуса спутника, способ построения которой представлен в работах [1, 4–6], предлагается использовать МК, в частности коды системы остаточных классов (СОК). Коды СОК относятся к непозиционным кодам, в которых число Х представляется в виде кортежа остатков kalm01.wmf, где kalm02.wmf; i = 1,2,…, k. Взаимно простые числа mi являются основаниями кода СОК. Их произведение определяет рабочий диапазон СОК

kalm03.wmf (1)

Числа kalm04.wmf и kalm05.wmf, которые представлены в коде СОК, можно быстро и параллельно складывать, вычитать и умножать по модулям mi. Тогда справедливо

kalm06.wmf (2)

kalm07.wmf (3)

kalm08.wmf (4)

где kalm09.wmf; i = 1,2,…, k.

Для разработки новых принципов построения запросно-ответной системы распознавания спутника в модулярном коде необходимо выбрать основания МК, которые бы имели одинаковый первообразный элемент g и удовлетворили условию

kalm10.wmf (5)

где q – модуль, используемый в работе ЗОСРС; g – первообразный элемент мультипликативной группы, порожденной простым числом q.

Воспользуемся алгоритмом работы ЗОСРС, приведенным в работе [1]. Для повышения имитостойкости ЗОСРС в системе кроме секретного ключа U используется сеансовый ключ S(j), а также параметр T(j), который позволяет определить повторное применение сеансового ключа. Представим их в модулярном коде. Тогда

kalm11.wmf;

kalm12.wmf;

kalm13.wmf, (6)

где

kalm14.wmf; kalm15.wmf;

kalm16.wmf; i = 1, 2,…, k.

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

kalm17.wmf (7)

На втором этапе ответчик производит зашумление модулярного кода согласно

kalm18.wmf;

kalm19.wmf;

kalm20.wmf. (8)

где

kalm21.wmf; kalm22.wmf;

kalm23.wmf; i = 1, 2,…, k.

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

kalm24.wmf (9)

На четвертом этапе запросчик пересылает вопрос d = (d1, d2,…, dk) ответчику.

На пятом этапе ответчик приступает к вычислению ответов на вопрос d, согласно

kalm25.wmf;

kalm26.wmf;

kalm27.wmf. (10)

На шестом этапе ответчик передает запросчику сигнал в виде

kalm28.wmf

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

kalm29.wmf (11)

Спутник будет считаться «своим», если будет справедливо равенство

kalm30.wmf (12)

Чтобы выполнять поиск и исправление ошибок, необходимо в модулярный код ввести избыточные основания [5, 7, 8]. Для исправления однократной ошибки вводятся два основания mk+1, mk+2, которые удовлетворяют условию

kalm31.wmf (13)

Это приводит к появлению полного диапазона МК

kalm32.wmf (14)

Если кодовая комбинация МК не превышает значения Мраб, то такая комбинация не содержит ошибки. В противном случае – комбинация является запрещенной. Чтобы определить данное условие в МК используют позиционные характеристики (ПК) [2, 6, 7, 9]. В работе предлагается разработанный алгоритм вычисления интервальный номер числа. Известно

kalm33.wmf, (15)

где kalm34.wmf – целая частного, полученного от деления.

В алгоритме используется китайская теорема об остатках (КТО), согласно которой

kalm35.wmf, (16)

где Bi – ортогональный базис основания mi.

Для вычисления L воспользуемся свойством подобия ортогональных базисов

kalm36.wmf, (17)

где Bi, kalm37.wmf – ортогональные базисы полной и безызбыточной системы оснований.

Тогда ортогональный базис Bi представляется как

kalm38.wmf. (18)

Известно, что значения интервала числа L крутятся по модулю kalm39.wmf. Значит, выражение (15) можно заменить следующим равенством

kalm40.wmf, (19)

где kalm41.wmf – ранг системы безызбыточного МК.

Если комбинация не имеет ошибки, то kalm42.wmf и значение L = 0. В противном случае, при наличии ошибки, kalm43.wmf и L > 0. По величине интервального номера можно определить местоположение и глубину ошибки.

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

Пусть заданы основания МК р1 = 11, р2 = 13, р3 = 19, которые обладают g = 2. Диапазон МК будет составлять Мраб = 2717. Выбираем значение секретных параметров и представляем их в СОК: U = 15 = (4, 2, 15), S = 7 = (7, 7, 7), T = 5 = (5, 5, 5). Вычислим истинный статус спутника:

kalm44.wmf;

kalm45.wmf;

kalm46.wmf.

Значение С = (9, 4, 18) записывается в память КА.

Пусть «зашумление» равно ΔU = 3, ΔS = 5, ΔT = 9. Тогда получаем зашумленные значения U* = (7, 5, 18), S* = (1, 12, 12) и Т* = (3, 1, 14). Вычислим зашумленный статус спутника

kalm47.wmf

Зашумленный статус спутника равен С* = (2, 12, 9). Он записывается в память КА.

Запросчик, увидев спутник, пересылает ему «вопрос» d = 7 = (7, 7, 7). Ответчик вычисляет ответы на поставленный вопрос. Первый ответ в коде СОК равен

kalm48.wmf

Второй ответ на поставленный вопрос, представленный в коде СОК, имеет вид

kalm49.wmf

Третий ответ на поставленный вопрос, представленный в коде СОК, имеет вид

kalm50.wmf

Вычисленные истинный и зашумленный статусы, а также ответы передаются ответчику. Ответчик проверяет статус спутника. Для этого вычисляется

kalm51.wmf

Так как kalm52a.wmf kalm52b.wmf kalm52c.wmf, то спутник аутентифицируется как «свой», и начинается обмен данными между КА и объектом.

Рассмотрим выполнение разработанного поиска и коррекции ошибок. Пусть заданы рабочие основания р1 = 11, р2 = 13, р3 = 19. Тогда рабочий диапазон модулярного кода составит Мраб = 2717. В качестве контрольных оснований выбираем р4 = 29, р2 = 37. Это приводит к расширению диапазона М = 2915341. При этом Мконт = 1073. Ортогональные базисы равны

kalm53.wmf;

kalm54.wmf;

kalm55.wmf;

kalm56.wmf;

kalm57.wmf.

Пусть на вход устройства поступает разрешенная комбинация А = 401 = (5, 11, 2, 24, 31). Вычислим значение ранга безызбыточного МК по основаниям р1 = 11, р2 = 13, р3 = 19.

kalm58.wmf.

Воспользуемся алгоритмом (19) для вычисления интервального номера числа

kalm59.wmf.

Так как интервальный номер равен нулю, то это означает, что кодовая комбинация числа А = 401 = (5, 11, 2, 24, 31) является разрешенной и не содержит ошибки.

Пусть в процессе вычислений произошла ошибка, которая исказила первый остаток. Тогда комбинация имеет вид А* = (7, 11, 2, 24, 31). Тогда значение ранга безызбыточного модулярного кода по основаниям

kalm60.wmf.

Вычислим значение интервального номера А* = (7,11,2, 24, 31), используя (19). Получаем

kalm61.wmf.

Так как L = 292, то комбинация числа А* = (7, 11, 2, 24, 31) содержит ошибку. Данное значение интервала соответствует вектору ошибки Δкорр = (9, 0, 0). Исправим ошибку

kalm62.wmf.

Заключение

В статье представлены новые принципы построения запросно-ответной системы распознавания спутника в модулярном коде. Так как скорость выполнения мультипликативных операций пропорциональна разрядности операндов, то применение 5-разрядных оснований в рассмотренном примере позволило повысить скорость вычислений более чем в 2 раза, по сравнению с использованием 12-разрядного модуля q. Кроме того применение МК повышает отказоустойчивость запросно-ответной системы распознавания спутника. Разработанный алгоритм вычисления ПХ интервальный номер позволяет исправлять 100 % однократных ошибок, которые возникают в процессе работы ЗОСРС. Данное направление является перспективой применения модулярных кодов для построения отказоустойчивых запросно-ответных систем распознавания спутника.

Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта № 17-37-50017.