Orientador: Sueli Irene Rodrigues Costa / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-27T16:24:08Z (GMT). No. of bitstreams: 1 Bollauf_MaiaraFrancine_M.pdf: 2120752 bytes, checksum: 7dcb1f4f96d1b0feaa2372c7ff6453ad (MD5) Previous issue date: 2015 / Resumo: Essa dissertação possui como objetivo abordar as teorias de códigos e de reticulados e o uso recente destas na proposição de sistemas criptográficos que fazem o uso de chaves públicas dentro da chamada criptografia pós-quântica. No primeiro capítulo introduzimos a teoria dos códigos corretores de erros, incluindo definições e particularmente propriedades de códigos bastante utilizados como os de Hamming, códigos cíclicos, códigos BCH e códigos de Goppa. No segundo capítulo apresentamos a caracterização de dois problemas difíceis (NP-completos) baseados na estrutura de códigos que são o problema de decodificação geral (GDP) e o problema de decodificação por síndromes (SDP), os quais fundamentam algoritmos baseados na dificuldade de resolvê-los, como os criptossistemas de McEliece e Niederreiter. O Capítulo 3 é dedicado à teoria de reticulados, seus conceitos básicos e à caracterização dos problemas difíceis de se determinar nesta estrutura - o problema do vetor mais curto (SVP) e o problema do vetor mais próximo (CVP). Apresentamos também um modo de se obter reticulados a partir de códigos lineares, utilizando a chamada Construção A e ferramentas de geometria dos números para explicar métodos que avaliam a implementação da criptografia baseada em reticulados. No último capítulo descrevemos algoritmos desta subárea da criptografia , como os criptossistemas GGH e NTRU. Todos esses fundamentos embasam temas muito recentes de pesquisa em criptografia, que visam não somente a busca de sistemas que possivelmente resistirão à implementação de computadores quânticos mas que sejam mais eficientes na evolução prevista para computadores clássicos atuais / Abstract: This dissertation has the aim of approaching the theory of codes and lattices and their recent use to propose public key cryptosystems in the so called post-quantum cryptography. In the first chapter we introduce the theory of error correcting codes, including definitons and particularly properties of larged used codes such as Hamming codes, cyclic codes, BCH codes and Goppa codes. In the second chapter we present a characterization of two hard problems (NP-complete) based on the code structure which are the general decoding problem (GDP) and the syndrome decoding problem (SDP), which underlie algorithms based on the difficulty of solving them, as the McEliece and the Niederreiter cryptosystems. Chapter 3 is devoted to lattice theory, its basic concepts and the characterization of hard problems in this structure ¿ the shortest vector problem (SVP) and the closest vector problem (CVP). We also present a way to obtain lattices from linear codes using the so called Construction A and some tools of geometry of numbers to explain methods to evaluate the implementation of encryption schemes based on lattices. In the last chapter, we describe algorithms of this subarea of cryptography, such as GGH and NTRU. All these fundaments give support to recent research topics in cryptography, intended not only to search for secure systems that will probably resist to the introduction of quantum computers but also to be more efficient considering the the evolution of the classical computers / Mestrado / Matematica Aplicada / Mestra em Matemática Aplicada

A busca de palavras em uma grande coleção de documentos é um problema muito recorrente nos dias de hoje, como a própria utilização dos conhecidos \"motores de busca\" revela. Para que as buscas sejam realizadas em tempo que independa do tamanho da coleção, é necessário que a coleção seja indexada uma única vez. O tamanho destes índices é tipicamente linear no tamanho da coleção de documentos. A compressão de dados é outro recurso bastante utilizado para lidar com o tamanho sempre crescente da coleção de documentos. A intenção deste estudo é aliar a indexação utilizada nas buscas à compressão de dados, verificando alternativas às soluções já propostas e visando melhorias no tempo de resposta das buscas e no consumo de memória utilizada nos índices. A análise das estruturas de índice com os algoritmos de compressão mostra que arquivo invertido por blocos em conjuntos com compressão Huffman por palavras é uma ótima opção para sistemas com restrição de consumo de memória, pois proporciona acesso aleatório e busca comprimida. Neste trabalho também são propostas novas codificações livres de prefixo a fim de melhorar a compressão obtida e capaz de gerar códigos auto-sincronizados, ou seja, com acesso aleatório realmente viável. A vantagem destas novas codificações é que elas eliminam a necessidade de gerar a árvore de codificação Huffman através dos mapeamentos propostos, o que se traduz em economia de memória, codificação mais compacta e menor tempo de processamento. Os resultados obtidos mostram redução de 7% e 9% do tamanho dos arquivos comprimidos com tempos de compressão e descompressão melhores e menor consumo de memória. / Pattern matching over a big document collection is a very recurrent problem nowadays, as the growing use of the search engines reveal. In order to accomplish the search in a period of time independent from the collection size, it is necessary to index the collecion only one time. The index size is typically linear in the size of document collection. Data compression is another powerful resource to manage the ever growing size of the document collection. The objective in this assignment is to ally the indexed search to data compression, verifying alternatives to the current solutions, seeking improvement in search time and memory usage. The analysis on the index structures and compression algorithms indicates that joining the block inverted les with Huffman word-based compression is an interesting solution because it provides random access and compressed search. New prefix free codes are proposed in this assignment in order to enhance the compression and facilitate the generation of self-sinchronized codes, furthermore, with a truly viable random access. The advantage in this new codes is that they eliminate the need of generating the Huffman-code tree through the proposed mappings, which stands for economy of memory, compact encoding and shorter processing time. The results demonstrate gains of 7% and 9% in the compressed le size, with better compression and decompression times and lower memory consumption.

