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

книги из ГПНТБ / Козин, И. В. Элементы теории оптимального обнаружения и приема сигналов

.pdf
Скачиваний:
4
Добавлен:
19.10.2023
Размер:
5.17 Mб
Скачать

КОЫТРОЛЬПЬ.М' ЭКЗЕМПЛЯР

МИНИСТЕРСТВО ВЫСШЕГО И СРЕДНЕГО СПЕЦИАЛЬНОГО ОБРАЗОВАНИЯ РСФСР

И. В. КОЗИН

ЭЛЕМЕНТЫ ТЕОРИИ ОПТИМАЛЬНОГО ОБНАРУЖЕНИЯ

И ПРИЕМА СИГНАЛОВ

ИЗДАТЕЛЬСТВО ЛЕНИНГРАДСКОГО УНИВЕРСИТЕТА 1974

Печатается но постановлению редакционно-издательского совета

Ленинградского института авиационного приборостроения;

УДК 519.2 : 621.391.822 : 396.96

К о з и н И. В. Элементы теории оптимального обнаруже­ ния и приема сигналов. Л., Нзд-во Ленингр. ун-та, 1974. 124 с.

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

да распределения вероятностен гипотез заданы

с точностью

до непараметрических семейств.

математиче­

Книга рассчитана на читателя с серьезной

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

Библ. — 30.

Гоп. г, 5лич>)"я 1

па' -:но-% - и15ч.г .из ■ ЗНОЕ:' л-

00341—046

Издательство Ленинградского-

К 076 (02)—74 200—73

университета, 1974 г.

ПРЕДИСЛОВИЕ

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

В гидроакустике, например, более естественно считать, что помехой яв­ ляется случайный процесс, представляющий собой произведение гауссовско­ го процесса на положительный случайный коэффициент'-[22], т. е. гауссов­ ский процесс со случайной интенсивностью. В задачахУЬбнаруження и при­ ема сигналов, распространяющихся по очень большому' числу путей, обычно, предполагается, что при каждой из' Атпотез наблюдается гауссовский слу­ чайный процесс с нулевым средним [27]. Однако и здесь гауссовская модель наблюдаемых процессов плохо описывает реальные процессы. Одной из причин этого является узость класса гауссовских процессов, для которых возможно оптимальное обнаружение с отличными от нуля .обеими вероят­ ностями ошибок. В частности, если функция корреляции сигнала отличает­ ся от функции корреляции независимой аддитивной помехи только постоян­ ным множителем, обе вероятности ошибок обнаружения оказываются рав­ ными нулю, что слабо согласуется с ^инженерной интуицией. С целью из­ бавления от подобных неприятностей к наблюдаемому процессу при каж­ дой из гипотез добавляют аддитивную помеху в виде белого шума малой интенсивности, но при этом возникают не меньшие неприятности. Действи­ тельно, с одной стороны, белый шум превращает задачу -из» физической в чисто математическую, поскольку он имеет бесконечную мощность, а с Дру­ гой стороны, вероятности ошибок при этом целиком определяются величи­ ной .интенсивности добавляемого шума, и, в силу ее произвольности, также оказываются произвольными. Для построения модели наблюдаемых процес­ сов, в значительной степени свободной от перечисленных недостатков, мож­ но попытаться использовать следующий факт. Наблюдаемый процесс, преж­ де чем попасть на решающее устройство, всегда проходит входные цепи, коэффициент передачи которых никогда не бывает известным совершенно точно и не остается постоянным, а медленно (по сравнению с промежутком наблюдения) флюктуирует. По этой причине естественно считать коэффи­ циент передачи входных цепей постоянным на промежутке наблюдения, но случайным. Если к тому же предполагать при обеих гипотезах наблюдаемый процесс гауссовским с "нулевым средним, то процесс перед решающим уст­ ройством будет иметь вид произведения гауссовского процесса на случай­ ный коэффициент. Перенеся точку наблюдения на вход решающего устрой­ ства, получим, что и в этом случае наблюдаемый процесс будет гауссов­

ским процессом со случайной интенсивностью.

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

Монография рассчитана на читателя, владеющего основами статистиче­ ской теории обнаружения и приема сигналов, например, в объеме книги Хелстрома [27]. Для получения замкнутых результатов в ней пришлось ис­ пользовать аппарат теории меры и абстрактного гильбертова пространства. Это несколько усложняет восприятие материала инженерами, но не явля­ ется непреодолимым препятствием, так как по теории меры и гильбертова пространства имеются прекрасные руководства [1, 4], из которых можно почерпнуть все необходимые сведения. Математик найдет -в книге большое число нерешенных вопросов, поскольку автор не ставил себе целью полу­ чить исчерпывающее решение проблемы, а хотел лишь получить результаты, достаточные для решения некоторых прикладных задач.

Г л а в а 1

ОПТИМАЛЬНЫЕ ПО БАЙЕСУ ПРОЦЕДУРЫ ОБНАРУЖЕНИЯ И ПРИЕМА СИГНАЛОВ

