Левин Б.Р. Теоретические основы статистической радиотехники (3-е издание, 1989) (1141996), страница 91
Текст из файла (страница 91)
13.7.5). При более быстром стремлении к нулю амплитуды сигнала отношение сигнал-помеха стремится к нулю, а при более медленном — неограниченно возрастает, В первом случае вероятность 1 — 6 правильного обнаружения стремится к нулю, а во втором— к единице, Ограничение (!7.1) исключает, таким образом, сингулярные алгоритмы обнаружения'. 17.1.2. Определение асимптотически оптимального алгоритма. Дадим теперь точное определение понятия асимптотической оптимальности. Условимся, как обычно в теории обнаружения сигналов, считать оптимальным такой алгоритм обнаружения Ьо„, который при фиксированной вероятности ан ложных тревог обеспечивает для заданного размера и выборки минимальную вероятность (1„(6о„, Х„) пропуска сигнала Х„з(!) (критерий Неймана — Пирсона). Пусть Ль ..., Մ— последовательность амплитуд сигнала, определенным образом сходящаяся к нулю, когда размер выборки п неограниченно возрастает.
Рассмотрим последовательность (6„) алгоритмов обнаружения сигналов амплитудами Л„. Обозначим вероятность пропуска сигнала, соответствующую Ь„и Х„, через ()„(6„, Х„). Назовем последовательность алгоритмов (Ь"о„) асижпготически оптимальной, если для любой другой последовательности алгоритмов (Ь„) имеет место соотношение 1пп [р„(6„, )ь„) — р„(6„", Х„)1) 0 (17.2) н-+с при фиксированном уровне вероятности а ложных тревог, который следует трактовать также асимптотически, т.
е. Игпан(бн) =!!шан(6,",о) =а. (17.3) ' См., папрямер, формулу (15 20а), нз которой слелуег, что прн обнаруже. ннн сигнала Лз(Г) на фоне адднтнвной независимой гауссовской помехп параметр обнаружения г(а =-Л'лйу:/па=Л'п(С!П),м Прн Д,-«0, р-«), прн Д вЂ «со р-«0 Прн ), ~/ п=т предельная рабочая характернстнка алгоритма обнаружсння имеет внд х — х р — — у((С/П),„]ма.
493 Скорость сходимости последовательности Л к нулю при и-«со ие произвольна. Должно выполняться условие Л„= 7„/Рсй (17.4) где 7„— ограниченная положительная константа, пропорциональная отношению сигнал-помеха. Для асимптотически оптимального алгоритма при условии (17.4) существует предел 1!шЬ„(6„", 7„д~п) =Ь(6", 7), 0 (р ('Ь"о, 7) < 1.
(17.5) (17.5а) Пусть Л„„, Л„.» — последовательности амплитуд сигнала, сходящиеся к нулю при й — «со, и пусть существует общий предел вероятностей пропуска сигнала для указанных последовательностей алгоритмов 11ш5„, (6„~, Л„) =1!ш~ ° (Ь"., Л .) =!), а ( ! — !) ( 1. (17.7) Введем КАОЗ ре (Ь*, 6) уровня (1 последовательности алгоритмов 494 Предельный алгоритм 6"о использует предельную нормированную статистику с конечными параметрами распределения этой статистики, зависящими от константы 7.
При больших размерах выборки и рабочая характеристика асимптотически оптимального алгоритма Ьло„мало отличается от аналогичной характеристики алгоритма Ье„, оптимального по критерию Неймана — Пирсона. Использование асимптотически оптимального алгоритма в допредельном случае окажется целесообразным при быстрой сходимости к оптимальному. Заметим, что при решении практических задач амплитуда сигнала может и не удовлетворять условию (17.4). Но и тогда в допредельном случае можно использовать асимптотически оптимальный алгоритм обнаружения сигнала. При этом рабочая характеристика алгоритма определяет верхнюю границу вероятности правильного обнаружения прн Л п-', ч)1/2 и нижнюю границу этой вероятности при Л-и ', 0(ч(1/2 (когда алгоритм обнаружения состоятельный).
17.1.3. Асимптотически наиболее эффективные алгоритмы обнаружения сигналов. Рассмотрим две последовательности Ь„„ и Ь ° алгоритмов обнаружения сигнала, для которых пределы лэ вероятностей ложных тревог при пк- оо, п*к — «со, когда й — «со, совпадают: Дгп а„„(6„„) = 11ш а„. / Ь„'.'! = а. (17.6) ь-«ь-«о к ~ э/ (17.10а) 6*„.о относительно последовательности 6„» 1см. (12.34) и (12.34 а) 1: рв(6", 6) = Ит в,)п",, (17.8) где лд- оо, в*о — ~ос, Ь -6, 6*„° -эб*, когда й-+-оо. Назовем последовательность 6* » асимптотически наиболее эффективной (АНЭ) последовательностью алгоритмов обнаружения сигнала, если для любых Ь э и заданных величин а, Ь рв(6*, 6)) 1.
(17.9) Если при фиксированном значении а неравенство (17.9) выполняется для любых Ь, то алгоритм Ь*„. называется равномерно асимптотически наиболее эффективным (РАНЭ). Из (17.2), (17.7) и (17.9) следует, что асимптотически оптимальный алгоритм обнаружения сигнала является также и асимптотически наиболее эффективным алгоритмом. Это позволяет использовать КАОЭ в качестве показателя асимптотической оптимальности.
17.1.4. Коэффициент асимптотической относительной эффективности. Из определения (17.8) непосредственно не следует метод вычисления КАОЭ. Однако можно показать, что при условии существования конечных пределов (что имеет место для асимптотическн оптимальных алгоритмов) 1ипр„(6„, уфп) =р(6, у), 1ппр„(6„, у"1)~п) =()(Ьо, у*) (17.10б) и-+ю КАОЭ алгоритма Ь* по отношению к произвольному алгоритму 6 [ср. с (13.162)1 рв. (Ь* 6) = (7./7',)' (17.11) где уо и у*о — минимальные корни уравнений ()(Ь, у) =Ьо, ИЬ*, Т ) =по. (17.12) Интуитивное обоснование формулы (17.11) следует из того, что при заданном значении Ьо существуют последовательности ло и а*д, неограниченно возрастающие при й-~-оо, для которых Ит Х„фаваз = у„Ит Х„3/ а*, = уо.
(17.13) Мо Ф-+ э 17.1.6. Количественная мера устойчивости асимптотически оптимальных алгоритмов обнаружения сигнала. Прн практическом применении асимптотически оптимальных алгоритмов возникает вопрос: насколько чувствительны характеристики обнаружения сигнала к изменению распределения вероятностей помех, для которого используемый алгоритм асимптотичеоки оптимальный. Свойство алгоритма сохранять в определенных пределах свои 495 Таблица 17.1 характеристики при изме .нии помеховой обстановки назовем его устойчивостью.
Пусть и) — плотность распределения помехи, ио отношению к которой алгоритм бо(п)) в реализованном обна- ли (и) 4' (и) Алгоритм О. о2 1 тат, о) 2 Гипотеза Н Альтернатива К О; от та, от (1) (2) ) п.и У (1) (х) — У„(2) (х) ~ ' 0 496 (и. и) ружителе сигнала асмиптотически оптимальный, и пусть и — плотность распределения помехи в изменившихся условиях, В качестве меры устойчивости примем КАОЭ р алгорт(тма 6* (и)), используемого при «чужой» помехе (с плотностью распределения и), по отношению к алгоритму 6*(и), асимптотически оптимальному для этой («чужой») помехи. Предположим, что односторонние алгоритмы Ь"„(ш) и 6*(и) обнаружения сигнала предписывают сравнение с порогом асимптотически нормальных статистик.
Пусть среднее значение и дисперсия для предельного нормального распределения при гипотезе Н (сигнала нет) и при альтернативе К (сигнал присутствует) принимают значения, приведенные в табл. 17.1. При заданной вероятности а ложных тревог вероятности пропуска сигнала равны: при использовании алгоритма 6* (ы) р(б*м, у) =Р'(х«уа(/о))~ (17.14а) при использовании алгоритма 6'(и) 6(б', у) =Р(х„— уа/о), (17.14б) где х„ — процентная точка нормального распределения. Подставляя (1?.14а,б) в (17.12), находим У, = (х„— х, Р) о/а, Уо == (х„— х) Р) о,/а,.
(17.15) Вследствие монотонности интеграла Лапласа Р(г) полученные величины являются единственными корнями уравнений (1?.12). Подставляя (17.15) в (17.! 1), определяем КАОЭ алгоритма 6»и(ш) по отношению к алгоритму 6*(и) р=(а/о )2(о/а)2 (! 7.!б) Заметим, что отношения а/о и а,/о, можно рассматривать как меры «расстояний» между предельными распределениями статистик при гипотезе Н и альтернативе К соответственно. 17.1.6. Неоднозначность асимптотически оптимальных алгои) (2) ритмов. Пусть 6„(,1 и Ь„м) — две последовательности алгорит- "2 "А (1) мов обнаружения сигнала, использующие статистики у (,) (х) и ль (2) (1) у„(,) (х) и пусть алгоритм 6„(п асимптотически оптимальный.
"А "А Если при пи)ь-и-оо, п(2)А — )-оо, когда /2 — моо, (я) при .ипотезе Н, то алгоритм обнаружения Ь гзз также асимптоя тически оптимальный'. Указанное обстоятельство открывает возможность поиска асимптотически оптимальных алгоритмов с желаемыми дополнительными свойствами, например с более простой структурой, чем оптимальные при конечных размерах выборок, нли с непараметрическими свойствами.
Конечно, различные асимптотически оптимальные алгоритмы будут иметь различную скорость сходимости допредельных алгоритмов к предельным и в этом отношении одни асимптотически оптимальные алгоритмы будут лучше других. 17.1.7. Асимптотически достаточные статистики. Синтез асимптотическн оптимальных алгоритмов обнаружения сигналов на фоне помех основан на исследовании асимптотичеоких свойств логарифма отношения правдоподобия и определении в результате асимптотически достаточной статистики. Если отношение правдоподобия факторизуется (т. е.