Последовательность максимальной длины ( ПМД ) — это тип псевдослучайной двоичной последовательности .
Они представляют собой последовательности битов, генерируемые с использованием регистров сдвига с максимальной линейной обратной связью , и называются так потому, что являются периодическими и воспроизводят каждую двоичную последовательность (кроме нулевого вектора), которая может быть представлена регистрами сдвига (т. е. для регистров длины m они производят последовательность длиной 2 m − 1). MLS также иногда называют n-последовательностью или m-последовательностью . MLS являются спектрально плоскими , за исключением почти нулевого члена DC.
Эти последовательности могут быть представлены как коэффициенты неприводимых многочленов в кольце многочленов над Z/2Z .
Практические приложения для MLS включают измерение импульсных откликов (например, реверберации помещения или времени прибытия от буксируемых источников в океане [1] ). Они также используются в качестве основы для получения псевдослучайных последовательностей в цифровых системах связи, которые используют системы передачи с расширенным спектром прямой последовательности и скачкообразной перестройкой частоты , а также в эффективном проектировании некоторых экспериментов фМРТ . [2]
MLS генерируются с использованием регистров сдвига с максимальной линейной обратной связью . Система генерации MLS с регистром сдвига длиной 4 показана на рис. 1. Ее можно выразить с помощью следующего рекурсивного соотношения:
где n — это индекс времени, представляющий собой сложение по модулю 2. Для значений бит 0 = ЛОЖЬ или 1 = ИСТИНА это эквивалентно операции XOR.
Поскольку MLS являются периодическими, а регистры сдвига циклически проходят через все возможные двоичные значения (за исключением нулевого вектора), регистры можно инициализировать в любом состоянии, за исключением нулевого вектора.
Полином над GF(2) может быть связан с регистром сдвига с линейной обратной связью. Он имеет степень длины регистра сдвига и имеет коэффициенты, которые равны 0 или 1, что соответствует отводам регистра, которые питают вентиль xor . Например, полином, соответствующий рисунку 1, равен .
Необходимым и достаточным условием для того, чтобы последовательность, сгенерированная LFSR, имела максимальную длину, является то, чтобы ее соответствующий полином был примитивным . [3]
MLS недороги в реализации на аппаратном или программном уровне, а регистры сдвига с обратной связью относительно низкого порядка могут генерировать длинные последовательности; последовательность, сгенерированная с использованием регистра сдвига длиной 20, имеет длину 2 20 − 1 выборок (1 048 575 выборок).
MLS обладают следующими свойствами, сформулированными Соломоном Голомбом . [4]
В последовательности должно быть примерно одинаковое количество 0 и 1. Точнее, в последовательности максимальной длины длины есть единицы и нули. Количество единиц равно количеству нулей плюс один, так как состояние, содержащее только нули, не может возникнуть.
«Run» — это подпоследовательность последовательных «1» или последовательных «0» в пределах соответствующей MLS. Количество run — это количество таких подпоследовательностей. [ неопределенно ]
Из всех «серий» (состоящих из «1» или «0») в последовательности:
Круговая автокорреляция MLS представляет собой дельта -функцию Кронекера [5] [6] (со смещением постоянного тока и задержкой по времени, в зависимости от реализации). Для соглашения ±1, т. е. присваивается значение бита 1 и значение бита 0 , отображая XOR на отрицательное значение произведения:
где представляет собой комплексно-сопряженное число, а представляет собой циклический сдвиг .
Линейная автокорреляция MLS аппроксимирует дельту Кронекера.
Если импульсный отклик линейной инвариантной во времени (LTI) системы должен быть измерен с помощью MLS, отклик может быть извлечен из измеренного выхода системы y [ n ], взяв его круговую взаимную корреляцию с MLS. Это происходит потому, что автокорреляция MLS равна 1 для нулевого запаздывания и почти равна нулю (−1/ N , где N — длина последовательности) для всех других запаздываний; другими словами, можно сказать, что автокорреляция MLS приближается к единичной импульсной функции по мере увеличения длины MLS.
Если импульсная характеристика системы равна h [ n ], а MLS равна s [ n ], то
Принимая во внимание взаимную корреляцию относительно s [ n ] обеих сторон,
и предполагая, что φ ss является импульсом (справедливо для длинных последовательностей)
Любой сигнал с импульсной автокорреляцией может быть использован для этой цели, но сигналы с высоким крест-фактором , такие как сам импульс, производят импульсные отклики с плохим отношением сигнал/шум . Обычно предполагается, что MLS тогда будет идеальным сигналом, так как он состоит только из полномасштабных значений, а его цифровой крест-фактор равен минимуму, 0 дБ. [7] [8] Однако после аналоговой реконструкции резкие разрывы в сигнале производят сильные межвыборочные пики, ухудшая крест-фактор на 4-8 дБ или более, увеличиваясь с длиной сигнала, делая его хуже, чем синусоидальная развертка. [9] Другие сигналы были разработаны с минимальным крест-фактором, хотя неизвестно, можно ли его улучшить более чем на 3 дБ. [10]
Кон и Лемпель [11] показали связь MLS с преобразованием Адамара . Эта связь позволяет вычислять корреляцию MLS в быстром алгоритме, похожем на FFT .
Последовательность максимальной длины — это двоичная последовательность, круговая автокорреляция которой (за исключением небольшой ошибки постоянного тока) является дельта-функцией.
его среднеквадратичное и пиковое значения равны X, что делает его пик-фактор (пик/среднеквадратичное значение) равным 1, самому низкому значению, которое он может получить.
Пик-фактор для MLS очень близок к 1, поэтому имеет смысл использовать этот тип входного сигнала, когда нам нужно высокое отношение сигнал/шум для нашего измерения
Последовательность максимальной длины (MLS) теоретически подходит, поскольку имеет математический пик-фактор 0 дБ, самый низкий возможный пик-фактор. Однако на практике резкие переходы и воспроизведение сигнала с ограниченной полосой пропускания приводят к пик-фактору около 8 дБ