Neste trabalho estudamos propriedades métricas de certas estruturas recentemente descobertas em diagramas de fase, chamadas de conjuntos tipo de Mandelbrot. Tais estruturas (conjuntos) são importantes pois aparecem repetidamente em sistemas dinâmicos, em particular, em equações diferenciais que descrevem lasers e outros modelos físicos. De particular interesse, são escalonamentos (scalings) de codimensão 2, i.e. que dependem da variação simultânea de dois parâmetros físicos para serem observados. Através da obtenção de expressões exatas dos pontos de nascimento de domínios de estabilidade {"fiores de cactus'?, conseguimos demonstrar analiticamente que a velocidade de acumulação dos domínios convergepara um valor limite constante igual à unidade. Outras taxas de convergência tais como, por exemplo, a orientação do eixo dos domínios com respeito à horizontal, a diminuição das alturas e das áreas dos domínios, também convergem para a unidade. Tal convergência foi também por nós encontrada no conjunto de Mandelbrot. Em ambos casos as convergências obedecem uma lei de potência com expoentes inteiros, em forte contraste com a convergência típica de Feigenbaum, que também segue uma lei de potências, porém com expoente fracionário. Por razões discutidas em detalhe dentro do trabalho, conjecturamos ser o escalonamento unitário de carácter geral sempre que se tenham fam{lias de fases periódicas participando de um processo de acumulação com adição de períodos. Observamos que os conjuntos de números racionais (números de rotação) que rotulam as infinitas fam{lias de fiores, (fases periódicas) nos conjuntos tipo-Mandelbrot, também exibem a mesma convergência unitária. Tal fato nos leva a crer que, dum ponto de vista teórico, este "scaling"parece originar-se de propriedades métricas dos racwna%s. Além disto, complementamos o estudo das propriedades métricas dos conjuntos tipo-Mandelbrot com um estudo detalhado da sua estrutura interna, via multiplicadores das órbitas periódicas estáveis, reais e complexas. Observamos que a parte real (imaginária) dos multiplicadores define certos eixos de simetria transversal (longitudinal) em cada fior, que podem ser tomados como uma espécie de "sistema de coordenadas cartesiano". Em tal sistema, observamos um ordenamento simétrico dos números de rotação das fiores, de maneira similar ao ordenamento dos números racionais no círculo unitário. Mostrando desta forma que o interior de cada fior é isomorfo ao círculo unitário. A medida que nos aproximamos das zonas de transição isoperiódica (de órbitas complexas para reais), observamos uma rotação dos eixos transversais locais de cadafior em direção aos eixos longitudinais, até ambosficarem alinhados, no limite da acumulação. Esta mudança não ocorre nos círculos do conjunto de Mandelbrot, onde ambos eixos permanecem perpendiculares até alcançar um tamanho nulo no ponto raiz. Isto parece mostrar que, apesar dos conjuntos Mandelbrot e tipo-Mandelbrot compartilharem várias propriedades métricas, a ausência de conectividade local nestes últimos modifica significativamente sua estrutura interna. / In this work we study scaling proprerties of certain structures recently found in phase diagrams, called as Mandelbrot-like sets. Such structures (sets) are important becausethey appear repeatedly in dinamical systems, particularly, in differentials equations that describe lasers and others physical models. Df particular interest, are scalings of codimension-2, i.e., that depend on the simultaneous variation of two physical parameters to be observed. Through the obtention of exact expressions for the birth points of stability domains ("cactus flowers''), we proved analitically that the accumulation rate of the domains converges to a constant limit value equal to unity. Another convergence rates such as, for example, orientation of the domain axis with respect to the horizontal, the decrease of domains heights and areas, also converge to unity. We also founded this convergence in the Mandelbrot set. In both cases, the convergences obey a power law with integer exponents, in contrast with the typical Feigenbaum convergence, that also follows a power law but with fraccionary exponent. For the reasons discuted in detail along the work, we conjecture this unitary scaling to have a general caracter always that one have families of periodic fases participating in a process of accumulation with period adding. We observed that the rational numbers sets that label the infinity flower's families (periodic phases), in the Mandelbrot-like sets, also exhibit the same rate of convergence. This fact lead us to believe, from a theoretical point of view, that this scaling seems to arise from the metrical properties of rationals. Besides this, we complemented the study of scalings in the Mandelbrot-like sets with a detailed study of their internal structure, via multipliers of the stable periodic orbits, both real and complexo We observed that the real (imaginary) part of multipliers define certain transversal (longitudinal) axis of simetry en each flower, that can be take as a sort of local "cartesian coordinates system". In such system, we observe a symmetric ordering of the rotation numbers of flowers, like the ordering of rational numbers in the unitary circle. Showing of this form that the inner of each flower is isomorphic to the unitary circle. As we aproximate to the isoperiodic transition zones (of complexto realorbits),wefounded a rotationof the transversallocalaxis of each flower toward the longitudinal axis, until both axis stay aligned, at the accumulation limito This rotation does not occur inside the Mandelbrot set circles, where both axis remain perpendicular until they reach a null size at the root point. This seems to show that, in spite of Mandelbrot and Mandelbrot-like sets to share several metric properties, the lack of local conectivity in the latest modifies significantly their internal structure.

