Orientador : Alexandre Xavier Falcão / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-28T19:58:39Z (GMT). No. of bitstreams: 1 Cunha_BrunoSantosda_M.pdf: 6812183 bytes, checksum: 0d97298986902b62c8b3a8b313835b23 (MD5) Previous issue date: 2001 / Resumo: Diversos problemas em processamento e análise de imagens podem ser abordados como um problema de particionamento ótimo de uma imagem baseado em pixels sementes. A transformada imagem-floresta (1FT) se propõe a resolver tais problemas de maneira unificada e eficiente, a partir do cálculo de florestas de caminhos mínimos. Podendo ser considerada uma generalização de trabalhos voltados para a segmentação de imagens baseada em bordas, a 1FT já foi utilizada para segmentação baseada em regiões, cálculo de linhas divisoras de águas e cálculo de transformadas de distância, inclusive baseadas na métrica Euclideana. Neste trabalho acrescentamos novos operadores ao contexto da 1FT, como métodos de segmentação de imagens baseada em conexidade fuzzy, geração de esqueletos multi­escala e operadores conexos. Realizamos comparações qualitativas e quantitativas com outros operadores descritos na literatura, além de apresentar exemplos de aplicações em imagens médicas e em vídeo digital. Exploramos também algumas questões de cunho teórico, como provas de corretude, análises de complexidades computacionais e garantias de qualidade do resultado de alguns métodos / Abstract: In image processing and analysis, many problems can be thought of as an optimal image partition problem based on seed pixels, where each seed defines an influence zone compo­sed by its "closest" pixels. The image foresting transform (1FT) is a unified and efficient approach to solve these problems, by reducing them into a shortest-path forest problem in a graph. It is an extension of previous works on boundary-based image segmenta­tion methods, and it has already been used to design operators for region-based image segmentation, watershed transform and Euclidean distance transformo In this work we add new image processing operators to the 1FT framework, like image segmentation based on fuzzy connectedness, multiscale skeletons and connected operators. We make qualitative and quantitative comparisons with other operators described in the literature, and present some examples in medical imaging and digital video. We also explore some theoretical aspects, such as correctness proofs, complexity analysis and quality assurances of the results of some operators / Mestrado / Mestre em Ciência da Computação

In this thesis we present the deformation theory of Lie groupoid morphisms, Lie subgroupoids and symplectic groupoids. The corresponding deformation complexes governing such deformations are defined and used to investigate a Moser argument in each of these contexts. We also apply this theory to the case of Lie group morphisms and Lie subgroups, obtaining rigidity results of these structures. Moreover, in the case of symplectic groupoids, we define a map between the differentiable and deformation cohomology of the underlying groupoid, which is regarded as the global counterpart of a map $i$ defined by Crainic and Moerdijk (2004) which relates the (Poisson) cohomology of the Poisson structure on the base $M$ of the groupoid to the deformation cohomology of the Lie algebroid $T^{*}M$ associated to it. / Nesta tese apresentamos a teoria de deformação de morfismos de grupoides de Lie, subgrupoides de Lie e grupoides simpléticos, definimos os correspondentes complexos de deformação que controlam as deformações destas estruturas, e usamos estes complexos para desenvolver o argumento de Moser em cada um destes contextos. Também aplicamos esta teoria ao caso de morfismos de grupos de Lie e subgrupos de Lie obtendo resultados de rigidez de tais estruturas. Ademais, no caso de grupoides simpléticos, definimos uma função entre a cohomologia diferenciável e a cohomologia de deformação do grupoide, que é interpretada como o análogo global da aplicação $i$ definida por Crainic e Moerdijk (2004) que relaciona a cohomologia de Poisson da estrutura de Poisson induzida na base $M$ do grupoide com a cohomologia de deformação do algebroide de Lie $T^{*}M$ associado à estrutura de Poisson.

