Спектральный анализ и его приложения к обработке сигналов в реальном времени

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

Основная формула практически всех методов оценивания частоты, основанных на анализе собственных значений имеет следующий вид:

, здесь

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

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

1.7.2.Процедуры оценки частоты в пространстве сигнала.

1.7.3.Оценки частоты в пространстве шума.

Глава 2. Экспериментальный анализ алгоритмов спектрального анализа.

В данной работе математическое моделирование и вычислительные эксперименты преследовали следующие задачи:

1.) Провести сравнительный анализ численных методов спектрального анализа на различных типах тестовых сигналах.

2.) Выявить особенности каждого из методов и на их основе сделать вывод о целесообразности применения того или иного алгоритма в следующих условиях вычислительного эксперимента:

2.0.) Тест-сигнал состоит из смеси комплексных синусоид и шумовых процессов (белых шумов, пропущенных через фильтры с частотными характеристиками типа приподнятого косинуса) (используем для проверки способности метода к сохранению «достоверности» формы спектра)

2.1.) Несколько комплексных синусоид, присутствующие в анализируемом сигнале, имеют близкие частоты (этот тип тестовых сигналов используем для получения предельной разрешающей способности по частоте)

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

2.3.) Проводим серию испытаний с одним методом и формируем при этом различные реализации процесса (здесь анализируем качество оценки СПМ, рассматриваемое как функция дисперсии оценки, зависящая от частоты; меньшим значениям функции соответствует лучшая оценка на заданной частоте). Здесь же вводится в рассмотрение равномерный критерий оценки качества получаемых оценок СПМ и на основе его делается вывод о наилучшем методе в рамках своего класса и, вообще, о лучшем из всех исследованных в рамках данной работы.

2.4.) Для вычислительных схем функционирующих в реальном масштабе времени проводим серию экспериментов, направленных на выявление влияния значений параметров на структурную устойчивость алгоритма.

2.5.) Серия экспериментов, направленных на решение вопроса о выборе значений параметров в параметрических методах оценки СПМ (выбор порядка в авторегрессионном методе и методе авторегрессии-скользящего среднего, а также порядок модели линейного предсказания в ковариационном методе; шаг адаптации в адаптивном авторегрессионном алгоритме; действительный весовой множитель в рекурсивном алгоритме наименьших квадратов; количество главных собственных векторов, отвечающих подпространству сигнала в методе, основанном на собственных значениях; тип окна в классических методах спектрального анализа).

Сохранение «достоверности» формы спектра - одно из свойств, которое присуще практически всем исследованным методам. Однако меру «достоверности» сложно определить аналитически и затем количественно для каждого из методов, поэтому «достоверность» относится к числу субъективных критериев качества получаемых оценок и основным подходом к сравнению алгоритмов является визуальное сравнение получаемых оценок с истинным априорно известным спектром тест-сигнала. Результаты сравнения полученных каждым из исследованных методов оценок приведены в приложении C.

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

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

Приложение Fвключает в себя получение и исследование дисперсии оценок СПМ как функции частоты.

Выбор правильных параметров в методах, функционирующих в реальном масштабе времени сопряжен со значительными трудностями. С одной стороны, если рассматривать градиентный адаптивный авторегрессионный метод, выбор большего параметра адаптации приводит к улучшению разрешающей способности и к увеличению «достоверности» спектра, с другой стороны это приводит к возрастанию структурной неустойчивости всей вычислительной схемы, а на больших порядках модели, вообще, к разрушению алгоритма. В эксперименте с аудио сигналом для каждого представления отсчетов (под представлением понимается следующий набор установок : частота дискретизации из диапазона 8 Кгц. - 44 Кгц.,количество каналов - 1 (моно)/ 2(стерео), количество битов на отсчет 8 бит/16 бит ) и для каждого набора параметров схемы, осуществляющей сбор данных в реальном масштабе времени (количество (значения из диапазона : 3,...,128) и длина буферных областей задержек данных на входе и выходе (значения из диапазона : 256,...,16384 отчета)) было выбрано компромиссное решение. Результаты приведены в приложении G.

Поскольку наилучшее значение порядка фильтра в авторегрессионной модели, как правило, не известно, на практике приходится испытывать несколько порядков моделей. Базируясь на этом, вводят тот или иной критерий ошибки, по которому затем определяем требуемый порядок модели. Если порядок модели выбран слишком малым, получаются сильно сглаженные спектральные оценки, если излишне большим - увеличивается разрешение, но в оценке появляются ложные спектральные пики. Таким образом, применительно к авторегрессионному спектральному оцениванию выбор порядка моделей эквивалентен компромиссу между разрешением и величиной дисперсии для классических методов спектрального оценивания. Очевидно, что следует увеличивать порядок АР-модели до тех пор, пока вычисляемая ошибка предсказания не достигнет минимума. Однако во всех исследованных методах оценка дисперсии монотонно уменьшается с увеличением порядка модели. Следовательно, одной дисперсии обычно не достаточно для того, чтобы определить момент окончания процедуры изменения порядка.

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

, где

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

Вторым критерием, основанным на методике максимального правдоподобия является информационный критерий Акаике(он представляет исключительно теоретический интерес, а на практике используется как нижняя граница порядка модели)

На практике обычно порядок модели выбирают в интервале от N/3 до N/2 где N- длина обрабатываемой последовательности отсчетов. В приложении Н приведены графики оценок СПМ, полученных при различных значениях порядка модели.

Особенности реализации

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

Заключение

В данной работе :

1. Tеоретически проанализированы методы спектрального анализа, а также возможность применения этих методов в современных вычислительных системах для обработки данных в реальном масштабе времени.

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

3. Дано описание и выполнена реализация схемы управления процессом обработки данных в реальном времени, использующая преимущества параллельной архитектуры вычислительных систем.

4. Cформулирован ряд требований по вычислительным ресурсам при реальной обработке, сделан анализ длины выборки данных при различном представлении входного сигнала.

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

ПриложениeА.

Смещение периодограммы Уэлча.

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

Докажем, что его можно представить в виде свертки истинного спектра (спектральной плотности мощности) и нормированного квадрата модуля дискретно-временного преобразования используемого окна данных, то есть как

, где и

Рассмотрим выборочный спектр взвешенного p-ого сегмента в диапазоне частот :

Найдем непосредственно квадрат модуля в последнем равенстве

Подставив в формулу для математического ожидания периодограммы Уэлча, получим следующее выражение:

Введем в рассмотрение следующее окно данных (свертка используемого окна данных с тем же комплексно сопряженным, но в обратном времени, окном):

Его дискретно-временное преобразование Фурье равно, по теореме о свертке во временной области, произведению преобразований Фурье окна данных и окна . Если заметить, что преобразование окна равно комплексно-сопряженному преобразованию окна , то искомое выражение для будет равно квадрату модуля , где

Заменяя кратную сумму в выражении

и учитывая, то обстоятельство, что за пределами интервала шириной D отсчетов окно данных тождественно равно нулю, имеем:

ПриложениeI.

Список используемой литературы.