Последовательность максимальной длины ( MLS ) — это тип псевдослучайной двоичной последовательности .
Они представляют собой битовые последовательности, генерируемые с использованием регистров сдвига с максимальной линейной обратной связью , и называются так потому, что являются периодическими и воспроизводят каждую двоичную последовательность (кроме нулевого вектора), которая может быть представлена сдвиговыми регистрами (т. е. для регистров длины m они создают последовательность длины 2 m − 1). MLS также иногда называют n-последовательностью или m-последовательностью . MLS спектрально плоские , за исключением почти нулевого постоянного члена.
Эти последовательности могут быть представлены как коэффициенты неприводимых многочленов в кольце полиномов над 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 в последовательности должна быть примерно одинаковой. Точнее, в последовательности максимальной длины есть единицы и нули. Количество единиц равно количеству нулей плюс один, поскольку состояние, содержащее только нули, возникнуть не может.
«Прогон» представляет собой подпоследовательность последовательных «1» или последовательных «0» в соответствующем MLS. Количество прогонов — это количество таких подпоследовательностей. [ нечеткий ]
Из всех «серий» (состоящих из «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 с помощью быстрого алгоритма, аналогичного БПФ .
Последовательность максимальной длины — это двоичная последовательность, круговая автокорреляция которой (за исключением небольшой ошибки постоянного тока) является дельта-функцией.
его среднеквадратичное и пиковое значения равны X, что делает его пик-фактор (пик/RMS) равным 1, самому низкому из возможных значений.
Пик-фактор для MLS очень близок к 1, поэтому имеет смысл использовать этот тип входного сигнала, когда для наших измерений требуется высокое соотношение сигнал/шум.