Made available in DSpace on 2014-06-11T19:27:09Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-02-18Bitstream added on 2014-06-13T20:16:07Z : No. of bitstreams: 1 000753998.pdf: 885291 bytes, checksum: e06a634b31c2012fc0b6d5e72ec13aa3 (MD5) / Este trabalho é espelhado no livro “Teoria do Índice” [1] de Daciberg Lima Gonçalves e José Carlos de Souza Kiihl, publicado em 1983 no 14o Colóquio Brasileiro de Matemática pelo IMPA. Para a leitura deste trabalho é necessário uma familiaridade prévia com Topologia Algébrica, na qual indicamos [2] e [3] para consulta. Inicialmente apresentaremos alguns pré-requisitos algébricos e topológicos necessários para o desenvolvimento do trabalho e a seguir estudaremos: pontos fixos de aplicações contínuas de X em X, em que X é um espaço topológico; Grau de Brouwer de aplicações contínuas de Sn em Sn (ou respectivamente (Bn+1; Sn) em (Bn+1; Sn)); Grau Local de uma aplicação contínua f de V em Sn em torno de um ponto Q 2 Sn, em que V Sn é um aberto e f1(Q) é um compacto e Índices dos Pontos Fixos de uma aplicação contínua de V em Sn, em que V Rn é um aberto / This work is based on the book titled “Teoria do Índice” [1] by Daciberg Lima Gonçalves and José Carlos de Souza Kiihl , published in 1983 in the 14o Brazilian Math Colloquium held by IMPA . In order to perform the reading of this work, a basic acquaintance from the algebraic topology is needed, on which we can indicate the following [2] and [3] references. Firstly, for the development of the work, some previous necessary algebraic and topological requirements are shown and the next topics will be studied: fixed points of continuous maps from X to X, where X is a topological space, Brouwer’s degree of continuous maps from Sn to Sn ( or respectively (Bn+1; Sn) to (Bn+1; Sn)), Local Degree of continuous maps from V to Sn around a point Q 2 Sn, where V Sn is an open set and f1(Q) is a compact set and Fixed Points Index of continuous maps from V to Sn, where V Rn is an open set

Nesta dissertação abordamos o problema. Encontramos primeiro as soluções radiais e depois estudamos a existência de soluções não radiais no anel com auxilio de argumentos variacionais. / In this thesis we investigate the problem. First we find the radial solutions and thcn wc study the existence of nonradial solutions in the case of the annulus by a variat.ional approach.

Made available in DSpace on 2016-06-02T20:27:39Z (GMT). No. of bitstreams: 1 4436.pdf: 2380554 bytes, checksum: 7ecdc328d92836b2191a9ceda0444683 (MD5) Previous issue date: 2012-03-26 / Universidade Federal de Sao Carlos / In this work we will obtain four main results of existence of weak solution, three of them to elliptic partial di_erential systems with nonlinear boundary conditions and the other to elliptic partial di_erential equations with nonlinear boundary conditions associated with operator p-laplacian. These results will be obtained when there is a kind of interaction among the reaction nonlinearities and the Neumann spectra and an interaction among the boundary nonlinearities and the Steklov spectra, associated with the systems or equations. The tool that we will use is fundamentally based on minimax methods in critical point theory. / Obteremos no presente trabalho quatro principais resultados de existência de solução fraca, três deles para sistemas de equações diferenciais parciais elípticas com condições de fronteira não lineares e o outro para equações diferenciais com condições de fronteira não lineares associadas ao operador p-laplaciano. Estes resultados serão obtidos quando houver uma certa interação entre as não linearidades de reação e o espectro de Neumann, e uma interação entre as não linearidades de fronteira e o espectro de Steklov, associados aos sistemas ou equações. A técnica que utilizaremos está, fundamentalmente, baseada em métodos de minimax da teoria do ponto crítico.

