Submitted by Franciele Moreira (francielemoreyra@gmail.com) on 2017-12-27T14:12:36Z No. of bitstreams: 2 Tese - Ubirajara José Gama de Castro - 2017.pdf: 14188106 bytes, checksum: 942882692cd259cae5e8d267f6ac1188 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-12-28T09:43:26Z (GMT) No. of bitstreams: 2 Tese - Ubirajara José Gama de Castro - 2017.pdf: 14188106 bytes, checksum: 942882692cd259cae5e8d267f6ac1188 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-12-28T09:43:26Z (GMT). No. of bitstreams: 2 Tese - Ubirajara José Gama de Castro - 2017.pdf: 14188106 bytes, checksum: 942882692cd259cae5e8d267f6ac1188 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-11-28 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work we study reversible vector fields in two zones and equivariant vector fields in two zones. Our main result is the classification of the symmetric singularities of codimensions 0,1 and 2 of such vector fields. More precisely, in the reversible case in R3, where the dimension of the fixed points variety of the involution associated to the vector field is 2, we present all bifurcation diagram of the codimensions 1 and 2 singularities, describing the changes in the behavior of the symmetric singularities and tangents of the vector field with the transition manifold, S, according to the variation of the bifucartion parameter. We also show the existence of invariant cylinders and, in this case, doing small perturbations we determine invariant manifolds that persisted and we determine the number of limit cycles that were born. When the vector field defined on two zones is equivariant, the dynamic is enriched with the emergence of the sliding vector field and we also do a local study and the classification of singularities (and pseudo-singularities) of codimensions 0,1 and 2. We show the existence of homoclinic sliding orbit and that it is a codimension one phenomenon. Moreover, provided the symmetry we get a double Shilnikov sliding orbit. / Neste trabalho, estudamos campos vetoriais em duas zonas reversíveis e campos vetoriais em duas zonas equivariantes. Nosso resultado principal é a classificação das singularidades simétricas de codimensões 0, 1 e 2 de tais campos vetoriais. Mais precisamente, no caso reversível em R3, onde a dimensão da variedade de pontos fixos da involução associada ao campo vetorial é 2, apresentamos todos os diagramas de bifurcação das singularidades de codimensão 1 e 2, descrevendo as mudanças no comportamento das singularidades simétricas e das tangências do campo vetorial com a variedade de transição S, de acordo com a variação do parâmetro de bifurcação. Mostramos também a existência de cilindros invariantes e, nesse caso, fazendo pequenas perturbações determinamos variedades invariantes que persistiram e determinamos o número de ciclos limites que surgiram. Quando o campo vetorial definido em duas zonas é equivariante, a dinâmica é enriquecida com o surgimento do campo vetorial deslizante e também fazemos um estudo local e a classificação das singularidades (e pseudossingularidades) de codimensões 0, 1 e 2. Mostramos a existência de órbitas homoclínicas deslizantes e que esse é um fenômeno de codimensão 1 e devido à simetria do campo vetorial equivariante, teremos um duplo Shilnikov deslizante.

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2017-03-22T12:19:52Z No. of bitstreams: 2 Tese - Oscar Alexander Ramírez Cespedes - 2017.pdf: 14139665 bytes, checksum: 57b8ba9047422f62ed013be3b7bf660e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-03-22T12:20:24Z (GMT) No. of bitstreams: 2 Tese - Oscar Alexander Ramírez Cespedes - 2017.pdf: 14139665 bytes, checksum: 57b8ba9047422f62ed013be3b7bf660e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-03-22T12:20:24Z (GMT). No. of bitstreams: 2 Tese - Oscar Alexander Ramírez Cespedes - 2017.pdf: 14139665 bytes, checksum: 57b8ba9047422f62ed013be3b7bf660e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-03-07 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / In this work, we analize the version of Hilbert’s 16th problem for a piecewise linear differential system, PWLS, in R2. More precisely,we determinete the maximum number of certain types of limit cycles when the system is define in two zones separated by a straight line. Some results on the maximum number of cycles of a PWLS defined in two sectors were established. In addition, we classify typical singularities of a piecewise smooth systemin R3, taking into account the behavior of the associated sliding field. / Neste trabalho, estudamos uma versão do 16◦ Problema de Hilbert para sistemas de equações diferenciais lineares por partes, PWLS, em R2. Mais precisamente, determinamos o número máximo de certos tipos de ciclos limite quando o sistema está definido em duas zonas separadas por uma linha reta. Alguns resultados sobreo número de máximo de ciclos de um PWLS definido em dois setores são estabelecidos. Além disso, estudamos e classificamos singularidades típicas de um sistema suave por partes em R3 levando em consideração o comportamento do campo deslizante associado.

