Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Статистические методы обработки сигналов в радиотехнических системах

..pdf
Скачиваний:
29
Добавлен:
05.02.2023
Размер:
6.9 Mб
Скачать

151

известны(этуматрицутакженазываютдисперсионнойматрицейошибки оценки). Очевидно, к моменту времени t вся полезная информация

о неизвестном параметре содержится в выборке YTy y1, y2 ,..., yt .

 

; K0

Априорная информация представлена двумя величинами 0

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

 

;

 

)

, причемнакаждомпредыдущем

долженформироватьпару t

K( t

(t – 1)-м моменте времени пара

 

 

 

может рассматриваться

t 1; K( t 1)

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

 

a B Yt

 

) .

можнонайтилинейнуюоценку t

иеековариацию K( t

Таким образом, для линейной оценки желаемая рекурсивная формаалгоритмаоцениванияможетбытьполученанаосновесоотношений (4.48), (5.14). Рекурсивный алгоритм должен реализовать процесс

 

 

 

 

 

) иприэтомучестьотличиеапо-

пересчета t 1; K( t 1)

t

; K( t

стериорныхоценокиихковариацийотаприорных, обусловленноеполучением новой информации — текущего (в данной задаче скалярного) наблюдения yt .

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

 

 

M / Yt

 

 

t

 

M / Yt 1

 

1

(yt

, yt ) yt

M yt / Yt 1 . (5.18)

Kt 1( t 1, yt ) Kt 1

Рассмотрим смысловое содержание всех элементов соотноше-

ния (5.18).

Очевидно,

 

есть условная оценка вектора парамет-

M / Yt 1 t 1

ров на текущий момент времени t, которая образуется на основе всех наблюдений, поступившихкмоменту(t – 1). Посуществу, этоэкстраполяция (прогноз) вектора параметров на шаг вперед. По отношению к моменту времени t с учетом уравнения наблюдений (5.12) можно установитьсмыслвыражения M yt /Yt 1 . Действительно:

T

 

,

(5.19)

M yt / Yt 1 ht

t 1

152

иэтотэлементпосмыслуесть оценканаблюдения намоментвремени t на основе наблюдений, доступных к моменту времени (t – 1). Другими словами, это также прогноз (экстраполяция) наблюдений на один шаг вперед.

 

T

 

 

 

 

Введем обозначение ht

t 1

yt / t 1 . Тогда выражениев (5.18)

yt

M yt

/ Yt 1 yt

yt / t 1 t

(5.20)

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

(innovation process).

Следовательно, условная (при заданных наблюдениях Yt 1 ) ковариация Kt 1( yt , yt ) , которая при скалярном наблюдении есть условная дисперсия, те. . Kt 1( yt , yt ) Dt 1 yt , имеет с учетом (5.19), (5.20) вид

Kt 1(yt , yt ) D yt

/ Yt 1 M

 

yt yt / t 1

2

 

 

 

 

 

 

 

 

 

 

T

 

2

2

T

 

 

 

 

 

 

2

D t

. (5.21)

ht

( t 1)

 

nt

ht

Kt 1( t 1

, t 1) ht

 

При выводе (5.21) учтено, что

 

при

t

является несмещенной

t

оценкойилинейнойфункциейнаблюдений, аэлементыпоследователь-

ности ошибок nt статистически независимы между собой и с векторомнаблюдений .

Обратимся теперь к элементу

 

 

, yt

) в (5.18), который пред-