Made available in DSpace on 2015-05-15T11:46:01Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 399143 bytes, checksum: c01bd5bd301e4fd9f2f6174b0e8431e0 (MD5) Previous issue date: 2011-09-06 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work we study the semilinear elliptic equation -u + jujp + f (x) = 0 in Rn, where n - 3, p > n-(n - - 2) and f is a Hölder continuous function. Assuming a growth condition on f at in nity we discuss the existence of classical solution. Furthermore, we prove a comparison principle and as a consequence we obtain results of non-existence and uniqueness of classical solution in a certain class of functions. To get the result of existence, we use the Schauder Fixed Point Theorem. The non-existence and uniqueness of solution is obtained by using the method of sub and supersolution with a priori integral estimates. / Neste trabalho estudamos a equação elíptica semilinear -u + jujp + f (x) = 0 em Rn, onde n - 3, p > n-(n - - 2) e f uma função Hölder contínua. Assumindo alguma condição de crescimento em f no infinito, discutiremos a existência de solução clássica. Além disso, mostraremos um princípio de comparação e como consequência obtemos resultados de não existência e de unicidade de solução clássica em uma certa classe de funções. Para obtermos o resultado de existência, usaremos o Teorema do Ponto Fixo de Schauder. A não existência e unicidade de solução é obtida usando o método de sub e supersolução juntamente com estimativas integrais a priori.

Nesta dissertação abordamos o problema. Encontramos primeiro as soluções radiais e depois estudamos a existência de soluções não radiais no anel com auxilio de argumentos variacionais. / In this thesis we investigate the problem. First we find the radial solutions and thcn wc study the existence of nonradial solutions in the case of the annulus by a variat.ional approach.

Nesta dissertação abordamos o problema. Encontramos primeiro as soluções radiais e depois estudamos a existência de soluções não radiais no anel com auxilio de argumentos variacionais. / In this thesis we investigate the problem. First we find the radial solutions and thcn wc study the existence of nonradial solutions in the case of the annulus by a variat.ional approach.

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-05-10T17:55:53Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertacao_lennon_chaves.pdf: 2813829 bytes, checksum: 48c3fbefe451491c81bbf9ddb680a318 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-05-10T17:56:13Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertacao_lennon_chaves.pdf: 2813829 bytes, checksum: 48c3fbefe451491c81bbf9ddb680a318 (MD5) / Made available in DSpace on 2018-05-10T17:56:14Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertacao_lennon_chaves.pdf: 2813829 bytes, checksum: 48c3fbefe451491c81bbf9ddb680a318 (MD5) Previous issue date: 2018-02-02 / During the last decades, model checking techniques have been applied to improve overall system reliability, in unmanned aerial vehicle (UAV) approaches. Nonetheless, there is little effort focused on applying those methods to the control-system domain, especially when it comes to the investigation of low-level implementation errors, which are related to digital controllers and hardware compatibility. The present study addresses the mentioned problems and proposes the application of a bounded model checking tool, named as Digital System Verifier (DSVerifier), to the verification of digital-system implementation issues, in order to investigate problems that emerge in digital controllers designed for UAV attitude systems. A verification methodology to search for implementation errors related to finite word-length effects ( e.g., arithmetic overflows and limit cycles), in UAV attitude controllers, is presented, along with its evaluation, which aims to ensure correct-by-design systems. Experimental results show that failures in UAV attitude control software used in aerial surveillance, which are hardly found by simulation and testing tools, can be easily identified by DSVerifier. / Durante as últimas décadas, técnicas de verificação de modelos tem sido utilizadas para melhorar a confiabilidade de sistemas, no que diz respeito a veículos aéreos não-tripulados (VANTs). Contudo, existem poucos esforços focados em aplicar esses métodos ao controle de sistemas, especialmente os relativos à investigação de erros de implementação de baixo nível, os quais estão relacionados a controladores digitais e compatibilidade de hardware. O presente trabalho aborda os problemas mencionados e propõe a aplicação de uma ferramenta de verificação limitada de modelos, conhecida como Digital System Verifier (DSVerifier) ou Verificador de Sistemas Digitais, à verificação de implementação de sistemas digiais, com o objetivo de investigar problemas em controladores digitais projetados para sistemas de atitude em VANTs. Apresenta-se uma metodologia de verificação para procurar por erros de implementação relacionados a efeitos de tamanho de palavra finita (i.e, estouros aritméticos e ciclos-limites), em controladores de atitude de VANTs, juntamente com sua avaliação, o que visa garantir a corretude desses sistemas. Resultados experimentais mostram que falhas encontradas em software de controle de atitude de VANTs usados em vigilância aérea, as quais são dificilmente encontradas pro simulação e ferramentas de teste, podem ser facilmente identificadas pelo DSVerifier.

Classificação das auto-aplicações de fibrados, com fibra toro, que preservam fibra sobre o círculo, com a propriedade de poderem ser deformadas sobre o círculo a uma aplicação livre de ponto fixo. Ainda, investigamos a relação entre o número de Reidemeister sobre o círculo e a propriedade acima / Classification of all fiber-preserving self-maps of torus bundles over the circle by the property of being able to deform them over the circle into a fixed point free map by a fiberwise homotopy over the circle. We also investigate the relationship between Reidemeister number over the circle and the property above

