Orientadores: Sueli Irene Rodrigues Costa, Patricia Helena Araujo da Silva Nogueira / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-15T04:07:16Z (GMT). No. of bitstreams: 1 Naves_LigiaRodriguesBernabe_M.pdf: 1248780 bytes, checksum: a87e22d1d349ffc57557fdb83454f7d3 (MD5) Previous issue date: 2009 / Resumo: Neste trabalho, estudamos a teoria de reticulados com foco na densidade de empacotamento, a qual possui várias aplicações e possibilita estabelecer interessantes conexões entre tópicos de álgebra linear, cálculo de várias variáveis e geometria discreta. No primeiro capítulo, introduzimos conceitos fundamentais sobre reticulados. No segundo capítulo, abordamos a densidade de empacotamentos esféricos e analisamos a importância e a dificuldade de se conhecer os empacotamentos mais densos. Discutimos também exemplos de reticulados com densidade máxima em suas dimensões. No terceiro capítulo, detalhamos a demonstração do teorema de Minkowski - Hlawka, que fornece um limitante inferior para a densidade de empacotamentos reticulados. Apresentamos também o problema dos fat struts, que tem origem em teoria de comunicação e que se relaciona com a busca de reticulados-projeção de densidade máxima / Abstract: This dissertation addresses the lattice theory with focus on packing density, which has many applications and allows to establish interesting connections between topics of linear algebra, calculus of several variables and discrete geometry. The first chapter is an introduction to the main concepts and properties of lattices. In the second chapter we discuss the sphere packing density problem, its importance and the difficulty in finding denser packings. Examples of lattices with maximum density are analyzed for lower dimensions. In the third chapter we detail the proof of the theorem of Min-kowski - Hlawka which provides a lower bound for lattice packing density of lattices in any dimension. We also present the problem of the fat struts which comes from communication theory and is related to the search for denser projection lattices / Mestrado / Geometria Topologia / Mestre em Matemática

La technologie la plus utilisée pour séparer les principaux composants de l'air est aujourd'hui ladistillation en colonne à garnissage structuré. Ce procédé se caractérise par un écoulement gazliquide contre-courant au sein d'une structure constituée de plaques corruguées placées parallèlement et agencées en packs. La description d'un tel procédé est rendue difficile par les très grandes dimensions du système et par la complexité des phénomènes à la petite échelle. La méthode de la prise de moyenne volumique, utilisée pour les problèmes de changement d'échelleen milieu poreux, est utilisée pour décrire le système à une échelle qui permet une résolution. Le travail est organisé en trois étapes. Dans un premier temps, pour les débits modérés, une méthode est proposée pour évaluer la perte de charge au sein de la structure en prenant en compte des rugosités de structure ou créées par des instabilités du film liquide. A ce stade, l'effet de la surface rugueuse est caractérisé par une condition limite effective. Le problème aux limites effectif pour la phase gaz est ensuite moyenné en volume pour obtenir un système d'équations à grande échelle. Le bilan de quantité de mouvement à grande échelle est une loi de Darcy généralisée aux écoulements inertiels, dans laquelle les paramètres effectifs contiennent les effets des instabilités de surfaces de la petite échelle. La seconde étape est dédiée à l'interaction entre les deux phases à plus hauts débits. On montre que des modèles qui incluent explicitement des termes croisés à grande échelle permettent de décrire l'écoulement au sein du garnissage à grands nombres de Reynolds. Plus généralement, ces modèles, peu utilisés dans la littérature sur les milieux poreux, s'avèrent adaptés pour les écoulements dans les milieux très perméables, pour lesquels des variations importantes de la perte de charge et des saturations sont observées. Enfin, on s'intéresse à la description de la distribution de la phase liquide au sein de la structurede garnissage. Une approche multiphasique, où la phase liquide est séparée en plusieurs pseudophases, est adaptée pour modéliser l'anisotropie de l'écoulement. Deux méthodes impliquant une approche à deux pseudo-phases et une approche à quatre pseudo-phases pour la phase liquide sont comparées. Cette dernière méthode est notamment utile pour décrire des régimes d'écoulement très différents, et permet de capturer à grande échelle les chemins préférentielssuivis par le film liquide au sein du garnissage. / Distillation in columns equipped with structured packings is today the most used technology for separating air in its primary components. This process is characterized by a counter-current gasliquid flow in a structure made of parallel corrugated sheets arranged in packs. The description of such system is constrained by the large dimensions of the columns and by the complexity of the local-scale phenomena. This leads to consider a strategy of upscaling, based on the volume averaging method, to describe the system at a scale at which a resolution is possible. The work is organized in three steps. As a first step, considering moderate flow rates, a methodology ofupscaling is developed to predict the pressure drop in the flow of the gas phase taking into account small scale roughnesses due to the structure itself or perturbations of the liquid film. At this stage, the effect of this rough surface is characterized by an effective boundary condition. The boundary value problem for the flow of the gas phase is volume averaged in order to derive a system of equations at large scale. The resulting momentum balance is a generalized Darcy's law for inertial flows, involving effective parameters accounting for the roughness at the microscale. The second step of this work focuses on the interaction between the two phases at higher flow rates. It is shown that models involving non-standard macroscopic cross-terms are more prone to describe the flow in packings at high Reynolds numbers than the models usually used in porousmedia sciences. More generally, these models are shown to characterize accurately processes in highly permeable media, where drastic changes of pressure drop and retention are observed. We finally study the distribution of the liquid phase in the structured packing. It is shown that a specific approach involving a multiphase model with liquid decomposition is required to capture the anisotropy generated in the flow of the liquid phase. Two methods involving two pseudo-phases and four pseudo-phases for the liquid phase are compared. This last method captures a number of very different distribution regimes in the column and offers additional flexibility to describepreferential paths of the liquid.

