книги из ГПНТБ / Казаков В.А. Введение в теорию марковских процессов и некоторые радиотехнические задачи
.pdfпадает в состояние Xj, to состояние Xj следует формально считать .поглощающим. При этом /-ю строку матрицы перехода нужно изменить, положив Pjj=l, Pij=Q (/V=0- Применяя к вновь образованной матрице результаты предыдущего параграфа, можно получить более подроб ные сведения о внутренней структуре процесса, чем те, которые даются знанием финальных вероятностей и кор реляционной функции.
Последующие параграфы данной главы посвящены рассмотрению двух конкретных технических задач, ко торые решаются с помощью аппарата теории цепей Маркова.
1.6. Статистическое нацеливание узких диаграмм
направленностей антенн приемо-передатчиков
всистемах связи
ВСВЧ диапазоне антенны систем связи могут иметь весьма
узкие диаграммы направленности, ширина которых достигает 1—2°. В лазерных системах связи ширина диаграмм направленности еще меньше н составляет несколько десятков угловых секунд. С энерге тической точки зрения такие диаграммы направленности весьма же-
Рис. 1.5.
лательны, однако при практическом использовании они порождают специфические трудности, связанные с задачей нацеливания (вхож дения в связь) двух приемо-передатчиков, расположенных на раз ных объектах. При случайном сканировании узким лучом в пределах заданного углового конуса, определяющего зону неопределенности положения искомого объекта, процесс нацеливания может быть опи сан поглощающей цепью Маркова [8, 9]. Следовательно, в этом слу чае можно вычислить такую важную характеристику, как среднее время вхождения в связь. Рассмотрим, следуя [8, 9], задачу стати стического нацеливания узких диаграмм направленностей антенн приемо-передатчиков в системах связи.
Предположим, что на объектах А и В имеются приемо-пере- дающие устройства, причем диаграммы направленности передатчика и приемника каждого из объектов синхронно сканируют в простран стве. Оба объекта на основе априорных сведений грубо ориентиро ваны друг на друга (рис. 1.5). Диаграмма направленности
30
. бъскта А (ДНА) перемещайся, по зоне сканирования (ЗСд), со впадающей с зоной тіеопроде^еііностй^ЪйъРкта В, и соответствен' диаграмма (направленности объекта' В (ДНл) сканирует ло з З С В . Передатчики обеих станций излучают непрерывно. Вероятности
ложных приемов сигналов на обоих объектах пренебрежимо малы. Процесс вхождения в связь осуществляется следующим обра том. Когда одна из істаиций (например, А) 'обнаруживает сигнал от станции В, то объект А прекращает сканирование и осуществляет прием и передачу в направлении, по которому был принят сигнал от
Рис. 1.6.
объекта В. Станция В продолжает случайное сканирование до тех пор, пока она не обнаружит сигнал от станции А. На этом процесс нацеливания прекращается.
Перечислим все возможные ситуации, которые могут возникнуть
в процессе вхождения в связь. |
|
1. Диаграммы объектов точно совпадают |
по направлениям, и |
оба приемника обнаруживают сигналы. Связь |
между станциями |
установлена, диаграммы направленности фиксируются в простран стве. Это поглощающее состояние марковской цепи, которое обозна чим через Х\.
2. Диаграммы направленности объектов А и В ориентированы случайным образом, или же они направлены по одной оси, но сигна лы приемниками не обнаруживаются. Невозвратное состояние лг2.
|
3. Диаграмма направленности объекта А точно ориентирована |
|||
на |
объект В; |
сигнал от объекта В обнаруживается станцией А, и |
||
ее |
диаграмма |
направленности Д Н Л |
фиксируется. |
Диаграмма на |
правленности |
объекта В. сканирует по |
пространству, |
попадая иногда |
|
|
|
|
|
3! |
ira объект A, но сигнала от объекта А станция В не обнаруживает. Невозвратное состояние х$.
4. Та же ситуация, что и в предыдущем случае, но с переменой ролей между станциями А и В. Невозвратное состояние Хц.
Работа такой системы поясняется графом состояний (риг. 1.6) и іможет быть описана марковской цепью с четырьмя состояниями. Марковское свойство процесса в системе обеспечивается физиче ским содержанием задачи. Действительно, вероятности перехода из
одного состояния в другое зависят от исходных состояний |
(напри |
||
мер, вероятности Р2І и Р ^ , явно различны) и не зависят |
от |
преды |
|
дущих состояний (например, вероятности pù и |
РЗІ не |
зависят от |
|
того, была или не была система в предыдущий |
момент |
времени |
в состоянии л-2).
Образуем матрицу перехода Р и произведем ее разбиение на
подматрицы в соответствии с (1.19): |
|
|
|
|||
|
|
|
|
0 |
0 |
0 |
Р = |
| Л і |
|
Ргі |
Ргг |
Рла |
Pst |
|
|
0 |
|
0 |
||
|
Pu |
|
|
Рзз |
||
|
^Pti |
|
\Ра |
0 |
0 |
Pii |
Выпишем подматрицу |
|
|
|
|
|
|
|
|
|
РгЛ |
|
|
|
|
|
|
» |
|
|
|
|
|
|
p j |
|
|
|
и найдем по формуле |
(1.20) |
фундаментальную матрицу N: |
||||
|
1 |
|
Ргг |
|
Pu |
|
|
1— Ргг |
(1 |
Аз) |
(1 — Ргг) 0 — Р-ы) |
||
N = |
|
|
1 |
0 |
|
|
|
|
|
|
|
||
|
и0 |
|
|
|
1 |
|
1 |
" |
|
1 - Л . |
|
. |
Используя (1.29), определяем матрицу средних времен достижения поглощающего состояния
'2сР |
[Р*\Рг\ |
+ |
А з А і + |
А * А і |
|||
( A i |
+ |
Ргз + РІЛ) |
A i |
A i |
|||
|
|||||||
'ЗСР I |
1 |
|
ѴРзі |
|
|
||
Ч ^ С Р/ |
\ |
|
І/Лі |
|
|
||
Здесь учтено, что Рзз+Рзі = i, Pu+Pu |
= l, Рп + |
Рп+Р2з+Ры=1- |
|||||
• Исходя из физических условий |
задачи, |
можно утверждать, что |
с вероятностью, близкой к единице, процесс начнется в состоянии Хг.
Следовательно, среднее |
время |
вхождения |
в связь характеризуется |
величиной |
|
|
|
. |
А і А і + |
РгзР-п + |
РиРгх |
2 0 Р _ |
( А І + А З + А Л Л І А . ' |
32
которую необходимо умножить на масштабный коэффициент. В ка честве последнего целесообразно выбрать время т нахождения луча в одном положении при сканировании. Тогда искомое среднее время нацеливания будет равно і2 opt.
Выражая элементы матрицы перехода рц через статистические параметры системы (вероятности обнаружения сигналов, вероятно сти ориентации диаграмм направленности по направлениям), можно получить необходимые для практики зависимости среднего времени вхождения в связь от этих параметров [8, 9].
1.7. |
Автоматическая регулировка порога |
||||
в самообучающейся схеме обнаружения |
|||||
Рассмотрим еще один |
пример анализа работы радиотехническо |
||||
го устройства |
с помощью |
теории |
цепей |
Маркова. Обратимся |
|
к приемнику обнаружения, в котором |
автоматически подстраивается |
||||
величина порога в решающем |
устройстве при неизбежных измене |
||||
ниях статистических характеристик сигнала и шума (10, 11]. " |
|||||
Следуя [11], введем |
нормированные по |
среднеквадратичному |
отклонению шума о величины:
* = " с ш / о — напряжение на том временном интервале, где имеет ся шум и, может быть, сигнал;
y—Umfa — напряжение на том временном интервале, где имеет
ся один шум; |
|
|
|
|
|
|
||
•г—и-аіо — значение порогового напряжения. |
|
|||||||
Пусть |
к»і(х) |
и ш0 (х) — одномерные |
расцределения величин |
|||||
X и у. |
|
|
|
|
|
|
|
|
Регулировка порога производится дискретными шагами по сле |
||||||||
дующему правилу: |
|
|
|
|
|
|||
1) |
если на п-м шаге |
порог г |
удовлетворяет |
неравенству |
||||
y<zn<x, |
то на следующем |
(/г+1)-м |
он не получает |
приращения: |
||||
Zn+i=z„; |
|
|
|
|
|
где іД — фиксированная |
||
2) |
если |
гп<у |
и zn<x, |
то z „ + i = 2 n + A , |
||||
величина, на которую может измениться порог при каждом шаге; |
||||||||
3) |
если zn>y |
и гп>х, |
то |
zn+v=zn—A; |
|
|
||
4) |
если |
х<гп<у, |
то |
z n + |
I = 2 n . |
|
|
|
Вводя функцию единичного скачка •
х > 0 ;
Из сущности задачи видно, что порог е п является случайной величиной марковского типа. На практике обычно операция сравне ния с порогом осуществляется после детектирования, так что напря жения «сш и Um физически представляют собой значения огибаю щих, которые, как известно, всегда положительны. Поэтому порог zn
будет принимать дискретные значения в |
диапазоне 0—(N—1)Д |
(N — некоторое целое число, определяющее |
число состояний поро |
га). Введем вероятности переходов: rj—вероятность того, что си стема, имевшая порог £Д, останется в этом же состоянии; qt — ве роятность того; что система, имевшая порог *Д, перейдет в состояние
3 - 18 6 33
с порогом (і-И)Д; |
Si — вероятность того, |
что система, имевшая |
порог ІА, перейдет |
в состояние с порогам |
(і—1)іА. Очевидно, что |
|
rt+qi+Si=l. |
(1.38) |
Учитывая, что функция ъ(у—гп)—е(г„— х) принимает лишь зна чения + 1, 0 и —1, для порога zn возможны переходы только в со седние состояния. В связи с этим в матрице перехода Р будут отлич ны от нуля лишь элементы главной диагонали и элементы двух диа гоналей, расположенных выше в ниже главной
г0 |
<І0 О |
О |
Si |
|
О |
О |
So |
<72 |
(1.39)
SN-2 TN-2 Ям—2
О *N— I If—I .
Выразим вероятности.перехода через статистические характери стики огибающих. Вероятность ЦІ равна вероятности того, что порог
(Д ібудет .превышен как одним ішіумом (//>іД), так н смесью сигнала
сшумом (х>іА). Следовательно,
оос»
ЯІ = \ w0 (у) dy J да, {x)[dx.
Аналогично вероятность s£ равна
st = ^ ш0 (y) dy ^ ю, (х) dx.
оô
Вероятность ГІ определяется из і(1.38).
Пусть в начальный момент распределение вероятностей значе ний порога задано матрицей-строкой
(1.40)
Соотношениями (1.39), (1.40) цепь Маркова задана полностью, и в соответствии с классификацией § 1.3 определяется как эргодическая. В таксда случае через некоторое число шагов величина порога будет иметь финальное распределение (РОРІ • • • РК-\), которое мож
но найти путем решения системы алгебраических уравнений (1.35). Применительно к рассматриваемой задаче имеем
ЯОРО + |
(Г1 |
— !) |
PI + |
S 2/>2 = |
0, |
|
|
|
|
|
|
|
(1.41) |
Ян-зРм-З |
|
+ (rN-2—il) |
PN-2+SN-\PN-1= |
°> |
||
PO + PI |
+ |
PI + |
••• + |
РЦ-I |
= I : |
|
34
Из первых (N— 1) уравнений системы (1.41) получаем
i = 0, 1 |
N —2. |
(1.42) |
Рі+1 — Pt ' si+l |
|
|
Последнее уравнение системы (1.41) с учетом (1.42) дает возмож ность определить вероятность ро'-
Г.9о_ , Çh_ Çh_ , _9о_ j7i_ <7а ,
Р'-" [1 + S j s, S a ' " 1 " s, s2 s, ^
(1.43)
S l s 2 |
SN— 1 |
|
/=i t=i |
Поскольку финальные вероятности (1.42), (1.43) выражаются через частное дфі+ѵ, то удобно ввести функцию
^ |
КІ 0 ((/)rf(/J to, (х) rfx |
|
z—Л |
z - Д |
(1.44) |
|
|
о0
(1.45) С учетом (1.44), (1.45) финальные вероятности (1.42), (1.43) запи
шутся в виде: |
|
|
|
|
P«+i=/tf((«"+l)A]=Paf(A)/(aA) .../[(*+!) А]. |
(1.46) |
|||
[ |
JV-1 |
/ |
П - 1 |
|
|
І=І |
|
(1.47) |
|
/ = і |
|
|
Соотношения (1.46), (1.47) определяют искомое распределение ве роятностей для стационарного режима изменения порога. Функция f(z) является монотонно убывающей, поскольку
Hm f (z)=. со и |
l i m f ( z ) = 0 . |
(1.48) |
г -+0 |
z-»oo |
|
Условие (1.48) означает, что с |
ростом і, пока |
/ [ ( ( + 1 ) Д ] > 1 , ве |
роятности, рі увеличиваются, а затем начинают убывать. Финальная вероятность имеет максимум при значении порога іоД, для которого f(ioA)—.1. При малом Д это приближенно соответствует условию
|
[ и » 0 . ( і ) |
rf£ | и > , (т)) dij |
|
f («о с*'Л)' |
*o |
Zo |
(1.49) |
|
|
||
|
j Щ (g) |
rf| j ш, (K)) rfvj |
|
35
Учитывая, что j* wt (х) dx = |
1 — ^ ayt (х) #х из (1.49) получае» |
го |
о |
OD |
Z„ |
Таким образом, наиболее вероятное значение порога обеспечи вает равенство вероятностей ложной тревоги и пропуска сигнала.
В [11] показано, что среднее значение порога в стационарном режиме асимптотически равно порогу zo, а дисперсия финального распределения в пределе равна нулю. Это означает, что в процессе подстройки порог стремится принять оптимальное значение, для ко торого справедливо соотношение (1.50).
Вход •
Рис. 1.7.
Далее можно рассчитать среднее число шагов, через которое в первый раз будет достигнут оптимальный порог. Для этого не обходимо оптимальное значение порога с номером іо представить как поглощающее и затем совершить над матрицей перехода Р все необходимые преобразования, которые приведут к фундаментальной матрице N (§ 1.4). К сожалению,=матрица перехода (1.39) в данном случае имеет довольно сложный вид, поэтому получить общие ре
зультаты не |
удается. В [11] вычислены верхняя и нижняя |
оценки |
|||||
для среднего |
числа шагов при переходе |
порога |
из нулевого |
положе |
|||
ния в оптимальное. |
|
|
|
|
|
|
|
Блок-схема приемного |
устройства, реализующего |
описанный |
|||||
выше принцип, приведена на рис. 1.7, где: /—пороговое |
устройство; |
||||||
2— селектор |
сигнала; |
3— селектор |
шума; |
4 — исполнительное |
|||
устройство; 5 — генератор тактовых импульсов, |
|
|
|
||||
Входное |
напряжение после порогового устройства 1 поступает |
||||||
на селекторы |
сигнала 2 |
и |
шума &. От генератора 5 на |
селекторы |
2 и 3 поступают вспомогательные тактовые импульсы, которые про ходят через селектор 2 в там случае, если напряжение иа времен ном участке, где может быть сигнал, не превышает порога z n . Се лектор шумового участка пропускает тактовые импульсы лишь в том
36
случае, когда шумовое напряжение превышает порог. Таким обра зом, селекторы 2 и 3 реализуют соответственно функции e(zn —х) и б(і/—2п). Импульсы с селекторов поступают на исполнительное устройство 4, которое непосредственно регулирует величину порого вого напряжения.
Приведенные примеры дают некоторое представление о воз можном характере использования теории цепей Маркова в конкрет ных радиотехнических задачах. Основные трудности применения
марковских цепей связаны, во-первых, с процессом |
формализации |
||||
задачи |
(необходимо доказать, |
что физическая величина |
изменяется |
||
в соответствии с |
марковским |
свойством) и, во-вторых, |
с преобразо |
||
ваниями |
матриц. |
При большом числе состояний цепи |
N операции |
с матрицами становятся весьма трудоемкими; например, определение фундаментальной матрицы N, связанное с необходимостью обраще ния матрицы I—Q, при большом N осуществимо лишь с помощью ЭЦВМ.
Иногда для физического процесса бывает весьма трудно найти веские доказательства в пользу его марковости при отсутствии убе дительных контраргументов. В таких случаях марковскую цепь рассматривают как первое приближение к полному описанию физи ческого процесса. Так, цепями Маркова представляются простейшие модели движения цели [12], помехи в каналах связи ['13—16] и др.
Применение аппарата цепей Маркова оказалось весьма плодо творным при анализе работы устройств цифровой обработки радио локационной информации [17—22].
2
РАЗРЫВНЫЕ МАРКОВСКИЕ ПРОЦЕССЫ
2.1. Вводные замечания
В первой главе рассматривались процессы, дискретные в про странстве и во времени. Обратимся теперь к процессам, непрерывным во времени, сохранив пока условие их дискретности в пространстве. К описанию таких процессов легко перейти от цепей Маркова. Предположим себе систему с конечным множеством состояний N, переходы в которой возможны в любой момент времени. В качестве такой системы в простейшем случае (N=2) можно рассматривать триггер, работающий в счетном режиме от хаотически следующих импульсов. Процесс x(t), описывающий работу триггера, является дискретным процессам с двумя состояниями х\, х2 и непрерывным временем. Одна из возможных реализаций такого процесса изобра жена на рис. 2.1.
По аналогии с цепями Маркова для описания разрывного мар ковского процесса необходимо потребовать задания начального рас
пределения |
и матрицы |
перехода. |
Естественно, |
что в |
этом случае |
|
вероятности |
перехода будут связаны с непрерывным |
временем і, |
||||
т. е. запись |
Pa{t, t+At) |
означает |
вероятность |
перехода из состоя |
||
ния ХІ, занимаемого в момент і, |
в состояние Xj в момент /+ІД^. Как |
|||||
и в цепях Маркова, вероятности |
перехода pa(t, |
t+At) |
должны под- |
|||
|
|
|
|
|
|
37 |
і
чиниться уравнению |
Колмогорова—Чепмена (1.10), которое Для трех |
||
последовательных моментов времени to<Kt+At |
имеет |
вид*) |
|
|
N |
|
|
РІІѴО, |
М - А О = 2 Л» Ca. t)Pii(t,t+M). |
(2.1) |
|
|
/=і |
|
|
В отличие от цепей Маркова непосредственное задание вероят ностей перехода Pa(t, i+At) оказывается невозможным, поскольку моменты переходов в разрывных марковских процессах не детермн-
t
XZ- I — І П 1 1 i 1 П I 1
Рис. 2.1. |
|
ннрованы, а с л у ч а й н ы . Обычно закон распределения моментов |
|
времени, когда система может перейти из одного состояния в другое, |
|
задается случайным п о т о к о м и момент перехода отождествляется |
|
с осуществлением события из этого случайного |
потока. |
В общем случае для каждого состояния |
я,- может быть задан |
самостоятельный управляющий поток, каждое из событий которого
разрешает |
переход |
из состояния ХІ в |
любое |
другое |
состояние |
||||||||||
Xj (/=1, 2,...). Таким образом, |
переход |
системы |
из одного |
состоя |
|||||||||||
ния в другое состоит в осуществлении |
двух зависимых |
|
событий: |
||||||||||||
сначала должно произойти событие из управляющего |
потока, а за |
||||||||||||||
тем собственно |
переход. Обычно |
предполагается, |
что собственно пе |
||||||||||||
реход системы |
из состояния в |
состояние |
происходит |
мгновенно, |
|||||||||||
поэтому осуществление события |
из управляющего |
потока |
влечет за |
||||||||||||
собой |
с к а ч о к |
в процессе. Это обстоятельство |
дает |
|
повод назы |
||||||||||
вать |
разрывные |
марковские |
процессы |
с к а ч к о о б р а з н ы м и . |
|||||||||||
. Если-множество состояний |
конечно |
(W=const) |
или. бесконечно, |
||||||||||||
но счетно, |
то соответствующий |
процесс |
называется |
р а з р ы в н ы м |
|||||||||||
процессом со счетным числом состояний. |
|
|
|
|
|
|
|
|
|||||||
Аналогия таких процессов с цепями Маркова весьма значитель |
|||||||||||||||
на, а разница, как указывалось выше, состоит в характере |
изменения |
||||||||||||||
времени, |
поэтому |
разрывные |
марковские |
процессы |
со |
счетным |
|||||||||
(в частности, с |
конечным) |
числом |
состояний |
называют |
иногда |
||||||||||
м а р к о в с к и м и ' ц е п я м и с н е п р е р ы в н ы м |
|
в р е м е н е м . |
|||||||||||||
Состояния разрывного марковского процесса могут образовы |
|||||||||||||||
вать |
такж'! и непрерывное |
(континуальное) |
множество. При этом |
получаете!) разрывный процесс с непрерывным множеством состоя ний. На р іс. 2.2, 2.3 изображены две возможные реализации разрыв ных процессов со счетным и непрерывным множествами состояний соответсі енно.
*> Для процессов іс непрерывным временем уравнение Колмого рова—Чепмена называют также соотношением Омолуховского.
38
Как и в марковских цепях, состояния разрывного процесса под разделяются на поглощающие и непоглощающие. В зависимости от наличия или отсутствия поглощающих состояний процессы класси фицируются на поглощающие и эргоднческне.
jh-rM-H-r
Рис. 2.2.
Рис. 2.3.
Поскольку любой разрывный марковский процесс должен удовлетворять марковскому свойству (;§ 1.1), то на характер управ
ляющих потоков |
накладываются |
весьма |
жесткие |
ограничения. |
В совокупности |
эти ограничения |
определяют так |
называемый |
|
п у а с с о н о в с к и й поток событий, |
изучению |
основных |
свойств ко |
|
торого посвящен следующий параграф. |
|
|
2.2.Пуассоновский поток событий
Вообще потоком событий называется последователь ность событий, происходящих одно за другим в случай ные моменты времени. Геометрически поток случайных событий удобно изображать в виде случайных точек на" реи времени. Пуассоновским потоком называется поток,
39