Ziel der vorliegenden Arbeit ist es, den Kompromiss zwischen Universalität und Effizienz bei Instanzennetzsimulatoren zu untersuchen, insbesondere für die Simulation von digitaler Hardware. Ein Instanzennetzsimulator wird definiert mit Hinsicht auf maximale Universalität. Dieser Simulator muss für die Simulation beliebiger Instanzennetze anwendbar sein. Hardware auf der Gatter- und auf der Register-Transferebene wird modelliert für Simulation mit dem definierten Instanzennetzsimulator. Ebenso werden spezifische Hardware- Simulatoren definiert, wobei repräsentative Modelle der Gatter- und der Register-Transferebene ausgewählt werden. Da diese Hardware-Simulatoren nur für bestimmte Systemklassen geeignet sind, die Unterklassen von Instanzennetzen darstellen, bringen sie einen gewissen Effizienzgewinn gegenüber dem allgemeinen Instanzennetzsimulator. Die Messung dieses Gewinns und seine Zurückführung auf bestimmte Eigenschaften der Instanzennetze und der digitalen Systeme sind konkrete Ziele dieser Arbeit. Um diese Messung zu ermöglichen, werden digitale Systeme durch Parametersätze dargestellt. Diese Parameter erlauben uns, exakte Ausdrücke fir den Simulationszeitverbrauch aller definierten Simulatoren abzuleiten. Durch Variierung der Parameterwerte wird das ganze Spektrum der digitalen Systeme erfasst.

Neste trabalho, é estudado o controle da transmissão do som numa placa retangular e fina. Para tanto, é encontrada a resposta dinâmica da placa, excitada por forças harmônicas pontuais e piezomomentos, obtida usando uma base não-clássica e uma análise modal. A radiação sonora emitida pela vibração da placa é encontrada. A potência sonora radiada pode ser calculada aplicando controle ativo diretamente na estrutura, na forma de uma entrada vibratória, uma vez conhecida a resposta na superfície da placa, obtendo-se uma signicativa redução analitica. Os piezocerâmicos, modelados como quatro momentos pontuais, são unidos a superfície da placa como atuadores. A potência sonora transmitida antes e depois do controle é comparada, usando diferentes número de atuadores. Uma estratégia clássica de controle linear quadrático (LQR) e empregada no contexto de um procedimento de otimização da posição dos atuadores do sistema.

