Orientador: Prof. Dr. Eduardo Guéron / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Mestrado Profissional em Matemática em Rede Nacional, 2016. / Apresentamos neste trabalho um estudo sobre as equações de diferenças autônomas li-neares e não lineares que descreve um sistema dinâmico discreto. Para o caso linear, o objeti-vo foi encontrar uma solução analítica da evolução temporal do sistema e a partir desta solu-ção estudamos a estabilidade do sistema. No caso do não linear, na impossibilidade de deter-minar uma solução analítica, o que procuramos foi uma compreensão sobre a evolução quali-tativa do sistema, ou seja, fizemos um estudo qualitativo de uma família de mapas logísticos discretos, onde a partir da variação de um parâmetro verificamos alguns comportamentos co-mo: pontos fixos, órbitas periódicas, bifurcação e caos. Em ambos os casos, estudamos alguns modelos simples relacionados à Economia, Demografia ou Ecologia como exemplos de apli-cações dos aspectos teóricos estudados. / Here we present a study of the equations of linear and nonlinear autonomous differ-ences that describes a dynamic discrete system. For the linear case, the objective was to find an analytical solution of the time evolution of the system and from this solution we study the system stability. In the case of nonlinear, it is impossible to determine an analytical solution, what we seek is an understanding of the qualitative evolution of the system, ie, did a qualita-tive study of a family of discrete logistic maps, where from the change in a parameter we found some behaviors such as fixed points, periodic orbits, bifurcation and chaos. In both cas-es, we study some simple models related to Economics, Demography and Ecology as exam-ples of applications of the theoretical aspects studied.