Kt 1( t 1

ставляет условную (при заданных наблюдениях Yt 1 )

ковариацию

 

(t 1)

и наблюдения

yt . В развернутой форме

оценки t 1 , на момент

получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T

 

T

t

T

 

 

Kt 1( t 1, yt )

M ( t 1

) (ht

t 1 ht

 

)

 

 

 

 

T

 

 

 

 

 

 

(5.22)

M ( t 1 )( t 1

)

ht Kt 1( t 1,

t 1) ht .

Витогерекурсивнаяформаалгоритмаоценивания (4.94) принимает вид

153

 

 

K

 

h

 

h

T

K

h

 

 

2

 

1

y

h

T

 

,

(5.23)

 

t

 

t 1

t 1

t

t

t

 

 

t

 

t 1

 

 

 

 

 

 

t 1

 

 

 

 

t

 

 

 

 

где Kt 1

 

 

 

 

 

— ковариацияошибкиоценкина(t – 1)-мвре-

Kt 1 t 1, t 1

менномшаге. Найдемрекурсивноесоотношениедляковариационныхматрицоши-

бок оценивания Kt 1 и Kt для соседних моментов времени. Из уравнения(5.15) следует

 

1

 

 

(5.24)

Kt Kt 1 Kt 1( t 1, yt ) Kt 1( yt , yt

) Kt 1( yt , t 1) ,

Подставляя в (5.24) выражения (5.21), (5.22), получим

 

Kt Kt 1 Kt 1ht

T

2 1

T

(5.25)

ht Kt 1ht

ht Kt 1 .

Уравнения (5.23) и (5.25) полностью определяют рекурсивный алгоритм формирования линейной оценки случайного векторного параметра с минимальным значением суммарной (по всем компонентам вектора) дисперсии ошибок.

Напомним, что полученный выше алгоритм является наилучшим (в смысле минимума СКО) в классе линейных алгоритмов и строго оптимален, есливероятностныесвойстванаблюдаемогосигналаиполезного сообщения описываются гауссовской ПРВ.

Взаключениеперечислимосновныеэлементырекурсивногоалгоритма (5.23), которые определяют его структуру:

 

 

 

 

 

 

 

 

 

t — текущаяоценкавекторапараметров;

t

t 1 + gt

 

 

y

 

h

T

 

 

 

 

 

— текущаяошибкапрогнозанаблюдения;

t

 

t

 

 

t

1

 

t

 

 

 

 

 

h

 

D hT K

t

 

 

2 — дисперсия невязки;

g

 

K

t

 

 

1

t

 

 

— векторныйкоэффициентусиленияфильтра;

t

t

1

h

t

 

D 1

 

 

 

 

 

hTt

 

 

Kt

(I

gt

 

) Kt 1 — ковариационная матрица ошибки оцени-

вания.

Для инициализации алгоритма необходимо задать начальную оценку 0 иеековариационнуюматрицуK0.

154

5.4.Оптимальная линейная фильтрация. Фильтр Калмана

Вобщемслучаеполезноесообщение (t) является случайной функцией времени. Задачу оценивания неизвестной функции называют задачейфильтрациисообщения. Отметим, чтоневсегдаудобнодляпредставленияслучайнойфункциииспользоватьразложениевряд(4.21) по известнымфункциямсослучайнымикоэффициентамивида

r 1

 

(t) i fi (t) .

(5.26)

i 0

 

Ясно, что при заданном r используемые в (5.26) функции окажутвлияниенаточностьпредставленияслучайнойфункции. Допустим,(t) — речевой сигнал. Какой набор fi (t) следует использовать для егопредставления? Можетбытьстепенныефункцииилигармонические?

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

Рассмотрим первый способ прямого описания случайной функции. Оноснованнапримененииряда (5.26) иоптимальномилиподходящем выборе множества функций fi (t) . Здесь известны несколько подходов. Остановимся кратко на двух из них. Это разложение Карунена — Лоэва [14] и метод канонических разложений Пугачева [15]. В первом случаенеобходиморешитьинтегральноеуравнение, найтисобственные функцииисоответствующиеимсобственныечисладляоператора, определяемого ковариационной функцией случайного сигнала. Во втором случае необходимо использовать произвольную систему порождающих функций, обладающихсвойствомбиортогональностиотносительнокорреляционнойфункциислучайногопроцесса [15]. Вобоихслучаяхколичество членов ряда может быть достаточно большим, те. . размерность вектора неизвестныхпараметровтакжебудетдостаточнобольшой.

Второйспособпредставления основаннаконцепцииформирующего фильтра и введении понятия переменной состояния динамической системы. Именноэтотподход[16, 17] объединилтеориюдинамических систем, использующуюдляихописаниядифференциальныеиразностные уравнения, и теорию описания случайных функций, обладающих марковским свойством (см. подразд. 1.1).

155

Понятиепеременнойсостоянияпояснимнапростомпримере. Известно, что случайный гауссовский стационарный процесс (t) с корреляционнойфункцией

K ( ) 2 e

получается в результате воздействия белого гауссовского шума u(t) на линейнуюдинамическуюсистемуввидеинтегрирующей RC-цепи [16]. Стохастическоедифференциальноеуравнение, связывающеевходивыход RC-цепи, являетсяпростымуравнениемпервогопорядкавида

d / dt (t) u(t),

(5.27)

где 1/ RC — постояннаявременифильтра— динамическойсистемы. Заданиеначальногоусловия (напряженияна емкости) (t 0) 0 при условииегослучайностииреализации u(i) (t) для t [0;T ] полностью иоднозначноопределяютреализацию случайногопроцесса (i) (t) .

Используя простейшую схему Эйлера, дифференциальному уравнению(5.27) можносопоставитьразностноеуравнение

t (1 t) t 1 t ut , t 1,2,..., (5.28)

где t — интервалдискретизации; ut — дискретныйвовременинекоррелированный гауссовский шум с соответствующей дисперсией. Отметим, что переход от непрерывного уравнения (5.27) к численной разностной схеме (5.28) имеет некоторые особенности [17], которые здесь не обсуждаются.

Динамику системы (5.27), если положить входной шум u(t) 0, определяетлишьоднавеличина x1 0 . Еслиперейтикдискретномувремениирассматриватьпоследовательностьмоментов t0 ,t1,t2 ,...,tn , тодля любоготекущего ti предыдущий ti 1 выполняетрольначальногомомента времени. Таким образом, вполне естественно ввести в рассмотрение переменную x(t) (t) и назвать ее переменной состояния динамиче-

скойсистемыпервогопорядка, посколькуонанарядусвходнымшумом полностьюопределяет развитиепроцессов всистеме.

Отметим, что именно по этой причине при белом шуме на входе динамической системы первого порядка случайный процесс (t) на ее выходе имеет последействие (в статистическом смысле) на один шаг. Ввероятностномплане (t) являетсяпростыммарковскимпроцессом (см. подразд. 1.1), который требует для своего описания задания ПРВ начальногосостояния W ( 0 ) и ПРВперехода W ( i ;ti / i 1;ti 1).

156

Динамическая система (5.27), (5.28) фактически может рассматриватьсякакформирующийфильтрдляпроцесса (t). Дифференциальное уравнение (5.27) называют порождающим для процесса (t). Таким образом, по существу нет различия в математическом описании сигналов и систем. В этом суть концепции формирующего фильтра в современноймарковскойтеориифильтрации[16, 17].

Очевидно, что при более сложной корреляционной функции K ( ) порождающийфильтр, оставаясьлинейнымдлягауссовскихпроцессов, будет динамической системой болеевысокого n-гопорядка. Порождающее дифференциальное уравнение (разностное для дискретных во времени систем) уже не будет уравнением первого порядка. Для обеспечения единственности выходной реализации информативного процесса(t) при отсутствии входного шума потребуется задание n случайных величин, определяющихначальныеусловия. Витогебудетвведенвектор переменных состояния x(t), одна из компонент которого (в общем случае — некоторая линейная комбинация) совпадает с самим процессом (t) . Однакотеперьслучайныйпроцесс (t) небудетпростыммарковским, но будет сложным — многосвязным.

Известно, что дифференциальное уравнение n-го порядка можно заменить эквивалентной системой n уравнений первого порядка для новыхпеременных. Вкачествеэтихпеременныхцелесообразновыбрать переменныесостояния, определяющиеначальныеусловияилиихлинейные комбинации. В итоге порождающее дифференциальное уравнение для информативного сообщения (t) будет представлено системой уравнений первого порядка для вектора переменных состояния x(t). Эта система уравнений определяет математическую модель полезного сообщения в задачах теории марковской фильтрации. Таким образом,

вместо (5.27) для стационарных гауссовских сообщений (t)

имеем

ввекторнойформеуравнение

 

 

dx(t) / dt A x(t) B u(t),

t [0;T ] ,

(5.29)

где x(t) — n-мерный вектор состояния; A — ( n n )-числовая матрица, вид которой зависит от корреляционной функции K ( ) ; B — ( n 1)- числовая матрица. При переходе к дискретному времени (5.29) можно сопоставитьразностноеуравнение

xt Ф xt 1 B ut ,

t 1,2,... ,

(5.30)

157

где Ф— ( n n )-матрицапереходасостояний; ut — дискретнаястационарная некоррелированная гауссовская последовательность с пара-

метрами ut 0 , ut2 u2 . Начальные условия для систем (5.29), (5.30) определяет случайный гауссовский вектор x0 спараметрами

x0 m0 , x m0 x m0 T K0 .

Влинейнойзадачефильтрацииполезногосообщения (t) наблюдаемыйскалярныйсигнал yt являетсяодной (какправило, первой) изкомпонентвекторасостояния. Математическаямодельнаблюденийпоструктуреаналогична (5.16) иимеетвид

y

H x

n ;

t 1,2,...;

n

0;

n2

2 .

(5.31)

t

t

t

 

t

t

n

 

Вуравнении(5.31) матрица H независитотвременииимеетразмерность 1 n , те. . фактически, как и в (5.16), является вектором-строкой. Здесь H определяет связь наблюдений с n-мерным вектором состояния,

и в задаче, где x1(t) (t) , имеем H [1 0 0...0].

Случайные возмущения в (5.29), (5.30) называют шумами состоя- ния. Этовиртуальный шум, обеспечивающий в математической модели (5.29), (5.30) случайную природуполезногосообщения (t) . Возмущения в (5.31) называют шумомнаблюдения. Частовпрактическх задачах можнополагать, чтовозмущениясостоянийинаблюденийстатистически независимы между собой и независимы от вектора начального состояния, тоесть

u

m

n

0;

u

m

xT (0) 0;

n

xT (0) 0

для m,k 1,2,... (5.32)

 

k

 

 

k

m

k

 

Всилулинейностиуравнения(5.30), определяющегодинамикугауссовского полезного сообщения t и уравнения наблюдения (5.31), определяющегогауссовский процесс y(t), этипроцессы совместногауссовские. Таким образом, оператор байесовской оценки (5.1) сводится к линейному фильтру, что и было показано в подразд. 5.1, 5.2.

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

В России в 1961 г. профессор МГУ РЛ. . Стратонович получил уравнения, определяющие оператор байесовской оценки (5.1) для более сложныхмоделейнепрерывныхсообщенийинаблюдений, когдауравнения(5.29) и(или) (5.31) являютсянелинейными. Вэтомслучае t иy(t)

158

неявляютсясовместногауссовскимииоптимальныйфильтроказывается нелинейной системой, байесовский оператор (5.1) не имеет точного представления в явной форме [16, 17].

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

Оптимальныйалгоритмлинейнойфильтрациисгауссовскимисигналамисостоитизследующихэтапов:

1) предсказание (прогноз) оценкисостояниянаодиншаг:

 

