Dissertations / Theses on the topic 'Homomorfismos'

Homomorfismos de grafos são funções do conjunto de vértices de um grafo no conjunto de vértices de outro grafo que preservam adjacências. O estudo de homomorfismos de grafos é bastante abrangente, existindo muitas linhas de pesquisa sobre esse tópico. Nesta dissertação, apresentaremos resultados sobre homomorfismos de grafos relacionados a pseudo-aleatoriedade, convergência de seqüência de grafos e matrizes de conexão de invariantes de grafos. Esta linha tem se mostrado muito rica, não apenas pelos seus resultados, como também pelas técnicas utilizadas nas demonstrações. Em especial, destacamos a diversidade das ferramentas matemáticas que são usadas, que incluem resultados clássicos de álgebra, probabilidade e análise.
Graph homomorphisms are functions from the vertex set of a graph to the vertex set of another graph that preserve adjacencies. The study of graph homomorphisms is very broad, and there are several lines of research about this topic. In this dissertation, we present results about graph homomorphisms related to convergence of graph sequences and connection matrices of graph parameters. This line of research has been proved to be very rich, not only for its results, but also for the proof techniques. In particular, we highlight the diversity of mathematical tools used, including classical results from Algebra, Probability and Analysis.

Made available in DSpace on 2015-05-15T11:46:25Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 450936 bytes, checksum: 7e53189000f5416171ee58a4623b8aa6 (MD5) Previous issue date: 2010-02-09
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
Bertholf and Walls provided a characterization for the class of groups quasi-injective finite. Furthermore, Juriaans, Bastos Azevedo and give a rating for the injective type groups, which are a distinct class of the former despite being quite close.
Bertholf e Walls forneceram uma caracterização para a classe de grupos quasi-injetivos finitos. Além disso, Juriaans, Bastos e Azevedo dão uma classificação para os grupos do tipo injetivo, os quais são uma classe distinta da anterior apesar de serem bastante próximas.

O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a técnica de single-pushout). Este trabalho propõe uma abordagem diferente: a parcialidade é usada na estrutura interna dos objetos (não nos morfismos).Istoéfeito utilizando uma extensão do conceito de Categoria das Setas, chamada de Categoria das Setas Parciais. E definida entãoa categoria Grp de grafos parciais(tais que arcos podem possuir ou não vértices de origem e/ou destino) e homomorfismos totais.A generalização deste modelo resulta em categorias de grafos parciais internos.Émostrado que Grp é bicompleta e, se C é um topos, a categoria dos grafos parciais internos a C é cocompleta. Grafos parciais podem ser utilizados para definir modelos computacionais tais como autômatos. Uma categoria de Autômatos Parciais, denominada Autp, é construída a partir da categoria de Grafos Parciais. Usando uma extensão de composição de spans de grafos para autômatos, chamada de Composição de Transições, e possível definir as computações de autômatos. Brevemente, uma composição de transi cões de dois autômatos parciais resulta em um autômato parcial onde cada transição representa um caminho de tamanho dois (entre vértices), tal que a primeira metade é uma transição do primeiro autômato e a segunda metade é uma transição do segundo. É possível compor um autômato consigo mesmo diversas vezes; no caso de n sucessivas composições de transições, pode-se obter as palavras da linguagem aceita pelo autômato que necessitam de n+1 passos de computação nos arcos que não possuem origem e nem destino definidos do autômato parcial resultante.

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-02-26Bitstream added on 2014-06-13T19:26:01Z : No. of bitstreams: 1 benedito_cwo_me_sjrp.pdf: 1004485 bytes, checksum: fd9cc4cec014a6fbfc619f640e7f98b5 (MD5)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Neste trabalho é feito um estudo sobre famílias de reticulados algébricos e reticulados ideais. Nosso principal objetivo é a construção de reticulados que são versões rotacioanadas de reticulados já conhecidos na literatura. Deste modo, apresentamos construções obtidas via polinômios, via perturbações do homomorfismo canônico e, também, construções ciclotômicas a partir fo reticulado Zn.
This work presents a study of algebraic and families of ideal lattices. Our main goal is the construction of lattices which are rotated versions of known lattices in the literature. In this way, we present constructions obtained via polynomials, via pertubations of the canonical homomorphism, and also cyclotomic construction from the lattice Zn.