Orientador: Cristiano Torezzan / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-27T01:15:40Z (GMT). No. of bitstreams: 1 Miranda_FabianoBoaventurade_M.pdf: 1712497 bytes, checksum: 35928984d709d1154545670e07948f87 (MD5) Previous issue date: 2015 / Resumo: Neste trabalho estudamos o problema da quantização vetorial, com especial interesse no uso de códigos esféricos para quantização de fontes gaussianas. Este problema tem diversas aplicações envolvendo compressão de sinais, tais como de som e imagem, garantindo altas taxas de compressão. Nos três primeiros capítulos fazemos uma apresentação dos principais fundamentos teóricos do tema, procurando apresentar exemplos que valorizam a intuição e conceitos geométrico, no caso de dimensões 2 e 3, abordando a quantização vetorial com ênfase na técnica conhecida como forma/ganho. No último capítulo apresentamos uma proposta original que utiliza códigos em camadas de toros para a quantização vetorial. A proposta é exemplificada através da construção do esquema de quantização em dimensão 4 e alguns testes de desempenho são apresentados / Abstract: We study the vector quantization problem with a special interest in the use of spherical codes for Gaussian sources. This problem appears in several applications involving signal compression such as sound, images and data transmission. The first three chapters are devoted to basic concepts of quantization and also to presented some intuitive examples and geometrical interpretations. We focus our attention on the shape and gain vector quantization and we introduce a new approach to this problem using spherical codes constructed in layers of flat tori in dimension 4. Besides the construction, some results on computations simulations are presented / Mestrado / Matematica Aplicada e Computacional / Mestre em Matemática Aplicada e Computacional

In the study of Graph theory, there are eight orientations of the complete graph on three vertices with a pendant edge, K3 ∪ {e}. Two of these are the 3-circuit with a pendant arc and the other six are transitive triples with a pendant arc. Necessary and sufficient conditions are given for decompositions, packings, and coverings of the complete digraph with the two 3-circuit with a pendant arc orientations.

In the study of design theory, there are eight orientations of the complete graph on three vertices with a pendant edge, K3∪{e}. Two of these are the 3-circuit with a pendant arc and the other six are transitive triples with a pendant arc. Necessary and sufficient conditions are given for decompositions, packings and coverings of the complete digraph with each of the six transitive triples with a pendant arc.

