Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
книги / Теория электрической связи. Помехоустойчивая передача данных в информационно-управляющих и телекоммуникационных системах модели, алгоритмы, структуры.pdf
Скачиваний:
12
Добавлен:
13.11.2023
Размер:
24.95 Mб
Скачать

ВВЕДЕНИЕ

Любая область деятельности в современном обществе связана с об­ меном информацией. Недаром сказано: «Кто владеет информацией - вла­ деет миром». Поэтому современные информационно-управляющие и теле­ коммуникационные системы должны решать задачи по обеспечению на­ дежной передачи больших объемов информации. При этом качество пере­ дачи информации характеризуется двумя взаимосвязанными понятиями: достоверностью и помехоустойчивостью.

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

Целью настоящего учебного пособия является рассмотрение вопро­ сов, связанных с повышением помехоустойчивости цифровых систем пере­ дачи информации. В соответствии с поставленной целью построена струк­ тура настоящего учебного пособия. В 1-й главе анализируются модели дис­ кретных каналов связи. Во второй главе рассматриваются принципы опти­ мального приема сигналов в каналах связи. 3-я глава посвящена принципам помехоустойчивого кодирования сообщений. В главах 4,5,6,7 и 9 рассмат­ ривается применение избыточных кодов (комбинаторных, алгебраических, арифметических) в каналах без памяти и с памятью. В 8-й главе анализиру­ ются методы повышения достоверности (многократное повторение и при­ менение обратных связей). Указанные вопросы разбираются с необходимым для освоения студентами уровнем математического описания, сопровожда­ ются структурными схемами устройств и систем, иллюстрируются большим количеством примеров.

Для успешного освоения вопросов, освещаемых в настоящем учеб­ ном пособии, студенты должны предварительно изучить следующие дис­ циплины: «Теория вероятности и математическая статистика», «Электро­ ника», «Основы схемотехники», «Основы теории цепей», «Математика», «Дискретная математика», «Математические основы теории систем». Во­ просы, рассматриваемые в предлагаемом учебном пособии, окажут суще­ ственную помощь студентам при освоении общепрофессиональных и спе­ циальных дисциплин, например, «Основы построения телекоммуникаци­ онных систем и сетей», «Цифровые системы передачи» и других.

Учебное пособие ориентировано на студентов направлений 210400 «Телекоммуникации» (специальность 210406 «Сети связи и системы ком­ мутации») и 220200 «Автоматизация и управление» (специальность 220201 «Управление и информатика в технических системах»). Оно рекомендует­ ся в качестве методических материалов при изучении следующих дисцип­ лин: «Теория электрической связи» (210400), «Передача данных в инфор- мационно-управляющих системах» (220201), а также других дисциплин, в которых изучается указанный круг вопросов.

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

1. ОСНОВНЫЕ ПОНЯТИЯ И ОПРЕДЕЛЕНИЯ ТЕОРИИ ПЕРЕДАЧИ СООБЩЕНИЙ. МАТЕМАТИЧЕСКИЕ МОДЕЛИ ДИСКРЕТНЫХ КАНАЛОВ СВЯЗИ

1.1. Одноканальная система передачи информации

Одноканальная система передачи информации (СПИ) является осно­ вой самых сложных сетей передачи данных, телекоммуникационных сетей при реализации ими процесса помехоустойчивой передачи информации с использованием различных технологий. Поэтому прежде всего рассмот­ рим основные процессы преобразования информации в СПИ [1]. На рис. 1.1 показана структурная схема одноканальной СПИ.

КИ КК

М

КФ

КФ д м к д к д к и

ИИ

 

'V

 

ш ш

ш

у

1

4

 

 

%

 

 

 

 

г .

Рис. 1.1. Развернутая структурная схема одноканальной СПИ

Поясним рисунок. С выхода источника информации (ИИ) сообще­ ние или отображающий его сигнал, который является, в общем случае, аналоговой функцией времени, поступает на вход кодирующего преобра­ зователя или кодера источника (КИ), реализующего аналого-цифровое преобразование. На рис. 1.2 приводятся эпюры напряжений сигналов на выходе блоков одноканальной СПИ.

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

Свыхода КИ избыточный m-значный кодовый сигнал поступает на вход кодера канала (КК), реализующего помехоустойчивое кодирование, т.е. КК ставит в соответствие m-значному информационному слову л-знач- ное кодовое слово избыточного кода, добавляя, например, к т информа­ ционным символам к избыточных символов так, что п - т + к. На рис. 1.2 (точка 3) т = 4; к = 3 и л = 7.

Свыхода КК л-значное сообщение поступает на вход модулятора (М), реализующего процесс модуляции. Под модуляцией понимают опе­ рацию линейного изменения одного или нескольких параметров перенос­ чика (П) в функции от передаваемого сообщения х:

П = П0 + АП •*,

где По - исходное немодулированное значение параметра модуляции (ин­ формативного параметра); ДП - постоянная модуляции.

Заметим, что чем больше ДП, тем большей помехоустойчивостью обладает сигнал. Таким образом, на выходе М наблюдается линейный сиг­ нал (5Л), спектр которого ограничивает канальный фильтр.