Cuando encontrar la respuesta exacta a una consulta sobre una base de datos muy grande es intratable, es natural aproximar la consulta por otra más eficiente que pertenezca a una clase con buenas cotas en la complejidad de evaluación de consultas. En esta tesis estudiamos tales aproximaciones para consultas conjuntivas. Estas consultas son de especial interés en base de datos, y además sabemos muy bien qué clases de consultas admiten una evaluación eficiente, como las consultas acíclicas, o las de (hyper)treewidth acotado. Definimos una aproximación a una consulta Q como una consulta de una de esas clases que discrepa con Q lo menos posible. Nos concentramos en aproximaciones que siempre entregan respuestas correctas. Probamos que para las clases tratables de consultas conjuntivas mencionadas anteriormente, siempre existen aproximaciones y sus tamaños son a lo más polinomiales en el tamaño de la consulta original. Esto se sigue de resultados generales obtenidos que relacionan propiedades de clausura de clases de consultas conjuntivas con la existencia de aproximaciones. Además, probamos que en muchos casos el tamaño de la aproximación es a lo más el tamaño de la consulta original. Presentamos una serie de resultados sobre cómo ciertas propiedades combinatoriales de las consultas afectan a sus aproximaciones y estudiamos cotas en la cantidad de aproximaciones, al igual que la complejidad de encontrar e identificar aproximaciones. Finalmente, consideramos aproximaciones que entregan todas las respuestas correctas y estudiamos sus propiedades.

Orientador: Trajano Pires da Nóbrega Neto
Banca: Antonio Aparecido de Andrade
Banca: Jos'e Valter Lopes Nunes
Resumo: O propósito deste trabalho é estudar alguns corpos abelianos, mais especificamente, as extensões reais maximais contidas nos corpos ciclotômicos de grau 8 e, os subcorpos dos corpos ciclotômicos Q(ζ_7) e Q(ζ_17). Em tais corpos, determinamos base integral, discriminante, grupo de Galois e construimos submódulos de posto máximo do anel dos inteiros algébricos com sua respectiva representação geométrica. Além disso, calculamos a densidade de centro destes reticulados
Abstract: The purpose of this work is to investigate some Abelian Number Fields, especifically the maximal extension contained in the cyclotomic fields of degree 8, and the subfields of the cyclotomic fields Q(ζ7) and Q(ζ17). In such fields, we compute: integral bases, discriminant, Galois group and submoduli with maximal rank in the ring of algebraic integers, its geometrical realization with the respective center density
Mestre

Neste trabalho estudamos os homomorfismos entre anéis de polinômios do ponto de vista da teoria de bases de Groebner. Em particular, determinamos o núcleo de um tal homomorfismo e desenvolvemos um método para determinar quando este é sobrejetivo. Estes resultados são então generalizados para anéis quocientes. O estudo de tais homomorfismos nos permite determinar os polinômos minimais de elementos em extensões de corpos, bem como encontrar soluções para um problema de programação inteira.
In this work we study the homomorphisms between polynomial rings as an application of the Groebner basis theory. In particular, we determine generators for the kemel of such a homomorphism and we give a method to determine whether it is onto. We then generalize these results to the case of quocient rings. The study of these homomorphisms allows us to determine mini mal polynomials of elements in field extensions, as well as to find solutions to an integer programming problem.

