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

Made available in DSpace on 2015-06-17T19:34:19Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-09-26. Added 1 bitstream(s) on 2015-06-18T12:49:03Z : No. of bitstreams: 1 000832131.pdf: 1495844 bytes, checksum: 870db2b3c373dbb867264d58a47036bb (MD5) / Este trabalho tem como objetivo levar para o Ensino Médio alguns tópicos da Matemática que não constam em planos de ensino e que são de rápidas explicações e aplicações. Objetivamente discutiremos os Lemas de Sperner para o intervalo e para o triângulo. Abordaremos ainda a relação de tais lemas com a não possibilidade de empates para determinados jogos. Porém, apresentaremos como uma belíssima aplicação dos Lemas de Sperner o famoso Teorema do ponto fixo de Brouwer / This study aims to take some mathematics topics that are not included at education plan to high school. These topics are fast to explain and to apply. Objectively, we discuss Sperner's Lemma for interval and for triangle. We broach the relation of this Lemma to the non-possibility of equality to certain games. Finally, we illustrate as a brilliant application of Sperner's Lemma the famous Brouwer's fixed-point theorem

Made available in DSpace on 2014-11-10T11:09:53Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-02-21Bitstream added on 2014-11-10T11:57:46Z : No. of bitstreams: 1 000790735.pdf: 1590232 bytes, checksum: 5297d173df2a824606d944767eb1610c (MD5) / O principal objetivo deste trabalho consiste na produção de um referencial teórico relacionado aos conceitos de ponto fixo, que possibilite, aos alunos do Ensino Médio, o desenvolvimento de habilidades e competências relacionadas à Matemática. Neste trabalho são colocadas abordagens contextualizadas e proposições referentes às noções de ponto fixo nas principais funções reais (afim, quadrática, modular, dentre outras) e sua interpretação geométrica. São abordados de maneira introdutória os conceitos do teorema do ponto fixo de Brouwer, o teorema do ponto fixo de Banach e o método de resolução de equações por aproximações sucessivas / The main objective of this work is to produce a theoretical concepts related to fixed point, enabling, for high school students, the development of skills and competencies related to Mathematics. This work placed contextualized approaches and proposals relating to notions of fixed point in the main real functions (affine, quadratic, modular, among others) and its geometric interpretation. Are approached introductory concepts of the fixed point theorem of Brouwer's, fixed point theorem of Banach and the method of solving equations by successive approximations

Made available in DSpace on 2014-06-11T19:22:31Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-06-15Bitstream added on 2014-06-13T19:08:03Z : No. of bitstreams: 1 martinhon_g_me_ilha.pdf: 1559279 bytes, checksum: 7e975933281fbe9aec5c7a3556631af8 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / A estimação do tempo de atraso entre dois sinais de ultra-som é uma tarefa muito comum e importante em diversas aplicações, como em sistemas de posicionamento para medição de distâncias, medidores de espessura em ensaios não-destrutivos, células de medição de propriedades de materiais, entre outros. Em algumas aplicações há necessidade de elevada acurácia e precisão na determinação do tempo de atraso, que dependem de diversos parâmetros do transdutor, de sua excitação e do meio em que a onda se propaga, além do método de estimação e representação numérica. Neste trabalho são avaliados três estimadores de tempo de atraso, com implementações em ponto-fixo e ponto-flutuante: correlação cruzada com interpolação parabólica, transformada de Hilbert da correlação e envoltória do sinal analítico. Os estimadores são avaliados em MATLAB, em ponto-flutuante, com sinais sintetizados e com sinais reais obtidos em laboratório, e em ponto-fixo, usando um processador digital de sinais TMS320VC5416, da Texas Instruments. São explorados parâmetros como freqüência central do transdutor, freqüência de amostragem, largura de banda, relação sinal-ruído e atenuação do meio. O desempenho dos métodos é comparado por meio dos erros médios e desvios-padrão das medidas / Time-delay estimation between two ultrasonic signals is a very common and important task in several applications, such as distance measurement in positioning systems, thickness measurement in nondestructive testing, measurement cells of materials properties, among others. Some applications require high accuracy and precision on the determination of the time-delay, which depend on several transducer parameters, excitation and medium of propagation, as well as the estimation method and numerical representation. In this work, three time-delay estimators are evaluated, with fixed- and floating-point implementations: cross-correlation with parabolic interpolation, Hilbert transform of correlation and analytic signal envelope. The estimators are evaluated in MATLAB with floating-point representation, using synthesized signals and real signals acquired in laboratory, and in fixed-point using a Texas Instruments TMS320VC5416 digital signal processor. Parameters as transducer central frequency, sampling frequency, bandwidth, signal-to-noise ratio and medium attenuation are considered. The performances of the methods are compared by means of errors (or bias) and standard deviations