Orientador: Dessislava H. Kochloukova / Tese (doutorado) - Universidade Estadual de Campinas. Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-06T15:28:56Z (GMT). No. of bitstreams: 1 Silva_FlaviaSouzaMachadoda_D.pdf: 1082384 bytes, checksum: 3f3ae60f2e4ab201df78d9bb624249ef (MD5) Previous issue date: 2006 / Resumo: Estudamos propriedades homológicas de mergulho de grupos metabelianos finitamente gerados e estendemos um trabalho recente [19] em que foi mostrado que para m, um número natural fixo, todo grupo G metabelianofinitamente gerado mergulha num quociente de um grupo metabeliano de tipo F.P m e ainda que G mergulha em um grupo metabeliano de tipo FP4. Mais precisamente, mostramos que para m, um número natural fixo, todo grupo metabeliano finitamente gerado mergulha num grupo metabeliano de tipo FPm. Para isto usamos idéias de álgebra comutativa, tais como o Teorema de normalização de Noether e propriedades de mergulho de módulos finitamente gerados sobre anéis comutativos através de localização. No caso de grupos metabelianos obtemos mergulhos em extensões HNN metabelianas. Um passo importante na nossa demonstração é o uso do método de Áberg para garantir que num caso muito particular a FPm-Conjectura para grupos metabelianos é verdadeira. A FPm-Conjectura para grupos metabelianos sugere quando um grupo metabeliano tem tipo FPm, mas ela ainda está em aberto. É interessante observar que o método de Áberg mistura idéias de álgebra comutativa e topologia algébrica (ação de grupo sobre um subcomplexo de um produto finito de árvores) / Abstract: We study embedding homological properties of finitely generated metabelian groups and we extend an earlier work in [19] where it was shown that for a fixed m every finitely generated metabelian group G embeds in a quotient of a metabelian group of homological type FPm and furthermore that G embeds in a metabelian group of type FP4. More precisely we show that for a fixed m every finitely generated metabelian group G embeds in a metabelian group of type FPm. This is proved using ideas of commutative algebra, such as Noether normalization theorem and properties of embedding of finitely generated modules over commutative rings via localization. In the case of metabelian groups this gives embedding into a metabelian HNN extensions. An important step in the proof is the use of the Áberg method to guarantee that the FPm-conjecture in a very particular case is true. The FPm-conjecture for metabelian groups suggests when a metabelian group has a homological type FPm, but it is still open. It is interesting to note that the Áberg method mixes ideas from commutative algebra and algebraic topology (action of group on a subcomplex af a finite product of trees) / Doutorado / Matematica / Doutor em Matemática