Orientador: Antonio Aparecido de Andrade
Banca: Edson Donizete de Carvalho
Banca: Jéfferson Luiz Rocha Bastos
Resumo: Neste trabalho é feito um estudo sobre famílias de reticulados algébricos e reticulados ideais. Nosso principal objetivo é a construção de reticulados que são versões rotacioanadas de reticulados já conhecidos na literatura. Deste modo, apresentamos construções obtidas via polinômios, via perturbações do homomorfismo canônico e, também, construções ciclotômicas a partir fo reticulado Zn.
Abstract: This work presents a study of algebraic and families of ideal lattices. Our main goal is the construction of lattices which are rotated versions of known lattices in the literature. In this way, we present constructions obtained via polynomials, via pertubations of the canonical homomorphism, and also cyclotomic construction from the lattice Zn.
Mestre

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2017.
Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2017-06-20T21:15:09Z No. of bitstreams: 1 2017_BrunodeAssisDelboni.pdf: 1000608 bytes, checksum: 0c7c86de2221eca903edd2ffda11ee2c (MD5)
Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2017-08-17T15:39:39Z (GMT) No. of bitstreams: 1 2017_BrunodeAssisDelboni.pdf: 1000608 bytes, checksum: 0c7c86de2221eca903edd2ffda11ee2c (MD5)
Made available in DSpace on 2017-08-17T15:39:39Z (GMT). No. of bitstreams: 1 2017_BrunodeAssisDelboni.pdf: 1000608 bytes, checksum: 0c7c86de2221eca903edd2ffda11ee2c (MD5) Previous issue date: 2017-08-17
Esta dissertação tem como foco o estudo do problema de unificação módulo uma teoria equacional cuja assinatura contém um operador binário que satisfaz as identidades Associatividade, Comutatividade, Unidade e Nilpotência (ACUN), e que pode ou não conter um operador unário que satisfaz a identidade de homomorfismo (ACUNh), que é a teoria equacional do operador , amplamente utilizado em diversas ferramentas criptográficas, como MAUDE-NPA[10] que utiliza uma encriptação de grupos abelianos, incluindo ( ou exclusivo ), exponenciação e encriptação homomórfica. Primeiro apresentaremos alguns critérios para existência de soluções para problemas de ACUN(h)-unificação elementar com constantes que consiste em associar o problema de unificação à um sistema de equações lineares cujos coeficientes são elementos de ou , dependendo se o homomorfismo é ou não considerado. Segundo, apresentaremos um algoritmo para resolver problemas de ACUN(h)- unificação geral que retorna sempre um conjunto completo de unificadores. Finalmente, apresentaremos o estudo de um novo paradigma de unificação, a dizer, \emph{unificação assimétrica}, que consiste de obter unificadores de um problema de unificação com a propriedade de preservar formas normais do lado direito de cada equação de com relação a um sistema de reescrita convergente e coerente módulo uma teoria equacional . No caso particular da teoria equacional ACUN construiremos um algoritmo de conversão de ACUN-unificadores para ACUN-unificadores assimétricos.
This dissertation focuses on the study of unification problems modulo an equational theory whose signature contains a binary operator , which satisfies the identities of Associativity, Commutativity, Unity and Nilpotence (ACUN), and which may or not contain a unary operator satisfying the homomorphism identity (ACUNh), which is the equational theory for the operator XOR, Widely used on many cryptographic tools, like MAUDE[10], which uses group encryption, including XOR ( exclusive or ), exponentiation and homomorphic encryption. First we will present some criteria to the existence of solutions for elementary with constants ACUN(h)-unification problems which consist of associating a unification problem to a linear equation system whose coefficients are elements of or , depending one we are considering homomorphism or not. Second, we will present an algorithm to solve general ACUNh-unification problems which always returns a complete set of most general unifiers. Finally, we will present the study of a new unification paradigm, to say so, asymmetric unification, which consist of obtaining unifiers from the unification problem , with the property of preserving the normal form from of the right hand side of each equation in , considering a convergent and coherent rewriting system. In the particular case of the equational theory ACUN, we will also present an algorithm which takes as input ACUN-unifiers and outputs ACUN-asymmetric unifiers.