Made available in DSpace on 2014-07-29T16:02:17Z (GMT). No. of bitstreams: 1 SILVANA DA SILVA RODRIGUES.pdf: 983315 bytes, checksum: 17ccfa7762b3ec7758b0c81b7ca259bf (MD5) Previous issue date: 2011-01-28 / The main purpose of this dissertation was to construct lower and upper bounds for the cardinality of the error correcting codes for constant-weight, contained in the vector space Fn 3 , where F3 is a field with three elements, knowing parameters such as length and minimum distance code. We present the main results of linear algebra necessary to develop the theory of codes and then the fundamental concepts of more practical class of codes, the linear error correcting codes. We state the Totobola problem and the Football problem, relating them to the theory of codes and present some bounds for the "covering radius problem"for r = 1 , some values of n. In the last chapter, we conclude the work with some examples that illustrate bounds of coverings for Fn 3 , with r = 2 and 3, and the generalization of the problem, where we present the binary covering radius problem, the case of multiple coverages and the extension of the idea, citing bounds for the cardinality of the codes contained in the vector space over a finite field with any arbitrary number of elements. / O principal objetivo desta dissertação foi construir limitantes inferiores e superiores para o número de elementos de um código corretor de erros de peso constante, contido no espaço vetorial Fn 3 , onde F3 é um corpo contendo três elementos, a partir de parâmetros como comprimento e distância mínima do código. Apresentamos os principais resultados da álgebra linear necessários ao desenvolvimento da teoria de códigos e em seguida, os conceitos fundamentais da classe de códigos mais conhecida na prática: os códigos lineares. Definimos os problemas do totobola e da piscina de futebol e a relação de ambos, com a teoria de códigos e com o problema do raio de cobertura. Construímos limitantes para o problema do raio de cobertura para r = 1, a partir da variação de n, e no último capítulo o trabalho é finalizado com a apresentação de exemplos que ilustram limitantes de cobertura para Fn 3 , com r = 2 e 3 e a generalização do assunto, onde apresentamos o problema binário do raio de cobertura, o caso das múltiplas coberturas e a extensão da idéia, citando limitantes para o número de elementos de códigos contidos em espaços vetoriais sobre um corpo finito contendo uma quantidade qualquer de elementos.

En el Perú existe un mercado para personas que valoran la cultura peruana y que buscan satisfacer la necesidad de realzar su identidad, por ejemplo, hace pocos años atrás, no muchos se atrevían a expresar amor por lo propio a través de prendas; sin embargo, el Perú empezó a sobresalir con el impulso de varios personajes, llamados también “embajadores de la marca Perú”, quienes a través de sus aportes, llevaron al país a una vitrina internacional con la que se puso de moda. En este sentido, Mudana ofrece una prenda con estampados creativos inspirados en el Perú, que no solo generan valor por un diseño atractivo, sino que a través de un código QR hace conocer el significado de cada uno de estos, con un lenguaje directo y que busca generar consciencia de la riqueza que tiene el país. Cabe resaltar que la industria textil y de moda en el Perú está en constante crecimiento, y representa una gran oportunidad para montar un negocio de prendas. Como se ha demostrado en el análisis financiero, nuestro negocio es rentable y la inversión inicial de S/. 37 109.62, será financiada en un 55% con préstamo bancario y un 45% asumido por los accionistas. Esta inversión será recuperada en un promedio de 5 años. Además, su viabilidad se debe al uso de materia prima nacional y de buena calidad; y su escalabilidad, a la existencia de mercados internacionales conformados por peruanos residentes en otros países y turistas interesados. / In Peru there is a market of people who value Peruvian culture and who seek to satisfy their need to promote their identity, for example, a few years ago, not many people dared to express love for their own culture through clothing; however, Peru began to excel with the help of several characters, known as "ambassadors of the Peru brand", who through their contributions took the country to an international showcase and put Peru on fashion. In this regard, Mudana offers garments with creative designs inspired in Peru, which not only generate value through an attractive design, but also for a QR code that teaches the meaning of each design with a direct language that seeks to generate awareness of the wealth of the country. It should be noted that the textile and fashion industry in Peru is constantly growing, and represents a great opportunity to set up a garment/fashion business. As demonstrated in the financial analysis, our business is profitable and the initial investment of S/. 37 109.62 will be financed 55% by bank loan and 45% by shareholders. This investment will be recovered in the average of five years. In addition, its viability is due to the use of high-quality national inputs; and its scalability due to the existence of international markets composed by Peruvians residing in other countries and interested tourists. / Trabajo de investigación