Orientador: Alexandre Ananin / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatisitca e Computação Cientifica / Made available in DSpace on 2018-08-07T02:11:51Z (GMT). No. of bitstreams: 1 Ferreira_CarlosHenriqueGrossi_D.pdf: 2079010 bytes, checksum: d2897485f4c4ad44b6ca3016ebc4a4f6 (MD5) Previous issue date: 2006 / Resumo: Esta tese possui quatro partes. A primeira parte apresenta uma construção que permite abordar todas as geometrias clássicas sob um mesmo ponto de vista. Utilizando tal abordagem, expressamos e caracterizamos, de modo simples e isento de coordenadas, vários aspectos destas geometrias, tais como geodésicas distâncias, transporte paralelo, tensores de curvatura e curvaturas seccionais. Esperamos, assim, unificar e facilitar o estudo das geometrias clássicas, evitando a introdução de vários ¿modelos¿ para uma mesma geometria (como é o caso dos modelos de Poincaré, de Siegel e de Klein para as geometrias hiperbólicas) bem como evitando a descrição de métricas através de sistemas de coordenadas específicos. A segunda parte consiste em aplicar as ferramentas desenvolvidas anteriormente para o caso específico da geometria hiperbólica complexa. O foco central é o estudo de configurações de um número pequeno de pontos. Deste modo estudamos propriedades básicas de objetos elementares tais como linhas projetivas, geodésicas e bissetores. Estas propriedades provaram-se essenciais com relação ao nosso principal objetivo, o estudo de grupos discretos de isometrias do plano hiperbólico complexo. A terceira parte consiste em uma versão do Teorema Poliedral de Poincaré em que as exigências sobre a tesselação são suficientemente locais. Além disso, buscamos para o referido Teorema condições simples e verificáveis na prática. A versão apresentada pode ser aplicada em geometrias de curvatura não-constante, nas quais n¿ao podemos explorar, por exemplo, os conceitos de convexidade. Por fim, a quarta parte é um artigo produzido em colaboração com os professores Alexandre Ananin e Nikolai Goussevskii. Neste artigo, novos exemplos de variedades com estrutura hiperbólica complexa s¿ao apresentados, resolvendo alguns problemas da área / Abstract: This thesis consists of four parts. The first part consists of a construction interpreting all classic geometries in the same way. With this construction, we express and characterize various aspects of these geometries, such as geodesics, distances, parallel displacement, curvature tensors, and sectional curvatures, in a simple coordinate-free way. We believe that this approach can unify and simplify the study of classic geometries escaping the use of several ¿models¿ for the same geometry (as Poincaré¿s, Siegel¿s, and Klein¿s models of hyperbolic geometry) as well as avoiding descriptions of metrics in specific coordinates. In the second part we apply the previously developed tools to the case of complex hyperbolic geometry. The guideline is the study of finite configurations of points. From this point of view, we study basic properties of elementary geometric objects such as projective lines, geodesics, and bisectors. These properties turned out to be crucial for our central purpose, the study of discrete groups of isometries of the complex hyperbolic plane. The third part consists of a version of Poincaré¿s Polyhedron Theorem where the conditions concerning the tessellation are sufficiently local. Also, we consider conditions that are simple and verifiable in practice. The proposed theorem can be applied in the case of geometries of non-constant curvature when some concepts, as those of convexity, are not applicable. Finally, the fourth part is an article written in collaboration with professor Alexandre Ananin and professor Nikolai Goussevskii. In this article, new series of examples of complex hyperbolic manifolds are constructed, solving some problems in the area / Doutorado / Geometria / Doutor em Matemática

Orientador: Sueli Irene Rodrigues Costa / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-23T11:40:28Z (GMT). No. of bitstreams: 1 Alves_MarceloMunizSilva_M.pdf: 2107560 bytes, checksum: 6f6290ff4cfa14083f8d89ca2d08a5f5 (MD5) Previous issue date: 1998 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática

Submitted by Cláudia Bueno (claudiamoura18@gmail.com) on 2016-08-15T20:00:03Z No. of bitstreams: 2 Dissertacao - Joao Ricardo Braga de Paiva - 2016.pdf: 14227997 bytes, checksum: 3c191bf387f29137782a51d5673851e6 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Rejected by Luciana Ferreira (lucgeral@gmail.com), reason: Não consta o título em português, só em inglês e na citação o nome dele não está como quer ser citado, de acordo com o currículo lattes: Nome em citações bibliográficas PAIVA, J. R. B. Detalhe, não sei se no formulário de metadados ele preencheu como você colocou. on 2016-08-17T11:36:19Z (GMT) / Submitted by Cláudia Bueno (claudiamoura18@gmail.com) on 2016-08-17T16:45:46Z No. of bitstreams: 2 Dissertacao - Joao Ricardo Braga de Paiva - 2016.pdf: 14723579 bytes, checksum: ed8f1d6ddc6fd84e86378bbe63427ee7 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Cláudia Bueno (claudiamoura18@gmail.com) on 2016-08-17T16:47:20Z (GMT) No. of bitstreams: 2 Dissertacao - Joao Ricardo Braga de Paiva - 2016.pdf: 14723579 bytes, checksum: ed8f1d6ddc6fd84e86378bbe63427ee7 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-08-17T16:47:20Z (GMT). No. of bitstreams: 2 Dissertacao - Joao Ricardo Braga de Paiva - 2016.pdf: 14723579 bytes, checksum: ed8f1d6ddc6fd84e86378bbe63427ee7 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-04-27 / Outro / This work presents metric for complexity calculation in discrete event systems. The proposed methodology uses the dynamics of the system taking into account their active connections, mapped in relationship matrix. The complexity metric is applied to three distinct systems. The results show the relationship between the complexity and specic characteristics of each system. The proposed method combines knowledge about the system, contributing to behavior and performance analysis. / Este trabalho apresenta métrica para cálculo de complexidade em sistema a eventos discretos. A metodologia proposta utiliza a dinâmica do sistema levando em consideração suas conexões ativas, mapeadas na matriz de relacionamento. A métrica de complexidade é aplicada a três sistemas distintos. Os resultados obtidos apresentam a relação entre a complexidade e as características específicas de cada sistema. O método proposto agrega conhecimento sobre o sistema, contribuindo para análises de comportamento e desempenho.