Made available in DSpace on 2016-06-02T20:28:23Z (GMT). No. of bitstreams: 1 DissJMSF.pdf: 422552 bytes, checksum: c20c12e4f0f65105291259179ff9dc32 (MD5) Previous issue date: 2003-06-23
Universidade Federal de Sao Carlos
The objective of this work is to detail and to analyze consequences of a recent paper of P. Pergher, which deals with the construction of an indexhomomorphism associated to spaces equipped with free actions of the cyclic group Zp. This index-homomorphism maps the equivariant homology Zp-module of a Zp-space into Zp, and it makes possible the obtention of some results of Borsuk-Ulam type, concerning the existence of equivariant maps connecting two given Zp-spaces.
O objetivo deste trabalho é detalhar e analisar as consequências de um recente pré-print de Pedro Pergher, o qual trata da construção de um homomorfismo-índice associado a espaços equipados com ações livres do grupo cíclico Zp. Este homomorfismo índice é definido no Zp-módulo de homologia equivariante do Zp-espaçoo em questão e assume valores em Zp, e o mesmo possibilita a obtenção de alguns resultados tipo Borsuk-Ulam, concernentes à existência de aplicações equivariantes conectando dois dados Zp-espaços.

Made available in DSpace on 2016-06-02T20:28:25Z (GMT). No. of bitstreams: 1 3472.pdf: 556467 bytes, checksum: 9a1d29831c48f69e64a4f9e93b7e8caa (MD5) Previous issue date: 2011-02-25
Universidade Federal de Minas Gerais
The main objective of this work is to generalize an article of Pedro Pergher, specifically the article A Zp - index homomorphism for Zp-spaces - Houston J. Math. - 31 - (2005) - N. 2 - 305-314 [7], replacing the cyclic group Zp by any finite abelian group. In his article, P. Pergher constructed an index-homomorphism associated to Zp-spaces, that is, topological spaces X equipped with free actions of the cyclic group Zp. This homomorphism has as domain the equivariant homology of X with Zp-coefficients, and Zp as target space. Our construction extends the construction of P. Pergher for arbitrary finite abelian groups G, in such a way that, similarly, our homomorphism has the equivariant homology of X with G-coefficients as domain, and G as target space. When restricted to G = Zp, our construction coincides with the Pergher index. It will be seen that our homomorphism allows achieving a Borsuk-Ulam result, concerning the existence of equivariant maps connecting two G-spaces subject to certain topological and homological conditions, when G has 2q elements with q odd. In the last chapter of the work, we detail a very recent result of Ikumitsu Nagasaki, Tomohiro Kawakami, Yasuhiro Hara and Fumihiro Ushitaki, which also proves our result of Borsuk-Ulam type above mentioned, using the Smith homology, and in such a way that all values of p are covered.
O principal objetivo deste trabalho é generalizar um artigo de Pedro Pergher, especificamente o artigo A Zp-índex homomorphism for Zp-spaces Houston J. Math. 31 (2005) N. 2 305-314 [7], trocando o grupo cíclico Zp por um abeliano finito qualquer. No artigo em questão, P. Pergher construiu um homomorfismo índice associado a Zp-espaços, ou seja, espaços topológicos X equipados com ações livres do grupo cíclico Zp. Tal homomorfismo tem como domínio a homologia equivariante de X com coeficientes em Zp, e tem valores em Zp. Nossa construção estende a construção de P. Pergher para grupos abelianos finitos arbitrários G, de tal sorte que, de maneira similar, nosso homomorfismo tem como domínio a homologia equivariante de X com coeficientes em G, e tem valores em G. Quando restrita a G = Zp, nossa construção coincide com a de P. Pergher. Será visto que tal homomorfismo possibilita a obtenção de um resultado tipo Borsuk-Ulam, concernente à existência de aplicações equivariantes conectando dois G-espaços submetidos à certas hipóteses topológicas e homológicas, quando o grupo G possui 2q elementos, com q ímpar. No último capítulo do trabalho, detalhamos um resultado muito recente de Ikumitsu Nagasaki, Tomohiro Kawakami, Yasuhiro Hara e Fumihiro Ushitaki, o qual também prova nosso resultado tipo Borsuk-Ulam acima citado, usando a homologia de Smith, e de tal sorte que todos os valores de p são cobertos.

