Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-02-16T17:18:55Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) PPGEE_Tese_52_Jose_Sampaio_de_Lemos_Neto.pdf: 1571594 bytes, checksum: dd2d6975cfe8298526b68cb91a703bf1 (MD5) / Made available in DSpace on 2016-02-16T17:18:55Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) PPGEE_Tese_52_Jose_Sampaio_de_Lemos_Neto.pdf: 1571594 bytes, checksum: dd2d6975cfe8298526b68cb91a703bf1 (MD5) Previous issue date: 2015-02-23 / FACEPE / Um código ciclicamente permutável (código CP) é um código de bloco binário cujas palavrasc ódigo são ciclicamente distintas e possuem ordem cíclica plena, isto é, ordem cíclica igual ao comprimento do bloco. Um código CP pode ser construído por meio de um código cíclico. Para isto, selecionam-se as palavras do código cíclico que são ciclicamente distintas e possuem ordem cíclica plena. Um procedimento que seleciona diretamente, por meio de uma condição matemática, as palavras de um código CP a partir de um código cíclico é denominado de construção. SendoM e n, respectivamente, o número de palavras e o comprimento do bloco de um código cíclico, se o número de palavras do código CP for igual ao limitante superiorM/n, então a construção é ótima neste sentido. Além do mais, a distância mínima do código cíclico deve ser a maior possível para os valores deM e n. Nesta tese, é proposto um método para construir códigos CP por meio de códigos lineares cíclicos q-ários, sendo q uma potência de um número primo, assim como também por meio de códigos lineares constacíclicosp-ários, sendo p um número primo. Para ambos os casos, mostra-se que o procedimento proposto para gerar códigos CP é direto, logo pode ser quali cado como construção. Além do mais, em ambos os casos, a construção é ótima pois atinge o limitante superior. Por m, uma construção proposta nesta tese é usada na aplicação de códigos CP como sequências de protocolo para o canal de colisão sem realimentação. / A cyclically permutable code (CPC) is a binary code the codewords of which are cyclically distinct and have full cyclic order, i.e., cyclic order equal to the block length. A CPC can be constructed by means of a cyclic code. In this way, the codewords of the cyclic code which are cyclically distinct and have full cyclic order should be selected. A procedure that selects codewords of a CPC from a cyclic code in a straightforward manner, by means of a mathematical condition, is called a construction. Let M and n be, respectively, the number of codewords and the block length of a cyclic code. If the number of codewords of a CPC reaches the upper bound M/n, then this construction is optimum in this sense. Furthermore, the minimum distance of the cyclic code should be the highest possible for the values of M and n. In this thesis we propose a method to construct CPC's using q-ary linear cyclic codes, where q is a power of a prime, as well as using p-ary linear constacyclic codes, where p is a prime number. In both cases, it is shown that the proposed procedure to generate CPC's is straightforward, so can be quali ed as a construction. Moreover, in both cases, the construction is optimal in the sense that the number of codewords selected for the CPC reaches the upper bound. Finally, a construction proposed in this thesis is used in the application of CPC's as protocol sequences for the collision channel without feedback.

Made available in DSpace on 2014-06-12T18:30:32Z (GMT). No. of bitstreams: 2 arquivo8520_1.pdf: 868006 bytes, checksum: d8c54f267b53896b199a4402d6789139 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003 / Um código de Gauss é uma seqüência cíclica de n símbolos na qual cada símbolo ocorre exatamente duas vezes. Um lacet em uma variedade bidimensional S é um mergulho nesta variedade de uma curva fechada com auto-intercessões de tal forma que cada intercessão se apresente como um vértice 4-valente e que o complemento da curva na variedade seja homeomorfo a uma coleção de discos abertos. Diremos que o lacet é ou não 2-colorável conforme esta coleção de discos forma um mapa 2-colorável. Um lacet l em uma variedade bidimensional S realiza um código de Gauss g quando existir uma rotulação das auto-intercessões de l de tal forma que ao percorrer o lacet a seqüência cíclica dos rótulos dos vértices encontrados seja g. Quando existir em uma variedade bidimensional S um lacet realizando um código de Gauss g, diremos que g é realizável em S. O problema em aberto da caracterização do conjunto dos códigos de Gauss realizáveis no Plano Projetivo RP2 por lacets não 2-coloráveis é o nosso objeto de estudo. Investigamos tal conjunto generalizando os resultados anteriormente obtidos por Lins para o conjunto dos códigos de Gauss realizáveis em RP2 por um lacets 2-coloráveis fornecendo uma completa caracterização dos códigos não 2-coloráveis no plano projetivo e completando, portanto, a caracterização de todos os códigos de Gauss realizáveis em RP2. As técnicas desenvolvidas neste trabalho também podem ser aplicadas na tentativa de resolver os problemas em aberto de caracterização do conjunto dos códigos de Gauss realizáveis por lacets não 2-coloráveis em outras superfícies tais como o Toro e a Garrafa de Klein

Made available in DSpace on 2014-06-12T17:40:47Z (GMT). No. of bitstreams: 2 arquivo7041_1.pdf: 1123387 bytes, checksum: 1a66cfae96583a42112dd08c9d489b0a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003 / Esta dissertação analisa as taxas de falhas na detecção de erros em alguns dos mais utilizados códigos detectores de erros na camada de transporte. Um simulador que gera erros em dados uniformemente e não uniformemente distribuídos foi desenvolvido. Nossos resultados mostraram altas taxas de falhas nos chamados checksums quando utilizamos parâmetros que geram padrões de erros que alteram poucos bits nas palavras código. Contra o que tem sido relado em artigos recentes, o Internet Checksum exibiu melhor desempenho quando dados não uniformemente distribuídos foram utilizados