xt / t 1

Фxt 1

 

при x0

m0 ;

(5.33)

2) вычислениековариацииошибкипрогнозасостояния:

K

t / t 1

M

 

 

 

 

T

 

 

 

xt / t 1

xt xt / t 1 xt

 

 

ФKt 1ФT u2

BBT , t

1,2, ,

(5.34)

где K0 — априорнаяковариацияоценки x0 ;

3)

вычислениетекущейошибкипрогнозанаблюдения(невязка):

 

 

t

y

t

H x

t

/ t 1

,

 

(5.35)

 

 

 

 

 

 

 

 

где yt / t 1 H xt / t 1 — предсказание(экстраполяция) наблюдения;

4)

вычислениедисперсииневязки:

 

 

 

 

 

 

D H

K

HT 2

;

(5.36)

 

 

 

t

 

 

t / t 1

t

 

n

 

 

5) вычисление векторного коэффициента усиления фильтра

Калмана:

 

 

 

 

 

 

 

 

g

t

K

t / t 1

HT D 1

;

(5.37)

 

 

 

 

 

 

 

6) вычислениетекущейоценкисостояния:

 

x

x

t / t 1

g

t

;

 

(5.38)

 

t

 

 

t

 

 

159

7) вычислениетекущейковариацииошибкифильтрации:

