Orientador: Celia Picinin de Mello / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-21T04:18:30Z (GMT). No. of bitstreams: 1 PerezLozada_LuisArturo_M.pdf: 2819086 bytes, checksum: a6afd3f6ffb1a048ced4a84733ff7e66 (MD5) Previous issue date: 1996 / Resumo: Uma dique de um grafo G é um conjunto de vértices que induz um subgrafo completo maximal de G. O grafo dique K(G) de um grafo G é o grafo interseção das diques de G. Indutivamente define-se o i-ésimo grafo dique iterado de G como Ki(G) = K(Ki-l(G)). Apresenta-se de maneira organizada uma compilação de pesquisas realizadas nos últimos anos a respeito de diversos tópicos na dasse dos grafos dique, entre eles: o estudo das propriedades dos grafos dique de conhecidas dasses de grafos; a convergência; divergência e diâmetro dos grafos clique-iterados / Abstract: A clique of a graph G is a set of vertices that induce a maximal complete subgraph of G. The dique graph K (G) of a graph G is the intersection graph of the diques of G. Inductively we denote the ith iterated dique graph of G by Ki(G) = X(Ki-l(G)). We wiil present in an organized way a compilation of investigations made in the last years with respect to the several topics on this class of graphs, such as: the study of proprieties of dique graphs of weil-known class of graphs; convergence; divergence and diameters of iterated dique graphs / Mestrado / Mestre em Ciência da Computação

Orientadores: Antonio Jose Engler, Trajano P. da Nobrega Neto / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-21T17:36:36Z (GMT). No. of bitstreams: 1 Flores_AndreLuiz_M.pdf: 1491586 bytes, checksum: 0d484612efcdaf74c114ce2df5c0bffc (MD5) Previous issue date: 1996 / Resumo: O capítulo 1 trata de resultados gerais de Teoria dos Números. São expostos, nesta ordem, os seguintes assuntos: elementos integrais sobre um anel, elementos algébricos sobre um corpo, normas e traços, discriminante, corpos ciclotómicos e fatoração de ideais em um domínio de Dedekind. No segundo Capítulo são estudados tópicos mais específicos, tais como norma de um ideal, anéis de fração, decomposição de um ideal primo em uma extensão e teoria de Galois aplicada a corpos de números. O Capítulo 3 é direcionado para as aplicações. Inicia-se com o estudo de reticulados e densidade de empacotamento, e depois é exposto o homomorfismo canônico de um corpo de números. Finalmente, o estudo é particularizado para corpos ciclotômicos, e uma das aplicações é a obtenção de um reticulado em dimensão 6, que é o mais denso conhecido nesta dimensão. Finalmente, o apêndice traz um resultado do Prof. Trajano Nóbrega, usado fortemente no corpo do trabalho. / Abstract: Not informed. / Mestrado / Mestre em Matemática