O sistema global de navegação por satélite (GNSS - Global Navigation Satellite System) tem potencial de se tornar um sistema primário de navegação em aeronaves civis, entretanto, necessita de melhoria no seu desempenho (acurácia, integridade, continuidade e disponibilidade). Ele apresenta a falta de uma característica fundamental para sistemas críticos de segurança, ele não provê limites de acurácia no cálculo da posição do usuário. Mesmo que na maioria do tempo a sua acurácia é excelente, mesmo assim o erro na posição pode ser muito grande sem que qualquer aviso seja dado ao seu usuário. Entre as várias fontes de erros no sistema GPS, a ionosfera é uma das maiores em sistemas com única portadora. Para corrigir tais deficiências, o sistema Satellite Based Augmentation System (SBAS) foi desenvolvido para auxiliar o sistema GPS na correção e limitação rígida dos seus erros. No sistema SBAS desenvolvido nos Estados Unidos da América, Wide Area Augmentation System (WAAS) existe, entre várias informações, o envio de mensagem para correção específica do atraso ionosférico sobre o sinal L1 do sistema GPS (Global Positioning System). Este efeito é estimado através de estações de referência espalhadas pelo continente norte-americano. Os dados das várias estações de referência são então enviados para estações principais, também chamados de WMS (WAAS Master Station), onde uma grade, com dados do atraso na vertical do sinal do sistema GPS devido ao efeito da ionosfera, será formada. Mostra-se neste trabalho como este sistema de auxílio aos usuários GPS trabalha e principalmente como pode ajudar na estimação do erro devido ao atraso de grupo no sinal do sistema GPS por conseqüência dos fenômenos que ocorrem na camada ionosférica. Neste trabalho o objetivo principal é a simulação através de um dos possíveis algoritmos em desenvolvimento para esta estimação do atraso ionosférico no sinal L1 do sistema GPS, o método LMMSE (Linear Minimum Mean Squared Error), que é gerado pelo segmento de controle. Através deste algoritmo serão gerados os valores dos atrasos ionosféricos para alguns pontos próximos a região sul e sudeste do Brasil e estes são então plotados juntamente com o atraso ionosférico estimado através do modelo IRI-2001 para um dado dia. Também serão estimados os valores dos erros pós-processamento do algoritmo. Os dados GPS utilizados neste trabalho são provenientes principalmente das estações que compõem a rede RBMC (Rede Brasileira de Monitoramento Contínuo) e controlada pelo IBGE (Instituto Brasileiro de Geografia e Estatística).

The objective of the present research work consists in studying complex aerodynamic flows about typical aerospace configuration, in which turbulence effects play a fundamental role. Such study is performed with an available computational tool that is being developed at CTA/IAE. This is a finite-volume code for unstructured 3-D meshes that solves the compressible Reynolds-averaged Navier-Stokes equations. Turbulence effects are added to this numerical tool through turbulence models. Similar work had already been initiated by the author in his master thesis at ITA with less advanced model in that context. Turbulence effects are critical for complex aerospace configurations, such as supercritical or high-lift aerofoils, or space vehicles at atmospheric transonic or supersonic flight, and less advanced turbulence models fail to adequately describe such flows. The investment in more complex turbulence models, such as {em nonlinear} eddy viscosity and Reynolds-stress transport closures, is of fundamental importance to better capture such flows, which are very important in the context of the developments within the aerospace area at CTA/IAE and Embraer. Furthermore, in order to allow for a robust and efficient numerical framework, effort is also driven towards convergence acceleration techniques such as multigrid and variable time stepping procedures, as well as convective flux computation schemes suitable for boundary layer and shocked flows. These flux schemes must be robust and accurate even for highly stretched meshes that support these flow phenomena at reasonable computational costs. The validation of these new implementations, for the applications of interest, is performed by comparison of numerical results with experimental or theoretical data for several flow cases. Flows involving laminar boundary layers and shock waves are used to assess the quality of the convective flux computation schemes. Traditional turbulent-flow validation cases, such as the turbulent boundary layers over a flat plate or within a parallel-wall channel, are considered to address the level of physical representativeness of the chosen models. Finally, typical aerospace flows are evaluated with the best numerical settings resulting from the previously mentioned efforts. Such cases involve transonic and high-lift aerofoils, and transonic and supersonic flows about a space vehicle. In general, good agreement of numerical results with the reference data is obtained.

