Научный журнал
Международный журнал прикладных и фундаментальных исследований
ISSN 1996-3955
ИФ РИНЦ = 0,593

РЕКУРРЕНТНЫЙ АЛГОРИТМ ВЫЧИСЛЕНИЯ УСЕЧЕННОЙ СВЕРТКИ ПОЛИНОМОВ НАД ПОЛЕМ ГАЛУА И ЕГО АППАРАТНАЯ РЕАЛИЗАЦИЯ

Рахман П.А. 1
1 ФГБОУ ВПО «Уфимский государственный нефтяной технический университет»
В данной статье рассматривается алгоритм вычисления усеченной свертки полиномов над полем Галуа. Вычисление усеченной свертки полиномов является частью алгоритма декодирования информационного кадра при применении кодов Рида-Соломона. Усеченная свертка полиномов необходима для вычисления значения искаженных символов в информационном кадре при использовании метода Форни. В статье дается определение полинома, усеченной свертки полиномов и формула для ее вычисления над полем Галуа GF(pm). Также в статье рассматривается алгоритм вычисления значения усеченной свертки полиномов над полем Галуа GF(2m) при заданном аргументе и предлагаемая автором аппаратная реализация алгоритма.
коды Рида-Соломона
поле Галуа
усеченная свертка
полином
1. Todd K. Moon. Error correcting coding: mathematical methods and algorithms. – Hoboken, New Jersey: John Wiley & Sons Inc., 2005.
2. Рахман П.А., Григорьева Т.В. Кодирование информации с применением кодов Рида-Соломона. – Уфа: Изд-во УГНТУ, 2015.
3. Рахман П.А., Шарипов М.И. Модель надежности двухузлового кластера приложений высокой готовности в системах управления предприятием // Экономика и менеджмент систем управления. – 2015. – Т. 17. № 3. – С. 85–102.
4. Рахман П.А., Шарипов М.И. Модели надежности каскадных дисковых массивов в системах управления предприятием // Экономика и менеджмент систем управления. – 2015. – Т. 17. № 3.1. – С. 155–168.
5. Рахман П.А. Коэффициент готовности трехуровневых локальных сетей передачи данных // Международный журнал прикладных и фундаментальных исследований. – 2015. – № 9–3. – С. 463–466.
6. Рахман П.А. Показатели надежности восстанавливаемых систем с заданным порогом аварийного отключения // Международный журнал прикладных и фундаментальных исследований. – 2015. – № 9–3. – С. 467–470.
7. Рахман П.А. Среднее время до потери данных двухдискового массива // Международный журнал прикладных и фундаментальных исследований. – 2015. – № 9–4. – С. 603–607.
8. Рахман П.А. Коэффициент готовности системы обработки данных с основным и резервным узлами // Международный журнал прикладных и фундаментальных исследований. – 2015. – № 9–4. – С. 608–611.
9. Рахман П.А. Модель надежности мажоритарной вычислительной системы на базе элементов с тремя состояниями // Международный журнал прикладных и фундаментальных исследований. – 2015. – № 10–1. – С. 33–37.
10. Рахман П.А. Алгоритм выбора кратности исправляемых искажений для кодирования информации с применением кодов Рида-Соломона // Международный журнал прикладных и фундаментальных исследований. – 2015. – № 10–2. – С. 208–212.

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

В настоящее время в системах хранения и передачи данных применяют различные технологии информационного резервирования с применением специальных алгоритмов кодирования на базе корректирующих кодов, в частности, кодов Рида-Соломона [1], которые за счет использования избыточной информации делают возможным исправление искажений. Однако, алгоритмы кодирования и декодирования информации с применением кодов Рида-Соломона достаточно нетривиальны, и для эффективной программной или аппаратной реализации требуется достаточно глубокая математическая проработка с применением алгебры конечных полей Галуа [2]. В частности, алгоритм декодирования состоит из блока вычисления синдрома искажений, полинома локаторов искажений, самих локаторов искажений и значений искажений, и все блоки имеют дело с полиномами, заданными над конечным полем Галуа. Особое место занимает блок вычисления значений искажений на базе метода Форни, использующего усеченную свертку полиномов, заданных над полем Галуа, и здесь требуется особый подход для построения эффективного алгоритма вычисления значения усеченной свертки полиномов при заданном аргументе.

