Оптимизация исправления ошибок с помощью нерегулярных кодов Ldpc в миссиях в глубоком космосе

Императив надежной связи в глубоком космосе

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

Инженеры долгое время полагались на коррекцию ошибок (FEC), чтобы преодолеть разрыв между слабыми сигналами и надежным восстановлением данных. Среди наиболее мощных инструментов в этом арсенале являются коды с низкой плотностью паритета (LDPC). В частности, нерегулярные коды LDPC стали превосходным выбором для связей в глубоком космосе, потому что они могут быть тщательно адаптированы к статистической природе канала. В этой статье рассматривается, почему нерегулярные коды LDPC превосходят своих регулярных аналогов в космических миссиях, практические препятствия для их реализации на ограниченных ресурсами космических кораблях и направления исследований, которые обещают еще более высокую производительность для будущей межпланетной связи.

Основы кодов проверки паритета низкой плотности

Что делает код LDPC «низкой плотностью»?

Коды LDPC относятся к семейству линейных блок-кодов. Их определяющей особенностью является матрица проверки четности H, которая чрезвычайно разрежена — обычно менее 1% ее записей составляют 1s. Эта разреженность является ключом к эффективному итеративному декодированию. При передаче кодового слова приемник использует алгоритм сумма-продукт или мин-сумма на двухстороннем графе (Tanner graph) представления H для восстановления исходных данных. Итеративный процесс передачи сообщений сходится к решению, которое для хорошо спроектированных кодов приближается к пределу Шеннона в пределах долей децибела.

Сила кодов LDPC была признана Робертом Галлагером в его докторской диссертации 1960 года, но вычислительные требования эпохи предотвратили практическое использование. Они были в значительной степени забыты до 1990-х годов, когда Маккей, Нил и другие вновь открыли их и продемонстрировали их производительность на близком расстоянии. Сегодня коды LDPC являются основой многочисленных стандартов, включая DVB-S2, WiMAX, 5G NR и рекомендации CCSDS (Консультативный комитет по космическим системам данных) для телеметрии глубокого космоса.

Почему нерегулярность имеет значение

В обычном коде LDPC каждый переменный узел (представляющий бит кодового слова) и каждый контрольный узел (представляющий уравнение четности-проверки) имеет одинаковую степень (число соединений). Например, (3,6)-регулярный код означает, что каждый переменный узел подключен к трем контрольным узлам, и каждый контрольный узел подключен к шести переменным узлам. Это единообразие упрощает анализ, но ограничивает оптимизацию.

Нерегулярные коды LDPC позволяют переменным узлам изменяться по всему коду. Несколько переменных узлов высокой степени (подключенных ко многим контрольным узлам) получают обильную информацию во время декодирования, в то время как узлы низкой степени вносят меньший вклад. Степени выбираются в соответствии с тщательно оптимизированным распределением степеней. Эта неравномерность позволяет сопоставлять код с конкретным распределением шума канала. Результатом является код, который может выполняться ближе к пределу Шеннона, чем любой обычный код той же длины и скорости. В каналах глубокого космоса, которые часто характеризуются аддитивным белым гауссовским шумом (AWGN) с случайными ошибками разрыва, нерегулярные конструкции предлагают решающее преимущество.

Нерегулярный и регулярный коды LDPC: более глубокое сравнение

Поведение на полу

Одним из ключевых дифференциаторов является пол ошибки — область с высоким отношением сигнал-шум, где частота ошибок бита (BER) резко останавливается. Обычные коды LDPC, как правило, демонстрируют более высокий пол ошибки, потому что их однородная структура создает наборы ловушек (небольшие подструктуры, которые заставляют итеративный декодер застревать). Нерегулярные коды LDPC с их различными степенями узел может быть спроектирован для минимизации таких наборов ловушек. Выделяя небольшую долю переменных узлов высокой степени, код может «пробить» пол ошибки.] — требование для телеметрии глубокого космоса, где ретрансляции невозможны из-за задержек светового часа.

Декодирование сложности и конвергенции

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

Совместимость ставок