Recentemente surgiram dispositivos sensores de profundidade capazes de capturar textura e geometria de uma cena em tempo real. Com isso, diversas técnicas de Visão Computacional, que antes eram aplicadas apenas a texturas, agora são passíveis de uma reformulação, visando o uso também da geometria. Ao mesmo tempo em que tais algoritmos, tirando vantagem dessa nova tecnologia, podem ser acelerados ou tornarem-se mais robustos, surgem igualmente diversos novos desafios e problemas interessantes a serem enfrentados. Como exemplo desses dispositivos podemos citar o do Projeto Vídeo 4D, do IMPA, e o Kinect (TM), da Microsoft. Esses equipamentos fornecem imagens que vêm sendo chamadas de RGBD, fazendo referência aos três canais de cores e ao canal adicional de profundidade (com a letra \'D\' vindo do termo depth, profundidade em inglês). A pesquisa descrita nesta tese apresenta uma nova abordagem não-supervisionada para a estimação de movimento a partir de vídeos compostos por imagens RGBD. Esse é um passo intermediário necessário para a identificação de componentes rígidos de um objeto articulado. Nosso método faz uso da técnica de casamento inexato (homomorfismo) entre grafos para encontrar grupos de pixels (blocos) que se movem para um mesmo sentido em quadros consecutivos de um vídeo. Com o intuito de escolher o melhor casamento para cada bloco, é minimizada uma função custo que leva em conta distâncias tanto no espaço de cores RGB quanto no XYZ (espaço tridimensional do mundo). A contribuição metodológica consiste justamente na manipulação dos dados de profundidade fornecidos pelos novos dispositivos de captura, de modo que tais dados passem a integrar o vetor de características que representa cada bloco nos grafos a serem casados. Nosso método não usa quadros de referência para inicialização e é aplicável a qualquer vídeo que contenha movimento paramétrico por partes. Para blocos cujas dimensões causem uma relativa diminuição na resolução das imagens, nossa aplicação roda em tempo real. Para validar a metodologia proposta, são apresentados resultados envolvendo diversas classes de objetos com diferentes tipos de movimento, tais como vídeos de pessoas caminhando, os movimento de um braço e um casal de dançarinos de samba de gafieira. Também são apresentados os avanços obtidos na modelagem de um sistema de vídeo 4D orientado a objetos, o qual norteia o desenvolvimento de diversas aplicações a serem desenvolvidas na continuação deste trabalho.
Depth-sensing devices have arised recently, allowing real-time scene texture and depth capture. As a result, many computer vision techniques, primarily applied only to textures, now can be reformulated using additional properties like the geometry. At the same time that these algorithms, making use of this new technology, can be accelerated or be made more robust, new interesting challenges and problems to be confronted are appearing. Examples of such devices include the 4D Video Project, from IMPA, and Kinect (TM) from Microsoft. These devices offer the so called RGBD images, being related to the three color channels and to the additional depth channel. The research described on this thesis presents a new non-supervised approach to estimate motion from videos composed by RGBD images. This is an intermediary and necessary step to identify the rigid components of an articulated object. Our method uses the technique of inexact graph matching (homomorphism) to find groups of pixels (patches) that move to the same direction in subsequent video frames. In order to choose the best matching for each patch, we minimize a cost function that accounts for distances on RGB color and XYZ (tridimensional world coordinates) spaces. The methodological contribution consists on depth data manipulation given by the new capture devices, such that these data become components of the feature vector that represents each patch on graphs to be matched. Our method does not use reference frames in order to be initialized and it can be applied to any video that contains piecewise parametric motion. For patches which allow a relative decrease on images resolution, our application runs in real-time. In order to validate the proposed methodology, we present results involving object classes with different movement kinds, such as videos with walking people, the motions of an arm and a couple of samba dancers. We also present the advances obtained on modeling an object oriented 4D video system, which guide a development of different applications to be developed as future work.

La presente memoria se enmarca dentro del estudio de las relaciones topológicas entre dos espacios topológicos Hausdorff que pueden deducirse de las vinculaciones algebraicas, topológicas o de otra clase entre los correspondientes grupos de funciones continuas evaluadas en un grupo topológico, siguiendo la línea del Teorema clásico de Banach-Stone. Ponemos especial atención en la representación de aplicaciones entre grupos de funciones continuas de un espacio topológico en el grupo topológico T, la circunferencia unidad del plano complejo, y también entre grupos de funciones continuas de un grupo topológico en el mismo grupo T, para después enfocar el problema desde el punto de vista de las C*-álgebras de grupo. Con el mismo fin, estudiamos ciertos homomorfismos entre grupos de funciones continuas evaluadas en un grupo topológico G y se dan resultados de continuidad automática. En el trabajo, se utilizan técnicas de la dualidad de Pontryagin, de grupos topológicos y del análisis funcional para llevar a cabo estos objetivos.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-06T14:53:31Z No. of bitstreams: 1 ALEX RAMOS BORGES - DISSERTAÇÃO PPGMAT 2012..pdf: 550720 bytes, checksum: cd1d40089c6d522f3d44501f683dc900 (MD5)
Made available in DSpace on 2018-08-06T14:53:31Z (GMT). No. of bitstreams: 1 ALEX RAMOS BORGES - DISSERTAÇÃO PPGMAT 2012..pdf: 550720 bytes, checksum: cd1d40089c6d522f3d44501f683dc900 (MD5) Previous issue date: 2012-12
Neste trabalho serão estudadas as graduações e identidades polinomiais graduadas da álgebra Un(K) das matrizes triangulares superiores n×n sobre um corpo K, o qual será sempre in nito. Primeiramente, será estudado o caso n = 2, para o qual será mostrado que existe apenas uma graduação não trivial e serão descritos as identidades, as codimensões e os cocaracteres graduados. Para o caso n qualquer, serão estudadas as identidades e codimensões graduadas, considerando-se a Zn-graduação natural de Un(K). Finalmente, será apresentada uma classi cação das graduações de Un(K) por um grupo qualquer.
In this work we study the gradings and the graded polynomial identities of the upper n × n triangular matrices algebra Un(K) over a eld K, which is always in nity. The case n = 2 will be rstly studied, for which will be shown that there is only one nontrivial grading and we shall describe the graded identities, codimensions and cocharacters. For the general n case, we shall study graded identities and codimensions, considering the natural Zn-grading of Un(K). Finally, we will present a classi cation of the gradings of Un(K) by any group.

Submitted by NAÍSA CAMILA GARCIA null (naisacamila@hotmail.com) on 2017-02-23T13:24:13Z No. of bitstreams: 1 Dissertação de Mestrado Naísa.pdf: 926270 bytes, checksum: e0ef770d876850618bb4fff10a0da639 (MD5)
Approved for entry into archive by LUIZA DE MENEZES ROMANETTO (luizamenezes@reitoria.unesp.br) on 2017-03-02T14:21:45Z (GMT) No. of bitstreams: 1 tosti_ncg_me_sjrp.pdf: 926270 bytes, checksum: e0ef770d876850618bb4fff10a0da639 (MD5)
Made available in DSpace on 2017-03-02T14:21:45Z (GMT). No. of bitstreams: 1 tosti_ncg_me_sjrp.pdf: 926270 bytes, checksum: e0ef770d876850618bb4fff10a0da639 (MD5) Previous issue date: 2017-02-17
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
O propósito deste trabalho é estudar alguns corpos abelianos, mais especificamente, as extensões reais maximais contidas nos corpos ciclotômicos de grau 8 e, os subcorpos dos corpos ciclotômicos Q(ζ_7) e Q(ζ_17). Em tais corpos, determinamos base integral, discriminante, grupo de Galois e construimos submódulos de posto máximo do anel dos inteiros algébricos com sua respectiva representação geométrica. Além disso, calculamos a densidade de centro destes reticulados.
The purpose of this work is to investigate some Abelian Number Fields, especifically the maximal extension contained in the cyclotomic fields of degree 8, and the subfields of the cyclotomic fields Q(ζ_7) and Q(ζ_17). In such fields, we compute: integral bases, discriminant, Galois group and submoduli with maximal rank in the ring of algebraic integers, its geometrical realization with the respective center density.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-23T14:23:04Z No. of bitstreams: 1 RIVALDO DO NASCIMENTO JÚNIOR - DISSERTAÇÃO PPGMAT 2009..pdf: 371424 bytes, checksum: 6e808f19bfcee3712a8cc10f221c042b (MD5)
Made available in DSpace on 2018-07-23T14:23:04Z (GMT). No. of bitstreams: 1 RIVALDO DO NASCIMENTO JÚNIOR - DISSERTAÇÃO PPGMAT 2009..pdf: 371424 bytes, checksum: 6e808f19bfcee3712a8cc10f221c042b (MD5) Previous issue date: 2009-04
Neste trabalho apresentamos um modelo para a superálgebra das matrizes triangulares superiores e mostraremos como obter o produto de dois T-ideais como núcleo de um homomorfismo de álgebras. em seguida, mostraremos como obter as identidades polinomiais para a álgebra das matrizes triangulares em blocos com Z2-graduação a partir das identidades ordinárias das álgebras de sua diagonal principal.
In this work we present a general model for the superalgebra of upper triangular matrices and show how to obtain the product of two T-ideals as the kernel of a homomorphism between two algebras. Next, we show how to obtain the polynomial identities for algebra of the block-triangular matrices with Z2-grading from the ordinary identities of the algebras of its main diagonal.

Dissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e Tecnologia
In this work we begin by adressing the classic problem of graph homomorphism and then, a variation thereof, the path homomorphism problem. We give a formulation to this last problem as an integer linear program and present some numerical tests that we performed to test its behavior and the performance of IBM ILOG CPLEX Optimization Studio for solving it. We then approach the network embedding problem as a specialization of the path homomorphism problem and present further numerical tests. Finally, we apply the developed model to the problem of locating processors on the periphery of a mobile network, taking into account users' mobility patterns. We performed new numerical tests and end by showing an application of the model to a realistic case. .
Neste trabalho começamos por abordar o problema clássico do homomorfismo de grafos e em seguida,uma sua variação, o problema do homomorfismo por caminhos. Formulamos este último problemacomo programa linear inteiro e apresentamos alguns testes numéricos que realizamos para estudar oseu comportamento e performance do IBM ILOG CPLEX Otimization Studio na sua resolução.Seguidamente abordamos o problema da imersão de redes como sendo uma especialização doproblema do homomorfismo por caminhos e apresentamos mais alguns testes numéricos.Por fim, aplicamos o modelo desenvolvido ao problema da localização de processadores naperiferia de uma rede móvel, tendo em conta os padrões de mobilidade dos utilizadores. Realizamosnovos testes numéricos e ainda mostramos uma aplicação do modelo desenvolvido a um caso realista. .

The aim of this thesis is to bring together two areas of the graph theory. We first give a brief exposition of graph homomorphisms and related notions that directs to the definition of the replacement operation by using an appropriate replacement graph. The tree-depth is investigated as one of considerable chara- cteristics of each graph. Finally we focus on category representations in the category Graph of all finite graphs and Graphk of all finite graphs with tree-depth at most k.

The Post correspondence problem, introduced in 1946 by Emil Post, is an important example of undecidable problem. Therefore PCP figures in pro- ofs of some results in theory of formal languages, matrix theory and other. The decidability of the Post correspondence problem proved Ehrenfeucht, Karhumäki and Rozenberg in the 1980s and Halava, Harju and Hirvensalo in 2002 ended the proof. Eight years later was verified that the solution can be found even in polynomial time. The main goal of this diploma thesis is to describe this algorithm in detail and to implement it in a web application. The thesis also introduces basics of com- binatorics on words and some facts about PCP and produces some interesting examples of instances of PCP. Keywords: Post correspondence problem, generalized Post correspondence problem, binary PCP, polynomial algorithms on words, successors of morphisms 1