Nesta dissertação estudamos algumas aplicações da teoria das bases de Gröbner, visando principalmente a utilização dessas técnicas na teoria de códigos. Apresentamos um algoritmo para obter a base de Gröbner reduzida do ideal de um conjunto finito de pontos, e descrevemos um método para encontrar aproximações de Padé de polinômios multivariados. Terminamos apresentando o procedimento desenvolvido por J. Farr e S. Gao para a construção e decodificação de códigos lineares via bases de Gröbner. / In this master thesis we study some applications of Grobner bases theory, aiming using these techniques in coding theory. We present an algorithm for computing the reduced Grobner basis of the vanishing ideal of a finite set of points, and describe a method for finding Padé approximations of multivariate polynomials. We finish presenting the procedure developed by J. Farr and S. Gao for construction and decoding of linear codes via Gröbner bases.

Nesta dissertação estudamos algumas aplicações da teoria das bases de Gröbner, visando principalmente a utilização dessas técnicas na teoria de códigos. Apresentamos um algoritmo para obter a base de Gröbner reduzida do ideal de um conjunto finito de pontos, e descrevemos um método para encontrar aproximações de Padé de polinômios multivariados. Terminamos apresentando o procedimento desenvolvido por J. Farr e S. Gao para a construção e decodificação de códigos lineares via bases de Gröbner. / In this master thesis we study some applications of Grobner bases theory, aiming using these techniques in coding theory. We present an algorithm for computing the reduced Grobner basis of the vanishing ideal of a finite set of points, and describe a method for finding Padé approximations of multivariate polynomials. We finish presenting the procedure developed by J. Farr and S. Gao for construction and decoding of linear codes via Gröbner bases.

Nesta dissertação estudamos algumas aplicações da teoria das bases de Gröbner, visando principalmente a utilização dessas técnicas na teoria de códigos. Apresentamos um algoritmo para obter a base de Gröbner reduzida do ideal de um conjunto finito de pontos, e descrevemos um método para encontrar aproximações de Padé de polinômios multivariados. Terminamos apresentando o procedimento desenvolvido por J. Farr e S. Gao para a construção e decodificação de códigos lineares via bases de Gröbner. / In this master thesis we study some applications of Grobner bases theory, aiming using these techniques in coding theory. We present an algorithm for computing the reduced Grobner basis of the vanishing ideal of a finite set of points, and describe a method for finding Padé approximations of multivariate polynomials. We finish presenting the procedure developed by J. Farr and S. Gao for construction and decoding of linear codes via Gröbner bases.

Made available in DSpace on 2014-06-12T16:01:17Z (GMT). No. of bitstreams: 2 arquivo7296_1.pdf: 2448539 bytes, checksum: daa4671b7262e9ecd18b1a13f16c9bb1 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / Atualmente, devido às exigências do mercado e à grande competitividade, as empresas precisam desenvolver sistemas de informação com qualidade e dentro de prazos cada vez mais curtos. Neste cenário, este trabalho apresenta o ambiente XO2 que possibilita gerar grande parte do código-fonte de um sistema de informação orientado a objetos através da transformação e do mapeamento de modelos, com base na arquitetura MDA Model Driven Architecture

Submitted by Eduarda Figueiredo (eduarda.ffigueiredo@ufpe.br) on 2015-03-06T15:28:53Z No. of bitstreams: 2 Dissertacao_PauloMartins.pdf: 1439428 bytes, checksum: 51e9ed6f710dffe00e680b075a624ffc (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-06T15:28:53Z (GMT). No. of bitstreams: 2 Dissertacao_PauloMartins.pdf: 1439428 bytes, checksum: 51e9ed6f710dffe00e680b075a624ffc (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-01-31 / CAPES / A correção de manchas de erros em arranjos bidimensionais é analisada por meio de simulação computacional de um sistema de comunicação digital simplificado. Nesse sistema é feito o uso de códigos cíclicos lineares binários em apenas uma das dimensões do arranjo. Por escolha adequada dos parâmetros do código e do arranjo bidimensional, manchas de erros com moldura na forma de quadrado, retângulo ou cruz, quando desentrelaçadas, aparecem como surtos de erros corrigíveis nas linhas do arranjo. Utilizando a capacidade de correção de surtos de erros de códigos cíclicos lineares binários, tais manchas de erros são então tratadas como surtos de erros em uma dimensão e corrigidas com a técnica de decodificação de surtos por armadilha. É considerado nas simulações também o decodificador adaptativo de surtos por armadilha proposto por Gallager, que produz melhores resultados.

Made available in DSpace on 2014-06-12T17:38:37Z (GMT). No. of bitstreams: 2 arquivo6841_1.pdf: 931297 bytes, checksum: 085cee4fc60ae485663116a8c301807b (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Novas famílias de códigos corretores de erros, criados a partir da transformada numérica de Fourier (Códigos de Fourier) e de transformadas trigonométricas sobre corpos finitos (Códigos FFCT tipo 4 par, do inglês finite field cosine transform, e Códigos FFST tipo 4 par, do inglês finite field sine transform), são apresentadas nesta dissertação. A matriz de paridade de cada código, sua dimensão e distância mínima são obtidas a partir da autoestrutura da transformada numérica de Fourier unitária e das transformadas do seno e do cosseno de corpo finito unitária. Uma técnica de decodificação para os Códigos de Fourier é proposta. No caso dos Códigos FFCT-4P e FFST-4P, se observa que, em alguns casos, os mesmos são códigos de máxima distância de Hamming mínima

Tese de Mestrado Integrado. Engenharia Electrotécnica e de Computadores. Área de Especialização de Telecomunicações. Faculdade de Engenharia. Universidade do Porto. 2012