Uma série de fatores ambientais pode afetar o desempenho do GPS (Global Positioning System), tais como, interferência eletromagnética, multicaminho, atrasos em função de propagação pela atmosfera e cintilações ionosféricas. As cintilações da Ionosfera são responsáveis por parte significativa da diminuição de precisão do GPS e, em casos extremos, o funcionamento do receptor pode ser interrompido em função desse fenômeno. As cintilações ionosféricas resultam em variações rápidas na fase e na amplitude do sinal de rádio que atravessa a Ionosfera. Esse fenômeno é mais comum na região equatorial, onde ocorre diariamente após o pôr do sol. Este trabalho tem como objetivo avaliar os efeitos da cintilação ionosférica nas malhas de rastreamento do código, DLL (Delay Locked Loop), e da portadora, CCL (Carrier Costas Loop) de receptores GPS. Inicialmente, são apresentados os modelos estatísticos que caracterizam os sinais gerados pela cintilação em fase e amplitude. Posteriormente, é apresentada uma análise de desempenho do receptor em função dos efeitos da cintilação ionosférica. A partir dessa análise, são obtidos modelos analíticos para representar o desempenho do receptor GPS. Além das análises analíticas, são apresentados resultados obtidos por meio de simulação numérica. Exceção feita às situações envolvendo casos extremos de cintilação ou para casos onde a potência do sinal recebido é baixa, as simulações comprovaram o desempenho teórico dos modelos do CCL e do DLL.

O presente trabalho se insere no desenvolvimento de códigos de simulação em CFD utilizados pelo Instituto de Aeronáutica e Espaço (DCTA/IAE) e pelo Instituto Tecnológico de Aeronáutica (DCTA/ITA) para o cálculo do desempenho aerodinâmico de configurações aeroespaciais diversas. O trabalho enfoca configurações aeronáuticas em condições de alta sustentação e, usualmente, com dispositivos hiper-sustentadores estendidos. A análise do escoamento nestas condições de altos valores de sustentação é muito complexa devido à não linearidade do escoamento e à iminência da separação do mesmo. Para tanto, será utilizado um código computacional em desenvolvimento no Laboratório de Aerodinâmica Computacional do DCTA/IAE/ALA, que utiliza uma formulação de Navier-Stokes com média de Reynolds juntamente com fechamentos de turbulência apropriados. O trabalho também utiliza códigos comerciais de uso corrente na comunidade aeroespacial. É parte integrante do trabalho contribuir para a validação e calibração do código em desenvolvimento para as aplicações de interesse, assim como para a avaliação dos códigos comerciais nestas mesmas aplicações. Tal esforço inclui a análise de modelos de turbulência mais adequados e estudos detalhados de refinamento e topologia de malhas, bem como permitir recomendações quanto aos requisitos para tratar tais problemas em um ambiente industrial. Os estudos consideram configurações bidimensionais de aerofólios com dispositivos hiper-sustentadores. Além disso, foi implementado um método de pré-condicionamento, que é construído a partir de modificações sobre os esquemas compressíveis usuais. Desta forma, obtém-se métodos numéricos mais robustos para o tratamento dos escoamentos encontrados nas faixas de velocidade relevantes para a análise de dispositivos hiper-sustentadores. Com base em uma análise preliminar e resultados obtidos com o código computacional em uma geometria simplificada, constatou-se que as malhas computacionais necessárias para discretizar uma geometria realística de interesse, como, por exemplo, uma configuração 3-D asa-fuselagem, seria da ordem de alguns milhões de volumes. Portanto, foi necessária a paralelização do código computacional para que o mesmo pudesse ser compilado e executado em máquinas com diversos processadores ou em várias máquinas distintas. Este trabalho de paralelização constituiu-se em uma contribuição adicional do presente esforço.