Orientador: Iunna Maria Simon / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-07-22T20:00:17Z (GMT). No. of bitstreams: 1 Durao_FabioAkcelrud_M.pdf: 8226776 bytes, checksum: 40e2215ff16b4de5f2ecfb2d6f7e3ffd (MD5) Previous issue date: 1997 / Resumo: A presente dissertação constrói um agon teórico. No primeiro capítulo a desconstrução lê O Inconsciente Político de F. Jameson visando mostrar como o autor desenvolve uma noção de textualidade incompatível com o marxismo que sustenta. Para tanto a argumentação ressalta um uso reificado do conceito de reificação e o desenvolvimento de um aparato hermenêutico movido por uma lógica onírica. No segtmdo capítulo há o contrário: a noção pós-estruturalista de texto é analisada em O prazer do texto, de Roland Barthes, como um estágio último do Esclarecimento na linguagem, que gera Um terror indiferenciado a partir da racionalidade mais extrema, e como uma fase específica de desenvolvimento do capitalismo tardio. No terceiro capítulo, ambas as posições são medidas através do confronto com o texto literário concebido como lugar de negatividade. Não há conclusão / Abstract: This dissertation enacts a critical agon. In the first chapter, Deconstruction reads The Political Unconscious, by Fredric Jameson, in order to show how its author develops a notion of textuality that bears a sharp contradiction with its Marxism. The great achievements of the book are credited to precise this blindness. The main argument points to a reified concept of reification, and the elaboration of an hermeneutic apparatus moved by a dream logic. In the second chapter the contrary happens: the post-structuralist notion of Text is first analyzed in The Pleasure of the Text, by Roland Barthes, as a late stage of penetration of the Enlightenrnent in the realm of language, which generates terror from the most updated rationality; then it is seen as representing a specific phase in late capitalismo In the third chapter both positions are weighed in face of that( literary text conceived as a locus of negativity. No conclusion is provided. / Mestrado / Mestre em Teoria Literaria

Orientador: Claudina Izepe Rodrigues / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-26T16:57:25Z (GMT). No. of bitstreams: 1 Carvalho_MarceloDantasde_M.pdf: 1298387 bytes, checksum: 14167c08257e5465066717df5f9963e6 (MD5) Previous issue date: 2000 / Resumo: 0 objetivo principal deste trabalho é apresentar uma classificação para os dígrafos semicompletos hamiltonianos, extendendo os resultados obtidos para os torneios. Para isso utilizamos da teoria da homotopia regular de grafos de Davide C. Demaria, apresentando resultados sobre torneios simplemente desconexos, a caracterização de torneios por 3-ciclos e o conceito de ciclo conado e não-conado para dígrafos, introduzido por Kiihl e Tironi. Com a noção de ciclo minimal e característico para dígrafo uma classificação para os dígrafos semicompletos hamiltonianos surge então naturalmente. Esses resultados, quando encontrados para torneios, proporcionaram a obtenção de uma classe de torneios reconstrutíveis (torneios normais) e pesquisa nesse sentido deve ser efetuada para dígrafos. Apresentamos em apêndice a matriz de um dígrafo, os torneios de moon, normais e, brevemente, o problema da reconstrução de grafos / Abstract: The main target in this work is to present a classification for the hamiltonian semicomplete digraphs, extending the results previously obtained for the tournaments. In this way we apply the regular homotopy of finite directed graphs theory developed by Davide G. Demaria, presenting results on simply disconnected tournaments, on the caracterization of tournaments by 3-cicles and the concept of coned and non-coned cicle for digraphs, introduced by Kiihl and Tironi. With the notion of minimal and caracteristic cicle we naturally get a classification of the semicomplete hamiltonian digraphs. These results, when used for tournaments led to a new class of reconstructible ones (named normal) and future research on the extension of these results for digraphs in general seems to be interesting. We present in appendixes the array of a digraph, the tournaments of Moon, Normal and, briefly, the reconstruction problem for graphs / Mestrado / Mestre em Matemática

Orientadores: Trajano Pires da Nobrega Neto, Reginaldo Palazzo Junior / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-27T02:15:08Z (GMT). No. of bitstreams: 1 Flores_AndreLuiz_D.pdf: 6535517 bytes, checksum: cb0298ddfb33753ac7d0d49c8adc2f20 (MD5) Previous issue date: 2000 / Resumo: Neste trabalho, apresentamos novos resultados ao descrever reticulados gera­dos a partir da representação geométrica de ideais de corpos de números abelianos. O principal parâmetro pesquisado é a densidade de centro dos reticulados consi­derados. Deste modo, estendemos a famI1ia de Craig, no sentido de que existe uma contribuição para cada dimensão. São apresentados reticulados eficientes para o canal Rayleigh com desvanecimento e ligações entre os reticulados estudados e códigos BCH são estabelecidas / Abstract: In this work we present new results in describing algebraic lattices generated from geometric representation of ideals in abelian number fields. The main parameter in this research is the center density of the considered lattices. This way, we extend the Craig's family in the sense that there is a contribution to each dimension. Efficient lattices to the Rayleigh fading channel are presented and some links between the studied lattices and BCH codes are established. / Doutorado / Doutor em Engenharia Elétrica

Orientador: João Meidanis / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-27T09:25:12Z (GMT). No. of bitstreams: 1 Braga_MariliaDiasVieira_M.pdf: 1562326 bytes, checksum: e2bde728b7016815f56abc118722d3d4 (MD5) Previous issue date: 2000 / Resumo: Este trabalho está relacionado à Biologia Computacional, uma área da Ciência da Computação cuja existência é motivada pela busca de métodos computacionais que resolvam ou ajudem a resolver problemas de origem biológica. Esta ciência tem sido largamente utilizada no âmbito da genética, contribuindo essencialmente no seqüenciamento de cadeias de DNA e no mapeamento de genomas [11]. O foco do nosso projeto foi uma família de problemas denominada Minimum Contig Problems (MCP) [4], que é um modelo teórico para a abordagem da Montagem de Fragmentos de DNA [11] e que possui uma grande semelhança com um problema de grafos denominado Cobertura de Vértices por Caminhos (CVC) [4]. O principal resultado da nossa pesquisa foi a apresentação de provas formais da NP-dificuldade dos problemas de MCP. A partir daí, complementamos o nosso trabalho propondo um algoritmo de aproximação para instâncias restritas de cada problema de MCP. / Abstract: Not informed. / Mestrado / Mestre em Ciência da Computação

Orientador: Jaime Portugheis / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-11T03:16:26Z (GMT). No. of bitstreams: 1 Nascimento_VagnerValedo_M.pdf: 1654073 bytes, checksum: fe7023b9741222f4780c06c588baf3a4 (MD5) Previous issue date: 2007 / Resumo: Este trabalho apresenta um estudo sobre a decodificação turbo q-ária em sistemas FFH-CDMA. Para alcançar o principal objetivo do estudo, foi desenvolvido um algoritmo para implementar a decodificação suave q-ária. Este algoritmo se baseia em uma adaptação do método de decodificação de Chase para suportar alfabetos q-ários. A proposta de decodificação iterativa (turbo) define um procedimento para viabilizar a realimentação dos símbolos q-ários decodificados e de suas respectivas confiabilidades em cada iteração do decodificador. Simulações foram realizadas considerando canais gaussianos e FFH-CDMA. Os resultados obtidos nas simulações demonstram uma considerável melhoria no desempenho dos sistemas com a decodificação turbo q-ária, sem comprometer a complexidade. Entretanto, a utilização dos códigos produto reduzem a eficiência espectraf do sistema, sendo necessário, assim, compensá-Ia através do aumento do alfabeto do código q-ário. Palavras-chave: Códigos q-ários, Códigos Produto, Decodificação Suave, Decodificação TUrbo, SISO, Sistemas FFH-CDMA / Abstract: This work presents a study of q-ary turbo decoding applied to FFH-CDMA systems. To attain the main objective of this dissertation, an algorithm to implement the q-ary soft decoding was designed. Specifically, an adaptation of the Chase decoding method was proposed to comply with q-ary symbols requirements. The proposal of iterative (turbo) decoding makes possible the feedback of the decoded q-ary symbols and its reliabilities in each decoder iteration. Simulations were done considering Gaussian and FFH-CDMA channels. The results obtained in the simulations indicate a better system's performance when the q-ary turbo decoding is applied, without compromising complexity. However, the use of product codes decreases the system's spectral efficiency. Thus, it is necessary to increase the q-ary code's alphabet in order to mitigate this decréase. Keywords: Non-Binary Codes, Product Codes, Soft Decoding, Turbo Decoding, SISO, FFH-CDMA / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / In this Thesis we analyze the generation of mass to the antisymmetric tensor matter field in a non-Abelian model and the mapping of the antisymmetric matter field to the antisymmetric tensor gauge field in the Abelian case. For the mass generation, we use two different mechanisms. The first one is the spontaneous symmetry breaking, where we use scalar fields with nonzero expected vacuum value in the SU(N) representation. Besides the massive term for the matter field, by relaxing the requirement of parity invariance we obtain topological terms. The second mechanism is denominated topological mass generation. It consists by introducing in the action of a vectorial complex field and a massive topological coupling term between ectorial complex and complex selfdual field. Direct calculation of the Feynman propagators show us that the matter field has a massive pole. In dual mapping, we can say that the $U(1)$ invariant action of the matter field is mapped in a dual action described by the antisymmetric tensor gauge field and a topologically conserved current. Two remarkable characteristics can be observed in this mapping: the first one is the parity preservation due to topological terms in the both dual actions; the second characteristic is that, though the conserved current admits topological terms, the mapping is free of axial anomalies. The presence of anomalies prevents the conservation of topological currents in a mapping such as bosonization in 4 dimensions. One of the most important requisites for the renormalizability of a theory in all orders of h is that the theory must be free of anomalies. / Nesta tese analisaremos a geraÃÃo de massa para o campo tensorial anti-simÃtrico de matÃria no modelo de gauge nÃo-abeliano e o mapeamento, no caso abeliano, entre o campo tensorial anti-simÃtrico de matÃria e o campo tensorial anti-simÃtrico de gauge Com relaÃÃo à geraÃÃo de massa, utilizam-se dois mecanismos: O primeiro, denominado quebra espontÃnea de simetria, consiste em acoplarmos ao modelo campos escalares, com valores esperados no vÃcuo nÃo-nulos, descritos no modelo de Higgs com simetria de Gauge nÃo-abeliana. AlÃm do termo massivo para o referido campo, obtÃm-se tambÃm termos topolÃgicos como resultado da quebra de paridade existente no modelo. O segundo, denominado geraÃÃo de massa topolÃgica, à obtido a partir da inclusÃo na aÃÃo de um campo vetorial complexo com um termo de acoplamento, incluindo-se um termo topolÃgicos entre os campos de matÃria e vetorial. O cÃlculo dos propagadores de feynman nos revela que o campo de matÃria adquiri pÃlo massivo. Quanto ao mapeamento dual podemos afirmar que a aÃÃo correspondente ao campo de matÃria com uma corrente conservada U(1) à mapeada em uma aÃÃo dual com o campo tensorial anti-simÃtrico de gauge e uma corrente topolÃgica identicamente conservada. Duas caracterÃsticas podem ser observadas nesse mapeamento: A primeira à que ele preserva a simetria de paridade existente, em virtude da corrente conservada na teoria original possuir termos topolÃgicos. O segundo à que, embora a corrente conservada admita termos topolÃgicos, o mapeamento à livre de anomalias. A presenÃa dessas anomalias impede a conservaÃÃo da corrente topolÃgica no modelo dual. AlÃm disso um dos requisitos para que uma teoria seja renormalizÃvel, à que a teoria seja livre de anomalias

Fazemos uma análise das teorias de campos escalar e vetorial na correspondência AdS/CFT. Começamos apresentando as propriedades básicas das teorias conformes e dos espaços AdS. Então, estudamos em detalhe os problemas da estabilidade e quantização do campo escalar acoplado com espaços assintóticamente AdS, seguindo o trabalho de Breitenlohner e Freedman [1]. Mostramos que existem dois tipos de modos normalizáveis: os \"regulares\" e os \"irregulares\" . No caso dos modos \'\'\'regulares\'\', a energia é positiva e finita para qualquer valor do coeficiente de acoplamento do campo com o fundo e para massa do campo satisfazendo o vínculo m POT.2 > -d POT.2/4, onde d + 1 é a dimensão do espaço-tempo. No caso dos modos \"irregulares\", a energia é positiva e finita para -d POT.2/4 < m POT.2 < 1 -d POT.2/4 e para valores particulares do coeficiente de acoplamento do campo com o fundo. A seguir estudamos o problema de reproduzir esses resultados na correspondência AdS / CFT. Trabalhamos com ações estacionárias perante condições de contorno de Dirichlet, Neumann e mistas, onde as últimas fixam na borda do espaço AdS o valor de combinações lineares do campo e sua derivada normal. Mostramos que os resultados são consistentes com a condição de unitariedade do campo escalar, que o formalismo fixa a normalização das ações na borda, e que são reproduzidas as teorias conformes correspondentes às condições \"regulares\" e \"irregulares\". Finalmente, consideramos teorias de campo vetorial em três dimensões e contendo um termo de Chern-Simons. Encontramos as funções de dois pontos na borda correspondentes às teorias de Proca-Chern-Simons e Maxwell-Chern-Simons. No caso do modelo Auto-Dual, adicionamos um termo de superfície que faz com que a ação seja estacionária, e que fornece funções de dois pontos na borda que são consistentes com a equivalência do modelo Auto-Dual com a teoria de Maxwell-Chern-Simons. / We consider scalar and vector field theories in the AdS/CFT correspondence. We begin by describing conformai field theories and AdS spaces. Then, we follow the work by Breitenlohner and Freedman [1] and study in detail the problems of stability and quantization of a: scalar field coupled to an asymptotically AdS space. We show that there exist two different kinds of normalizable modes, namely the regular and the irregular ones. In the case of the regular modes the energy is positive and finite for any value of the coupling coefficient between the field and the background and for m2 > -d2/4 where m is the mass of the scalar field and d + 1 is the dimension of the space-time. In the case of the \'irregular\' modes the energy is positive and finite for - d2/4 < m2 < 1- d2/4 and for particular values ofthe coupling coefficient between the field and the background. Then, we consider the problem of reproduzing these results in the AdS/CFT correspondence context. We analize actions which are stationary under Dirichlet, Neumann and mixed boundary conditions on the field where the mixed boundary conditions are a combination of the Dirichlet and Neumann ones. We show that our results are consistent with the unitarity bound for the scalar field, that the formalism fixes the normalization of the actions at the bounelary anel that we reproduce the conformal field theories corresponding to the regular and irregular conditions. Finally, we consider vector field theories in three dimensional AdS spaces and including a Chern-Simons term. We find the boundary two-point functions corresponding to the Proca-Chern-Simons and Maxwell-Chern-Simons theories. In the case of the Self-Dual model we add a surface term which makes the action stationary and which gives rise to boundary two-point functions which are consistent with the equivalence between the Self-Dual model and the Maxwell-Chern-Simons theory.

Orientador: Antonio Paques / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T19:13:26Z (GMT). No. of bitstreams: 1 Bagio_Dirceu_D.pdf: 448817 bytes, checksum: 160c3b2a0ae39e2870be16fd08c01a85 (MD5) Previous issue date: 2004 / Resumo: Um dos teoremas clássicos da teoria de Galois para corpos é o teorema do elemento primitivo. Na teoria de Galois para anéis comutativos com unidade, tal teorema não é válido em geral. Nesse trabalho encontramos condições necessarias e suficientes para a existencia de elemento primitivo para uma extensão fortemente separavel de um anel comutativo com unidade e cujos unicos idempotentes são os triviais. Além disso, apresentamos uma forma fraca deste teorema e provamos que esta forma fraca é valida para anéis conexos cujo quociente pelo radical de Jacobson é von Neumann regular e localmente uniforme. Analisamos também o fecho separável de um anel comutativo conexo. Obtemos alguns resultados que relacionam, em particular, o fecho separável do anel com o fecho separável de cada um de seus corpos residuais / Abstract: One of the classic theorems of the Galois theory of fields is the ¿Primitive Element Theorem¿. In Galois theory of commutative rings, such a theorem does not hold, in general. In this work we give necessary and sufficient conditions for the existence of a primitive element in an strongly separable extension of a connected commutative ring. Furthermore we present a weak form of the Primitive Element Theorem and we prove that this theorem holds for strongly separable extensions of connected commutative rings whose quotient by its Jacobson radical is a von Neumann regular and locally uniform ring. We also obtain some new results about the separable closure of a connected commutative ring. In particular, we describe a relation between the separable closure of such a ring and the separable closure of each one of its residual fields / Doutorado / Doutor em Matemática