Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-24T16:13:25Z No. of bitstreams: 1 JACKSON JONAS SILVA COSTA - DISSERTAÇÃO PPGMAT 2010..pdf: 1326944 bytes, checksum: 5f5bb0430a12c8bdeabdea73796d8578 (MD5) / Made available in DSpace on 2018-07-24T16:13:25Z (GMT). No. of bitstreams: 1 JACKSON JONAS SILVA COSTA - DISSERTAÇÃO PPGMAT 2010..pdf: 1326944 bytes, checksum: 5f5bb0430a12c8bdeabdea73796d8578 (MD5) Previous issue date: 2010-04 / Capes / Para visualizar o resumo recomendamos do download do arquivo uma vez que o mesmo utiliza fórmulas ou equações matemáticas que não puderam ser transcritas neste espaço. / In order to view the summary we recommend downloading the file as it uses mathematical formulas or equations that could not be transcribed in this space.

Made available in DSpace on 2015-03-26T13:45:35Z (GMT). No. of bitstreams: 1 texto completo.pdf: 1273195 bytes, checksum: f2a08950868ce92e14d235d207851dde (MD5) Previous issue date: 2013-07-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this dissertation we study concepts and results about dynamical systems with emphasis at Butler-McGehee Lemma. The purpose of this work is to introduce and to prove three versions of Butler-McGehee Lemma, as well as, two applications of this lemma. Such applications deal with the behavior of solutions to the systems of Ordinary Differential Equations that describe populations of species that interact in the same environment. The adopted conditions show that in the system with two species, one specie is going to extinguish and another is going to survive with constant population. In the system with three species there is coexistence among the species. The Butler-McGehee Lemma has been found to be an efficient tool that helps to acquire information about the regions of attraction and repulsion of certain sets. / Nesta dissertação estudam-se conceitos e resultados de sistemas dinâmicos com ênfase no Lema de Butler-McGehee. O objetivo é apresentar e demonstrar três versões do Lema de Butler-McGehee, bem como, duas aplicações deste lema. Tais aplicações tratam da análise global do comportamento de soluções de sitemas de equações diferenciais ordinárias que representam as populações de espécies que interagem num mesmo ambiente. Com as condições adotadas, para o sistema com duas espécies mostra-se que uma das espécies é extinta e a outra tende a se manter constante. Já no sistema com três espécies mostra-se que há a coexistência entre as três espécies. Conclui-se que o Lema de Butler-McGehee é uma ferrramenta eficiente que auxilia na obtenção de informações a cerca das regiões de atração e repulsão de determinados conjuntos.

Neste trabalho, seguindo a abordagem de Weierstrass, temos o objetivo de responder a seguinte questão: conhecida a equivalência entre holomorfia e analiticidade no caso complexo, quais propriedades das funções analíticas podem ser obtidas sem assumir tal equivalência? Analisando esta situação, resultados interessantes serão obtidos sem o uso de qualquer teorema de integração complexa e, para alcançar tal objetivo, nossas principais ferramentas serão a teoria de somas não ordenadas de famílias em C e propriedades do índice de caminhos fechados. Entre os resultados apresentados estão os conhecidos Teorema Fundamental da Álgebra, Lema de Schwarz, Teorema de Montel, Teorema da Série Dupla de Weierstrass, Princípio do Argumento, Teorema de Rouché, Teorema da Fatoração de Weierstrass, Pequeno Teorema de Picard e o Teorema da Aplicação de Riemann. / In this work, following the Weierstrass\'s approach, we aim to answer the following question: knowing the equivalence between holomorphy and analyticity in the complex case, which properties of analytic functions can be obtained without assuming such equivalence? Through analyzing this situation, interesting results will be obtained without employing of any complex integration theorem and in order to achieve this goal, our main tools will be the theory of unordered sums in C and properties of winding numbers of closed paths. Among the proven results are the well known Fundamental Theorem of Algebra, Schwarz\'s Lemma, Montel\'s Theorem, Weierstrass\'s Double Series Theorem, Argument Principle, Rouché\'s Theorem, Weierstrass\'s Factorization Theorem, Picard\'s Little Theorem and the Riemann\'s Mapping Theorem.