Sejam F_q um corpo finito com q elementos, e C_n um grupo cíclico de n elementos com mdc(q,n) = 1. Iniciamos nosso trabalho inspirados nos resultados de Vega, estabelecendo condições para que um código de F_qC_n tenha peso constante. Com tal resultado concluímos que um código de peso constante em F_qC_n é da forma {rg^ie | r em F_q, i variando de 0 a n}. A partir disto, determinamos a quantidade de códigos de peso constante de F_qC_n, e construímos exemplos de códigos de dois pesos em F_q(C_n X C_n). Em seguida, estabelecemos sob quais condições um código em F_qA, para A um grupo abeliano finito, tem peso constante. Analisamos também os códigos de peso constante em RG, quando R um anel de cadeia finito e C_n é um grupo cíclico de n elementos com mdc(n,q) = 1. Além disso, analisamos o caso em que os elementos de um ideal de RA, para R um domínio de integridade infinito e A um grupo abeliano finito têm peso constante. / Let F_q be a field with q elements, C_n be a cyclic group of order n and suppose that gcd(q,n) = 1. In this work conditions are given to ensure that a code in F_qC_n is a one weight code, inspired in the work of Vega. As a consequence of this result we showed that a one weight code in F_qC_n is of the form {rg^ie | r in F_q, i between 0 and n}. With this, we determined the number of one weight codes in F_qC_n, and constructed examples of two weight codes in F_q(C_n X C_n). After this, we gave conditions to ensure that a code had constant weight in F_qA, for A a finite abelian group. We also analyzed the one weight codes in RG, R a chain ring and C_n a cyclic group with n elements with gcd(n,q) = 1. Moreover, we analyzed the case when the elements of an ideal in RA, for R an infinite integral domain and A a finite abelian group, have constant weight.

Made available in DSpace on 2016-04-26T18:15:44Z (GMT). No. of bitstreams: 1 avidacomoelaenasmidias-anexo.pdf: 2754671 bytes, checksum: edf98996eeaaf7deec272175456f1268 (MD5) Previous issue date: 2006-08-18 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This dissertation explores the understanding of the communicative mechanisms between a creator, his production and the mass culture. Knowing communication not only as an objective dialogue. It was observed that there is, besides what is manifesto or showed explicitly, another level that is suggested or that communicates in an explicit manner. The main aim of this research was to understand what kind of communication was possible to be seen between the social imaginary and the work, from a characteristic that would show, on one hand the writer and what is extracted from the work, and on the other hand each character that is in contact with it.Therefore, the characteristic that supports this communication was analyzed, having as the corpus of this research, the serie A Vida como ela é... by Nelson Rodrigues, the texts are semi-fictional and they were published at first in the newspaper and then turned out to be stories on TV. This work was chosen because it was a huge success in Brazil, not only because of its content, sometimes obscene, but also because of its spread in different kinds of media, building up an interesting intersemiotic relation. For this reason, it was possible to construct a theoretical system around the communicative processes between the creator, the work and culture. The theoretical background comes from the following areas of knowledge: semiotic, the communication and information theories, the media, the theories of language, the studies about mediations , the media culture and psychoanalysis / Trata-se de uma pesquisa voltada para a compreensão dos mecanismos comunicativos entre um criador, sua produção e a cultura de massas. Entendendo a comunicação não apenas como um diálogo objetivo entre dois dispositivos racionais, observou-se que existe, para além daquilo que é manifesto ou mostrado explicitamente, um Outro plano que é sugerido ou que passa de maneira implícita. O objetivo principal desta pesquisa foi compreender que comunicação poderia haver entre o imaginário social e uma obra, a partir de um traço que apontaria, por um lado, para aquele que a produz, e aquilo que dela extrai, por outro lado, para cada sujeito que entra em contato com ela. Portanto, analisou-se o traço que sustenta tal comunicação, tomando como corpus desta pesquisa, a série A Vida como ela é... de Nelson Rodrigues, textos semi-ficcionais, primeiramente, publicados no jornal, e que, depois, viraram histórias televisionadas. A escolha deu-se pelo fato desta obra ter alcançado grande relevância no Brasil, não apenas pelo seu conteúdo, por vezes obsceno, como também pela sua disseminação nas diferentes mídias, constituindo um curioso jogo intersemiótico. Dessa forma, foi possível construir uma sistematização teórica acerca dos processos comunicativos entre o criador, a obra e a cultura. O referencial teórico provém das seguintes áreas do conhecimento: semiótica, teorias da comunicação e da informação, meios de comunicação, teorias da linguagem, estudos sobre mediações, cultura das mídias e psicanálise