Nesta tese estudamos o conceito de grau de um morfismo irredutível em ${m mod}A$ relacionado ao conceito de teoria de partições pós-projetiva e pré-injetiva de uma álgebra de artin $A$. Introduzimos o conceito de grau de um morfismo irredutível em relação a uma categoria ${\\mathfrak D}$ de ${m ind}A$ e estudamos o caso em que ${\\mathfrak D}$ é um elemento da partição ${\\bf P_0}, \\cdots, {\\bf P_{\\infty}}$. Dentro do contexto de grau de um irredutível em relação a uma subcategoria resolvemos um problema proposto por Chaio, Le meur e Trepode em \\cite. Utilizando as partições pós-projetiva e pré-injetiva obtemos outra demonstração para a caracterização de álgebras de tipo finito obtida em \\cite e obtemos uma caracterização semelhante para subcategorias de módulos $\\Delta$-bons de tipo finito de ${m mod}A$ tal que $A$ é uma álgebra quasi-hereditária. Também utilizamos a teoria de partições para provar que, dada uma álgebra quasi-hereditária $A$ e ${\\cal F}(\\Delta) \\subseteq {m mod}A$, se $({m rad}_{\\Delta}^{\\infty})^2=0$ então ${\\cal F}(\\Delta)$ é de tipo finito. / In this thesis we analyse the concept of the degree of an irreducible morphism associated to the theory of postprojective and preinjective partitions. We introduce the idea of the degree of an irreducible morphism with respect to a subcategory ${\\mathfrak D}$ and we study the case in which ${\\mathfrak D}$ is an element of the postprojective partition ${\\bf P_0}, \\cdots, {\\bf P_{\\infty}}$. By using the concept of the degree of an irreducible morphism with respect to a subcategory ${\\mathfrak D}$ we present a solution to a problem recently proposed by Chaio, Le Meur and Trepode in \\cite. We also use the theory of postprojective and preprojective partitions to give another proof to the characterization of finite type algebras obtained by Chaio and Liu in \\cite and we apply similar techniques to obtain a characterization of finite type ${\\cal F}(\\Delta)$ subcategories where ${\\cal F}(\\Delta)$ is the subcategory of $\\Delta$-good modules of the category of finitely generated modules over a quasi-hereditary algebra. We also prove that given a quasi-hereditary algebra $A$ and ${\\cal F}(\\Delta) \\subseteq {m mod}A$, if $({m rad}_{\\Delta}^{\\infty})^2=0$ then ${\\cal F}(\\Delta)$ is of finite type.

Nesta tese estudamos o conceito de grau de um morfismo irredutível em ${m mod}A$ relacionado ao conceito de teoria de partições pós-projetiva e pré-injetiva de uma álgebra de artin $A$. Introduzimos o conceito de grau de um morfismo irredutível em relação a uma categoria ${\\mathfrak D}$ de ${m ind}A$ e estudamos o caso em que ${\\mathfrak D}$ é um elemento da partição ${\\bf P_0}, \\cdots, {\\bf P_{\\infty}}$. Dentro do contexto de grau de um irredutível em relação a uma subcategoria resolvemos um problema proposto por Chaio, Le meur e Trepode em \\cite. Utilizando as partições pós-projetiva e pré-injetiva obtemos outra demonstração para a caracterização de álgebras de tipo finito obtida em \\cite e obtemos uma caracterização semelhante para subcategorias de módulos $\\Delta$-bons de tipo finito de ${m mod}A$ tal que $A$ é uma álgebra quasi-hereditária. Também utilizamos a teoria de partições para provar que, dada uma álgebra quasi-hereditária $A$ e ${\\cal F}(\\Delta) \\subseteq {m mod}A$, se $({m rad}_{\\Delta}^{\\infty})^2=0$ então ${\\cal F}(\\Delta)$ é de tipo finito. / In this thesis we analyse the concept of the degree of an irreducible morphism associated to the theory of postprojective and preinjective partitions. We introduce the idea of the degree of an irreducible morphism with respect to a subcategory ${\\mathfrak D}$ and we study the case in which ${\\mathfrak D}$ is an element of the postprojective partition ${\\bf P_0}, \\cdots, {\\bf P_{\\infty}}$. By using the concept of the degree of an irreducible morphism with respect to a subcategory ${\\mathfrak D}$ we present a solution to a problem recently proposed by Chaio, Le Meur and Trepode in \\cite. We also use the theory of postprojective and preprojective partitions to give another proof to the characterization of finite type algebras obtained by Chaio and Liu in \\cite and we apply similar techniques to obtain a characterization of finite type ${\\cal F}(\\Delta)$ subcategories where ${\\cal F}(\\Delta)$ is the subcategory of $\\Delta$-good modules of the category of finitely generated modules over a quasi-hereditary algebra. We also prove that given a quasi-hereditary algebra $A$ and ${\\cal F}(\\Delta) \\subseteq {m mod}A$, if $({m rad}_{\\Delta}^{\\infty})^2=0$ then ${\\cal F}(\\Delta)$ is of finite type.