На рис. 1.1 и 1.2 в качестве переносчика выбран гармонический сиг­ нал: U(t) = t/0cos(G)0/ + (p0), у которого параметрами модуляции могут быть амплитуда U0 (амплитудная модуляция), частота со0 (частотная моду­ ляция) и начальная фаза сигнала ср0 (фазовая модуляция). На приведенной временной диаграмме (см. рис. 1.2, точка 4) для конкретности выбрана фа­ зовая манипуляция, в которой символу «1» сопоставлена нулевая началь­

ная фаза, а символу «О» - начальная фаза я. Для гармонического перенос­ чика канальный фильтр является полосовым фильтром.

На линейный сигнал воздействует помеха (£), поэтому на вход ка­ нального фильтра в составе приемника приходит сигнал S \ искаженный помехой. На рис. 1.2 (точка 5) искажена начальная фаза второго элементар­ ного сигнала. Различают две модели взаимодействия сигнала помехи и ли­ нейного сигнала: аддитивную (£ '= £ + £) и мультипликативную ( £ '= £ £ ) . Первая модель адекватно описывает искажение в канале связи, если основ­ ной причиной искажений являются атмосферные и промышленные шумы, процессы коммутации и прочие случайные внешние воздействия. Основная же причина мультипликативных помех - нестабильность передаточной функции, т. е. случайные изменения параметров линейных преобразовате­ лей, приводящие к случайному изменению амплитудно-частотной и фазоча­ стотной характеристик канала связи. В настоящем пособии используется аддитивная модель канала связи.

Под каналом связи понимают комплекс аппаратуры, включая линию связи, обеспечивающий независимую передачу сообщений одной пары «отправитель - получатель». На рис. 1.1 канал связи образуют модулятор, линия связи и демодулятор.

Продолжим анализ преобразований сигнала, имеющих место в одноканальной СПИ. На входе демодулятора наблюдается непрерыв­ ный сигнал, т.е. сигнал, являющийся непрерывной функцией времени, но с дискретным (конечным) множеством значений параметра модуля­ ции. В нашем примере это два значения начальной фазы. На выходе де­ модулятора наблюдается цифровой сигнал, т.е. сигнал, являющийся дискретной функций времени с дискретным множеством значений ам­ плитуд. В нашем примере число значений амплитуды выходной цифро­ вой последовательности равно двум.

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

Из-за помехи в канале связи приемник (демодулятор) принял непра­ вильное решение относительно второго элементарного сигнала и вместо символа «О» получен символ «1», т. е. на выходе цифрового канала связи произошла ошибка перехода «О -» 1» (см. рис. 1.2, точка 6).

Свыхода демодулятора цифровая последовательность, содержащая

вобщем случае ошибки, поступает на вход канального декодера (КДК), реализующего тот или иной алгоритм декодирования избыточных кодов.

Алгоритмы декодирования разных видов избыточных кодов вносят разные временные задержки в определение места ошибки и ее исправление. Наи­ более популярными являются алгебраические (л, /и, */)-коды, рассматри­ ваемые в настоящем учебном пособии. КДК, реализующие различные ал­ горитмы исправления ошибок в алгебраических избыточных кодах, вносят задержку до 2п тактов. Поэтому ось 7 на рис. 1.2, соответствующая выходу КДК, на которой наблюдается исправленная информационная последова­ тельность, изображена с прерыванием во времени (так же, как и ось 8).

С выхода КДК скорректированная информационная последователь­ ность поступает на вход декодирующего преобразователя или декодера источника (ДКИ), который реализует операцию преобразования цифровой последовательности в квантованный отсчет и далее в аналоговый сигнал (см. рис. 1.2, точка 8). Восстановленный аналоговый сигнал с задержкой, обусловленной всеми операциями преобразования информации, поступает на вход получателя информации (см. рис. 1.2, точка 8).

В одноканальных СПИ различают поэлементный прием слож­ ных сигналов и прием их «в целом». Сложный сигнал соответствует передаваемому сообщению (буква, цифра, служебный символ и т. д.) и состоит из элементарных сигналов, соответствующих символам кодо­ вого алфавита.

В рассматриваемом (см. рис. 1.2) примере сложным сигналом явля­ ется кодовая последовательность (точки 2 и 3), а элементарные сообще­ ния - это двоичные сигналы (символы) «О» и «1» и соответствующие им элементарные линейные сигналы - фазоманипулированные двоичные сиг­ налы с начальными фазами «О» и «л» (точки 4 и 5).

При поэлементном приеме приемник, называемый первой решаю­ щей схемой (ПРС), принимает решение относительно каждого элементар­ ного сигнала в отдельности. Именно этот, наиболее распространенный способ приема иллюстрируется на рис. 1.1 и 1.2.

При приеме в целом ПРС и КДК, называемый второй решающей схемой (ВРС), совмещаются, и объединенная решающая схема выносит решение сразу относительно передаваемого сообщения. Прием «в целом» более оптимален по критерию вероятности правильной передачи сообще­ ния, чем поэлементный прием, но значительно сложнее в реализации.