Orientador: Thaís Fernanda Mendes Monis / Banca: Alice Kimie Miwa Libardi / Banca: Rodrigo Martins / Resumo: Este trabalho tem como objetivo levar para o Ensino Médio alguns tópicos da Matemática que não constam em planos de ensino e que são de rápidas explicações e aplicações. Objetivamente discutiremos os Lemas de Sperner para o intervalo e para o triângulo. Abordaremos ainda a relação de tais lemas com a não possibilidade de empates para determinados jogos. Porém, apresentaremos como uma belíssima aplicação dos Lemas de Sperner o famoso Teorema do ponto fixo de Brouwer / Abstract: This study aims to take some mathematics topics that are not included at education plan to high school. These topics are fast to explain and to apply. Objectively, we discuss Sperner's Lemma for interval and for triangle. We broach the relation of this Lemma to the non-possibility of equality to certain games. Finally, we illustrate as a brilliant application of Sperner's Lemma the famous Brouwer's fixed-point theorem / Mestre

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2014. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2014-06-03T14:52:24Z No. of bitstreams: 1 2014_RicardoLimaAlves.pdf: 788566 bytes, checksum: 5c890ae865c0d1000f7b682e6325eafc (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2014-07-02T14:11:07Z (GMT) No. of bitstreams: 1 2014_RicardoLimaAlves.pdf: 788566 bytes, checksum: 5c890ae865c0d1000f7b682e6325eafc (MD5) / Made available in DSpace on 2014-07-02T14:11:07Z (GMT). No. of bitstreams: 1 2014_RicardoLimaAlves.pdf: 788566 bytes, checksum: 5c890ae865c0d1000f7b682e6325eafc (MD5) / Neste trabalho, utilizaremos o Grau Topológico de Leray-Schauder, um Teorema de Índice de Ponto Fixo em cone, um Teorema de sub-supersolução e o método de blow-up para provar um resultado de Multiplicidade Global de Soluções Positivas para uma classe de sistemas elípticos semilineares de equações diferenciais parciais. ______________________________________________________________________________ ABSTRACT / In this work we use the Leray-Schauder Topological degree, a Fixed Point Index theorem in cones, a sub-supersolution theorem and the blow-up method to prove a global result of Multiplicity of Positive Solutions for a class of semilinear elliptic systems of partial di erential equations.

Orientador: German Jesus Lozada Cruz / Banca: Cosme Eustaquio Rubio Mercedes / Banca: Rita de Cássia Pavani Lamas / Resumo: O principal objetivo deste trabalho consiste na produção de um referencial teórico relacionado aos conceitos de ponto fixo, que possibilite, aos alunos do Ensino Médio, o desenvolvimento de habilidades e competências relacionadas à Matemática. Neste trabalho são colocadas abordagens contextualizadas e proposições referentes às noções de ponto fixo nas principais funções reais (afim, quadrática, modular, dentre outras) e sua interpretação geométrica. São abordados de maneira introdutória os conceitos do teorema do ponto fixo de Brouwer, o teorema do ponto fixo de Banach e o método de resolução de equações por aproximações sucessivas / Abstract: The main objective of this work is to produce a theoretical concepts related to fixed point, enabling, for high school students, the development of skills and competencies related to Mathematics. This work placed contextualized approaches and proposals relating to notions of fixed point in the main real functions (affine, quadratic, modular, among others) and its geometric interpretation. Are approached introductory concepts of the fixed point theorem of Brouwer's, fixed point theorem of Banach and the method of solving equations by successive approximations / Mestre

Made available in DSpace on 2016-06-02T20:27:40Z (GMT). No. of bitstreams: 1 4629.pdf: 1448309 bytes, checksum: c6f5e451b1247c565791c643df7dc7d5 (MD5) Previous issue date: 2012-10-23 / Financiadora de Estudos e Projetos / This thesis was developed in two parts. Firstly, we consider a pair of fiber-preserving maps f1, f2 : M → M in a fiber bundle with base S1 and fiber Klein bottle. Using an algebraic system of equations we found in what situations the minimal coincidence set over S1 of the pair (f1, f2) is empty. In the second part, motivated by this problem, we consider a fiber-preserving map f : M → M in a fiber bundle with base S1 and fiber torus. Using the one-parameter fixed point theory we studied the minimal fixed point set over S1 of the map f. In some fiber bundle we classified completely this sets. / Esta tese foi desenvolvida em duas partes. Inicialmente, consideramos um par de aplicações que preserva fibra, f1, f2 : M → M, em um fibrado com base S1 e fibra garrafa de Klein. Utilizando-se de um sistema algébrico de equações, descobrimos em que situações o conjunto minimal de coincidências sobre S1 do par (f1, f2) é vazio. Na segunda parte, motivado por esse problema, consideramos uma aplicação que preserva fibra, f : M → M, em um fibrado com base S1 e fibra toro. Usando a teoria algébrica de ponto fixo a 1-parâmetro estudamos o conjunto minimal dos pontos fixos sobre S1 da aplicação f. Em alguns fibrados foi possível obter uma classificação completa desses conjuntos.

Orientador: Ricardo Tokio Higuti / Banca: Alexandre César Rodrigues da Silva / Banca: Flávio Buiochi / Resumo: A estimação do tempo de atraso entre dois sinais de ultra-som é uma tarefa muito comum e importante em diversas aplicações, como em sistemas de posicionamento para medição de distâncias, medidores de espessura em ensaios não-destrutivos, células de medição de propriedades de materiais, entre outros. Em algumas aplicações há necessidade de elevada acurácia e precisão na determinação do tempo de atraso, que dependem de diversos parâmetros do transdutor, de sua excitação e do meio em que a onda se propaga, além do método de estimação e representação numérica. Neste trabalho são avaliados três estimadores de tempo de atraso, com implementações em ponto-fixo e ponto-flutuante: correlação cruzada com interpolação parabólica, transformada de Hilbert da correlação e envoltória do sinal analítico. Os estimadores são avaliados em MATLAB, em ponto-flutuante, com sinais sintetizados e com sinais reais obtidos em laboratório, e em ponto-fixo, usando um processador digital de sinais TMS320VC5416, da Texas Instruments. São explorados parâmetros como freqüência central do transdutor, freqüência de amostragem, largura de banda, relação sinal-ruído e atenuação do meio. O desempenho dos métodos é comparado por meio dos erros médios e desvios-padrão das medidas / Abstract: Time-delay estimation between two ultrasonic signals is a very common and important task in several applications, such as distance measurement in positioning systems, thickness measurement in nondestructive testing, measurement cells of materials properties, among others. Some applications require high accuracy and precision on the determination of the time-delay, which depend on several transducer parameters, excitation and medium of propagation, as well as the estimation method and numerical representation. In this work, three time-delay estimators are evaluated, with fixed- and floating-point implementations: cross-correlation with parabolic interpolation, Hilbert transform of correlation and analytic signal envelope. The estimators are evaluated in MATLAB with floating-point representation, using synthesized signals and real signals acquired in laboratory, and in fixed-point using a Texas Instruments TMS320VC5416 digital signal processor. Parameters as transducer central frequency, sampling frequency, bandwidth, signal-to-noise ratio and medium attenuation are considered. The performances of the methods are compared by means of errors (or bias) and standard deviations / Mestre

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.