Escolar Documentos
Profissional Documentos
Cultura Documentos
Resumo— Este artigo introduz uma técnica de decodificação As demais seções do artigo estão organizadas da seguinte
bidimensional, que juntamente com os códigos de bloco lineares forma. A Seção II traz uma breve explanação sobre o algoritmo
e o uso da decodificação através do algoritmo Belief Propagation BP. A Seção III faz uma sı́ntese sobre a codificação produto se-
detectam e corrigem erros inseridos na mensagem por meio de
um canal binário simétrico. rial. A Seção IV introduz a decodificação duplamente iterativa
e a Seção V apresenta os casos simulados com seus respectivos
Palavras-Chave— Códigos Produto, Arranjos Bidimensionais, resultados. Finalmente, o artigo se encerra na Seção VI, a qual
Belief Propagation.
apresenta as conclusões e comentários finais.
Abstract— This paper introduces a two-dimensional decoding
technique which, along with linear block codes and the use of the
belief propagation decoding algorithm, detect and correct errors
II. B ELIEF P ROPAGATION
inserted in the message by a binary symmetric channel. O princı́pio de funcionamento deste algoritmo é uma troca
de mensagens entre os nós, através dos grafos de Tanner
Keywords— Product Codes, Two-dimensional Arrays, Belief
e de grafos de fatores [3, pág. 38],[8, pág. 476],[9, pág.
Propagation
281], a fim de propagar probabilidades (crenças) a partir de
informações que relacionam os nós do grafo. Os códigos
I. I NTRODUÇ ÃO de bloco lineares considerados possuem parâmetros (n, k),
Vários autores têm investigado a decodificação iterativa em que n denota o comprimento do bloco e k denota o
em duas dimensões, podendo-se citar Tee e Taylor [1], que número de dı́gitos de informação em cada palavra-código.
utilizaram canais com ruı́do aditivo gaussiano branco (Addi- Consideraremos que cada palavra-código binária tem a es-
tive White Gaussian Noise, AWGN ) e Freitas, que em sua trutura v = {v0 , v1 , v2 , . . . , vn−1 }, em que n denota um
dissertação de mestrado [2], utilizou canais com apagamento. número inteiro positivo. O processo de troca de informações é
Este artigo investiga um sistema de transmissão digital que realizado através de perguntas (questionamentos) e respostas,
utiliza um canal binário simétrico (Binary Symmetric Channel, em que cada nó de variável vi questiona ao(s) nó(s) de função
BSC) [3, pág. 23]. O modelo considerado é de um sistema de ao(s) qual(is) ele está conectado, informações que os outros
comunicação ponto a ponto e o comportamento do remetente nós de variável, interligados ao mesmo nó de função, possuem
é similar ao de uma fonte de informação binária sem memória, referentes ao nó vi , em que i representa o ı́ndice do nó de
na qual os sı́mbolos emitidos são equiprováveis. variável. Cada questionamento qij (vi ) tem por sua vez uma
São apresentadas curvas de desempenho relacionando va- mensagem de retorno, caracterizada como resposta rji (vi ), em
lores da probabilidade de erro por bit com os da probabilidade que j representa o ı́ndice do nó de função. É neste momento
de transição do canal, para sistemas de transmissão utilizando que os outros nós de variável transmitem a informação a
códigos bidimensionais compostos por códigos de bloco li- respeito desse questionamento realizado pelo nó inicial [9,
neares de Hamming [4, pág. 669], cı́clicos [5] e de Reed- págs. 282-284], [10, págs. 196-198]. Para o caso binário, caso
Muller [6], [7]. São utilizados dois decodificadores iterativos em questão para o propósito deste artigo, é possı́vel escrever
que empregam o algoritmo belief propagation (BP) [8], em as equações (1), (2) e (3) a seguir, relacionando as variáveis
que cada decodificador atua em uma dimensão do arranjo empregadas pelo decodificador.
bidimensional [2]. Num primeiro momento a decodificação Y
é realizada iterativamente em cada uma das linhas recebidas qij = Kij pi rj ′ i , (1)
do arranjo bidimensional. Em seguida a decodificação passa j ′ 6=j
a ser executada nas colunas, potencialmente beneficiando-se
1 Y
das modificações anteriormente ocorridas nas linhas, também rji = 1− [1 − 2qi′ j ] , (2)
de forma iterativa. Verificada a saturação na decodificação 2
i′ 6=i
iterativa de cada linha e coluna, há o fechamento de uma
etapa denominada ciclo. Esta sistemática de ciclos é repetida 1
Kij = Q Q , (3)
observando-se a iteração entre linhas e colunas, introduzindo pi j ′ 6=j rj ′ i + (1 − pi ) j ′ 6=j (1 − rj ′ i )
a chamada decodificação duplamente iterativa. em que Kij denota um fator de normalização e pi denota valor
R. F. da Silva, M. S. M. Lins e M. L. M. G. Alcoforado, Departamento de de probabilidade a priori.
Engenharia de Sistemas, Labtel, Gcom, Escola Politécnica de Pernambuco, É necessário determinar um limiar de decisão, para que a
Universidade de Pernambuco, Recife, 50.720-001, E-mail: mlmga@poli.br. estimativa em cada sı́mbolo seja enfim concretizada. No caso
V. C. da Rocha Jr., Grupo de Pesquisa em Comunicaç ões, Departamento de
Eletrônica e Sistemas, Universidade Federal de Pernambuco, Recife, 50.740- de variáveis binárias, o sı́mbolo vi pode ser o bit 0 ou o bit 1.
550, Email: vcr@ufpe.br. Para tal, é necessário calcular a razão de Log Verossimilhança
6
XXXIV SIMPÓSIO BRASILEIRO DE TELECOMUNICAÇÕES - SBrT2016, 30 DE AGOSTO A 02 DE SETEMBRO, SANTARÉM, PA
7
XXXIV SIMPÓSIO BRASILEIRO DE TELECOMUNICAÇÕES - SBrT2016, 30 DE AGOSTO A 02 DE SETEMBRO, SANTARÉM, PA
TABELA I
1 1 0 0 1 0 1
1 0 0 0 1 1 0 VALORES DO LLR DA DECODIFICAÇÃO HORIZONTAL
0 0 0 1 1 0 1
L(v0 |y) L(v1 |y) L(v2 |y) L(v3 |y) L(v4 |y) L(v5 |y) L(v6 |y)
1
Ap = 0 1 0 0 0 1. -2,19 -2,19 -3,32 4,45 3,32 1,06 3,32
0 1 1 1 0 0 1
0 1 0 1 1 1 0 TABELA II
0 0 1 1 0 1 0 VALORES v̂i−
8
XXXIV SIMPÓSIO BRASILEIRO DE TELECOMUNICAÇÕES - SBrT2016, 30 DE AGOSTO A 02 DE SETEMBRO, SANTARÉM, PA
vertical.
Este processo de decodificação horizontal e vertical ocorrerá
por 10 ciclos. No final deste processo, tem-se a matriz Ar
-3
final.
10
1 1 0 0 1 0 1
1 0 0 0 1 1 0
0 0 0 1 1 1 1 10
-4
10
-3 -2
10
-1
10
Probabilidade de Transição do BSC
Ar = 1 0 1 0 0 1 1 .
0 1 1 1 0 0 1 Fig. 2
0 1 0 0 1 1 1 R ESULTADOS OBTIDOS PARA O C ASO 1
0 0 1 1 0 1 0
Uma vez concluı́das as operações de decodificação para
obter a matriz Ar final, basta remover as colunas que rep- forma sistemática, C − = C | = C(15, 5). Em cada ciclo
resentam os bits de paridade (colunas 5, 6 e 7) e as linhas são executadas 1 iteração por linha e por coluna.
que também representam os bits de paridade (linhas 5, 6 e 7).
Dessa forma tem-se as 4 mensagens estimadas organizadas em 10
-1
Bidimensional - 1 ciclo e 1 iter.
1 1 0 0 10
-2
1 0 0 0
Û = 0 0 0 1 .
10
-3
1 0 1 0 -4
10
-3 -2 -1
10 10 10
9
XXXIV SIMPÓSIO BRASILEIRO DE TELECOMUNICAÇÕES - SBrT2016, 30 DE AGOSTO A 02 DE SETEMBRO, SANTARÉM, PA
-2
10
Bidimensional - 5 ciclos e 2 iter.
Unidimensional - 2 iterações
-4
10
-3
-5
10
10
-6
10
-3 -2 -1
-3 -2 -1 10 10 10
10 10 10
Probabilidade de Transição do BSC
Probabilidade de Transição do BSC
Fig. 4 Fig. 6
R ESULTADOS OBTIDOS PARA O C ASO 3 R ESULTADOS OBTIDOS PARA O C ASO 5
Unidimensional - 3 iterações
casos 2 e 3 cujas curvas estão ilustradas respectivamente nas
-2
Figuras 3, 4, a decodificação iterativa unidimensional satura
10
com apenas 1 iteração, sendo utilizada apenas 1 iteração por
dimensão em cada ciclo do caso bidimensional com dupla
iteratividade. Para ambos os casos não há melhorias a partir do
-3
10
segundo ciclo. Considerando o caso 4, cuja curva está ilustrado
na Figura 5, a decodificação unidimensional satura com 3
iterações, sendo portanto utilizadas 3 iterações por dimensão
10
-3 -2
10
-1
10
em cada ciclo do caso bidimensional com dupla iteratividade.
Probabilidade de Transição do BSC Verifica-se que não há melhorias de desempenho a partir do
terceiro ciclo. Finalmente, considerando o caso 5, cuja curva
Fig. 5
está ilustrada na Figura 6, a decodificação unidimensional
R ESULTADOS OBTIDOS PARA O C ASO 4
satura com 2 iterações, sendo portanto utilizadas 2 iterações
por dimensão em cada ciclo do caso bidimensional com dupla
iteratividade. Verifica-se que não há melhoria significativas de
equivalente ao de Reed-Muller C(16, 5), e decodificação desempenho a partir do quarto ciclo.
BP com 2 iterações. As curvas apresentadas para o
caso bidimensional foram geradas a partir do uso do R EFER ÊNCIAS
código produto Cp (256, 25), tendo como componentes [1] J. S. K. Tee, D. Taylor, “Iterative decoding of systematic binary algebraic
block codes,” Global Telecommunications Conference, vol. 2, pp. 842-
dois codificadores iguais aos usados para o caso unidi- 846, 2000.
mensional, C − = C | = C(16, 5). Em cada ciclo, são [2] P. R. de Freitas, “Decodificação iterativa com baixa complexidade para o
executadas 2 iterações por linha e por coluna. canal binário com apagamento,” Dissertação de Mestrado, UFPE, 2011.
[3] T. K. Moon, Error Correction Coding: Mathematical Methods and
Algorithms. Wiley, 2005.
VI. C ONCLUS ÕES [4] S. S. Haykin, Communication systems. Wiley, 2001.
É um fato bastante conhecido, na área de códigos corretores [5] P. R. L. Martins,“Correção de manchas de erros em arranjos bidimen-
de erros, que a codificação bidimensional traz melhorias de sionais,” Dissertação de Mestrado, UFPE, 2012.
[6] J. A. Davis e J. Jedwab, ”Peak-to-mean power control in OFDM,
desempenho do sistema de transmissão ao custo do uso Golay complementary sequences, and Reed-Muller codes,” in IEEE
de uma maior largura de banda. A intenção neste artigo é Transactions on Information Theory, vol. 45, no. 7, pp. 2397-2417, 1999.
fazer uma análise quantitativa desta melhoria, considerando a [7] E. Arikan, “A performance comparison of polar codes and Reed-Muller
codes”, IEEE Commun. Lett, vol. 12, no. 6, pp. 447-449, 2008.
decodificação denominada de duplamente iterativa em que são [8] S. A. Abrantes, Códigos Correctores de Erros em Comunicações Digi-
realizadas várias iterações em apenas uma dimensão até que tais. FEUP Edições, 2010.
se obtenha a estagnação de melhoria do desempenho, só então [9] J. C. Moreira e P. G. Farrell, Essentials of Error-Control Coding. Wiley,
2006.
a decodificação é realizada em outra dimensão, concluindo o [10] R. H. Morelos-Zaragoza, The Art of Error Correcting Coding. Wiley,
ciclo. A partir de análise nas curvas mostradas nas Figuras 2, 2006.
3, 4, 5, 6 verifica-se qual a melhor região a se trabalhar, a [11] J. Hagenauer, E. Offer, e L. Papke, “Iterative Decoding of Binary Block
and Convolutional Codes,” IEEE Transactions on Information Theory,
custa de qual esforço computacional desenvolvido. vol. 42, no. 2, pp. 429-445, 1996.
Analisando a Figura 2, verifica-se que a decodificação [12] I. M. M. de Souza, “Decodificação iterativa bidimensional para canais
iterativa unidimensional satura com três iterações, por este de acesso múltiplo,” Dissertação de Mestrado, UPE, 2015.
motivo, foram utilizadas 3 iterações por dimensão em cada
10