Для выполнения миссий в глубоком космосе часто требуется гибкая скорость кода для адаптации к изменяющимся условиям связи. Нерегулярные коды LDPC хорошо подходят для совместимых со скоростью конструкций. Пунктируя (не пропуская передачу) некоторые биты четности в соответствии с шаблоном, который уважает распределение степеней, эффективная скорость кода может быть увеличена без изменения всего кодека. Это гораздо труднее достичь с помощью обычных кодов, где прокалывание ухудшает производительность более серьезно. Стандарт CCSDS для околоземной и глубокой космической телеметрии включает в себя совместимые со скоростью нерегулярные коды LDPC со скоростью от 1/2 до 7/8, что позволяет космическому кораблю динамически переключаться со скоростью при изменении расстояния до Земли.

Преимущества нерегулярных кодов LDPC в миссиях в глубоком космосе

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

Усовершенствованная коррекция ошибок при низких частотах сигнал-шум

Первичная черта нерегулярных кодов LDPC - их способность работать в пределах 0,2-0,5 дБ от предела Шеннона для умеренных длин блоков (например, 1024-4096 бит). В глубокой космической связи каждый дБ усиления кодирования напрямую переводится либо на более высокую пропускную способность данных для данной мощности передатчика, либо на снижение энергопотребления для заданной скорости передачи данных. Например, Mars Reconnaissance Orbiter (MRO) использует сцепленный Рид-Соломон и сверточный код. Замена этого с нерегулярным кодом LDPC той же скорости примерно удвоит возврат данных или позволит меньшую антенну. Вот почему LDPC-коды теперь поддерживаются LDPC-сетью в качестве стандартных вариантов для миссий за пределами земной орбиты.

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

У космических аппаратов FPGA и ASIC есть строгие бюджеты мощности — часто измеряемые в десятках ватт. Нерегулярные декодеры LDPC могут быть реализованы со значительно меньшим количеством логических вентилей, чем турбо декодеры эквивалентной производительности. Типичная архитектура декодера использует многоуровневый или параллельный график для обновления контрольных узлов. Поскольку нерегулярные коды концентрируют усилия по декодированию на узлах высокой степени, декодер может быть разработан для досрочного завершения итераций после того, как проверки четности удовлетворены, экономя энергию. Исследования показали, что нерегулярный декодер LDPC может достичь того же BER, что и обычный декодер с 30-40% меньшим средним итерацией, непосредственно снижая потребление энергии.

Улучшенная надежность данных для критической телеметрии

В глубоком космосе потерянные данные редко восстанавливаются. Нерегулярные коды LDPC обеспечивают резкое снижение вероятности необнаруженных ошибок по сравнению с более старыми кодами, такими как BCH или RS. Кроме того, разреженная структура позволяет декодеру производить точные мягкие выходы решений (соотношение лог-вероятностей), которые могут поступать во внешние декодеры или использоваться для оценки надежности. Когда команда отправляется на космический корабль для выполнения коррекции курса, приемник может с высокой уверенностью проверить, что декодированная команда не содержит ошибок, снижая риск катастрофического сбоя.

Гибкость параметров, касающихся конкретных миссий

Нет двух одинаковых миссий в глубоком космосе. На лунной орбите CubeSat имеет ограничения, отличные от орбитального аппарата Юпитера. Неправильные коды LDPC позволяют проектировщикам системы регулировать распределение степеней, длину блока и скорость кода, чтобы соответствовать точному увеличению антенны, мощности передатчика и ожидаемой температуре шума для этой конкретной линии связи. Эта настраиваемость является основной причиной, по которой комитет по стандартам CCSDS принял семейство неправильных кодов LDPC как для приложений околоземного, так и для глубокого космоса. Коды определяются их многочленами распределения степеней, которые могут эффективно храниться в бортовой памяти и использоваться для генерации матриц проверки четности на лету для адаптивного кодирования.

Проблемы реализации нерегулярных кодов LDPC в космических аппаратах

Несмотря на свои теоретические преимущества, интеграция нерегулярных кодов LDPC в дальние космические миссии предполагает преодоление нескольких инженерных препятствий.

Сложность декодера и бортовая обработка