В рамках научных исследований автора в области надежности систем хранения, передачи и обработки данных [3-9], а также в области информационного резервирования [10] возникла научная задача разработки эффективного алгоритма вычисления усеченной свертки полиномов Ψ(х) и ξ(х), заданных над полем Галуа GF(pm), при заданном аргументе x, и аппаратной реализации для поля Галуа GF(2m).

Полином над полем Галуа. Пусть задано поле Галуа GF(pm). Тогда полиномом, заданным над полем Галуа, будем называть функцию:

rah01.wmf;

rah02.wmf (1)

Над полиномами можно производить алгебраические операции, также на место переменной x можно подставлять конкретное значение, являющееся элементом поля Галуа GF(pm), и вычислять значение функции. При пересчете коэффициентов полинома при выполнении операции или вычислении значении функции, строго соблюдаются правила арифметики для поля GF(pm).

Сумма полиномов. Сложение полиномов выполняется путем сложения по правилам арифметики поля Галуа GF(pm) соответствующих коэффициентов, стоящих перед переменной в одной степени. Отсутствующие в полиномах коэффициенты, считаются равными нулю.

Пусть заданы два полинома Ψ(х) и ξ(х). Тогда, сумма этих полиномов определяется следующим образом:

rah03.wmf

rah04.wmf rah05.wmf;

rah06.wmf. (2)

Пример. Сложим полиномы Ψ(х) = 49x2 + 50x + 51 и ξ(х) = 19x2 + 93x + 1, заданные над полем GF(28), заданного с помощью неприводимого многочлена p(х) = x8 + x4 + x3 + x3 + 1. Используя арифметику поля GF(28) для сложения коэффициентов полиномов, имеем: (49 + 19)x2 + (50 + 93)x + (51 + 1) = 34x2 + 111x + 50.

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

Пусть заданы два полинома Ψ(х) и ξ(х). Тогда, произведение этих полиномов определяется следующим образом:

rah07a.wmf

rah07b.wmf

rah08.wmf

rah09a.wmf rah09b.wmf

rah09c.wmf (3)

Пример. Умножим полиномы Ψ(х) = 49x2 + 50x + 51 и ξ(х) = 19x2 + 93x + 1, заданные над полем GF(28), заданного с помощью неприводимого многочлена p(х) = x8 + x4 + x3 + x3 + 1. Используя арифметику поля GF(28) для сложения и умножения коэффициентов полиномов, получаем: Ψ(х)∙ξ(х) = (49∙19)x4 + (49∙93 + 50∙19)x3 + (49∙1 + 50∙93 + 51∙19)x2 + (50∙1 + 51∙93)x + 51∙1 = 100x4 + 218x3 + 31x2 + 3x + 51.

Особо отметим, что если мы будем подразумевать, что любые «отсутствующие» коэффициенты в полиномах, в том числе коэффициенты с индексами больше степени полиномов, равны нулю: rah10.wmfи rah11.wmf, то мы внутреннее суммирование по двум индексам можем преобразовать суммирование по одному индексу. Для этого мы изменим верхние границы для обоих индексов: i ≤ q и j ≤ q, при этом мы ничего не теряем, поскольку i ≥ 0, j ≥ 0 и i + j = q. Случаи, когда i > q (при k – 1 > q), или j > q (при l – 1 > q), все равно никогда не пройдут условие i + j = q, так как i ≥ 0 и j ≥ 0. А при i > k – 1 (при q > k – 1) коэффициенты Ψi = 0, а при j > l – 1 (при q > l – 1) коэффициенты ξj = 0. Тогда в итоге мы получаем следующие три условия: i + j = q, 0 ≤ i ≤ q и 0 ≤ j ≤ q.