The goal of this thesis is the development of a fast and robust algorithm that is able to detect patterns in flow fields independent from their orientation and adequately visualize the results for a human user. This thesis is an interdisciplinary work in the field of vector field visualization and the field of pattern recognition. A vector field can be best imagined as an area or a volume containing a lot of arrows. The direction of the arrow describes the direction of a flow or force at the point where it starts and the length its velocity or strength. This builds a bridge to vector field visualization, because drawing these arrows is one of the fundamental techniques to illustrate a vector field. The main challenge of vector field visualization is to decide which of them should be drawn. If you do not draw enough arrows, you may miss the feature you are interested in. If you draw too many arrows, your image will be black all over. We assume that the user is interested in a certain feature of the vector field: a certain pattern. To prevent clutter and occlusion of the interesting parts, we first look for this pattern and then apply a visualization that emphasizes its occurrences. In general, the user wants to find all instances of the interesting pattern, no matter if they are smaller or bigger, weaker or stronger or oriented in some other direction than his reference input pattern. But looking for all these transformed versions would take far too long. That is why, we look for an algorithm that detects the occurrences of the pattern independent from these transformations. In the second part of this thesis, we work with moment invariants. Moments are the projections of a function to a function space basis. In order to compare the functions, it is sufficient to compare their moments. Normalization is the act of transforming a function into a predefined standard position. Moment invariants are characteristic numbers like fingerprints that are constructed from moments and do not change under certain transformations. They can be produced by normalization, because if all the functions are in one standard position, their prior position has no influence on their normalized moments. With this technique, we were able to solve the pattern detection task for 2D and 3D flow fields by mathematically proving the invariance of the moments with respect to translation, rotation, and scaling. In practical applications, this invariance is disturbed by the discretization. We applied our method to several analytic and real world data sets and showed that it works on discrete fields in a robust way.

In the area of steering behaviours of autonomous agents and crowd simulations, there is a plethora of methods for executing the simulations. A very hard-to-achieve goal of crowd simulations is to make them seem natural and accurately reflect real-life crowds. A very important criterion for this goal is to have the agents avoid collisions, both with each other and with the environment. A less important, but important nonetheless, criterion is to not let the time taken or distance covered to reach the goal in the simulation be too high, compared with when not implementing collision avoidance. This paper proposes and explores a novel method of enhancing vector field-based steering with rule-based deviations to implement collision avoidance. This method is called ’DevVec’ (’Deviation + Vector Field steering’). The rules which are used for the deviations are extracted from a user survey, and they describe what the agent should do in different collision avoidance scenarios. The viability of DevVec is tested by comparing it with another already established method, called ’Gradient-based Steering’, in terms of fulfilling the criteria mentioned above. Both methods are used to simulate pedestrians moving throughout different scenes. The results suggest that DevVec has potential, but would require additional time and resources, and perhaps a few changes in future works to be presented in its best possible version. / Inom ämnesområdet för styrbeteenden hos autonoma agenter och simuleringar av folkmassor finns det många metoder för att framställa dessa simuleringar. Ett väldigt svåruppnåeligt mål för denna typ av simuleringar är få dem att verka naturliga och verklighetstrogna. Ett viktigt kriterie för detta mål är att få agenterna att undvika kollisioner, både med varandra och med den kringliggande omgivningen. Ett mindre viktigt, men viktigt oavsett, kriterie är att inte låta en agent ta för lång tid eller gå för långt för att nå sitt mål i simuleringen, i jämförelse med när de inte försöka undvika hinder. Denna studie presenterar och utforskar en ny metod som utökar en vektorfältsbaserat styralgoritm med regelbaserade avvikelser för att ta hänsyn till att undvika kollisioner. Denna nya metod kallas för ’DevVec’ (’Deviation + Vector Field steering’). Reglerna som används för avvikelserna är framtagna från en enkät, och de beskriver vad en agent borde göra vid olika kollision-scenarion. Användbarheten av DevVec prövas genom att jämföra den med en redan etablerad metod som kallas för ’Gradientbaserad styrning’, med avseende på de ovan nämnda kriterierna. Båda metoderna används för att simulera fotgängare i olika omgivningar. Resultaten antyder att DevVec har potential, men att det krävs ytterligare tid och resurser, och troligtvis några ändringar i framtiden för att framställa den bästa möjliga versionen.