В то время как нерегулярные декодеры LDPC могут быть эффективными, они по-прежнему требуют тысячи арифметических операций на декодированный бит при каждой итерации. Для высокоскоростных линий связи (например, 100 Мбит/с или выше) декодер должен быть реализован в специализированном оборудовании (FPGA или ASIC). Космические FPGA, такие как Microsemi RTG4 или Xilinx Virtex-5QV, имеют ограниченные логические ресурсы и должны работать под ограничениями, закаленными излучением. Реализация полностью параллельного нерегулярного декодера LDPC может потреблять десятки тысяч таблиц поиска (LUTs). Серийная или полупараллельная архитектура уменьшает площадь, но увеличивает задержку. Скудные ресурсы памяти на этих FPGA также ограничивают размер матрицы проверки четности, которая может храниться. Разработчики миссии должны выбирать длины блоков (например, 1024 или 4096 бит), которые вписываются в устройство, все еще обеспечивая требуемый прирост кодирования.

Проблемы памяти и хранения данных

Матрица проверки четности нерегулярного кода LDPC содержит переменное число единиц на строку и столбец. Хранение этой матрицы в плотном формате будет растрачивать память; сжатое хранилище (например, с использованием индексных массивов) является обязательным. Для длины блока 4096 бит матрица может потребовать десятки килобайт хранения. Хотя это кажется небольшим по наземным стандартам, радиационно-толерантная SRAM на процессорах космических аппаратов является одновременно ограниченной и дорогой. Кроме того, любая память, используемая для операций декодера, должна быть исправлена сама по себе (например, с использованием тройной модульной избыточности) для предотвращения однократных нарушений от повреждения процесса декодирования. Эти накладные расходы добавляют к общей массе и мощности подсистемы связи.

Алгоритмическая оптимизация для декодирования в реальном времени

Стандартный алгоритм распространения убеждений для нерегулярных кодов LDPC использует гиперболические тангенсные функции для обновлений контрольных узлов, которые являются вычислительно дорогостоящими. Квантированные приближения, такие как нормализованный алгоритм мин-суммы, обычно используются в реализациях пространства. Коэффициент нормализации и параметры смещения должны быть тщательно выбраны для распределения конкретной степени, чтобы избежать значительной потери производительности. Кроме того, схемы раннего прекращения должны быть надежными: декодер не может объявлять о сходимости ошибочно. Модем глубокого пространства обычно использует стадию проверки синдрома и итеративного жесткого решения (IHID) для проверки декодированного вывода. Это добавляет сложность, но необходимо для гарантии низкой скорости необнаруженных ошибок.

Поставка электроэнергии и рассеивание тепла

Декодирование при полной пропускной способности генерирует тепло. В вакууме космического аппарата охлаждение ограничено излучением и проводимостью. Декодер LDPC, потребляющий 10 Вт на малом орбитальном аппарате, может потребовать специального управления тепловой энергией, добавляя массу и стоимость. Конструктор связи должен отменять декодирование пропускной способности с потреблением энергии. Для более низких скоростей передачи данных (например, 10 кбит/с от глубокого космического зонда) декодер может быть отключён и напряжение масштабировано, уменьшая динамическую мощность. Однако для высокоскоростных связей с Марса или около Земли декодер может быть активен только в течение доли времени, снижая среднюю мощность.

Совместимость с существующими стандартами

CCSDS рекомендуемый стандарт для кодов LDPC определяет конкретные нерегулярные коды для разных скоростей и длин блоков. Чтобы быть совместимым с сетью Deep Space, космический корабль должен реализовывать именно эти коды. Любое отклонение потребует модифицированного оборудования наземной станции. Это ограничивает свободу дизайнера настраивать распределение степеней для конкретного канала. Однако коды CCSDS сами были оптимизированы для среды глубокого космоса, поэтому потеря от использования стандартного кода, а не пользовательского, обычно составляет всего несколько десятых от dB — приемлемый компромисс для взаимодействия.

Будущие перспективы: дальнейшее продвижение кодов LDPC

Продолжающиеся исследования и летные эксперименты обещают еще больше расширить возможности нерегулярных кодов LDPC. В настоящее время исследуется несколько интересных направлений.

Протограф LDPC кодов