Заметим, что оба индекса неотрицательны и ограничены одним и тем же верхним пределом, причем сумма индексов также равна верхнему пределу. Тогда, очевидно, можно избавиться от одного из индексов, попросту выразив его через другой: j = q – i, и мы ничего не теряем, поскольку 0 ≤ q – i ≤ q, так как 0 ≤ i ≤ q.

В итоге мы получаем следующую «оптимизированную» формулу произведения:

rah12.wmf

rah13.wmf rah14.wmf;

rah15.wmf. (4)

Усеченная свертка полиномов. Пусть заданы два полинома Ψ(х) и ξ(х). Тогда, усеченной линейной сверткой полиномов будем называть остаток от произведения этих полиномов по модулю полинома xr, иными словами rah16.wmf.

По сути, усеченная линейная свертка – это произведение полиномов, в котором «отброшены» члены, степень переменной x в которых больше либо равна r:

rah17.wmf

rah18.wmf rah19.wmf

rah20.wmf. (5)

Пример. Найдем усеченную свертку полиномов Ψ(х) = 49x2 + 50x + 51 и ξ(х) = 19x2 + 93x + 1, заданных над полем GF(28), по модулю полинома x2. Получаем:

rah21.wmf.

Вычисление значения усеченной свертки полиномов при заданном аргументе над полем Галуа GF(pm). Выше мы определили, что усеченная свертка Ω(х) двух полиномов Ψ(х) и ξ(х), заданных над полем Галуа GF(pm), и при заданном r, определяется как:

rah22.wmf.

Нетрудно заметить, что вычисление значения полинома-свертки при заданном аргументе по вышеприведенной формуле в общей сложности требует rah23.wmf итераций для вычисления двойной суммы. Выполним ряд преобразований формулы:

rah24.wmf

rah25.wmf

rah26.wmf.

Преобразуем формулу для использования рекуррентной схемы вычисления:

rah27.wmf.

Тогда, в первом приближении имеем следующую итерационную схему вычисления значения полинома-свертки Ω(х) при заданном аргументе х*:

rah28.wmf (6)

Заметим, что хотя и итерационная процедура вычисляет Ω(х*) за r итераций, но на каждой итерации, требуется вычисление суммы rah29.wmf, количество слагаемых в которой с каждой итерацией s = 1…r только растет. Однако заметим, что количество слагаемых в сумме в точности совпадает с номером итерации, и можно не заново пересчитывать сумму на каждой итерации s, а лишь добавлять очередное слагаемое к сумме, вычисленной на предыдущей итерации s 1. Обозначив rah30.wmf, имеем рекуррентное соотношение: rah31.wmf, причем rah32.wmf. Очевидно, можно совместить обе итерационные схемы, на каждой итерации вычисляя сначала очередную rah33.wmf, используя rah34.wmf, а затем и rah35.wmf, используя rah36.wmf и rah37.wmf. Наконец, отметим, что для вычисления rah38.wmf также необязательно на каждой итерации возводить аргумент х* в степень s, можно использовать соотношение rah39.wmf, причем rah40.wmf. Тогда, имеем «оптимизированную» итерационную схему вычисления значения полинома-свертки Ω(х) при заданном аргументе х*:

rah41.wmf (7)

Пример. Вычислим значение свертки полиномов Ψ(х) = 49x2 + 50x + 51 и ξ(х) = 19x2 + 93x + 1, заданных над полем GF(28), по модулю полинома x2 (т.е. r = 2) при заданном аргументе x* = 64, используя итерационную схему.

Имеем следующие начальные значения: rah42.wmf rah43.wmf; rah44.wmf.

Далее, на итерации s = 1 выполняем следующие вычисления:

rah45.wmf

Наконец, на итерации s = 2 (последняя итерация) получаем:

rah46.wmf