Made available in DSpace on 2016-06-02T20:27:40Z (GMT). No. of bitstreams: 1 4629.pdf: 1448309 bytes, checksum: c6f5e451b1247c565791c643df7dc7d5 (MD5) Previous issue date: 2012-10-23 / Financiadora de Estudos e Projetos / This thesis was developed in two parts. Firstly, we consider a pair of fiber-preserving maps f1, f2 : M → M in a fiber bundle with base S1 and fiber Klein bottle. Using an algebraic system of equations we found in what situations the minimal coincidence set over S1 of the pair (f1, f2) is empty. In the second part, motivated by this problem, we consider a fiber-preserving map f : M → M in a fiber bundle with base S1 and fiber torus. Using the one-parameter fixed point theory we studied the minimal fixed point set over S1 of the map f. In some fiber bundle we classified completely this sets. / Esta tese foi desenvolvida em duas partes. Inicialmente, consideramos um par de aplicações que preserva fibra, f1, f2 : M → M, em um fibrado com base S1 e fibra garrafa de Klein. Utilizando-se de um sistema algébrico de equações, descobrimos em que situações o conjunto minimal de coincidências sobre S1 do par (f1, f2) é vazio. Na segunda parte, motivado por esse problema, consideramos uma aplicação que preserva fibra, f : M → M, em um fibrado com base S1 e fibra toro. Usando a teoria algébrica de ponto fixo a 1-parâmetro estudamos o conjunto minimal dos pontos fixos sobre S1 da aplicação f. Em alguns fibrados foi possível obter uma classificação completa desses conjuntos.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-19T14:01:17Z No. of bitstreams: 1 DAMIÃO JÚNIO GONÇALVES ARAÚJO - DISSERTAÇÃO PPGMAT 2008..pdf: 506877 bytes, checksum: 8b058ceadbb68cd8c6d372656749744e (MD5) / Made available in DSpace on 2018-07-19T14:01:17Z (GMT). No. of bitstreams: 1 DAMIÃO JÚNIO GONÇALVES ARAÚJO - DISSERTAÇÃO PPGMAT 2008..pdf: 506877 bytes, checksum: 8b058ceadbb68cd8c6d372656749744e (MD5) Previous issue date: 2008-04 / Capes / Neste trabalho são estudados dois sistemas de equações diferenciais parciais parabólicas sujeitas a condições iniciais e de contorno. O primeiro sistema tratado representa um modelo de solidificação envolvendo uma função campo de fase. O segundo problema tratado é uma simplificação de um modelo com duas funções campo de fase para solidificação de ligas. São estudados resultados sobre existência (via Método de Ponto Fixo), regularidade, continuidade em relação aos dados iniciais e ao termo forçante e unicidade de solução dos sistemas citados. / In this work we study two parabolic partial differential equations systems subject to initial and boundary conditions. The first system treated here represents a model for solidification with a phase field function. The second system is a simplification of a two-phase field model for alloy solidification. We study results concerning existence (by FixedPoint Method), regularityand uniquenessof solution for mentioned systems.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-24T16:01:03Z No. of bitstreams: 1 GEIZANE LIMA DA SILVA - DISSERTAÇÃO PPGMAT 2010..pdf: 596736 bytes, checksum: d02e34d40e7147e46c734ba297c181bf (MD5) / Made available in DSpace on 2018-07-24T16:01:03Z (GMT). No. of bitstreams: 1 GEIZANE LIMA DA SILVA - DISSERTAÇÃO PPGMAT 2010..pdf: 596736 bytes, checksum: d02e34d40e7147e46c734ba297c181bf (MD5) Previous issue date: 2010-03 / Capes / Neste trabalho estudamos a existência de soluções positivas do tipo blow-up para uma classe de equações elípticas semilineares. Usamos argumentos desenvolvidos por Cîrstea & Radulescu [6], Lair & Wood [20] e as técnicas empregadas são o Método de Sub e Supersolução, Teoremas de Ponto Fixo e em alguns resultados exploramos a simetria radial e algumas estimativas para equações elípticas. / In this work we studied the existence of blow-up positive solutions for the class of semilinear elliptic equations. We used arguments developed by Cîrstea & Radulescu [6], and by Lair & Shaker [20] and the techniques used are the method of Sub and Supersolution, Fixed point theorems and some results explored radial symmetry and some estimates for elliptic equations.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-25T17:20:25Z No. of bitstreams: 1 ANNAXSUEL ARAÚJO DE LIMA - DISSERTAÇÃO PPGMAT 2011..pdf: 581866 bytes, checksum: cc44cd422d4a48ddad0354f215805918 (MD5) / Made available in DSpace on 2018-07-25T17:20:25Z (GMT). No. of bitstreams: 1 ANNAXSUEL ARAÚJO DE LIMA - DISSERTAÇÃO PPGMAT 2011..pdf: 581866 bytes, checksum: cc44cd422d4a48ddad0354f215805918 (MD5) Previous issue date: 2011-04 / Neste trabalho, apresentamos métodos envolvendo sub e supersolução para estudar a existência de solução de certas equações elípticas. / In this work, we present methods involving sub and supersolution to study the existence of solution of certain elliptic equations.