Uma vez que uma aplicação ou projeto tenha sido identificado como sujeito ao uso da simulação, decisões devem ser tomadas acerca de como conduzir os estudos. Embora não haja regras definitivas, alguns passos são geralmente recomendados, tais como: planejamento do estudo, definição do sistema, construção do modelo, execução dos experimentos, análise dos resultados e relatório final. E, a construção do modelo é uma das etapas mais demoradas e complexas. Na execução dos experimentos, e na análise dos resultados a Realidade Virtual (RV) é uma interface que pode fornecer um suporte importante para a tomada de decisões, pois a RV auxilia na criação de mundos virtuais semelhantes ao mundo real, que ajudam na compreensão do funcionamento dos sistemas. Este trabalho propõe um metamodelo para o desenvolvimento de sistemas de simulação de eventos discretos com interface de RV aplicados a ambientes ou estações de trabalho de manufatura. A proposta do metamodelo é composto por quatro módulos: i) de edição e validação de modelos, ii) de criação, edição e execução de ambientes virtuais, iii) de conexão para efetuar o elo entre os dois primeiros módulos e, iv) de controle para gerenciar a comunicação e controlar a simulação. Como resultado tem-se a simulação centralizada baseada no modelo descrito em Rede de Petris (RP) com interface de RV distribuída. O sistema computacional gerado pelo metamodelo auxiliará no aprendizado e compreensão do problema simulado, e ainda permitirá ao usuário o envolvimento através da iteração. / The VR aids in the creation of virtual worlds similar to the real world, helping in understanding how a system works. This research work is concerned with the development of a discrete-event system simulation based on Petri Nets, with Virtual Reality interface for manufacturing environment or workstations. The system is composed of four modules, the first is model editing and validation, the second module is a modeling tool for virtual objects and/or a library of virtual elements, the third module makes the link between the two previous modules, and finally, the fourth is a simulation and control module. The centralized simulation is based on models described by Petri Nets with distributed RV interface resulting in a flexible and consistent system. The system will help users in learning and understanding the simulation problem, and it will also allow the user\'s integration with the environment through the interaction, and through distributed interface.

Essa dissertação tem como objetivo utilizar a simulação de eventos discretos na análise dos estoques seletivos em processo de cabinas, em uma montadora de veículos comerciais de grande porte instalada no Brasil. A análise e a redução desses estoques seletivos são desejadas, pois o armazenamento de cabinas de caminhões, além de representar um alto custo para a produção, é de difícil controle e de alto risco. O desenvolvimento deste trabalho contribuirá para o conhecimento das dificuldades e benefícios da aplicação da simulação de sistemas discretos em sistemas produtivos de alta complexidade, como são os sistemas de manufatura da indústria automobilística. A análise desse sistema é de significativa dificuldade, devido ao tamanho dos produtos, ao mix de produção, à variabilidade do fluxo das etapas de produção e às diversas variáveis que influem no sistema simultaneamente. A técnica de simulação de eventos discretos foi escolhida por ser a mais indicada para analisar todo o sistema e auxiliar na tomada de decisão. Todo o estudo do sistema, modelagem, verificação, validação, simulação e resultados foram feitos de acordo com procedimentos já sedimentados para o uso da simulação de eventos discretos, de acordo com a bibliografia apresentada. Os resultados mostram a eficiência do método utilizado e propõem um cenário otimizado para o sistema estudado. O estudo foi realizado com a utilização do software de simulação de eventos discretos, Arena® 5.0. / This work has the main objective to use the discrete event simulation to analyze the in process cabins selective banks of a commercial vehicle assembler. The analysis and reduction of the selective banks are useful because the storage of cabins represents some production risks, is hard to control and implies in high costs. The developing of this work will contribute to the knowledge of the difficulties and benefits of the use of discrete event simulation applied to high complexity production systems like the automotive industry. The size of the products, the production mix, the throughput variability and the other simultaneous variables turn the storage analysis to a hard level. In this way, the discrete event simulation is the most indicated technique to help the analysis and the decision making. The whole study of the system, the modeling, the validation, the simulation runs and the results were done according to known procedures of using the discrete event simulation, which are mentioned in the references. The presented results show the efficiency of the utilized method and proposed optimized scenery of the studied system. The simulation software Arena 5.0 was used in this study.