Orientador: Sueli Irene Rodrigues Costa / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-09-11T21:20:45Z (GMT). No. of bitstreams: 1 Bressan_JoaoPaulo_D.pdf: 1164660 bytes, checksum: 4825edafe6fbea5e3bc43934bc528376 (MD5) Previous issue date: 2012 / Resumo: A partir das desigualdades de Hamming e Gilbert-Varshamov obtém-se um limitante superior e um limitante inferior para o número de pontos de um código numa variedade flag geométrica. Isto é feito tomando-se uma estimativa para o volume de bolas geodésicas, que resulta de cálculos envolvendo a curvatura seccional destas variedades. Em particular, são derivados limitantes para empacotamentos de esferas numa variedade de Grassmann complexa. Um limitante superior para a distância mínima também é obtido através da inversa da função que calcula o volume de um chapéu esférico. Esta técnica geométrica também é aplicada no estudo de limitantes para empacotamentos em alguns casos particulares de variedades flag maximais. Através de procedimentos computacionais, tais limitantes são implementados numericamente em alguns exemplos. Uma motivação para este trabalho foi à busca de possíveis extensões de alguns resultados sobre as grassmanianas complexas, cujo interesse na área de comunicações vem de uma interpretação que pode ser feita da transmissão em canais MIMO não coerentes via códigos em tais variedades / Abstract: Upper and lower bounds for the number of points of codes in geometric flag manifolds are obtained from Hamming and Gilbert-Varshamov inequalities. This is done by taking an estimate for the volume of geodesic balls, as a result of calculations involving the sectional curvature of such manifolds. As a particular case, sphere packing bounds in complex Grassmann manifolds are derived. An upper bound on the minimum distance is also obtained through the inverse mapping for the volume of spherical caps. This geometric technique is also applied in the study of sphere packing bounds in some particular cases of full-flag manifolds. Such bounds are numerically implemented in some examples. One motivation for this work was the search for possible extensions of some results on complex Grassmann manifolds, which interest in communications comes from a model for the transmition on non-coherent MIMO channels via codes in such manifolds / Doutorado / Matematica Aplicada / Doutor em Matemática Aplicada

Made available in DSpace on 2014-06-11T19:24:10Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-05-20Bitstream added on 2014-06-13T18:51:46Z : No. of bitstreams: 1 scatolim_rl_me_bauru.pdf: 1975676 bytes, checksum: 7ac1a28c69deaa6d10cf7861a4dda167 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Este estudo buscou por meio de pesquisas bibliográficas e da pesquisa experimental realizada com portadores de deficiência visual na entidade Olhos D´Alma de Jaboticabal - SP, analisar a usabilidade de produtos alimentícios enlatados. A relevância social volta-se ao portador de cegueira e de baixa visão, cujo foco é investigar quais as dificuldades encontradas durante a identificação e o uso. Foram abordados assuntos sobre o Sistema Braille, a composição estética e funcional da embalagem, o uso de materiais e a adequação à demanda; os riscos da ausência e da má informação e as contribuições que o design pode trazer ao deficiente visual, por meio de técnica e conhecimento e aspectos cognitivos da Semiótica e da teoria de Piaget A não obrigatoriedade da informação em Braille nos produtos exclui o cego, causando dependência durante o uso e a compra. O objetivo principal desta pesquisa foi comprovar, por meio da pesquisa experimental com 20 deficientes visuais, como são os reconhecimentos do produto, as dificuldades encontradas para identificá-los, devido à relevância do design visual, que limita outros sentidos de percepção / This study it searched by means of bibliographical research and of the experimental research carried through with carriers of visual deficiency in the entity Eyes D'Alma de Jaboticabal, SP, to analyze the usability of tinned nourishing products. The social relevance turns it the carrier of blindness and low vision, whose focus is to investigate which the difficulties found during the identification and the use. They had been boarded subjects on the System Braille, the aesthetic and functional composition of the packing, the use of materials and the adequacy the demand; the risks of the absence and the bad information and the contributions that design can bring to the deficient appearance, by means of technique and knowledge and cognition aspects of the Semiotics and the theory of Piaget. The obligator ness of the information in Braille in the products does not exclude the blind person, causing the dependence during the use and the purchase. The main objective of this research is to prove, by means of the experimental research with 20 deficient appearances, as it is the recognition of the product, the found difficulties to identify them, due to relevance of design visual, that it limits other directions of perception