El objetivo de la tesis es el calculo efectivo de la monodromía geométrica y en el grupo fundamental, de familias de superficies de Riemann compactas conexas (curvas algebraicas complejas) de género 4. Este estudio se extiende a otros desarrollados hasta la fecha en los marcos de la Geometría Algebraica, Topología Diferencial y Simpléctica, que estudian esta monodromía geométrica y en el grupo fundamental para familias de superficies de Riemann de hasta género 2, usando la estructura elíptica/hiperelíptica de tales familias. El salto de género 2 a género 4 se realiza para aprovechar la estructura trigonal (de recubrimiento triple de la esfera de Riemann) que tienen las curvas en género 4. Tal curva genérica tiene dos estructuras trigonales, en una familia genérica se puede hacer un cambio de base 2:1 para conseguir pegar las estructuras de recubrimiento trigonal de las fibras y obtener una familia de recubrimientos trigonales de la esfera de Riemann. El recubrimiento trigonal genérico para curvas de género 4 tiene 12 puntos de ramificación simple. Esto significa, en una familia de recubrimientos trigonales hay un divisor de grado relativo 12 en la familia de esferas de Riemann recubiertas, denominado divisor de ramificación, tal que la monodromía de trenzas de este divisor determina la monodromía geométrica y en el grupo fundamental de la familia. El resultado teórico principal de esta memoria es la construcción de una familia universal de curvas trigonales de género 4, bajo el esquema de recubrimientos trigonales de Hurwitz, pero de dimensión más reducida, monodromía geométrica calculable, y que mantiene una propiedad de universalidad topológica: toda familia de recubrimientos trigonales de género 4 se obtiene por pullback de una aplicación de la base a la de esta familia universal, más deformación. Completa el resultado teórico principal el cálculo de la monodromía geométrica y en el grupo fundamental de esta familia. Este cálculo se hace siguiendo la monodromía de trenzas del divisor de ramificación de la familia, y levantando esta monodromía de las esferas de Riemann a sus cubiertas triples. El cálculo de la monodromía en el grupo fundamental de la familia no ha podido ser completado desde el punto de vista lógico, debido a una conjetura sobre el estabilizador de una acción del grupo de trenzas en el esquema de Hurwitz de cubiertas triples. Sin embargo, los cálculos realizados permanecen válidos sea cual sea la respuesta; en caso de ser cierta implica que el cálculo realizado es toda la monodromía de la familia universal y lo contrario significaría que hay que añadir algunos cálculos de monodromía análogos a los aquí realizados. Los resultados teóricos de la tesis se completan con trabajo de computación para realizar cálculos efectivos de monodromía geométrica en el grupo fundamental en las familias de curvas de género 4. Primero, se desarrolla una librería de funciones para el programa Singular que hallan la estructura trigonal de curvas de género 4 a partir de su ecuación canónica y con la ayuda de un cálculo auxiliar en Pari-GP, determinan el divisor de ramificación relativo de una familia de curvas de género 4 canónicas (no hiperelípticas). En la tesis se aplica esta librería al cálculo de estructuras trigonales y divisores de ramificación en familias de curvas de género 4, tanto ejemplos académicos como familias de interés geométrico: - la familia de curvas de género 4 que describe un pincel de Lefschetz en la superficie K3 de género 4 (cuya monodromía geométrica es necesaria para demostrar la versión de Paul Seidel de la conjetura de la 'Mirror Symmetry'), - una familia de curvas de género 4 deformación de la curva de Bring (la única curva de género 4 que tiene grupo de simetrías de orden 5). Segundo, se desarrolla una librería de funciones para el programa MATLAB que calculan la monodromía de trenzas de un divisor en C^2. Este cálculo se inicia en la integración de un sistema de ecuaciones diferenciales ordinarias a valores complejos, que sigue la evolución de las ramas del divisor, para el que se ha desarrollado un integrador numérico de paso variable combinando un método de Runge-Kutta con el uso de la ecuación del divisor como integral primera de las soluciones para el control del paso. Este sistema de ecuaciones se integra sobre un sistema de generadores del grupo fundamental de la base obtenido a partir de una descomposición celular de Voronoi asociada a los valores de ramificación de la familia, y finalmente se identifica la monodromía de trenzas a partir del análisis de la posición de las ramas del divisor a lo largo de los caminos escogidos en la base. Esta librería funciona correctamente para divisores de grados hasta 6-8 en el plano. Se ilustra en la tesis mediante su aplicación a ejemplos académicos, completa con representación e identificación de las monodromías de trenzas en estos ejemplos. / The objetive of the thesis is the actual calculation of the geometric monodromy and the fundamental group of families of related compact Riemann surfaces (complex algebraic curves) of genus 4. This study extends to other developed so far within the framework of algebraic geometry, differential and symplectic topology, studying this geometric monodromy and fundamental group for families of Riemann surfaces of genus 2, using the elliptical structure / hyperelliptic of such families. The jump from genre 2 to genre 4 is performed to take advantage of the trigonal structure (triple coating of the Riemann sphere) with the curves in genus 4. Such a generic curve has two trigonal structures in a generic family can make a base change 2:1 to get hit trigonal structures coating the fibers and obtain a family of trigonal coverings of the Riemann sphere. The coating generic trigonal curves of genus 4 has 12 simple branch points. This means, in a family of trigonal coverings is a divisor of relative degree 12 in the family of Riemann spheres coated, called branching divisor, such that the braid monodromy of this divisor determines the geometric monodromy on the fundamental group of family. The main theoretical result of this report is to construct a universal family of trigonal curves of genus 4, under the scheme trigonal Hurwitz coatings, but smaller scale, geometric monodromy calculable, and maintains a topological property of universality: all family of coatings gender trigonal 4 is obtained by pullback of an application to the base of this universal family, the more distortion. Complete the main theoretical result calculating the geometric monodromy and the fundamental group of this family. This calculation is made following the braid monodromy of the branch divisor of the family, and raising the monodromy of the Riemann spheres of their triple decks. The calculation of the monodromy on the fundamental group of the family has not been completed from the logical point of view, due to a conjecture about the stabilizer of a braid group action in the Hurwitz scheme covers triples. However, the calculations remain valid whatever the answer should be true implies that the calculation is all the monodromy of the universal family and it would mean we must add some monodromy calculations similar to those made here. The theoretical results of the thesis is completed with computer work for geometric monodromy effective calculations in the fundamental group in families of curves of genus 4. First, we developed a library of functions for the program Singular which are the structure of trigonal curves of genus 4 from its canonical equation and with the help of an auxiliary calculation Pari-GP, determine the relative branching divisor of a family of canonical curves of genus 4 (not hyperelliptic). The thesis applies this library to the trigonal structure calculation and branching divisors in families of curves of genus 4, both academic and family examples of geometric interest: - The family of curves of genus 4 which describes a Lefschetz brush on the surface K3 genus 4 (whose geometric monodromy is needed to prove Paul Seidel version of the conjecture of the 'Mirror Symmetry') - A family of curves of genus 4 curve deformation Bring (the only curve of genus 4 having symmetry group of order 5). Second, develop a library of functions for the MATLAB program to compute the braid monodromy of a divisor in C ^ 2. This calculation starts on the integration of a system of ordinary differential equations with complex values, which follows the evolution of the branches of the splitter, for which we have developed a numerical integrator by combining a variable step Runge-Kutta method with the equation using the first integral divisor of solutions for pitch control. This system of equations is integrated on a system of generators of the fundamental group of the base obtained from a Voronoi cell decomposition associated with the values of branching of the family, and finally identifies the braid monodromy from the analysis of the position of the branches of the divider along the paths chosen in the base. This library works well for divisors up to 6-8 degrees in the plane. The thesis is illustrated by application to academic examples, complete with representation and identification of the braid monodromy in these examples

Não informado. / No presente trabalho fazemos um estudo sobre transformações geométricas no plano, explorando características geométricas e algébricas. A relação entre a geometria e a álgebra é responsável por extraordinários progressos na matemática e suas aplicações. Nosso objetivo inicial é apresentar algumas das principais transformações geométricas, a exemplo das Homotetias, das Translações, de Cisalhamentos, das Simetrias, das Rotações, das Re exões, das Isometrias, etc., de forma intuitiva e ilustrando com exemplos simples. Em seguida exploramos características algébricas elementares que permitem tratar e generalizar o estudo de transformações. Apresentamos ainda os conceitos de Mor smos e Deformações de imagens utilizando noções, por exemplo, como Combinação Linear Convexa.