Протографные коды LDPC представляют собой структурированный подкласс нерегулярных кодов, которые позволяют легче реализовать аппаратное обеспечение. В протографе небольшая матрица шаблонов «поднимается» для создания более крупной матрицы проверки четности. Подъем сохраняет нерегулярное распределение степени и добавляет структуру, которая может быть использована для параллельного декодирования. CCSDS приняла нерегулярные коды LDPC на основе протографа для глубокого космоса. Будущая работа направлена на разработку протографов, которые включают высокую долю переменных узлов степени 2 для быстрой конвергенции.

Совместное кодирование источников и каналов

Глубоководные миссии часто сжимают изображения и научные данные с использованием сжатия без потерь или потерь (например, CCSDS 123 для гиперспектральных изображений). Комбинирование исходных кодов с переменной длиной с нерегулярными кодами каналов LDPC может привести к несоответствиям резервирования. Недавние исследования исследуют итеративное совместное декодирование исходных каналов, где мягкая информация от декодера источника подается обратно в декодер LDPC. Этот подход может получить дополнительный 1-2 дБ по отдельной схеме исходных каналов. Однако сложность может быть слишком высокой для аппаратного обеспечения для краткосрочного полета.

Недвоичные коды LDPC

Традиционные коды LDPC работают поверх GF(2). Небинарные коды LDPC (поверх GF(q) для q>2) обеспечивают лучшую производительность коррекции ошибок, особенно для каналов с ошибками разрыва или глубоким затуханием. Шкалы сложности декодирования с q^2, что делает их сложными для космических приложений. Однако с достижениями в технологии FPGA и использованием быстрого декодирования на основе преобразования Фурье, небольшие небинарные коды LDPC могут стать возможными для линий глубокого космоса средней скорости. Европейское космическое агентство (ESA) финансировало исследования в небинарном LDPC для оптических коммуникаций, где канал по своей сути ограничен Пуассоном.

Машинное обучение - помощь в декодировании

Глубокие нейронные сети можно обучить замене итеративного алгоритма пропускания сообщений, предлагая более быструю конвергенцию и почти оптимальную производительность. Для нерегулярных кодов LDPC нейронный декодер может изучать оптимальные веса для каждого края на основе распределения степени, эффективно выполняя мини-сумму с изученными смещениями. В то время как текущие нейронные декодеры слишком велики для пространства, легкие версии (<100k параметры) были продемонстрированы для небольших блоков. По мере появления закаленных излучением нейронных ускорителей мы можем увидеть декодеры с ML-усилением на будущих CubeSats и межпланетных зондах.

Оптические глубинные космические связи

Демонстрация лазерной ретрансляции связи (LCRD) НАСА и система Deep Space Optical Communications (DSOC) предстоящей миссии Psyche направлены на использование инфракрасных лазеров для сверхвысокой скорости возврата данных. Оптические линии связи имеют очень различную статистику шума (счет фотонов, фоновый солнечный шум). Нерегулярные коды LDPC оптимизируются для этих каналов, с перекосом градусов для компенсации асимметричного шума. Высокий уровень передачи данных (> 100 Мбит/с) требуют очень высокоскоростных декодеров, которые теперь возможны с современными космическими FPGA. Миссия Psyche NASA будет первой, которая продемонстрирует проверенный полетом декодер LDPC для оптических линий связи, используя код, специально разработанный для канала DSOC.

Заключение

Нерегулярные коды LDPC преобразовали ландшафт дальнекосмических коммуникаций. Используя неравномерные распределения степеней узлов, эти коды достигают почти предельных показателей Шеннона, низких погрешностей и исключительной гибкости — все в рамках строгой мощности и вычислительных бюджетов межпланетных космических аппаратов. Проблемы реализации аппаратных средств остаются значительными, но продолжающиеся достижения в возможностях FPGA, разработке алгоритмов и стандартизации неуклонно снижают барьеры. По мере того, как человечество продвигается дальше в Солнечную систему, на Марс, внешние планеты и за ее пределами, нерегулярные коды LDPC будут незаменимым компонентом систем связи, которые возвращают данные, которые питают открытие. Сочетание теории информации и практической инженерии, воплощенной в этих кодах, гарантирует, что даже самые слабые сигналы из глубокого космоса могут нести богатые, надежные научные знания обратно на Землю.