Главная страница  Дискретный канал связи 

[0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [ 176 ] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188] [189]

волы переданного кодового слова с равны нулю, и равны -] 1 в тех позициях, в которых символы с,, равны единице.

Пусть Сг - вектор в п-мерном евклидовом пространстве, такой, что его компоненты определяются выражением

I -1, если = О, "" ~ 1 +1, если ci = 1. Это выражение описывает отображение кодовых слов из GP (q) в Сохраним за с название кодового слова. Евклидово расстояние между принятым словом v и кодовым словом Сг равно

d (V, с,) = i V - Г" = Т (о-.

Если V состоит лишь из символов жесткого решения = ±1, то евклидово расстояние связано с хэмминговым расстоянием соотношением

dl (v, Cr) = 4Ля (v, с,),

где компоненты Vi вектора v равны О, если 0,- = -1, и равны 1, если t»j = 1. В частности, для любых двух кодовых слов

d {сг, Сг-) = 4Ля (Сг, Сг-У,

Минимальное евклидово расстояние кода и минимальное хэм-мингово расстояние d* связаны соотношением

d*E = 4dh.

Опишем О.МР-декодер с помощью скалярного произведения v-Cr, предварительно выразив евклидово расстояние кода через скалярное произведение. Мы можем переписать его в виде

dl{\, H.) = vP-2v.c.-f с.

Для фиксированного v минимизация (v, с.) по г эквивалентна максимизации скалярного произведения v-c по г, поскольку I V Р не зависит от г и с равно п для любого кодового слова. Минимизация евклидова расстояния интуитивно понятнее, но при вычислениях лучше максимизировать скалярное произведение.

Декодеру, исправляющему только ошибки, предшествует демодулятор, который принимает лишь жесткие решения. При этом и = ±1 и dl (V, Cr)=4dw(v, Cr). Следовательно, нахождение Сг на минимальном евклидовом расстоянии от v эквивалентно нахождению с на минимальном хэмминговом расстоянии от v. Неравенству

d« (V, с,) <: (d* - 1)/2



удовлетворяет не более одного кодового слова с. Следовательно, не более чем одно кодовое слово с удовлетворяет неравенству

dl (V, с,) < 2 (d* - 1).

Наконец, так как v Р равно п в случае демодулятора с жестким решением, то

d\.(y, Сг) = 2{n - v-Cr)

и не более чем одно кодовое слово удовлетворяет неравенству

V-C, п -(d*- 1),

где d* - минимальное хэммингово расстояние кода. Декодирование с исправлением только ошибок эквивалентно нахождению того единственного кодового слова с, для которого

V • Сг > п - d*,

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

Если действия демодулятора сводятся к жесткому решению или стиранию, то 0j = ±1 или 0. По тем же причинам, что и выше, декодирование с исправлением ошибок и стираний эквивалентно нахождению того единственного кодового слова с, для которого

v- > п - d*,

если такое кодовое слово существует. Как и ранее, соответствующий декодер полон.

Следующая теорема утверждает, что те же условия существования справедливы и при мягком решении.

Теорема 15.3.1. Каков бы ни был вектор v с компонентами, лежащими в интервале [-1, 1 ], в двоичном коде с длиной п и минимальным хэмминговым расстоянием d* существует не более одного кодового слова с, для которого

v-Cr > rt - d*.

Доказательство. Пусть с - некоторое кодовое слово, удовлетворяющее приведенному выше неравенству, и пусть с,--любое другое кодовое слово. Тогда с- отличается от Сг по меньшей мере Б d* позициях. Пусть

S = \i\cncri\;



тогда

v-Cr = 1] UjC,.i -j- Ti ViCi = Ai-\- Ла,

iS i€ s

V-C;-- = Y ViCr-i + 2j "iCr-i = A\ - A2. сфЗ i £ s

Ho величина удовлетворяет неравенству Л= Ij йДг < n - d*,

так как она равна сумме не более п - d* слагаемых, ни одно из которых не превышает единицу. Поэтому в силу неравенства V- Сг > п - d* Ла > О, и, следовательно, Л - А < п - d*, что завершает доказательство теоремы. □

В качестве примера рассмотрим двоичный (3,2)-код W = {ООО, ОН, ПО, 1011, у которого d* равно 2. Этот пример достаточно прост для графической иллюстрации теоремы 15.3.1. На рис. 15.4 изображен куб в трехмерном евклидовом пространстве, содержащий возможные принятые векторы v. В том же пространстве показаны четыре кодовых слова. Штриховкой в одном из углов выделена совокупность v, удовлетворяющая условию VgCro + + DjCri + УаСга > 1, Которая декодируется в кодовое слово, лежащее в этом углу. Теорема утверждает, что если построить аналогичные области для каждого из четырех кодовых слов, то эти области не будут пересекаться. Используя эти четыре области декодирования, можно построить ОМР-декодер. Заметим, что указанные четыре области не заполняют куб полностью. Остающаяся в центре область является тетраэдром, и если v

Койоеые слова

Койоеое слово


Койоеое слово

Область йекойирования

Рис. 15.4. Область декодирования по ОМР-алгоритму для двоичного (3, 2)-кода.




[0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [ 176 ] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188] [189]

0.0196