[pt] Esse trabalho tem como objetivo reunir os teoremas topológicos de ponto fixo clássicos e seus corolários, além de teoremas de ponto fixo provenientes da teoria do grau e algumas importantes aplicações desses teoremas a variadas áreas - desde as clássicas aplicações à teoria de EDOs e EDPs à uma aplicação à teoria dos jogos. Um exemplo é o Teorema do Ponto Fixo de Schauder-Tychonoff, para aplicações compactas em convexos de espaços localmente convexos, do qual segue como corolário que todo compacto convexo de um espaço vetorial normado (não necessariamente de dimensão finita) possui a propriedade do ponto fixo. No que se refere à teoria dos jogos em particular, foi deduzido o Teorema de Nash, que determina condições sobre as quais certos jogos possuem equilíbrios nos seus espaços das estratégias. Toda a topologia geral necessária nas demonstrações foi desenvolvida extensiva e detalhadamente a partir de topologia elementar, seguindo algumas das referências bibliográficas. O Teorema de Extensão de Dugundji - uma extensão do Teorema de Extensão de Tietze a fechados de espaços métricos sobre espaços localmente convexos -, por exemplo, é demonstrado com detalhes e usado diversas vezes ao longo da dissertação. / [en] The goal of the present work is to gather the classical fixed-point theorems and their corollaries, as well as other fixed-point theorems arising from degree theory, and some important applications to diverse fields - from the classical applications to ODEs and PDEs to an application to the game theory. An example is the Schauder-Tychonoff Fixed-Point Theorem, 1 concerning compact mappings in convex subsets of locally convex spaces, from which it follows as a corollary that every compact convex subset of a normed vector space is a fixed-point space. In regard to game theory in particular, we obtained Nash s theorem, 2 which ascertains conditions over which certain games have equilibria in their strategy spaces. All general topology necessary in the proofs was developed extensively and in details from a basic topology starting point, following some of the bibliographic references. Dugundji s Extension Theorem 3 - an extension of Tietze s Extension Theorem 4 for closed subsets of metric spaces into locally convex spaces-, for instance, is obtained with detais and used throughout the dissertation.

Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-06-14T19:46:59Z No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-06-14T19:48:16Z (GMT) No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) / Made available in DSpace on 2016-06-14T19:48:16Z (GMT). No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) Previous issue date: 2010 / In Descriptive Complexity, we investigate the use of logics to characterize computational classes os problems through complexity. Since 1974, when Fagin proved that the class NP is captured by existential second-order logic, considered the rst result in this area, other relations between logics and complexity classes have been established. Wellknown results usually involve rst-order logic and its extensions, and complexity classes in polynomial time or space. Some examples are that the rst-order logic extended by the least xed-point operator captures the class P and the second-order logic extended by the transitive closure operator captures the class PSPACE. In this dissertation, we will initially analyze the expressive power of some modal logics with respect to the decision problem REACH and see that is possible to express it with temporal logics CTL and CTL . We will also analyze the combined use of higher-order logics extended by the least xed-point operator and obtain as result that each level of this hierarchy captures each level of the deterministic exponential time hierarchy. As a corollary, we will prove that the hierarchy of HOi(LFP), for i 2, does not collapse, that is, HOi(LFP) HOi+1(LFP) / Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecidos normalmemte envolvem logica de primeira-ordem e suas extens~oes, e classes de complexidade polinomiais em tempo ou espaco. Alguns exemplos são que a l ogica de primeira-ordem estendida com o operador de menor ponto xo captura a clsse P e que a l ogica de segunda-ordem estendida com o operador de fecho transitivo captura a classe PSPACE. Nesta dissertação, analisaremos inicialmente a expressividade de algumas l ogicas modais com rela cão ao problema de decisão REACH e veremos que e poss vel express a-lo com as l ogicas temporais CTL e CTL . Analisaremos tamb em o uso combinado de l ogicas de ordem superior com o operador de menor ponto xo e obteremos como resultado que cada n vel dessa hierarquia captura cada n vel da hierarquia determin stica em tempo exponencial. Como corol ario, provamos que a hierarquia de HOi(LFP) não colapsa, ou seja, HOi(LFP) HOi+1(LFP) / FREIRE, Cibele Matos. Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais. 2010. 54 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2010.