Made available in DSpace on 2015-05-15T11:46:04Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 467058 bytes, checksum: ebe1089b4399fe71150fc70fa81ea4ed (MD5) Previous issue date: 2012-04-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work, we study a fixed point theorem for increasing operators in ordered normed spaces and we apply it in order to obtain results of existence of weak solution for semilinear elliptic equations of type 8<: ---u = f(x; u) + h; in u = 0; on @ ; where - RN is a smooth domain, f : -R --! R satisfies some convenient conditions and h 2 H--1(. / Neste trabalho, estudamos um teorema de ponto fixo para operadores crescentes em espaços vetoriais ordenados e o aplicamos para obter resultados de existência de solução fraca para problemas elípticos semilineares do tipo 8<: ---u = f(x; u) + h; em u = 0; sobre @ em que - RN é um domínio suave, f : - R ! R satisfaz algumas condições convenientes e h 2 H- -1(:).

Neste trabalho inicialmente estudamos o rank da co-homologia do espaço dos pontos fixos de uma \'Z IND.p\' - ação semilivre sobre espaços X~p \' S POT. n\' x \'S POT.n\' e X~p \'S POT.n\' x \'S POT.n\' x \'S POT.n\' , com n>0. Em seguida, estudamos uma extensão para ações de p-grupos sobre espaços X~p \'S POT.n\' X \'S POT.m\', com 0< n \'< OU =\' m. Como parte do material utilizado demos uma descrição do diferencial d1 de uma seqüência espectral que converge para co-homologia equivariante de Tate, bem como uma versão da Fórmula de Künneth para a co-homologia equivariante de Tate. Na parte final, motivado pelo problemas de descrição de espaços de órbita de ações de grupos infinito, calculamos as co-homologias dos grupos virtualmente cíclicos (\'Z IND.a\' X| \' Z IND. b\' )X| Z e [\'Z POT.a\' X|(\'Z IND.b\' X \'Q IND. 2 POT.i\') ]X| Z / In this work is studied the rank of the fixed point set of a semifree action on spaces X~p \'S POT.n\' X \'S POT.n\' and X~p \'S POT.n\' X \'S POT.n\' X \'S POT.n\' , with n>0. We also consider the extension of the result for actions of p-groups on spaces X~p \'SPOT.n\' X \' S POT.m\' , with 0<n \'< OR =\' m. As result of the techniques used, we give a description of the differential d1 of a spectral sequence that converges to Tate equivariant cohomology, as well a version of the Künneth Formule to Tate equivariant cohomology. At the end, motivated by the space form problem for infinite groups we compute the cohomology of the virtually cyclic groups (\'Z IND. a\' X| \'Z IND. b\' )X| Z and [\'Z IND.a\' X|(\'Z IND. b\' X \'Q IND2 POT. i\' )] X| Z

Nas últimas três décadas os phase locked loops (PLLs) totalmente digitais têm recebido muita atenção devido, principalmente, às vantagens que eles oferecem em comparação aos PLLs analógicos. Essas vantagens incluem melhor desempenho, maior velocidade e confiabilidade, tamanho reduzido e menor custo. Os PLLs também são amplamente utilizados em sistemas de comunicações e em outras aplicações digitais. A presente dissertação é uma contribuição no campo dos PLLs digitais adaptativos e otimizados para a sua implementação em hardware. É feito uma análise de suas características dinâmicas e proposta uma nova estrutura de PLL digital capaz de melhorar a resposta da malha em termos de tempo de aquisição e largura de banda. A Malha Síncrona Digital \"Tanlock\" com Estimação de Frequência e Ganho Adaptativo para Convergência Rápida, como é chamada, foi desenvolvida a partir da malha digital \"Tanlock\", utilizando-se teoremas de ponto fixo e mapas contrativos para determinar as condições de ganho que garantam convergência rápida e melhor utilização da largura de banda. Resultados das simulações são comparados com os obtidos teoricamente para avaliar o desempenho da malha proposta. / In the last three decades, fully-digital Phase-Locked-Loops (PLLs) systems have received a lot of attention due to its advantages in comparison with analog PLLs. These advantages include improved transient response, reliability and also reduced size and cost. The PLLs are widely used in communications systems and many other digital applications. This dissertation is a contribution to the field of digital adaptive PLLs optimized to hardware implementation. Here, a new PLL structure is presented; the Frequency Sensing Adaptive TDTL is an improvement to the classic Time-Delay Tanlock structure, alowing fast convergence to the synchronous states, using fixed-point theorems and contractive maps to determine the gain conditions which ensure the rapid convergence and also providing wider bandwidth. The results of simulations are compared with those obtained theoretically in order to assess the loop performance.

A new type of computing architecture called ePUMA is under development by the ePUMA Research Team at the Department of Electrical Engineering at Linköping University in Linköping. This contains several single instruction multiple data (SIMD) cores, which are called SIMD Units, where up to 64 computations can be done in parallel. The goal with the architecture is to create a low-power chip with good performance for embedded applications. One possible application is video games. In this work we have studied a selected set of video game related algorithms, including a Pseudo-Random Number Generator, Clipping and Rasterization &amp; Fragment Processing, analyzing how well they fit the ePUMA platform.

Dans cette thèse, une nouvelle méthode de frontières immergées a été développée pour la simulation d'interaction fluide-structure, appelée la méthode de frontières immergées mobiles (en langage anglo-saxon: MIBM). L'objectif principal de cette nouvelle méthode est de déplacer arbitrairement les solides à géométrie complexe dans un fluide visqueux incompressible, sans remailler le domaine fluide. Cette nouvelle méthode a l'avantage d'imposer la condition de non-glissement à l'interface d'une manière exacte via une force sans introduire des constantes artificielles modélisant la structure rigide. Cet avantage conduit également à la satisfaction de la condition CFL avec un pas de temps plus grand. Pour un calcul précis de la force induite par les frontières mobiles, un système linéaire a été introduit et résolu par la méthode de gradient conjugué. La méthode proposée peut être intégrée facilement dans des solveurs résolvant les équations de Navier-Stokes. Dans ce travail la MIBM a été mise en œuvre en couplage avec un solveur fluide utilisant une méthode de projection adaptée pour obtenir des solutions d'ordre deux en temps et en espace. Le champ de pression a été obtenu par l'équation de Poisson qui a été résolue à l'aide de la méthode du gradient conjugué préconditionné par la méthode multi-grille. La combinaison de ces deux méthodes a permis un gain de temps considérable par rapport aux méthodes classiques de la résolution des systèmes linéaires. De plus le code de calcul développé a été parallélisé sur l'unité graphique GPU équipée de la bibliothèque CUDA pour aboutir à des hautes performances de calcul. Enfin, comme application de nos travaux sur la MIBM, nous avons étudié le couplage "fort" d'interaction fluide-structure (IFS). Pour ce type de couplage, un schéma implicite partitionné a été adopté dans lequel les conditions à l'interface sont satisfaites via un schéma de type "point fixe". Pour réduire le temps de calcul inhérent à cette application, un nouveau schéma de couplage a été proposé pour éviter la résolution de l'équation de Poisson durant les itérations du "point fixe". Cette nouvelle façon de résoudre les problèmes IFS a montré des performances prometteuses pour des systèmes en IFS complexe. / In this thesis a novel non-body conforming mesh formulation is developed, called the moving immersed boundary method (MIBM), for the numerical simulation of fluid-structure interaction (FSI). The primary goal is to enable solids of complex shape to move arbitrarily in an incompressible viscous fluid, without fitting the solid boundary motion with dynamic meshes. This novel method enforces the no-slip boundary condition exactly at the fluid-solid interface with a boundary force, without introducing any artificial constants to the rigid body formulation. As a result, large time step can be used in current method. To determine the boundary force more efficiently in case of moving boundaries, an additional moving force equation is derived and the resulting system is solved by the conjugate gradient method. The proposed method is highly portable and can be integrated into any fluid solver as a plug-in. In the present thesis, the MIBM is implemented in the fluid solver based on the projection method. In order to obtain results of high accuracy, the rotational incremental pressure correction projection method is adopted, which is free of numerical boundary layer and is second order accurate. To accelerate the calculation of the pressure Poisson equation, the multi-grid method is employed as a preconditioner together with the conjugate gradient method as a solver. The code is further parallelized on the graphics processing unit (GPU) with the CUDA library to enjoy high performance computing. At last, the proposed MIBM is applied to the study of two-way FSI problem. For stability and modularity reasons, a partitioned implicit scheme is selected for this strongly coupled problem. The interface matching of fluid and solid variables is realized through a fixed point iteration. To reduce the computational cost, a novel efficient coupling scheme is proposed by removing the time-consuming pressure Poisson equation from this fixed point interaction. The proposed method has shown a promising performance in modeling complex FSI system.