The first aim of this PhD Thesis is devoted to the study of geodesic distances defined on a subdomain of a Carnot group, which are bounded both from above and from below by fixed multiples of the Carnot–Carathéodory distance. Then one shows that the uniform convergence, on compact sets, of these distances can be equivalently characterized in terms of Gamma-convergence of several kinds of variational problems. Moreover, it investigates the relation between the class of intrinsic distances, their metric derivatives and the sub-Finsler convex metrics defined on the horizontal bundle. The second purpose is to obtain the integral representation of some classes of local functionals, depending on a family of vector fields, that satisfy a weak structure assumption. These functionals are defined on degenerate Sobolev spaces and they are assumed to be not translations-invariant. Then one proves some Gamma-compactness results with respect to both the strong topology of L^p and the strong topology of degenerate Sobolev spaces.

[pt] Arnold no seu trabalho The asymptotic Hopf Invariant and its applications de 1986, considerou sobre um domínio (ômega maiúsculo) compacto de R3 com bordo suave e homología trivial campos X e Y de divergência nula e tangentes ao bordo de (ômega maiúsculo) e definiu o índice de enlaçamento assintótico lk(X; Y ) e o invariante de Hopf associados a X e Y pela integral I(X; Y ) igual a (integral em ômega maiúsculo de alfa produto d-beta), onde (d-alfa) igual a iX-vol e (d-beta) igual a iy-vol, e mostrou que I(X; Y ) igual a lk(X; Y ). Agora, no presente trabalho estenderemos estas definições de índices de enlaçamento assintótico lk(fi maiúsculo,xi maiúsculo) e de invariante de Hopf I(fi maiúsculo,xi maiúsculo), onde (fi maiúsculo) e (xi maiúsculo) são ações de Rk e de Rs, k mais s igual a n-1, respectivamente de difeomorfismos que preservam volume em (ômega maiúsculo n) a bola unitária fechada em Rn e mostraremos que lk (fi maiúsculo, xi maiúsculo) igual a I(fi maiúsculo,xi maiúsculo). / [en] V.I. Arnold, in his paper The algebraic Hopf invariant and its applications published in 1986, considered a compact domain (ômega maiúsculo) in R3 with a smooth boundary and trivial homology and two divergence free vector fields X and Y in (ômega maiúsculo) tangent to the boundary. He defined an asymptotic linking invariant lk(X; Y ) and a Hopf invariant associated to X and Y by the integral I(X; Y ) equal (integral em ômega maiúsculo de alfa produto d-beta) where (d-alfa) equal iX-vol e (d-beta) equal iy- vol. He showed that que I(X; Y ) equal lk(X; Y ). In the present work we extend these definitions of the asymptotic linking invariant lk(fi capital letter,xi capital letter) and the Hopf invariant I(fi maiúsculo,xi capital letter) where (fi capital letter) and (xi capital letter) are actions Rk and Rs, k plus s equal n-1 by volume preserving diffeomorphisms, on the closed unit ball (ômega capital letter n) in and we show lk (fi capital letter, xi capital lette r equal I(ficapital letter ,xi capital letter).

Submitted by Franciele Moreira (francielemoreyra@gmail.com) on 2018-03-28T11:58:56Z No. of bitstreams: 2 Dissertação - Jeferson Arley Poveda Contreras - 2018.pdf: 763599 bytes, checksum: 6800571168e0aa9de85d151e4c912725 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-03-29T11:29:24Z (GMT) No. of bitstreams: 2 Dissertação - Jeferson Arley Poveda Contreras - 2018.pdf: 763599 bytes, checksum: 6800571168e0aa9de85d151e4c912725 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-03-29T11:29:24Z (GMT). No. of bitstreams: 2 Dissertação - Jeferson Arley Poveda Contreras - 2018.pdf: 763599 bytes, checksum: 6800571168e0aa9de85d151e4c912725 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-03-07 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / The goal of this work is study limit cycles of piecewise smooth vector fields. First, we present the basic theory, passing through the areas of analysis, qualitative theory of differential equations and algebra. We also present basic concepts of Filippov fields, which are indispensable for the study of piecewise smooth fields. In chapter one, was the main topic, a general method for finding limit cycles will be described; in the second chapter limit cycles are found in a piecewise smooth vector field with non-degenerate center being perturbed by a piecewise polynomial vector field. In the fourth chapter, we study limit cycles in piecewise smooth Hamiltonian fields. / O objetivo deste trabalho é estudar ciclos limite de campos de vetores suaves por parte. Primeiro apresentaremos a teoria básica, passando pelas áreas de análise, teoria qualitativa das equações diferenciais e álgebra. Apresentamos também conceitos básicos de campos de Filippov, os quais são imprescindíveis para o estudo dos campos suaves por partes. No capítulo dos, como tópico principal, será descrito um método geral para encontrar ciclos limite; no segundo três são encontrados ciclos limites em um campo de vetores suave por partes com um centro não degenerado sendo perturbado por um polinômio. No quarto capitulo estudaremos os ciclos limites de campos de vetores Hamiltonianos por parte.

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-03-12Bitstream added on 2014-06-13T19:06:40Z : No. of bitstreams: 1 cardin_pt_me_sjrp.pdf: 780321 bytes, checksum: 2c76fcd2cf98ce623cf8bc779edb3379 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Nesta dissertação estudamos critérios para determinar a existência, a não existência e a unicidade de ciclos limites de campos de vetores planares. Mais especificamente, estudamos equações de Lienard Äx + f(x; _ x) _ x + g(x) = 0; onde f e g satisfazem determinadas hip¶oteses. Em particular estudamos a equa»c~ao de van der Pol Äx + (x2 ¡ 1) _ x + x = 0; a qual é conhecida da teoria dos circuitos elétricos. Provamos a existência e a unicidade de ciclos limites para estas equações. Por fim estudamos a equação de van der Pol com o parâmetro 1 e o fenômeno canard que ocorre ao considerarmos um parâmetro adicional ®: As técnicas utilizadas s~ao as usuais de Análise Assintótica. / In this work we study the existence, the non existence and the uniqueness of limit cycles of planar vector felds. More specifically, we study Lienard equations Äx+f(x; _ x) _ x+g(x) = 0; where f and g satisfy some hypothesis. In particular we study the van der Pol equation Äx + (x2 ¡ 1) _ x + x = 0; which is knew of the circuit theory. We prove the existence and the uniqueness of limit cycles for these equations. In the last part we study the van der Pol equation with the parameter 1 and the canard phenomenon which appears when we consider an additional parameter ®: The techniques employed are the usual in the Asymptotic Analysis.

This dissertation deals with customised image analysis tools in cancer research. In the field of biomedical sciences, mathematical imaging has become crucial in order to account for advancements in technical equipment and data storage by sound mathematical methods that can process and analyse imaging data in an automated way. This thesis contributes to the development of such mathematically sound imaging models in four ways: (i) automated cell segmentation and tracking. In cancer drug development, time-lapse light microscopy experiments are conducted for performance validation. The aim is to monitor behaviour of cells in cultures that have previously been treated with chemotherapy drugs, since atypical duration and outcome of mitosis, the process of cell division, can be an indicator of successfully working drugs. As an imaging modality we focus on phase contrast microscopy, hence avoiding phototoxicity and influence on cell behaviour. As a drawback, the common halo- and shade-off effect impede image analysis. We present a novel workflow uniting both automated mitotic cell detection with the Hough transform and subsequent cell tracking by a tailor-made level-set method in order to obtain statistics on length of mitosis and cell fates. The proposed image analysis pipeline is deployed in a MATLAB software package called MitosisAnalyser. For the detection of mitotic cells we use the circular Hough transform. This concept is investigated further in the framework of image regularisation in the general context of imaging inverse problems, in which circular objects should be enhanced, (ii) exploiting sparsity of first-order derivatives in combination with the linear circular Hough transform operation. Furthermore, (iii) we present a new unified higher-order derivative-type regularisation functional enforcing sparsity of a vector field related to an image to be reconstructed using curl, divergence and shear operators. The model is able to interpolate between well-known regularisers such as total generalised variation and infimal convolution total variation. Finally, (iv) we demonstrate how we can learn sparsity promoting parametrised regularisers via quotient minimisation, which can be motivated by generalised Eigenproblems. Learning approaches have recently become very popular in the field of inverse problems. However, the majority aims at fitting models to favourable training data, whereas we incorporate knowledge about both fit and misfit data. We present results resembling behaviour of well-established derivative-based sparse regularisers, introduce novel families of non-derivative-based regularisers and extend this framework to classification problems.

Submitted by isabela.moljf@hotmail.com (isabela.moljf@hotmail.com) on 2016-08-15T14:53:56Z No. of bitstreams: 1 hugorolandojachohancco.pdf: 1087180 bytes, checksum: 30f544acc78e47c2892563f8ab257478 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-08-19T14:01:42Z (GMT) No. of bitstreams: 1 hugorolandojachohancco.pdf: 1087180 bytes, checksum: 30f544acc78e47c2892563f8ab257478 (MD5) / Made available in DSpace on 2016-08-19T14:01:42Z (GMT). No. of bitstreams: 1 hugorolandojachohancco.pdf: 1087180 bytes, checksum: 30f544acc78e47c2892563f8ab257478 (MD5) Previous issue date: 2016-07-18 / Consideramos os campos vetoriais C1 sobre uma variedade riemanniana compacta, sem bordo, de dimensão finita n, com n ≥3. Uma classe homoclínica de um campo vetorial é o fecho de conjunto de pontos homoclínicos transversais associados com uma órbita periódica hiperbólica. Neste trabalho, provamos que as classes homoclínicas para um conjunto residual de campos vetoriais C1 são conjuntos neutrais, mais ainda, a classe homoclínica é a intersecção dos fechos do conjunto estável e o conjunto instável. Como consequencia das propriedades do conjuntos neutrais, provamos as propriedades genéricas das classes homoclínicas. Assim, provamos que as classes homoclínicas de campos vetoriais C1-genérico X são conjuntos transitivos maximais, saturados e que dependem continuamente da órbita periódica. Também provamos que uma classe homoclínica de X não apresentam ciclos de X formados por classes homoclínicas de X. Além disso, uma classe homoclínica de X é isolado se, e somente se, é Ω-isolado. Mais ainda, é isolado, se a classe homoclínica é hiperbólica. Todas estas propriedades são bem conhecidos para campos vetoriais estruturalmente estáveis e Axioma A. / We consider the vector fields C1 on a compact Riemannian manifold, boundaryless of finite dimension n, with n ≥3. A homoclinic class of a vector field is the closure of the set transverse homoclinic point associated with a hyperbolic periodic orbit. In this work, we prove that the homoclinic classes for a residual set of vector fields C1, are neutral sets, moreover, the homoclinic class is the intersection of the closure the stable set and unstable set. As a consequence of the properties of the neutral sets, we prove the generic properties of homoclinic classes. Thus, we proved that in the homoclinic classes of generic C1 vector fields X are maximal transitive sets, saturated and depend continuously on the periodic orbit. We also proved that a homoclinic class X, does not exhibit cycles of X formed by homoclinic class of X. Furthermore, homoclinic class X is isolated if it only if it is Ω-isolated. But still, it is isolated, the homoclinic class is hyperbolic. All these properties are well known to structurally stable vector fields and Axiom A.