Kt M

 

 

T

(I gt

H) Kt / t 1 .

(5.39)

xt

xt xt

xt

СравнениеалгоритмафильтраКалманасуравнениямиоценки пара- метровлинейнойрегрессиипоказывает, чтоониразличаютсяналичием валгоритмефильтрацииуравненияпредсказанияоценкисостояния(5.33) иуравнения (5.34) дляковариацииошибки предсказанногосостояния.

Представляет интерес сравнениерезультатов, полученных для байесовской оценкив подразд. 4.4 для модели наблюдаемогосигнала (4.36), и результатов, которые получаются при расчетах по формулам (5.33)– (5.39), определяющималгоритмфильтраКалмана.

Математическая модель скалярного полезного сообщения в терми-

нах переменных состояния в данной задаче имеет вид

x x

при

 

x

m

и D

x

 

2 ;

t 1,2,...

(5.40)

t

t 1

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

Математическаямодельнаблюденийопределенавыражением(4.36):

 

 

 

 

 

 

 

 

 

 

 

 

 

2 .

 

 

 

y

x

n ;

 

 

 

0,

 

 

n2

 

(5.41)

 

 

n

 

 

 

 

t

t

 

 

t

 

t

 

 

 

 

 

t

n

 

 

Сопоставляя (5.40), (5.41) с (5.30), (5.31), получаем Ф 1;