Nesta tese, introduzimos o conceito de sequência convergente de permutações e provamos a existência de um objeto limite para tais sequências. Introduzimos ainda um novo modelo de permutação aleatória baseado em tais objetos e introduzimos um conceito novo de distância entre permutações. Provamos então que sequências de permutações aleatórias são convergentes e provamos a equivalência entre esta noção de convergência e convergência nesta nova distância. Obtemos ainda resultados de amostragem e quase-aleatoriedade para permutações. Provamos também uma caracterização para parâmetros testáveis de permutações. / We introduce the concept of convergent sequence of permutations and we prove the existence of a limit object for these sequences. We also introduce a new and more general model of random permutation based on these limit objects and we introduce a new metric for permutations. We also prove that sequences of random permutations are convergent and we prove the equivalence between this notion of convergence and convergence in this new metric. We also show some applications for samplig and quasirandomness. We also prove a characterization for testable parameters of permutations.

This given thesis addresses the terminology of Visual Arts in the large bilingual dictionary and provides a reflection on the problem of terminology. The thesis is divided into two parts: theoretical and practical. The theoretical part gives definitions of language for special purposes, language for general purposes, term, terminology, synonymy, equivalence or terminological dictionary. The second part of the thesis analyses the given dictionary entries of the Visual Arts from the linguistic, terminological and lexicographical point of view in the large bilingual dictionary.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-05T19:06:39Z No. of bitstreams: 1 LUÍS PAULO DE LACERDA CAVALCANTE - DISSERTAÇÃO PPGMAT 2004..pdf: 642073 bytes, checksum: c3ee64c49aee5eeb339a7adcd8770341 (MD5) / Made available in DSpace on 2018-07-05T19:06:39Z (GMT). No. of bitstreams: 1 LUÍS PAULO DE LACERDA CAVALCANTE - DISSERTAÇÃO PPGMAT 2004..pdf: 642073 bytes, checksum: c3ee64c49aee5eeb339a7adcd8770341 (MD5) Previous issue date: 2004-10-22 / Neste trabalho estudamos a existência de soluções positivas para a seguinte classe de problemas −∆u+λu=Q(x)|u|p−2u em Ω, onde Ω é um domínio não limitado do RN. Usando métodos variacionais e argumentos desenvolvidos por P. L. Lions [14], Strauss [16], Willem [18] e Benci & Cerami [4], mostramos a existência de soluções positivas quando Ω = RN ou Ω um domínio exterior. / In this work, we are studying the existence of positive solutions for the following class of problem: −∆u+λu=Q(x)|u|p−2u em Ω, where Ω is a unbounded domain inRN. Using variational methods and arguments developed by P. L. Lions [14], Strauss [16], Willem [18] and Benci& Cerami [4], let us show the existence of positive solutions whenΩ=RN andΩ is an exterior domain.

Made available in DSpace on 2015-05-15T11:46:04Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 695566 bytes, checksum: 26f7afc275ad83fa634352b9d522415e (MD5) Previous issue date: 2012-04-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this dissertation, we study the existence of two types of non-negative weak solutions for a class of problems of Schrodinger-Poisson type. This kind of problem models, for example, several physical phenomena in quantum mechanics. Initially, by minimization arguments, Splitting Lemma and the Variational Principle of Ekeland we find a weak solution that minimizes the minimum energy level associated to the variety of Nehari N. This is the so-called ground state solution. Afterwards we will find, by using the Linking Theorem, a strictly positive weak solution which is not a ground state solution: the so-called bound state solution. / Nesta dissertação, estudaremos a existência de dois tipos de soluções fracas não negativas para uma classe de problemas do tipo Schrödinger-Poisson, os quais modelam fenômenos físicos, por exemplo, em Mecânica Quântica. Inicialmente, encontraremos através de argumentos de minimização, do Lema Splitting e do Princípio Variacional de Ekeland, uma solução fraca que minimiza o nível de energia mínima associado a variedade de Nehari N. Tal solução é denominada do tipo ground state. Em seguida, encontraremos através do Teorema de Linking, uma solução fraca estritamente positiva que não é do tipo ground state. Tal solução é denominada do tipo bound state.