Orientador : Sueli Irene Rodrigues Costa / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-06T14:39:59Z (GMT). No. of bitstreams: 1 Siqueira_RogerioMonteirode_D.pdf: 1994309 bytes, checksum: 7735d63966bc2d9b5c84ccac989c3289 (MD5) Previous issue date: 2006 / Resumo: Códigos esféricos euclidianos com simetrias são órbitas finitas de grupos de matrizes ortogonais. Tais códigos são também conhecidos como códigos de grupo. Neste trabalho, os códigos de grupo comutativo em dimensão par são caracterizados sobre toros planos, subvariedades da esfera. Em particular, se o grupo de matrizes for cíclico, o código gerado está contido em um nó que se enrola em um tora. Se a dimensão for ímpar, todo código de grupo comutativo mora em anti-primas cujas bases estão contidas em dois toros planos. Tal caracterização permitiu a construção de limitantes para a cardinalidade destas constelações de pontos em termos da distância mínima destes códigos e da densidade de empacotamento de um reticulado associado. Utilizando o método de Biglieri e Elia, que procura o vetor inicial cujo respectivo código de grupo cíclico tem a melhor distância mínima, apresentamos também os melhores códigos de grupo cíclico em dimensão quatro até 100 pontos / Abstract: Euclidean spherical codes with symmetries are orbits of finite orthogonal matrix groups. These codes are also known as group codes. ln this work, the commutative group codes in even dimensions are viewed on flat tori, which are submanifolds of the sphere. Also, if the matrix group is cyclic, the generated code lies on a knot which wraps around a torus. If the dimension is odd, every commutative group code lies on an anti-prism whose bases are contained in two flat tori. This interpretation lead us to build upper bounds for the cardinality of these constellations involving their minimum distance and the packing density of an associated lattice. Using a method by Biglieri and Elia, which searchs the initial vector for a cyclic group in order to achieve the best minimum distance, we also present the best cyclic group codes in dimension four up to 100 points / Doutorado / Matematica / Doutor em Matemática

Orientadores: Sueli Irene Rodrigues Costa, Simone Maria de Moraes / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-08T17:40:32Z (GMT). No. of bitstreams: 1 Silva_AndersonTiagoda_M.pdf: 781127 bytes, checksum: 22670fa6bf0a9cc9e4533bcc2ef952d8 (MD5) Previous issue date: 2007 / Resumo: Este trabalho está dividido essencialmente em quatro tópicos. O primeiro capítulo é dedicado a uma introdução à teoria dos códigos corretores de erros com algumas propriedades e exemplos. No segundo capítulo abordamos reticulados e suas propriedades com foco na análise do quociente de reticulados gerando grafos em toros planares, grafos circulantes obtidos através de quociente de reticulados e ladrilhamentos associados. O terceiro capítulo é dedicado a códigos esféricos, com ênfase na obtenção de códigos ótimos. Foram introduzidos alguns limitantes importantes como o de Rankim, e a demonstração de que alguns códigos esféricos como o simplex e biortogonal são ótimos. No capítulo quatro apresentamos uma construção de reticulados através de códigos binários e também a construção de códigos esféricos a partir de reticulados que possuem sub-reticulados com base ortogonal. Analisamos o caso especial do reticulado BCC que é o de melhor densidade no espaço e pode ser gerado por código binário. Mostramos que o quociente deste por um sub reticulado especial produz o melhor código esférico associado ao grupo comutativo Z2 2 ×Z4 . Também identificamos o reticulado que é associado ao melhor código de grupo comutativo de 16 elementos em R6 / Abstract: In this work it is presented through examples a connection between inary codes, lattices and spherical codes. A brief introduction to coding theory, properties and examples is included in the first chapter. In Chapter 2 lattices are approached with focus on the quotient of lattices, graphs on flat tori and connections with circulant graphs. An introduction to spherical codes and some of their bounds, as the Ranking bound, are described in Chapter 3. Finally in Chapter 4 the three topics above are connected. The construction of lattices from linear binary codes and the construction of spherical codes from the lattices which have orthogonal sub-lattices are presented. We analyze specifically the case of the three dimensional BCC lattice, which has the best packing density for this dimension, and show that a quotient of this lattice give rise to the best spherical code associate to the commutative group Z2 2 ×Z4. We also identify the lattice which is associate to the best commutative group code with 16 elements in em R6 / Mestrado / Mestre em Matemática

In the study of triple systems, one question faced is that of finding for what order a decomposition exists. We state and prove a necessary and sufficient condition for the existence of a bicyclic mixed triple system based on the three possible partial orientations of the 3-cycle with twice as many arcs as edges. We also explore the existence of rotational and reverse mixed triple systems. Our principal proof technique applied is the difference method. Finally, this work contains a result on packing of complete mixed graphs on v vertices, Mv, with isomorphic copies of two of the mixed triples and a possible leave structure.