We give a short and elementary proof of Jung’s theorem, which states that for a field K of characteristic zero the automorphisms of K[x, y] are generated by elementary automorphisms and linear automorphisms. / Presentaremos una prueba corta y elemental del teorema de Jung. Este teorema establece que para un cuerpo K de caracterstica cero los automor smos de K[x; y] son generados por automorsmos lineales y los llamados elementales.

Made available in DSpace on 2015-05-15T11:46:09Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 403531 bytes, checksum: ecf0300b6ad75f58a9c2431f8679a8ca (MD5) Previous issue date: 2008-06-06 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho provamos o Teorema algebro-geométrico de Ganey, o qual caracteriza completamente as condições de Whitney de famílias de espaços analíticos complexos com singularidades arbitrárias em termos do fecho integral de módulos naturalmente associados a estas famílias. / Neste trabalho provamos o Teorema algebro-geométrico de Ganey, o qual caracteriza completamente as condições de Whitney de famílias de espaços analíticos complexos com singularidades arbitrárias em termos do fecho integral de módulos naturalmente associados a estas famílias.

We analyze a possible minimal counterexample to theJacobian Conjecture P;Q with gcd(deg(P); deg(Q)) = 16 and show that its existence depends only on the existence of solutions for a certain Abel dierential equation of the second kind. / Analizamos un posible contraejemplo P;Q a la conjetura del jacobiano con gcd(deg(P); deg(Q)) = 16 y mostramos que su existencia depende exclusivamente de la existencia de soluciones de una cierta ecuacion diferencial de Abel de segundo tipo.

We compute the Groebner basis of a system of polynomial equations related to the Jacobian conjecture using a recursive formula for the Catalan numbers. / En este artículo calculamos la base de Groebner de un sistema polinomial de ecuaciones relacionada con la conjetura del jacobiano utilizando una fórmula recursiva para los numeros de Catalan.

Este trabalho trata do estudo de robôs de arquitetura paralela, focando na modelagem e otimização dos mesmos. Não foi construído nenhum tipo de protótipo físico, contudo os modelos virtuais poderão, no futuro, habilitar tal façanha. Após uma busca por uma aplicação que se beneficie do uso de um robô de arquitetura paralela, fez-se uma pesquisa por arquiteturas viáveis já existentes ou relatadas na literatura. Escolheu-se a mais apta e prosseguiu-se com os estudos e modelagem cinemática e dinâmica, dando uma maior ênfase na cinemática e dinâmica inversa, esta última utilizando a formulação de Newton - Euler. Foi construído um simulador virtual em ambiente MATLAB 6.5, dotado de várias capacidades como interpolação linear e circular, avanço e uso de múltiplos eixos coordenados. Seu propósito principal é o de demonstrar a funcionalidade e eficácia dos métodos utilizados. Depois foi incorporado ao simulador um algoritmo de cálculo do volume de trabalho da máquina que utiliza alguns dados do usuário para calcular o volume, que pode ser aquele atrelado a uma postura em particular ou o volume de trabalho de orientação total. Algoritmos para medir o desempenho da máquina quanto à uniformidade e utilização da força dos atuadores foram construídos e também incorporados ao simulador, que consegue mostrar o elipsóide de forças ao longo de quaisquer movimentos executados pela plataforma móvel. Quanto à otimização, parte do ferramental previamente construído foi utilizado para que se pudesse chegar a um modelo de uma máquina que respeitasse restrições mínimas quanto ao tamanho e forma de seu volume de trabalho, mas ainda mantendo o melhor desempenho possível dentro deste volume. / This work is about the study of parallel architecture robots, focusing in modeling and optimization. No physical prototypes were built, although the virtual models can help those willing to do so. After searching for an application that could benefit from the use of a parallel robot, another search was made, this time for the right architecture type. After selecting the architecture, the next step was the kinematics and dynamics analysis. The dynamics model is developed using the Newton ? Euler method. A virtual simulator was also developed in MATLAB 6.5 environment. The simulator?s main purpose was to demonstrate that the methods applied were correct and efficient, so it has several features such as linear and circular interpolations, capacity to use multiple coordinate systems and others. After finishing the simulator, an algorithm to calculate the machine workspace was added. The algorithm receives as input some desired requirements regarding the manipulator pose and then calculates the workspace, taking into consideration imposed constraints. Lastly, algorithms capable to measure the manipulator?s performance regarding to its actuator and end-effector force relationship were also incorporated into the simulator that calculates the machine?s force ellipsoid during any movement, for each desired workspace point. For the optimization procedures, some previously developed tools were used, so that the resulting model was capable to respect some workspace constraints regarding size and shape, but also maintaining the best performance possible inside this volume.