[pt] Consideramos, nesta dissertação, a questão de determinar se um grafo tem uma propriedade P, tal como G é livre de triângulos ou G é 4- colorível. Em particular, consideramos para quais propriedades P existe um algoritmo aleatório com probabilidades de erro constantes que aceita grafos que satisfazem P e rejeita grafos que são epsilon-longe de qualquer grafo que o satisfaça. Se, além disso, o algoritmo tiver complexidade independente do tamanho do grafo, a propriedade é dita testável. Discutiremos os resultados de Alon, Fischer, Newman e Shapira que obtiveram uma caracterização combinatória de propriedades testáveis de grafos, resolvendo um problema em aberto levantado em 1996. Essa caracterização diz informalmente que uma propriedade P de um grafo é testável se e somente se testar P pode ser reduzido a testar a propriedade de satisfazer uma das finitas partições Szemerédi. / [en] We consider, in this thesis, the question of determining if a graph has a property P such as G is triangle-free or G is 4-colorable. In particular, we consider for which properties P there exists a random algorithm with constant error probabilities that accept graphs that satisfy P and reject graphs that are epsilon-far from any graph that satisfies it. If, in addition, the algorithm has complexity independent of the size of the graph, the property is called testable. We will discuss the results of Alon, Fischer, Newman, and Shapira that obtained a combinatorial characterization of testable graph properties, solving an open problem raised in 1996. This characterization informally says that a graph property P is testable if and only if testing P can be reduced to testing the property of satisfying one of finitely many Szemerédi-partitions.

The aim of the given thesis is to expound the problem of syntax processing by creating adjectival compounds in dictionary entries for the Large German-Czech Academic Dictionary. Assuming that exactly these words, which belong to the complicated vocabulary items, cause difficulties for foreign speakers with text comprehension and text production. It is based on the nature of German language, which makes many compounds, as opposed to in Czech language. Not only are the meanings of these words revealed to be problematic, but also their usage. The thesis is divided into two parts. The theoretical part deals with characteristics of adjectives as word class, and because each word always has its context, attention will be primarily focused on the adjectival valency. Previously, only the valency of verbs and substantives has been discussed. When a native speaker automatically knows these syntax structures and even when, in case of foreign language, there could exist structural similarities between the source and target language, the structures ought consequently to be given in the dictionary. In some mono- or bilingual dictionary the user should find complex informations for word searched. The practical part involves analysis of ten chosen adjective compounds, which shows how the valency structures are...

Orientador: Edvaldo Assunção / Resumo: Neste trabalho é proposta a resolução do problema do regulador linear quadrático (Linear Quadratic Regulator - LQR) via desigualdades matriciais lineares (Linear Matrix Inequalities - LMIs) para sistemas lineares e invariantes no tempo sujeitos a incertezas politópicas, bem como para sistemas lineares sujeitos a parâmetros variantes no tempo (Linear Parameter Varying - LPV). O projeto dos controladores é baseado na realimentação derivativa. A escolha da realimentação derivativa se dá devido à sua fácil implementação em certas aplicações como, por exemplo, no controle de vibrações. Os sinais usados na realimentação são aceleração e velocidade, sendo obtidos por meio de acelerômetros. Por meio do método proposto é possível obter condições LMIs para a síntese de controladores que garantam a estabilização do sistema em malha fechada, sendo que os controladores possuem desempenho otimizado. Para a formulação das condições LMIs, uma função de Lyapunov do tipo quadrática é utilizada. Exemplos teóricos e simulações são utilizados como forma de validação dos métodos propostos, além de mostrar que os novos resultados apresentam condições menos conservadoras. Além disso, ao final é apresentada uma implementação prática em um sistema de suspensão ativa, produzida pela Quanser®. / Abstract: The resolution of linear quadratic regulator (LQR) problem via linear matrix inequalities (LMIs) for linear time-invariant systems subject to polytopic uncertainties, as linear systems subjects to linear parameter varying (LPV), is proposed in this work. The controllers' designs are based on the state derivative feedback. The aim to the choice of the state derivative feedback is your easy implementation in a class of mechanical systems, such as in vibration control, for example. The signals used for feedback are acceleration and velocity, it is obtained by means of accelerometers. Through the proposed method it is possible to obtain LMIs conditions for the synthesis of controllers that guarantee the stabilisation of the closed-loop system, being that the controllers have optimised performance. For the LMIs conditions formulations, a Lyapunov function of type quadratic is used. As a form of validation, theoretical examples and simulations are performed, besides to show that the new results are less conservative. Furthermore, a practical implementation in an active suspension system, produced by Quanser®, is performed. / Mestre