ПРС при поэлементном приеме может реализовать два способа принятия решения о передаваемых символах: «жесткое» и «мягкое». При «жестком» принятии решения на выходе ПРС наблюдаются символы (соответствующие им элементарные сигналы) кодового алфавита, например, в двоичном канале это символы «О» и «1». Такой вид цифрового канала в дальнейшем называется каналом вида КА х КАили, в частности, 2x2. При «мягком» принятии решения на выходе ПРС наблюдаются сигналы из расширенного кодового алфавита мощности К д > КА. Эти сигналы несут дополнительную информацию об ис­

кажении аналогового элементарного сигнала на входе ПРС. Частными случая­ ми двоичного канала с «мягким» принятием решения являются каналы вида 2 х 8 или 2 х 3. Двоичный канал вида 2 x 3 называют в литературе каналом со стиранием. ПРС с «жестким» приняти­ ем решения проще в реализации и больше распространены. В то же время ПРС с «мягким» принятием решения являются более оптимальными и позволяют упростить процедуру декодирования.

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

с«жестким» принятием решения.

1.2.Математические модели дискретных каналов связи,

требования и классификация

К математическим моделям дискретных каналов связи (ДКС) предъ­ являются следующие основные требования:

1.Соответствие закономерностей распределения ошибок, получае­ мых при использовании данной модели, действительным закономерно­ стям, наблюдаемым в реальных каналах связи.

2.Возможность создания на основе данной модели методов расчета параметров систем передачи дискретной информации, точность которых удовлетворяла бы требованиям инженерной практики.

3.Минимальное количество параметров, используемых при описании последовательности ошибок в модели, и простота экспериментальных из­ мерений этих параметров на реальных каналах связи.

Известные модели каналов можно разбить на две группы:

1.Модели, описывающие ДКС с независимыми ошибками, или ДКС без памяти.

2.Модели, описывающие ДКС со статистически зависимыми (кор­ релированными) ошибками, или ДКС с памятью.

Ниже будут рассмотрены обе группы моделей ДКС.

1.3.Математические модели дискретных каналов без памяти

13.1. /г-ичный несимметричный ДКС без памяти (&НДКС)

Обозначим через к мощность входного канального алфавита {*/}, а через к '- мощность выходного канального алфавита {у/}, при этом

к’ > к. Исчерпывающим описанием всех статистических показателей явля­ ется матрица переходных вероятностей М. Все переходные вероятности необходимо определять экспериментально. Они и являются параметрами

ft-ичного НДКС без памяти. Для каждой строки М выполняется условие

к'

нормирования £ Р ( у /■*/)= 1 • Для КНДКС матрица М имеет вид

7=1

У\ У2

Уj

Ук;

х\

х2

М =

xi

хк

Примем, что к’ = к. Тогда размерность данной модели определяется числом независимых параметров матрицы переходных вероятностей:

( 1.1)

Введем понятие «событие канала» {Cv}, описывающее безошибоч­ ную либо ошибочную (с учетом величины ошибки) передачу символов.

Величина ошибки при передаче*/ (i = 1, ft) по ДКС определяется как

еи = IУ/ - х\ mod к.

Тогда мощность множества событий ДКС

Nc = k, т. е. {Су} = {0, 1,2, ..., v , ... ft- 1},

где 0 означает состояние безошибочной передачи символа; v - ошибку при передаче любого *,■0 =1,...»ft).

Граф событий ft-ичного ДКС представлен на рис. 1.3,а.

Р(0)

)Р(1)

б)

Рис. 1.3. Граф событий (а) и канальный граф (б) Аг-ичного НДКС

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

Канальный граф, представленный на рис. 1.3,6, является, по сути, графической иллюстрацией матрицы переходных вероятностей.

Имея матрицу М Личного НДКС, можно аналитически определить все интересующие нас параметры потока ошибок и, следовательно, систе­ мы передачи дискретной информации.

Следует отметить, что в дискретном канале без памяти выделяется одно состояние канала, характеризуемое матрицей переходных вероятно­ стей М (см. рис. 1.3,а). В этом состоянии канал связи находится при любой передаче элементарного сигнала, независимо от событий предшествую­ щих передач.

Определим усредненные вероятностные показатели ошибки (р(е)) и правильной передачи символа (Рпр.) по НДКС:

р(е) = £/>(*, )£/>(}/,./*,)

(1.2)

/=1 7=1

Р пр = \ - Р ( е ) .

Величина р(е) оценивает вероятность ошибочных передач без учета величины ошибки.

В этом случае считаем, что при передаче любого символа могут про­ изойти только два события - правильная и ошибочная передачи. Учиты­ вая, что ошибки в канале появляются независимо с вероятностью можно допустить, что вероятность появления в л-элементной комбинации (серии) символов / ошибок Р(/, п) определяется биномиальным распреде­ лением:

/>(/,*) =

(е)(1 -р (в))"-/,

(1.3)

п\

i\(n - /)!

Вероятность приема неискаженной комбинации (г = 0)

Р{0, п) = (1 - р(е))п «1 - п р(е).

(1.4)

Приближенная оценка, при которой отбрасываются остальные чле­ ны ряда, допустима, если п р(е) < 0,1.

Вероятность появления хотя бы одной ошибки

Р(> 1, п) - 1- р(0, и)« п р(е) .

(1.5)

Вероятность появления s и более ошибок

P(>s,n)=

P(e)i (\ - р{е))пЧ

( 1.6)

Ниже приводятся более простые модели ДКС без памяти, являю­ щиеся частными случаями Л-ичного НДКС без памяти.

1.3.2.Двоичный несимметричный ДКС без памяти (ДНДКС)

Поскольку к = к'= 2, то матрица переходных вероятностей (М) имеет

вид

 

У\ =

0

^2 =1

х\ ” ^

^00

 

^01

ДС2 =1

Я,о

 

Для любой строки выполняется условие нормирования

Тогда с учетом (1.1) размерность модели NM= 2.

На рис. 1.4 приведены граф событий и канальный граф ДНДКС.

Р(1)

а)

б)

Рис. 1.4. Граф событий (а) и канальный граф (б) ДНДКС

Заметим, что обозначения видаp(i /j) и pif идентичны.

Ошибки вида 0 —> 1 или 1 -> 0 называются ошибками перехода или ошибками трансформации.

Усредненная вероятность ошибки р = р(е) для ДНДКС

 

p = p(Q)p(\IO) + p(X)p{OI\) = p{0)pw +р{\)руо.

(1.7)

Вероятность правильной передачи

 

Ч= 1 - Р = р(0)р(0/0) + р(])р(\П) = р(0)р00 + р(\)ри ■

 

Все вероятности, определенные по выражениям (1.3) - (1.6), спра­ ведливы в данном случае.

1.3.3./г-ичный симметричный ДКС без памяти (АСДКС)

Для симметричного канала справедливо выполнение следующих со­ отношений:

Р(У]/х,)=р

V/, V/;

Р(У]/*д = Ч

Vi =у.

Тогда матрица переходных вероятностей М имеет вид

 

У\

У]

Ук'

*1

я

 

Р

*2

 

 

 

м =

 

я

 

xi

 

 

 

Р

 

я

С учетом (1.1) справедливо q + ( k - \ ) p = 1. Размерность модели

NM= \.

Граф событий и канальный граф имеют вид, аналогичный виду гра­ фов, показанных на рис. 1.3.

Из (1.2) следует, что усредненная вероятность ошибки

 

Рош. ~ р(е) = (к - \ )р.

(1-8)

Остальные вероятности определяются по (1.3) -(1.6).

 

1.3.4. Двоичный симметричный ДКС без памяти (ДСДКС)

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

0

0

1

<7

Р

1

Р

Я

q + p = \.

Размерность модели NM= 1.

Граф событий и канальный граф имеют вид, аналогичный виду гра­ фов, показанных на рис. 1.4.

Из (1.8), следует, что

Рош =Р\Я = 1-Р -

Остальные вероятности определяются по (1.3)- (1.6).

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

/>(/,и)= —

— е"/оГ

(1.9)

/!

 

 

где /о - средняя частота ошибок; Т = л

т - длительность (время передачи

по каналу) последовательности из л символов, каждый из которых имеет длительность т. При этом результаты вычислений по (1.3) и (1.9) тем боль­ ше совпадают, чем меньше величина л р. Выражение (1.9) целесообразно применять при л • р « 1.

Р(0,п) = е ' /оТ

При foT « 1 имеем Р{0, л) * 1- / 0 Т = 1- / 0 • п • т ;

т. е. 1 - Р(0, п) = = Р( > 1, п) = /о • п т.

Тогда вероятность искажения элементарного символа

p * fo 'T , т. e. P (> \,n ) * n p(e), что совпадает с результатом (1.5).

1.4. Математические модели дискретных каналов с памятью

Введем ряд понятий (сущностей), определений и обозначений.

Множество состояний канала с памятью (КСП) - характеризует конечное множество состояний, в которых может находиться КСП. Обо­ значим через R - мощность этого множества. Например, R = 2 означает, что КСП может находиться в двух состояниях: {G («good - хорошее») и В («bad - плохое»)}. Если параметр R = 3, то КСП может находиться в трех состояниях: {G, GB, В} и т.д. В общем случае обозначим состояния КСП через переменную С, которая может принимать R значений.

Введем понятие память канала глубины /, которое означает, что су­ ществует статистическая связь между текущим состоянием канала С0 и / предшествующими состояниями канала. Эта связь количественно оцени-

вается переходной вероятностью: Р(

С

/

г

г

), т.е. вероятность пе-

 

у г

рехода из предшествующего состояния,

в котором

находился канал С_|,

в рассматриваемое (Со) статистически определяется ( / - 1 ) предшествую­ щих состояний, в которых побывал канал связи. Последовательность со­ стояний КСП глубины / - С ,,С 2,...,С , образует состояние памяти КСП глубины /. Мощность множества состояний памяти канала глубины / оп­ ределяется как Nu =Rl Для описания дискретного канала с памятью (ДКП) необходимо задать матрицу переходных вероятностей состояний памяти канала, называемую в дальнейшем матрицей памяти - MUj и

множество матриц ошибок {Л/0V} v = (l,Л), характеризующих каждое состояние С ДКП.

1.4.1. Стационарный /г-ичный дискретный канал с памятью глубины /

Ниже рассматриваем модели только стационарных ДКП, поэтому определение «стационарный» опускаем.

Матрица памяти ДКП имеет вид:

12 V...R

1

2

А/п имеет размерность [/?* х /?], и для каждой ее строки выполняется условие нормирования

ц =1.л '

С учетом условия нормирования размерность матрицы памяти, определяющая минимальное число параметров, однозначно задающих Мп и определяемых экспериментально, определяется как

Nn = R‘{ R - 1).

(1.10)

Пример 1.1. ДКП характеризуются двумя состояниями {G,Z?}= {0,l}, т. е. R = 2, глубина памяти / = 2. Тогда матрица памяти имеет вид

 

00

£II

о

10

11

0

1

 

0

 

1

 

 

00

р(% о )

р

ф

 

 

 

/ < у

^

= 01

p(%i>

р

ф

 

 

 

10

* % о)

Р^Ухд

 

 

 

 

 

it

р ф

 

 

Заметим, что р (% ,) = Р(°% |), P (% j) = С

Для этого частного случая последовательность смены состояний ДКП такова:

...С_2,С_,,С0 BGB

101

Согласно (1.10) размерность Мп определится по формуле

Л^п = 2 Э 1= 4,

т. е. переходные вероятности каждого столбца однозначно задают матрицу памяти данного примера.

Как отмечалось выше, каждое состояние ДКП характеризуется своей матрицей ошибок:

с, с 2... СУ...СЛ)

м ' м 2. . . м \ . . м *

0

0

0

0

Размерность каждой матрицы ошибок, как и в случае канала без памяти, равна х к\ (для £-ичного канала).

Для каждой строки матрицы выполняется условие нормирования:

I P ' CV W V/ = i J .

./=1 / '

Вид матрицы ошибок ДКП, находящихся в состоянии Cv

У 1 - О*. ~Ук

Х\

л/' =

)

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

* ; , * * (* -1 ).

( м и

Суммарное число параметров всех R матриц ошибок

N ^ = k ( k - \ ) R .

(1.12)

Таким образом, полная размерность модели ДКП, с учетом (1.10) и (1.12), определяется как

NM = R '( R - \) + k (k -l)R .

(1.13)

Пример 1.2. Рассмотрим двоичный ДКП с двумя состояниями G и

G

В

Тогда, согласно (1.10);

В (R = 2) и памятью глубины 1 = 2: шжС

лжВ

М п

м п

 

V ...R

Nn = 22 • 1= 4 и, согласно (1.12), N 0 = 2 • 1• 2 = 4. Полная размерность рассматриваемого ДКП, согласно (2.13), определяется как NM =4 + 4 = 8.

1.4.2. Двоичный дискретный канал с памятью глубины / (ДДКП) Матрица памяти ДДКП с числом состояний R имеет вид

12

1

2

Мп =

Р

R1

Следовательно, размерность матрицы памяти Мп определяется согласно (1.10).

Матрица ошибок ДДКП, находящихся в ц-м состоянии р = (1,Л), имеет вид

0

0

1

Г00

*0!

1

р*

р"

 

МО

*11

где Р;? - вероятность перехода символа / на входе ДДКП в символ j на

выходе ДДКП, находящемся в ц-м состоянии.

Размерность каждой из R матриц ошибок, согласно (1.11), определя­

ется как N 0 = 2.

Полная размерность модели ДДКП согласно (1.12)

 

NM = R '(R - \) +2 R .

(1.14)

Пример 1.3. Для данных примера 1.2 определим полную размерность модели ДДКП.

Согласно(1.14) NM =2 2 1+ 2-2 = 8.

Для частного случая симметричного двоичного ДКП глубины / (симметричность распространяется на матрицы ошибок ДСДКП) справед­ ливы следующие утверждения: Nn определяется из (1.10), N ^ = 1 и

Например, для данных предыдущего примера NM = 22 • 1+ 2 = 6. Практический интерес представляют модели ДСДКП с числом

независимых параметров (размерностью) не более 4-5, т.е. с харак­ теристиками вида: /? = 2, / = 1 Д = 2и NM = 21• 1+1 2 = 4.

Наиболее популярными моделями, отвечающими этим требованиям, являются модель Гильберта, модель Гильберта-Эллиота, модель Пуртова, которые рассматриваются ниже.

Прежде чем описать упомянутые модели, введем понятие, характер­ ное для симметричных двоичных дискретных каналов с памятью, - пакет ошибок длины Ъ. Это вектор ошибок длины Ь, первая и последняя компо­ ненты которого всегда равны единице. Число единиц и нулей внутри паке­ та распределяется произвольно, но при этом число подряд идущих нулей должно быть меньше некоторого числа 63, называемого защитным интер­ валом.

Пример 1.4. Пусть дан некоторый поток ошибок:

....00 0 0 10 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1

0 0 0....

6 = 9

6 = 4

6= 1

6 = 3

 

Пусть 63 = 3, тогда в данном потоке ошибок можно выделить 4 пакета с длинами соответственно 9, 4, 1 и 3. В литературе иногда вместо термина пакет ошибок используют термин пачка ошибок.

1.4.3. Модель Гильберта

Это трехпараметрическая модель [2], описывающая ДСДКП с глу­ биной памяти / = 1. В основе модели - элементарная цепь Маркова, выде­ ляющая два состояния канала (R = 2): «хорошее состояние» (G), в котором ошибки не возникают, и «плохое состояние» (Я), в котором вероятность ошибки в одном разряде составляет pt. Граф марковской цепи показан на рис. 1.5.

 

P GB

P GG

Р вв

 

G

 

P BG

Рис. 1.5. Граф переходов состояний ДСДКП модели Гильберта

Матрица памяти канала имеет вид

 

 

 

 

G

В

М п =G

 

р С(;

P GB .

 

В

 

P BG

Рвв

Согласно модели Гильберта матрица ошибок имеет место только

в состоянии В:

 

 

 

 

м 0 = 0

 

О

 

1

1-

Р е

Р е

1

Р е

1“ Р е

Таким образом, с учетом (1.15) размерность модели NSi = Nn+ NQ= = 2 + 1 = 3, т. е. модель Гильберта полностью описывается тремя парамет­ рами: ре, p GB, pBG, которые должны быть определены экспериментально. Имея указанные параметры, можно аналитически вычислить вероятност­ ные показатели, характеризующие условия передачи информации по ДСДКП с глубиной памяти / =1.

Определим вероятности пребывания канала в состояниях G и В как

финальные вероятности марковской цепи:

 

P(G) ~ P(G)PGG +Р(В) PBG =P(G)PGG+ (1 - p(G))pBc>

 

P(G) =---- ^

---- ,

(1.16)

P GB + P BG

 

p(B) - p{B) рвв + p(G) ров ~ p(B) рВв + (1 - p(B)) P GB,

 

P (B) = —

— .

(i.i7)

P GB + P BG

 

Если PGG или pBB велики, то наблюдается тенденция к сохранению возникшего состояния G или В, что и моделирует канал с пакетными (кор­ релированными) ошибками. В состоянии В возникает пакет ошибок.

Для вычисления вероятности возникновения ошибок определенной кратности в большинстве моделей ДСДКП, используемых на практике и описываемых простыми цепями Маркова, принимают следующее допу­ щение. Считается, что в различных состояниях памяти канала имеет место биномиальное распределение ошибок, с соответствующей вероятностью ошибки [3]. Тогда, с учетом изложенного, определим вероятность ошибки на символ в ДСДКП:

_ P Z P GB

P GB * P BG

Вероятность ошибки кратности i среди п символов, передаваемых по ДСДКП,

w ош (1v - р“ ош 7У (1.19)

: \г

Вероятность искажения кодовой серии длины п

Р(>1,и) = 1 - ( 1 - р ош)и

( 1.20)

Вероятность ошибки рошопределяется из (1.18) и учитывает память канала.

1.4.4. Модель Гильберта - Эллиота

Это четырехпараметрическая модель ДСДКП [2,4] с глубиной памя­ ти /= 1 и числом состояний канала R = 2. В отличие от предыдущей моде­ ли в данной модели допускается появление ошибок как в «хорошем» (G), так и в «плохом» (В) состояниях канала соответственно с вероятностями

РгО И pel-

Граф марковской цепи показан на рис. 1.6.

P GB

PzO

P BG

/>el

Рис. 1.6. Граф переходов и состояний ДСДКП модели Гильберта - Эллиота

Матрица памяти данной модели аналогична предыдущей. Матрица ошибок в v-м состоянии памяти канала имеет вид

< = °

1

г , V

„ V

Pz {PzQ'Pz\\’

1

Pz

Рг

 

1

„ V

1

„ V

 

 

Pz

1-

Pz

 

С учетом (1.16) размерность модели

NM= Nn + N0 = 2

(2 - 1) + 2 = 4.

 

Модель Гильберта -

Эллиота полностью описывается четырьмя па­

раметрами: рг0, pz|, p5Q,

Вероятности p(G) и /?(#) определяются по

(1.16) и (1.17).

 

 

 

Вероятность ошибки на символ

 

 

РОШ ^ Р м Р с + Р ц Р в ^

P ZQP BG * P Z\P GB

( 1.21)

 

P GB + Р в е

Вероятности р(/, п) и р (>1, п) приближенно оцениваются выраже­ ниями, аналогичными (1.19) и (1.20).

1.4.5. Модель Пуртова

Модель ДСДКП, предложенная Л.П. Пуртовым [5], является много­ параметрической и достаточно сложной. В то же время для практического использования им рекомендуется двухпараметрическая упрощенная мо­ дель, которая и будет рассмотрена ниже.

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

Р(>\,п) = п'-ар.

(1.22)

Параметры модели: а - коэффициент пакетирования ошибок; р - ве­ роятность ошибки на символ. При а - > 0 Р(> 1,л) = пр, т. е. выражение

совпадает с оценкой вероятности искажения в канале с независимыми ошибками. При а - >1 Р(>1,//) = /?, т. е. при любом искажении символа начинается пакет ошибок.

Вероятность ошибки кратности не меньше / в серии длины л,

 

P(>i,n) = ( y j

р.

(1.23)

Вероятность /-кратной ошибки в серии длины п

 

^ ’ К т Г Ч т Т

т П ' -

(,.24)

В заключение отметим, что, как показали экспериментальные иссле­ дования, большинство современных коммутируемых телефонных каналов достаточно корректно описывается моделями ДСДКП.

Контрольные вопросы к главе 1

1. Пояснить назначение основных элементов одноканальной систе­ мы передачи информации.

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

3.Сформулировать основные требования и выполнить классифика­ цию моделей дискретных каналов.

4.Привести граф событий и канальный граф А:-ичного несиммет­ ричного дискретного канала без памяти (для значений к = 2 н к = Ъ).

5.Рассмотреть вероятностные характеристики Л-ичного несиммет­ ричного дискретного канала без памяти (для значений к - 2 и к = 3).

6.Определить вероятность ошибки для Л-ичного симметричного канала без памяти (для значений к = 2 и к = 3).

7.Построить матрицу памяти для дискретного канала с памятью, характеризующегося двумя состоянием (R = 2) и глубиной памяти / = 1.

8.Построить матрицу памяти для дискретного канала с памятью, характеризующегося двумя состоянием (R = 2) и глубиной памяти / = 3.

9.Проанализировать модели дискретных каналов с памятью на примере модели Гильберта для канала с глубиной памяти / =1.

10.Проанализировать модели дискретных каналов с памятью на примере модели Гильберта-Эллиота для канала с глубиной памяти / =1.

11.Проанализировать модели дискретных каналов с памятью на примере модели Пуртова для канала с глубиной памяти / =1.

2.ОПТИМАЛЬНЫЕ ПРИЕМНИКИ ЭЛЕМЕНТАРНЫХ СИГНАЛОВ

Вданной главе анализируются структуры и потенциальная помехо­ устойчивость оптимальных приемников различения двух сигналов на фоне «белого шума» (оптимальность по В.А. Котельникову). Как было показано

впредыдущей главе, оптимальный приемник элементарных сигналов, или первая решающая схема (ПРС), является важным узлом цифровых каналов

связи при реализации поэлементного приема сигналов, существенным об­ разом определяющим помехоустойчивость всей системы передачи инфор­ мации. С помощью ПРС организуются различные варианты двоичных ка­ налов связи: симметричный канал ((2 * 2)-канал), канал со стиранием ((2 * х 3)-канал), канал с «мягким» принятием решения ((2 х &)-канал). Поэтому изучению указанных выше вопросов уделяется большое внимание в отече­ ственной и зарубежной литературе.

2.1. Представление сигналов в Евклидовом и Гильбертовом пространствах

Сигналы существуют в определенном пространстве. В зависимости от размерности пространства, рассмотрим две модели пространства: Евк­ лида и Гильберта.

Евклидово пространство (ЕП - L\) - это конечномерное пространст­ во, в котором финитный сигнал с конечным, т. е. ограниченным спектром, задается конечным числом координат. В ЕП величина сигнала X(t) (длина вектора X ) задается с помощью нормы ЕП - | | П у с т ь X и Y - два вектора

в /i-мерном ЕП, т. е. X = (xl,x2,...,xh ...,xn) и 7 =(ух,у2у ^ У п ^ У пУ Тогда квадрат нормы (квадратичная норма) вектора X

й 2 = 1 ^ ?-

(2-1)

/=1

Расстояние между X и Y - (dX}) определяется как квадратичная нор­ ма разности двух векторов:

d;y=\\x-7f =£(х,-у,)2

(2.2)

1=1

 

Установим взаимосвязь между введенной метрикой ЕП и физиче­ скими характеристиками финитного сигнала с конечным спектром. Ана­ лизируемый сигнал S(t) с длительностью Т (0< / < Т) и спектром Fmможет быть приближенно представлен с помощью усеченного ряда Котельникова [6,7,8,9]:

n-1

sin 2л/7,,, (/ - Ш)

(0 « S S (iA 0

 

i=0

 

где я = 2FmT - число отсчетов, определяющих сигнал с физическими ха­ рактеристиками TwFm* л-мерном пространстве.

Возведем в квадрат и проинтегрируем обе части выражения (2.3) в области существования сигнала:

sin 2nFm(t-iA t)

d/ (2.4)

2nFm(t- iA tj~

Учитывая, что члены ряда Котельникова являются ортогональными функциями, каждая из которых существует в интервале /А/, после преоб­ разования выражения (2.4) получим

] ^ ( 0 < К * £ $ 2(»Д0]

sin 2nF (t-iA t)

(2.5)

d/.

о

/=0

о

2 n F Jt-iA t)

 

 

 

Из литературы [8] известно, что

 

 

т sin 2nFm(t - At)

 

I

2nFm(t-iA t)

dt =

 

о

2F

 

Тогда выражение (2.5) с учетом (2.1) можно преобразовать:

2Fm£ * ||5 |f

(2.6)

где Е - энергия сигнала ST(t) , выделяемая на единичном сопротивлении. Таким образом, из (2.6) следует, что квадрат нормы сигнала в ЕП

имеет размерность мощности сигнала, выделяемой на единичном сопро­ тивлении.

С учетом выражений (2.2) и (2.6) определим расстояние в ЕП между финитными сигналами Sx(t) и S2(t):

< 2 = l | V S 2| f = 2 F J[si( 0 - 5 2w ]2dt =

о

 

T

T

T

= 2Fm jS?(t)dt -

2J5,(0 •S2(0df + j5,2(/)dr

 

.0

0

0

 

 

T

 

= 2F.

E] + E2 -

2\Sl (t) S2 (t)dt

 

 

 

о

 

Если принять то, что энергия сигналов S](/)

и S2(t) одинакова,

т. е. £| = Е2= £, то из (2.7)

получим

 

 

^.22 = 4 F m£ l - i J s , ( 0 - S 2(0d<

(2.8)

Обозначим —151,(/) • ^ 2 (^)d/ = ^*1,2 - коэффициент корреляции S,(f)

и S2(t) сигналов. С учетом введенных обозначений

^ 2 = 4 F m£[l-X ,,2].

(2.8.а)

Покажем, что -1 < Х] 2 < 1. Действительно:

1. Если S, (/) и S2(t) одинаковы по величине и сонаправлены (5, (()

= $2(0)* то ^ 1,2 = 1- Это означает, что корреляция между сигналами мак­

симальна.

2. Если 5, (/) и S2(t) взаимно ортогональны, то Я.12 = 0. Это озна­

чает, что корреляция между сигналами принимает промежуточное значе­ ние между максимальным и минимальным.

3. Если Sx(t) и S2(t) одинаковы по величине и противоположны (противонаправлены), т. е. S} (г) = - S 2(t), то h l 2 = -1. Это означает, что

корреляция между сигналами минимальна.

Для указанных трех случаев d*2 соответственно имеет следующие

значения:

 

4 *2(1) = ° ; 4 22(2) = 4F .E idlw ) = 8FmE .

(2.9)

Можно сделать вывод, что противоположные сигналы имеют мак­ симальное расстояние друг относительно друга, или максимальную разли­ чимость. Показатель различимости сигналов играет важную роль для организации надежного и эффективного приема сигналов из линии связи на фоне помех.

Гильбертово пространство (ГП - Ь2) - это бесконечномерное про­ странство, в котором финитный сигнал S(t), (0 <( <Т) рассматривается как непрерывная функция времени.

Метрические характеристики ГП таковы. Квадратичная норма вектора

||5||2 = }52(0dt = £.

(2.10)

о

Таким образом, квадрат нормы вектора, характеризующий величину сигнала, имеет размерность энергии. Расстояние между сигналами £,(/) и S2(t), равное квадрату нормы разности указанных сигналов, определяет­ ся из соотношения

d\,2 »||S| - ^ | f = J [5 ,(0 - 5 2(0]2d/ = £, +E2 - 2

] s l(t) S2(t)dt

(2.11)

0

0

 

При условии, что E\= E2 = E, из (2.11) получим

 

 

r f & = 2 £ f l - i j S , ( 0 - S 2(0d/ = 2£(1 -

A., 2),

(2. 12)

где X12 - коэффициент корреляции сигналов S}(t) и S2(t), и его значе­ ние находится в диапазоне - \ < Х {2 <1

При этом расстояния для ортогональных и противоположных сигна­ лов S| и S2соответственно следующие:

d l 2 = и d l 2 = 4Е

Реальные системы связи, аналоговые и дискретные (цифровые), все­ гда работают с сигналами, ограниченными по времени длительностью Т и по спектру частотой Fm. Следовательно, для оценки различимости сигна­ лов в системах связи адекватной является модель евклидова пространства.

Как следует из (2.7), (2.8), (2.11) и (2.12), необходимым (а при отсут­ ствии искажений и достаточным) условием различения (разделения) сиг­ налов конечных энергий является выполнение неравенства

rf(5,,52) = j|Jl - S 2||>0.

(2.13)

Из (2.13) следует, что

|[5,(0-52(/)]2df>0

О

т т т

2|л,(0 •S 2 (t)dl < \s f (t)dl + {S%(t)dt.

О

0

0

В случае Е}= Е2 = Е

№ (')• S2(t)dt < Е .

(2.14)

Неравенство (2.14), являющееся необходимым условием различимо­ сти двух сигналов равных энергий, представляет собой частный случай из­ вестного неравенства Буняковского - Шварца для подобных сигналов. Выражение (2.14) может быть представлено в виде

( S r s 2) < m 2 =ts2f

Разделим левую и правую части данного выражения на значение квадрата нормы сигнала, тогда условие различимости двух сигналов за­ пишется в виде

 

 

С05ф = ^ ф ) < 1 .

 

(2.15)

 

 

INI2

 

 

 

Напомним, что скалярным произведением (X

Y) двух векторов X

и Y называется произведение их длин на косинус угла (cosip)

между ни-

ми: (X F ) = ||J|| ||F||cos<p.

 

В работе [7] вводится понятие относительной

различимости г:

 

 

 

 

 

Г

=

1- coscp = 1-

(^1 ^2 )

 

(2.16)

Эта различимость

г

меняется в

пределах от

нуля от

двух, т.е.

0 < г < 2. Для сигналов, тождественно равных друг другу, г = 0; для орто­ гональных сигналов г = 1; для противоположных сигналов г = 2. Таким образом, мерой различимости двух сигналов может быть и расстояние ме­ жду сигналами (</|.2), и относительная различимость (г).

Соседние файлы в папке книги