Orientador : Marcelo Firer / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-04T02:48:30Z (GMT). No. of bitstreams: 1 Faria_MercioBotelho_D.pdf: 4443274 bytes, checksum: 86dda25654f7eb724f654b696016fcf1 (MD5) Previous issue date: 2005 / Resumo: Este trabalho busca elementos para se determinar a densidade de empacotamento de esferas definida por reticulados no plano hiperbólico.Consideramos o espaço de teichmuller Tu de todas as superfícies orientadas com-pactas e fechadas de gênero 9 2: 2, as quais tem o plano hiperbólico como recobrimento universal riemanniano. É conhecido o sistema de coordenadas Fricke em Tu que associa a cada superfície um domínio fundamental de Voronoi-Dirichlet dado por um polígono convexo com 4g arestas. Sabemos que, fixado o gênero, a densidade cresce com o número de arestas do domínio de Voronoi-Dirichlet escolhido, de modo que é natural a busca por polígonos com um número máximo de arestas associado ao gênero dado, que é sempre limitado por 12g - 6.Neste trabalho, determinamos as coordenadas Fricke em Tu que associa a cada su-perfície um domínio de Voronoi-Dirichlet com 4g + 2 e 12g - 6 arestas. Além disso, determinamos e implementamos algoritmos para a determinação dos círculos inscrito e circunscrito de um polígono (em superfícies de curvatura constante). Estes algorit-mos, em sua generalidade tem complexidade O (n4) mas, restringindo os polígonos a vizinhanças abertas de um polígono dado, possui complexidade O (n), situação ótima.A determinação dos domínios de Voronoi-Dirichlet e dos círculos inscritos permitem definir a densidade de empacotamento diretamente nos espaços de teichmuller através de um sistema de equações polinomiais / Abstract: This work searches elements to determine the packing density of spheres defined by lattices in the hyperbolic plane. We consider the teichmüller space Tg of all closed compacts oriented surfaces of genus 9 ~ 2, which has the hyperbolic plane as universal covering rienmannian surface. It is known that the system of Fricke coordinates in Tg associates each surface to a fundamental of Voronoi-Dirichlet domain, given by convex polygon with 49 edges. We know that, with fixed genus, the density increases with the number of edges of the chosen Voronoi-Dirichlet domain. Thus it is naturallooking for polygons with a maximum number of edges associated to a given genus, which is always limited by 129 - 6.In this work, we determine Fricke coordinates in Tg which associates each surface to a Voronoi-Dirichlet domain with 49 + 2 and 129 - 6 edges. Furthermore, we determine and we program the algorithms for determination of the inscribed and circumscribed circles of a polygon (in surfaces of constant curvature). These algorithms, have com-plexity O (n4) , but when restricted to open neighbourhoods of a given polygon, have complexity O (n), best situation.The determination of the Voronoi-Dirichlet domain from the inscribed circles per-mits to define the packing of density directly on teichmüller spaces through a polyno-mials of system equations / Doutorado / Matematica / Doutor em Matemática