Este trabalho trata do estudo de robôs de arquitetura paralela, focando na modelagem e otimização dos mesmos. Não foi construído nenhum tipo de protótipo físico, contudo os modelos virtuais poderão, no futuro, habilitar tal façanha. Após uma busca por uma aplicação que se beneficie do uso de um robô de arquitetura paralela, fez-se uma pesquisa por arquiteturas viáveis já existentes ou relatadas na literatura. Escolheu-se a mais apta e prosseguiu-se com os estudos e modelagem cinemática e dinâmica, dando uma maior ênfase na cinemática e dinâmica inversa, esta última utilizando a formulação de Newton - Euler. Foi construído um simulador virtual em ambiente MATLAB 6.5, dotado de várias capacidades como interpolação linear e circular, avanço e uso de múltiplos eixos coordenados. Seu propósito principal é o de demonstrar a funcionalidade e eficácia dos métodos utilizados. Depois foi incorporado ao simulador um algoritmo de cálculo do volume de trabalho da máquina que utiliza alguns dados do usuário para calcular o volume, que pode ser aquele atrelado a uma postura em particular ou o volume de trabalho de orientação total. Algoritmos para medir o desempenho da máquina quanto à uniformidade e utilização da força dos atuadores foram construídos e também incorporados ao simulador, que consegue mostrar o elipsóide de forças ao longo de quaisquer movimentos executados pela plataforma móvel. Quanto à otimização, parte do ferramental previamente construído foi utilizado para que se pudesse chegar a um modelo de uma máquina que respeitasse restrições mínimas quanto ao tamanho e forma de seu volume de trabalho, mas ainda mantendo o melhor desempenho possível dentro deste volume. / This work is about the study of parallel architecture robots, focusing in modeling and optimization. No physical prototypes were built, although the virtual models can help those willing to do so. After searching for an application that could benefit from the use of a parallel robot, another search was made, this time for the right architecture type. After selecting the architecture, the next step was the kinematics and dynamics analysis. The dynamics model is developed using the Newton ? Euler method. A virtual simulator was also developed in MATLAB 6.5 environment. The simulator?s main purpose was to demonstrate that the methods applied were correct and efficient, so it has several features such as linear and circular interpolations, capacity to use multiple coordinate systems and others. After finishing the simulator, an algorithm to calculate the machine workspace was added. The algorithm receives as input some desired requirements regarding the manipulator pose and then calculates the workspace, taking into consideration imposed constraints. Lastly, algorithms capable to measure the manipulator?s performance regarding to its actuator and end-effector force relationship were also incorporated into the simulator that calculates the machine?s force ellipsoid during any movement, for each desired workspace point. For the optimization procedures, some previously developed tools were used, so that the resulting model was capable to respect some workspace constraints regarding size and shape, but also maintaining the best performance possible inside this volume.

[pt] Neste trabalho focamos sobre alguns modelos matemáticos na área do petróleo, com o objetivo de propor um modelo inicial de simulador numérico de reservatórios. Inicialmente apresentamos uma EDP do calor não-linear com um termo fonte de calor constante, estudada para o domínio sendo uma placa plana quadrada homogênea e heterogênea, onde aplicamos soluções numéricas utilizando o método das diferenças finitas implícito. Abordamos o problema de refinamento da malha no entorno dos poços utilizando o método JFNK (Jacobian-Free Newton-Krylov), que aumenta a eficiência computacional através de uma aproximação para a matriz Jacobiana. Por fim resolvemos um sistema de EDPs não-lineares que representam o escoamento bifásico de água e óleo, constituído por equações de transporte em termos da pressão e da saturação. Fizemos simulações numéricas de alguns casos conhecidos e os resultados mostraram uma boa qualidade no nosso método. / [en] In this work we focus on the numerical approximation of some mathematical models in the oil field. First, we present a non-linear heat equation with a constant heat source term, studied for the domain of a homogeneous and heterogeneous square domain, where we apply numerical solutions using an implicit finite difference method. We approach the problem of mesh refinement around the wells using the JFNK (Jacobian- Free Newton-Krylov) method, which improves the computational efficiency through an approximation to the Jacobian matrix. Finally, we solve a system of non-linear EDPs that represent the two-phase flow of water and oil, consisting of equations of transport in terms of pressure and saturation. Numerical simulations for some known cases showed accurate approximation of our method.