§ 1.1. Постановка задачи

Сущность работы устройств, .предназначенных для обнару­ жения, приема или различения сигналов, сводится к принятию решений о наличии на входе того или иного сигнала. Устрой­ ство может ошибаться, принимая решение не в пользу того сигнала, который в действительности имеется на его входе. Ес­ ли интересоваться только способностью устройств давать пра­ вильные или ошибочные решения, то независимо от конструк­ тивных и целевых особенностей эти устройства будут полностью характеризоваться использованными в них процедурами .при­ нятия решений. Оценивать качество процедур принятия реше­ ний можно при помощи различных критериев. Наиболее про­ стыми из. них являются энергетические критерии, например, отношение энергий сигнала и помехи [7] или критерий откло­ нения [12, 13, 16]. Более предпочтительной часто оказывается оценка качества процедур по величине среднего риска. Счи­ тается, что лучшей процедуре соответствует меньшее значение среднего риска. Процедура принятия решений, имеющая наи­ высшую величину качества, называется оптимальной. Проце­ дура, которой соответствует минимум среднего риска, называ­ ется оптимальной по Байесу.

Пусть [ciU\i, k — 1, ... , N — квадратная матрица, £; — по­

ложительные числа с суммой

1. И пусть на измеримом

пространстве

(Q, А) определены N

вероятностных мер Pi, t'=

= 1, ..., N.

Если не предполагать

абсолютную непрерывность

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

Назовем разбиением Е пространства Q семейство А-изме- римых множеств Eit i= 1, ..., N, удовлетворяющих при каждом

N равенствам

P j^ E iftE ^ — Q для 1 ф к ,

и классом Е — совокупность всех разбиений Е.

Задача нахождения оптимальной по Байесу процедуры при­ нятия решений может быть теперь сформулирована следую­ щим образом.

Требуется среди разбиений класса Е найти разбиение Е0, минимизирующее на Е величину

( 1 лл)

i=l А—1

§ 1.2. Первая форма условий оптимальности

Отыскание разбиения Ео начнем с введения функции мно­ жеств

( 1.2. 1)

к =1

Очевидно, А является вероятностной мерой на (Q, А), и всякое A-измеримое множество имеет A-меру нуль тогда и только тогда, если Pj-мера этого множества равна нулю при каждом 7= 1, ..., N. Мера А позволяет дать более удобное определение разбиению Е.

Разбиением Е пространства Q называется семейство А-из-

.меримых множеств Ег, i= 1, ..., N, удовлетворяющих условиям

=

(1-2.2)

/.(Е,ПЕЛ) = 0 , для 1фк.

(1.2.3)

Так как из равенства нулю A-меры любого множества выте­ кает равенство нулю Я,-меры этого множества при любом г = 1, ..., N, то каждая мера Pi абсолютно непрерывна отно­ сительно чмеры А и для всякого A-измеримого множества А имеет место равенство

 

Л И ) =

f / . - H W

(1.2.4)

 

 

А

 

 

(стр. 112 [41),

в котором функция fi(co) определена

почти

всю­

ду относительно меры А, A-измерима и неотрицательна.

 

Обозначим через Л дополнение множества А относительно

пространства Q. Справедлива

 

 

 

Т е о р е м а

1.2.1. Семейство Е0 множеств

 

 

 

Е ок =

Г)Eh, где Е 0 — й,

(1.2.5)

 

vs=:l

 

 

 

N I

N

 

 

 

1—1(.

S—1

* = 1 ’

^

(12-6)

 

 

 

принадлежит Е и минимизирует Cr на Е.

6

Д о к а з а т е л ь с т в о . Поскольку функции /,■(со)

определе­

ны A-почти всюду и число их конечно, объединение 5

множеств

точек, в которых эти функции не определены, имеет Л-меру

нуль, а потому множество 5 не пусто. Покажем, что

 

S < z ( ] E ok.

(1.2.7)

h=i

 

Пусть это не так. Тогда найдется точка со из 5, не принадле­

жащая

жу

 

 

 

 

и д ,,,, и в силу равенства

 

 

к

- 1

N

N

 

 

 

 

(j£-o* = U ^ .

 

(1-2-8)

 

 

*=1

й =1

 

 

не принадлежащая ни одному из множеств E h.

Это означает,

что при любом к найдется

такое число

ik, для

которого

 

ш б (ш :

1

- ^ > / Л ш)<°1 =

 

 

N

N

 

 

 

 

 

 

 

= ш: 2 ^ cs i/s (ш) < 2

н I ■

 

 

 

 

.У=1

 

 

Если v — значение к,

при котором достигается min

то отсюда следует, что при некотором

и

к $=1

 

 

2 ^

л

и <

(“)•

 

 

J = 1

 

s= 1

 

 

Но это невозможно в силу определения v. Значит, сделанное предположение неверно.

Поскольку множества Еоь, очевидно, A-измеримы, из вклю­ чения (1.2.7) вытекает, что

1 = 4 5 ) < х ( й £<>*)< !•'

\h=I }