B 0;

H 1. Из уравнений (5.33)–(5.39), определяющих оптимальный алго-

ритм фильтраКалмана, получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

; Kt / t 1 Kt 1 ,

 

 

 

xt / t 1 xt 1

 

и так как K0 2 , то

Kt / t 1 2 , и для дисперсии невязки согласно

(5.36) имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

D 2

K

t / t 1

.

 

(5.42)

 

 

 

 

 

 

 

n

 

 

 

 

 

Коэффициентусиленияфильтрасогласно(5.37)

 

 

 

 

gt Kt / t 1 n2

 

 

 

 

1

 

 

 

 

Kt / t 1 .

 

Оценкасостояния всоответствии с (5.38) имеетвид

 

 

 

 

 

 

 

Kt / t 1

 

 

 

 

 

 

 

 

xt xt / t 1

 

 

 

 

 

 

 

yt xt / t 1

(5.43)

 

2

 

K

 

 

 

 

 

 

 

 

 

n

 

 

 

 

t / t 1

 

 

 

160

итекущаядисперсияошибкифильтрациисогласно(5.39)

Kt (1 gt ) Kt / t 1

 

n2

 

 

n2

 

 

 

 

 

 

.

(5.44)

2

Kt / t 1

2

2

 

n

n

 

 

Выполнимпростыеалгебраическиерасчетыдля t 1, 2, 3. Результа-

ты расчетов занесемв таблицуи учтем, что 2

/ n2 .

 

 

 

Момент

 

Дисперсия

Коэффициент

 

Дисперсия

 

 

времени

прогнозаоценки

усиления

текущейоценки

t

 

Kt / t 1

фильтра gt

 

 

Kt

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

t 1

 

 

2

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

2

 

 

 

t 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1 2

 

1 2

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

2

 

 

 

t 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 2

1 3

 

1 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t m

 

 

 

 

1 m 2

/ 2

 

1 (m 1)

 

1 m

 

 

 

 

 

 

 

 

 

n

Текущаяоценкасостояния напервомшагесогласно (5.43) имеетвид

 

 

 

 

y1

 

m

 

 

y1

m

m

y1

 

 

xt 1

x1/ 0

 

 

x1/ 0

 

 

 

 

.

(5.45)

1

1

1

 

 

 

 

 

 

 

 

 

 

 

Выражение(5.45) тождественноравнооценке(4.43) при m 1. Дисперсия текущей оценки на m-м временном шаге в таблице совпадает

свеличиной D

вформуле(4.46). Полученныерезультатыподтвержда-

 

Б

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

Нарис. 5.1 приведена структурафильтра, соответствующаяалгоритму обработки данных в фильтре Калмана. Ее основными элементами

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]