Тогда, искомое значение свертки полиномов равно rah47.wmf.

Для проверки полученного значения, подставим заданный аргумент x* = 64 в полином-свертку rah48.wmf, полученный в рассмотренном выше примере для полиномов Ψ(х) = 49x2 + 50x + 51 и ξ(х) = 19x2 + 93x + 1. Имеем: 3∙64 + 51 = 243. Таким образом, очевидно, результат вычисления по рекуррентной схеме верен.

Аппаратная реализация для поля Галуа GF(2m). Теперь рассмотрим аппаратную реализацию вычисления значения полинома-свертки Ω(х) при заданном аргументе х* над полем Галуа GF(2m). Аппаратная реализацию можно построить при помощи трех m-битных регистров, а также двух сумматоров и четырех умножителей элементов поля Галуа GF(2m). Аппаратная реализация быстрых сумматоров и умножителей элементов поля Галуа GF(2m) хорошо освещены в литературе [1, 2].

Ниже на рисунке представлена предлагаемая автором функциональная схема вычислителя значения полинома-свертки Ω(х) при заданном аргументе х*.

ranm1.wmf

Функциональная схема последовательного вычислителя значения полинома-свертки rah57.wmf при заданном аргументе х*

Регистр RG1 используется для хранения вычисленного на предыдущей итерации степени аргумента rah49.wmf, регистр RG2, соответственно, rah50.wmf, наконец, в регистре RG3 хранится rah51.wmf. Перед началом работы по сигналу сброса, поступающего на вход Reset, регистр RG1 устанавливается в значение (0…01), соответствующее элементу «1» поля rah52.wmf, а регистры RG2 и RG3 сбрасываются в нулевое значение.

Далее на вход Clock поступают тактовые сигналы в течение итераций s = 1…r. Особо отметим, что вход синхронизации (С) регистра RG2 подключен к Clock напрямую, и, соответственно, регистр принимает информацию со своего информационного входа (D) по фронту тактового сигнала. Что же касается регистров RG1 и RG2 то они принимают информации по спаду тактового сигнала, так как и входы синхронизации подключены к Clock через инвертор.

Такая «двухтактная» синхронизации регистров позволяет на каждом такте s = 1…r сначала вычислять и записывать в регистр RG2 значение rah53.wmf, и только потом вычислять и записывать rah54.wmf в регистр RG1, и одновременно с этим также вычислять и записывать очередную степень аргумента rah55.wmf в регистр RG3, и таким образом, соблюдать правильную «очередность» вычислений на каждом такте.

В результате за r тактов схема вычисляет искомое значение полинома-свертки rah56.wmf при аргументе х*.

Заключение

Таким образом, в рамках данной статьи рассматривается алгоритм вычисления усеченной свертки полиномов над полем Галуа. В статье приведено определение полинома, усеченной свертки полиномов и формула для ее вычисления над полем Галуа GF(pm). Также в статье рассматривается алгоритм вычисления значения усеченной свертки полиномов над полем Галуа GF(2m) при заданном аргументе и предлагаемая автором аппаратная реализация алгоритма.

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


Библиографическая ссылка

Рахман П.А. РЕКУРРЕНТНЫЙ АЛГОРИТМ ВЫЧИСЛЕНИЯ УСЕЧЕННОЙ СВЕРТКИ ПОЛИНОМОВ НАД ПОЛЕМ ГАЛУА И ЕГО АППАРАТНАЯ РЕАЛИЗАЦИЯ // Международный журнал прикладных и фундаментальных исследований. – 2015. – № 12-2. – С. 231-235;
URL: https://applied-research.ru/ru/article/view?id=7890 (дата обращения: 21.11.2024).

Предлагаем вашему вниманию журналы, издающиеся в издательстве «Академия Естествознания»
(Высокий импакт-фактор РИНЦ, тематика журналов охватывает все научные направления)

«Фундаментальные исследования» список ВАК ИФ РИНЦ = 1,674