Таким образом, множества семейства Е0 удовлетворяют усло­ вию (1.2.2). Выполнение условия (1.2.3) для множеств этого семейства является прямым следствием формул (1.2.5) и <1.2.6). Итак, E0G Е.

Для произвольного разбиения Е £ Е при помощи формулы

<1.1.1)

составим выражение

 

 

^ = 2 2 ^ р ‘-

- 2

(я ^ -

 

• / _ 1 й= 1

i = l f t = l

 

 

 

Л' N

Затем,

прибавляя и вычитая справа сумму

У У е л Л - ( £ « п £ « ) ,

перепишем его в виде

 

 

7

N N

-

*/■—^.= i22= l k = 1

 

(1.2.9)

/=1 ft= 1

 

Принадлежность E0 и E к E обеспечивает равенства

P,(EkПД,*) =

^ Р Д ^ П Д ь ),

 

V=]

 

v

/ >i(^*nfo*) =

2 p i ( ^ n f o 0 -

 

V= 1

 

v ^ it

Подставив их в (1.2.9), проделав элементарные преобразования и применив формулу (1.2.4), найдем, что

Но £ оАс £ л, а для £fc

согласно (1.2.6) при любом v справед­

ливо неравенство

 

 

2

^t (Ch~ с(*)/< (“) >

0.

i=i

 

 

Отсюда получим неравенство сЕ— сЕ > 0 ,

чем и завершим до­

казательство

теоремы.

 

 

 

 

Для технических приложений самостоятельный интерес

представляет

случай N = 2.

Справедлива

множеств

Т е о р е м а

1.2.2. При N = 2 семейство Е0

 

 

'0 1

= /ш ■-^1

~'>

‘а (С21 —с2з) )

( 1.2. 10)

 

 

I

/а (“)

Ei (<42 —Сц) / ’

 

 

 

 

 

 

 

 

Д )2-- £ 01

( 1.2. 11)

принадлежит Е и минимизирует сЕ на Е.

 

Эта теорема

является

следствием теоремы

1.2.1. Действи­

тельно,

 

 

 

 

 

 

 

 

 

со:

1

 

 

= 9 .

 

 

{

 

 

 

 

 

На основании этого равенства и равенств (1.2.5) и (1.2.6)

£={<■>: 2 и с 2- с 5, ) / л ш) > о

_ ( . Л (ы) \ ?а (с21 —с2з) ) . F

/ 2 (ы)

(с!3 — cn ) J ^01-

8

Далее,

 

 

 

 

 

 

 

 

 

 

 

 

 

'ш: 2 ^ ^ “ сл) Л М > Oj = Q,

 

 

в силу чего по формуле (1.2.6)

 

 

 

 

 

 

Е 2' =

{“ : 2

 

{Сл~

С

f s (l0) > 0 \ =

 

 

 

__ (

. f \

(°0

 

6а fcai — сзз) )

 

 

 

А так как

 

{

/а (ы)

^

6i (снг— Си) j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

~р' — Jm • /1

6 °)

^

6afC;i -

Саг))

 

 

 

то

1

1

'Л М

^

6l(Cl2-C„) j ’

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/7

"с*' о

£7*

f . .

. -A (w )

.__

( с21

Соо) )

/т-

 

£ ” =

£ | п а = Г

 

-77м

< (с, -

г„)} °

£ "-

Вернемся к случаю

произвольного ЛЛ

 

 

 

 

Т е о р е м а

1.2.3.

Асли

к-мер а множеств

 

 

 

10 •

^Csk

Cs’^ f

s^

=

 

 

 

при всех k=£v,

k, v = 1, ...

,

N

равна

нулю, то

семейство-

множеств E h ,k = 1, ...

, N ,

определяемых равенством (1.2.6),.

принадлежит

Е и минимизирует

сЕ

на Е.

 

 

Д о к а з а т е л ь с т в о .

Еи£ Е по теореме

1.2.1

и

имеет ме-

 

 

 

 

 

 

 

 

 

n

 

 

 

сто равенство

(1.2.8).

Поэтому

l.-мера

Ц[Дь Равна

единице.

Далее

 

 

 

 

 

 

 

 

А—1

 

 

 

 

N

 

N

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

п

Е;Г\Ек =

П си:2 ^ ( ^ - ^ . ) л н > о

 

 

 

j — 1

l.

.5=1

 

 

 

 

 

 

 

 

 

j + k

 

 

 

 

 

 

 

 

 

 

 

n ®: У

 

(cSi Csk)fs H > 0 n

 

 

 

 

5=1

 

 

 

 

 

 

 

 

 

N

П ш :У М ^-д /Л «))>0 n

 

 

5 = 1

 

N

(

N

 

п

 

5 = 1

 

7 = 1

 

 

j + i

 

 

 

~ N

1•■=2N

 

n

n

Jrl

l

S=1

 

]фк

 

 

 

Соседние файлы в папке книги из ГПНТБ