УДК 519.2
ОПТИМАЛЬНАЯ ПЕРЕДАЧА СИГНАЛА ПО СОВОКУПНОСТИ НЕПРЕРЫВНОГО И ДИСКРЕТНОГО КАНАЛОВ С ПАМЯТЬЮ И ЗАПАЗДЫВАНИЕМ
С.В. Рожкова
Томский политехнический университет E-mail: rozhkova@tpu.ru
Рассматривается задача оптимальной передачи стохастических процессов по непрерывно-дискретным каналам с памятью изапаздыванием. Доказываются экстремальные свойства оптимальных кодирований в смысле максимизации количества информации.
Ключевые слова:
Сигнал, стохастические системы, канал передачи, память, запаздывание.
Key words:
Signal, stochastic systems, transmission channel, memory, lag.
1. Постановка задачи
Данная работа является развитием результатов [1, 2].
Сигнал х, сообщение на выходе канала передачи г, и сообщение на выходе дискретного канала передачи пЮ задаются на реализациях процессов, определяемых стохастическими дифференциальными уравнениями
Сх, = ^(,)х,С, + ФД?)<М, р,(,) = >[{х;цу0}.
1 случай:
сЪ, = /(,, х,, хт, z)С^ + Ф 2 (,)ёу,,
П (,т ) = Я(,т , х, , 2) + Ф3 (,т Шт ),
т. е. наблюдаемый непрерывный процесс г, обладает фиксированной памятью единичной кратности (N=1, т1=т), а наблюдаемый дискретный канал п(0 - с запаздыванием при наличии мгновенной бесшумной обратной связи по процессу г.
2 случай:
с^, = /(,, хт, z)С, + Ф2(,)СЦ ,
П (,т ) = ё(,т . х,т,хт . Ю + Ф3 (,т ^ (,т ).
т. е. наблюдаемый непрерывный процесс г, с запаздыванием, а наблюдаемый дискретный канал п(т) обладает фиксированной памятью единичной кратности (Ж=1,т1=т) при наличии мгновенной бесшумной обратной связи по процессу г.
Используемые обозначения: Р{-} - вероятность события; М{-} - математическое ожидание; N{6!;#} -плотность нормального распределения с параметрами а и Ь; Ф?(0=б(0, Ф22(0=Д0, Ф|(0=*Ш.
Задача: в классе кодирующих функционалов К={Ы;0}={А(-), #(-)}, удовлетворяющих энергетическим ограничениям
М{/2(,, х,, хт, z)} < /(,) < /,
М{ё2 (,т , х,т , хт , Z)} < ё(,т ) < ё
найти функционалы й0(-) и ^°(-), обеспечивающие относительно задачи фильтрации минимальную ошибку декодирования Л0(,)=тГЛ(,), где
Л(/)=М{[х-.£(/,г,п)]2} является ошибкой оценки фильтрации !(/,£, п) процесса х,, которая соответствует принятому сообщению (го'пЛ при заданных й(-), #(-). Так как при заданных Н(-) и #(-) оптимальной в среднеквадратическом смысле оценкой фильтрации является апостериорное среднее /л( ,)=M{xJz0';n0m}, то Л°(,)>М{т( ,)}, где у(,)>М{[х-ц( ,)]2|г°';п0т}. Таким образом Л°( ,)=ММ{т(/)}.
2. Основные результаты
Теорема 1. На классе К;0Д={И;;О;1} линейных функционалов
н =|/(-): ^ х,, ^ z) = ] .
‘ {= /(,, z) + Н о(,, z) х, + Н1 (,, z)xJ,
С) = {ё(-) : ё(,т , хт , Z) = ё(,т , Z) + С1(,т , Z)х, } :
1) оптимальные кодирующие функционалы А0(-), ^0(-) имеют представления
/0(,, z0) = - Н 0(,, z >0(,),
Н00(,, z0) = [/(, V А0(?)]^2,
НЖz 0) = 0, (2)
ё °(?и , Z0) = -С"(,„, Z >0(Т, - 0),
с°(,я, Z0) = [ ё(;„ V Л0,(т, - 0)]1/2;
2) оптимальное сообщение {г,0;п0(0} определяется формулами
Cz^0 = [/(,VЛ0(,)]1/2[х, - ц°(,)]С, + Ф2(,)Су, ,
) = [ ё (,т )/ Л01(Т, - 0)]*2 X
Х[ Xт-M0(т, - 0)]С + Ф 3(,т Ж*» );
3) оптимальное декодирование /!(,) и минимальная ошибка декодирования Л0( ,) на интервалах 4< < ,и+1 определяются уравнениями
С ц0 (,) = ^ (,) ц0 (, )С,+Д-1 (,)[й(,)/ Л0 (, )]1/2 сЪ,0,
С Л 0(, )/с, = [2 ^ (,) - Д-1 (?)/(? )]Л 0(,) + 0(,) с начальными условиями
м0(с) = м0(;т -0)+л>,4 -0)х х[Ё(С)Л° (т, С - 0)]1/2[V(Г„) + ^)]-УО,),
Л0(С) = Л°(*я - 0)
V (с)
[7(С ) + Ё(С )]
1+
Ё (С )
7 (С)
1 --
(Л0і(т, ґя - 0))2 Л0^ -0)Л0і(т,г* -0)
где е(,)=Ф?(о, л(,)=ф22(,), г(о=Фз2(а 4) /(т,) = М{х |(^(п^Ь
Л01(т,,) = М{[ ^-/(т, ,)]2},
Л01(т,,) = М{[ х,-/(,)][ хт-/(т,,)]}
на интервалах ,и«и+1 определяются уравнениями
С,/(т,,) = Д-1(,)[ Й(,)/Л0(,)]1/2 Л01(т,,) С40, (3)
СЛ01(т, ,)М = - Д-1(,)[ й(,)/Л 0(,)](Л 01(т, ,))2, (4)
СЛ01(т, ,)/С, = [ ^ (,) - Д-1 (,)/(, )]Л 001(т,,), (5)
с начальными условиями
М0(Т, ,т ) = Ц(Т, ,т - 0) + [ё(,т К^Т, - 0)]^ X
Х[7 (,„ ) + ё (,т )ГУ0т ),
А?! Т, ) = V(,„ )[7(,т ) + ёОт )]-1Л°(Т, ^ - 0),
А01(Т, ,т ) = V(,т )[К(,„ ) + £(,„ )]-1Л 01(Т, ^ - 0).
Доказательство:
При заданных {h(-);g(-)}eK; на интервалах ,„<,<,„+1 (см. [3]) ц(т,,) и уп(т,0, 701(1,,) определяются уравнениями
С ц(г,,) =
= Д-1(,)[Н0(Т ,) + Н1(Т ,)Г11(Т„ ОЪ
Суп(т, О/ С, =
= -К-1 0)[Н0(т ОЫт 0 + Н1(т t)Yn(т,0]', С^01(т 0/С, = 2^(« )^01(т, 0 -
-К-1 О)[Н0(Д г)у(,) + ВД г)У01(Т 0] х х[ Н 0О, г )^01 (т,0 + ні^ г)Уll(т, ОЪ с начальными условиями
Мт С) = Мт «т - 0) +
30(С , г)У01(т - 0) +
_ + 31(С , 2)^11 (т,> С - 0) _
^11 (т , С ) = УпСГ «т - 0) -"30('« , 2)Y01(T, «т - 0) +_
+ 31(С , - 0)
^-1(,т )П(С ),
(6)
(7)
(8) (9)
(10)
Yol(т, С ) = Г01(Т,> С - 0) -= [30 (С, гМС - 0) + 31 (С, г)^01 (Т С - 0)] Х
Yol(т, С ) = Г01(Т,> С - 0) -= [^ (С, г)^ - 0) + О, (С, г)/01 (т, Хк - 0)] х (11)
где
Мт 0 = м{х |г0 Yol(т,0 = м{[ х -М0][ х -Мт0] |г0 ,n0”}, Yll(т,0 = м{[Х - Мт 0]2 |г0, ПГК
Сг( = Сг( - [й(?, г) + Н0(«, г) ^(?) + Н1(«, г) ^(т, ?)]С?, п («т ) =П(С) --[Ё0,г) + Go(t,г)М(«„ -0) + г)M(т, «т -0)Ь
W(«, г) = 7(?„) + 32(?, г)у(гя - 0) +
+ 312(«, г)Yl1(т, «т - 0) + G1(t, г)У01(Т «т - 0) +
+2G0(t, г)G1(t, г)^01 (Т,> «т - 0)-
Уравнения (3)—(5) получаются как результат использования (2) в (6)-(8). Остальные утверждения Теоремы очевидным образом следуют из Теорем 1
в [1] и [2].
Теорема 2. На классе K/'0={H/;G;} линейных функционалов
И) = {£(•): Л(«,хт,г) = Л(«, г) + Н1(«,г)хт}, (12)
С, =
("Ё (^): Ё («т , Х<т ,Хт , г) = |
1 = Ё(«т , г) + С0(«т , г)Х(т + 31(«т , г)Хт I
1) оптимальные кодирующие функционалы А0(-), ^0(-) имеют представления
/0(,, z0) = - Н0(,, z 0)ц0(т,,),
Н“(,, z0) = [й(, V Л101(т, ,)]^2, ё0(,т, Z0) =-С?00(,т , Z0)М°(,т - 0),
ОС , Z0) = [ё(,т УЛ0(,т - 0)]1/2, (13)
С10(,т , Z0) = 0;
2) оптимальное сообщение {г/°;п°(,т)} определяется формулами
Сг,0 = [/(,)/Л101 (т, ,)]1/2[хт - ц°(т, ,)]С, + Ф2(,)С^ ,
П°(,т ) = [ ё (,т )/Л 0(,т - 0)]^2 X
Х[х,т - Ц (,т - 0)]С? + Ф 3 (,т (,т );
3) оптимальное декодирование ц°(,) и минимальная ошибка декодирования Л0(,) на интервалах ,и<,<,и+1 определяются уравнениями
Сц0(,) = ^ (, )ц0(, )С, +
+Д-1(,)[ /5(, V Л01(Т, ,)]12 А01(Т,,) Сz°,
Гг
с Л0(« V =
2^(«) - К-1(«)/|(?) х
(Л0і (т, «))2
Л0(«)Л01(т,«) с начальными условиями
Л0(«) + <2(«) (14)
х
M°(t„ ) = M°(t„ - 0) + [ g (tm )A0(t„ - 0)]1/2 X
X[V(tm ) + g(tm )]-1n°(tm ),
A0(tm ) = V (tm )[V (tm ) + g (tm )Ґ A^ - 0),
2 2 2
где е(0=Ф?(0, Я(0=Ф?(0, П,т)=Ф1Ш
ц°(/т-0)=Кшц(/), Л0(/т-0)=КшЛ(/) при {[ т 4) ц°(т,/) и Л01(т,,), Л01(т,,) на интервалах /т«/т+1 определяются уравнениями
С ц0(т,,) = Д-1(, )[/ (, )Л01(т, , )]1/2 Сz°,
С Л01(т, ,)/ С, = - Д-1(,Ж, )Л01(т, ,),
С Л 01 (т, , V С, = [ ^ (,) - Д-1(, )/г(, )]Л 01 (т, ,)
с начальными условиями
/(С ) = /0т - 0) + Л 01(Т, ,т - 0) X Х[ £(,„ УЛ0(,т - 0)]V2[V (,т ) + £0т ГУО, ),
V (,т ) „
(15)
Д0і(Т, tm ) = AOl (Т, tm - 0)
[V(tm ) + g(tm )]
1 +
g (tm )
V (tm )
1 —
(A0і(Т, tm - 0))2
A0(tm - 0)Л0і(Т, tm - 0)
(1б)
It0[ Xt;(z o)0,(no)m] =
= (1/2) Х ln[1 + (g (ti )/ V (t,))] +
(19)
где ^(t)=M{[xt-a(t)]2}, a(t)=M{xt}.
2) На классе K;1°={H;1;G;} вида (12) имеет место свойство (18) и
1t0[Xt;(zo)0,(no)m] = 1 Х ln[1 + (g(t)/V(t))] +
2 r<t. <t
hi (a) (А01(Т,а))2
R(a) А0(а)А01(Т,а)
-Q(a)
1
1
A 0(a) D(a)
da.
(20)
А01(і tm ) = V (tm )[V (tm ) + g(tm )ГlA01(т, tm - 0). (17) Доказательство:
Начальные условия (15)—(17) получаются как результат использования (1З) в (9)—(11). Остальные утверждения Теоремы очевидным образом следуют из Теорем 1 в [1] и [2].
Теорема 3.
1) На классе K;1°={H;1;G;} вида (1) имеет место свойство
It0 [Xt; (z°)'o,(n0)m ] = sup I [^; z0, rQ ], (18)
где sup берется по всем {h(-); gO^K^H^} и
/0[ Xt;(z o)0,(n°)m ] =
= (1/2) Х ln[1 + (g (ti )/ V (ti))] +
Доказательство:
Для ,и«и+1 использование (10) из [1] и (48) из [2] в (47) из [2] дает, что
<[ х,;(z 0)0,(п0)т^ С, =
= (1/2)( Д-1(,) /*(,) - 0(,)[( Л0(,))-1 - £-1(,)]). (21)
Тогда (19) следует из (51) из [2], (21). Использование (14) в (50) из [2] дает
1,0, [-] = Ц-0[-] + (1/2) 1п[1 + (ё( ,т )№))]. (22)
Тогда (20) следует из (49) в [2] и (22).
Заключение
Решена задача оптимальной непрерывно-дискретной передачи диффузионного гауссовского марковского сигнала по непрерывному каналу с памятью и дискретному каналу с запаздыванием, а также по непрерывному каналу с запаздыванием и дискретному каналу с памятью при наличии бесшумной обратной связи. Полученные результаты могут быть использованы для анализа пропускной способности каналов в задаче оптимальной передачи сигналов.
Работа выполнена при поддержке ФЦП «Научные и научно-педагогические кадры инновационной России» на 2009-2013, проект № 14.B37.21.0861.
СПИСОК ЛИТЕРАТУРЫ
1. Рожкова С.В. Оптимальная непрерывно-дискретная передача сигнала по каналам с памятью при наличии бесшумной обратной связи // Известия Томского политехнического университета. - 2012. - Т. 321. - № 5. - С. 6-9.
2. Рожкова С.В. Оптимальная непрерывно-дискретная передача сигнала по каналам с запаздыванием // Известия Томского политехнического университета. - 2012. - Т. 321. - № 5. -С. 10-13.
3. Демин Н.С., Рожкова С.В., Рожкова О.В. Обобщенная скользящая экстраполяция стохастических процессов по совокупности непрерывных и дискретных наблюдений с памятью // Известия РАН. Теория и системы управления. - 2000. - № 4. -С. 39-51.
Поступила 25.01.2013 г.