subject:(Teoremas do ponto fixo)

1. Rodrigues, Sabrina de Souza. Aplicações dos teoremas de ponto fixo para equações diferenciais parciais.

Degree: 2018, Universidade Federal do Amazonas

URL: https://tede.ufam.edu.br/handle/tede/7216

►

Neste trabalho apresentamos e provamos os teoremas do ponto ﬁxo de Banach, Schauder e Schaefer e a posterior aplicamos na resolução de três problemas não-lineares,… (more)

Subjects/Keywords: Equações diferenciais parciais; Teoremas do ponto fixo; CIÊNCIAS EXATAS E DA TERRA: MATEMÁTICA

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Rodrigues, S. d. S. (2018). Aplicações dos teoremas de ponto fixo para equações diferenciais parciais. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7216

Chicago Manual of Style (16^th Edition):

Rodrigues, Sabrina de Souza. “Aplicações dos teoremas de ponto fixo para equações diferenciais parciais.” 2018. Masters Thesis, Universidade Federal do Amazonas. Accessed January 21, 2021. https://tede.ufam.edu.br/handle/tede/7216.

MLA Handbook (7^th Edition):

Rodrigues, Sabrina de Souza. “Aplicações dos teoremas de ponto fixo para equações diferenciais parciais.” 2018. Web. 21 Jan 2021.

Vancouver:

Rodrigues SdS. Aplicações dos teoremas de ponto fixo para equações diferenciais parciais. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2018. [cited 2021 Jan 21]. Available from: https://tede.ufam.edu.br/handle/tede/7216.

Council of Science Editors:

Rodrigues SdS. Aplicações dos teoremas de ponto fixo para equações diferenciais parciais. [Masters Thesis]. Universidade Federal do Amazonas; 2018. Available from: https://tede.ufam.edu.br/handle/tede/7216

2. Ferruzzo Correa, Diego Paolo. Malha síncrona digital \"Tanlock\" com estimação de frequência e ganho adaptativo para convergência rápida.

Degree: Mestrado, Engenharia de Sistemas, 2011, University of São Paulo

URL: http://www.teses.usp.br/teses/disponiveis/3/3139/tde-11042011-141428/ ;

►

Nas últimas três décadas os phase locked loops (PLLs) totalmente digitais têm recebido muita atenção devido, principalmente, às vantagens que eles oferecem em comparação aos… (more)

▼

Nas últimas três décadas os phase locked loops (PLLs) totalmente digitais têm recebido muita atenção devido, principalmente, às vantagens que eles oferecem em comparação aos PLLs analógicos. Essas vantagens incluem melhor desempenho, maior velocidade e confiabilidade, tamanho reduzido e menor custo. Os PLLs também são amplamente utilizados em sistemas de comunicações e em outras aplicações digitais. A presente dissertação é uma contribuição no campo dos PLLs digitais adaptativos e otimizados para a sua implementação em hardware. É feito uma análise de suas características dinâmicas e proposta uma nova estrutura de PLL digital capaz de melhorar a resposta da malha em termos de tempo de aquisição e largura de banda. A Malha Síncrona Digital \"Tanlockc̈om Estimação de Frequência e Ganho Adaptativo para Convergência Rápida, como é chamada, foi desenvolvida a partir da malha digital \"Tanlock\", utilizando-se teoremas de ponto fixo e mapas contrativos para determinar as condições de ganho que garantam convergência rápida e melhor utilização da largura de banda. Resultados das simulações são comparados com os obtidos teoricamente para avaliar o desempenho da malha proposta.

In the last three decades, fully-digital Phase-Locked-Loops (PLLs) systems have received a lot of attention due to its advantages in comparison with analog PLLs. These advantages include improved transient response, reliability and also reduced size and cost. The PLLs are widely used in communications systems and many other digital applications. This dissertation is a contribution to the field of digital adaptive PLLs optimized to hardware implementation. Here, a new PLL structure is presented; the Frequency Sensing Adaptive TDTL is an improvement to the classic Time-Delay Tanlock structure, alowing fast convergence to the synchronous states, using fixed-point theorems and contractive maps to determine the gain conditions which ensure the rapid convergence and also providing wider bandwidth. The results of simulations are compared with those obtained theoretically in order to assess the loop performance.

Advisors/Committee Members: Piqueira, José Roberto Castilho.

Subjects/Keywords: Adaptive PLL; Digital PLL; Digital Tanlock loop; Dinâmica não-linear; Fixed-point theorems; Malha Digital "Tanlock"; Non-linear dynamic; PLL adaptativo; PLL digital; Teoremas de ponto fixo

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Ferruzzo Correa, D. P. (2011). Malha síncrona digital \"Tanlock\" com estimação de frequência e ganho adaptativo para convergência rápida. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3139/tde-11042011-141428/ ;

Chicago Manual of Style (16^th Edition):

Ferruzzo Correa, Diego Paolo. “Malha síncrona digital \"Tanlock\" com estimação de frequência e ganho adaptativo para convergência rápida.” 2011. Masters Thesis, University of São Paulo. Accessed January 21, 2021. http://www.teses.usp.br/teses/disponiveis/3/3139/tde-11042011-141428/ ;.

MLA Handbook (7^th Edition):

Ferruzzo Correa, Diego Paolo. “Malha síncrona digital \"Tanlock\" com estimação de frequência e ganho adaptativo para convergência rápida.” 2011. Web. 21 Jan 2021.

Vancouver:

Ferruzzo Correa DP. Malha síncrona digital \"Tanlock\" com estimação de frequência e ganho adaptativo para convergência rápida. [Internet] [Masters thesis]. University of São Paulo; 2011. [cited 2021 Jan 21]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3139/tde-11042011-141428/ ;.

Council of Science Editors:

Ferruzzo Correa DP. Malha síncrona digital \"Tanlock\" com estimação de frequência e ganho adaptativo para convergência rápida. [Masters Thesis]. University of São Paulo; 2011. Available from: http://www.teses.usp.br/teses/disponiveis/3/3139/tde-11042011-141428/ ;

3. Luiz Fernando de Oliveira Faria. Equações elípticas com dependência não linear do gradiente.

Degree: 2008, Universidade Federal de Minas Gerais

URL: http://hdl.handle.net/1843/EABA-7HYNVG

►

Neste trabalho, estudamos a existência de soluções para equações elípticas com dependência não-linear do gradiente da solução. Mais especi_camente, garantimos a existência de solução para… (more)

▼

Neste trabalho, estudamos a existência de soluções para equações elípticas com dependência não-linear do gradiente da solução. Mais especi_camente, garantimos a existência de solução para as seguintes classes de problemas. (P1)_2u + q_u + _(x)u = f(x; u;ru;_u) em u(x) = 0; _u(x) = 0 sobre @;em que _ RN;N _ 5, é um aberto limitado com fronteira suave. (P2) uiv + qu00 + _(x)u = f(x; u; u0; u00) x 2 R: (P3) 8<_u = h(x; u) + g(x;ru) em u >0 em u = 0 sobre @; em que é um domínio suave e limitado em RN, N _ 3, a função h possui termos sublinear e singular e a função g é limitada superiormente por um termo de convecção do tipo jruj_, com _ 2 (0; 1). (P4)8>><aZ uds + bZ jruj_ds_ _u = f(x; u;ru) em u(x) >0 em u(x) = 0 sobre @; em que _; >0, a; b 2 R, _ RN, N _ 3, é um domínio suave e limitado e f : _ R _ RN ! R, H : R ! R são funções contínuas e não-negativas. Neste trabalho, as principais técnicas usadas para estudarmos estes problemas foram: técnicas variacionais, método de Galerkin e Teorema do ponto-_xo de Krasnoselskii. Palavras-chave: equações elípticas, dependência não-linear do gradiente, métodos variacionais, método de Galerkin, Teorema do ponto-_xo, bootstrap.

In this thesis we study the existence of solutions for elliptic equations with nonlinear dependence on the gradient of the solution. More precisely, we guarantee the existence of solution for the following classes of problems. (P1)_2u + q_u + _(x)u = f(x; u;ru;_u) in u(x) = 0; _u(x) = 0 on @; where _ RN;N _ 5, is a bounded smooth domain. (P2) uiv + qu00 + _(x)u = f(x; u; u0; u00) x 2 R: (P3)8<_u = h(x; u) + g(x;ru) in u >0 in u = 0 on @; where is a bounded, smooth domain in RN;N _ 3, the function h has sublinear and singular terms and g is bounded from above by a convection term of the type jruj_ with _ >0. (P4)Z uds + b jruj_ds _u = f(x; u;ru) em u(x) >0 em u(x) = 0 sobre @; where _; >0, a; b 2 R, _ RN, N _ 3, is a bounded, smooth domain and f : _ R _ RN ! R, H : R ! R are nonnegative continuous functions. In this work, the main techniques used to study these problems were: variational Techniques, Galerkin s method and Krasnoselskii s _xed point Theorem. Keywords: elliptic equations, nonlinear dependence on the gradient, variational techniques, Galerkin s Method, _xed point Theorem, bootstrap.

Advisors/Committee Members: Emerson Alves Mendonça de Abreu, Paulo Cesar Carrião, Olimpio Hiroshi Miyagaki, Paulo Cesar Carrião, Olimpio Hiroshi Miyagaki, Claudianor Oliveira Alves, Ma To Fu, Ronaldo Brasileiro Assuncao, Rodney Josue Biezuner, Gastao de Almeida Braga.

Subjects/Keywords: Teorema do ponto fixo (Topologia).; Matemática Teses.; Equações diferenciais elipticas Teses.; Galerkin, Metodos de Teses.

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Faria, L. F. d. O. (2008). Equações elípticas com dependência não linear do gradiente. (Thesis). Universidade Federal de Minas Gerais. Retrieved from http://hdl.handle.net/1843/EABA-7HYNVG

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Faria, Luiz Fernando de Oliveira. “Equações elípticas com dependência não linear do gradiente.” 2008. Thesis, Universidade Federal de Minas Gerais. Accessed January 21, 2021. http://hdl.handle.net/1843/EABA-7HYNVG.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Faria, Luiz Fernando de Oliveira. “Equações elípticas com dependência não linear do gradiente.” 2008. Web. 21 Jan 2021.

Vancouver:

Faria LFdO. Equações elípticas com dependência não linear do gradiente. [Internet] [Thesis]. Universidade Federal de Minas Gerais; 2008. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/1843/EABA-7HYNVG.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Faria LFdO. Equações elípticas com dependência não linear do gradiente. [Thesis]. Universidade Federal de Minas Gerais; 2008. Available from: http://hdl.handle.net/1843/EABA-7HYNVG

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

4. Tatiane Carvalho Santos. Estudo de uma classe de equações elípticas semilineares em Rn.

Degree: 2011, Universidade Federal da Paraíba

URL: http://bdtd.biblioteca.ufpb.br/tde_busca/arquivo.php?codArquivo=1993

►

Neste trabalho estudamos a equação elíptica semilinear u + jujp + f (x) = 0 em Rn, onde n 3, p >n(n �� 2) e… (more)

Subjects/Keywords: Teorema do ponto fixo de Shauder; existência; não existência e unicidade de solução; matemática; MATEMATICA

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Santos, T. C. (2011). Estudo de uma classe de equações elípticas semilineares em Rn. (Thesis). Universidade Federal da Paraíba. Retrieved from http://bdtd.biblioteca.ufpb.br/tde_busca/arquivo.php?codArquivo=1993

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Santos, Tatiane Carvalho. “Estudo de uma classe de equações elípticas semilineares em Rn.” 2011. Thesis, Universidade Federal da Paraíba. Accessed January 21, 2021. http://bdtd.biblioteca.ufpb.br/tde_busca/arquivo.php?codArquivo=1993.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Santos, Tatiane Carvalho. “Estudo de uma classe de equações elípticas semilineares em Rn.” 2011. Web. 21 Jan 2021.

Vancouver:

Santos TC. Estudo de uma classe de equações elípticas semilineares em Rn. [Internet] [Thesis]. Universidade Federal da Paraíba; 2011. [cited 2021 Jan 21]. Available from: http://bdtd.biblioteca.ufpb.br/tde_busca/arquivo.php?codArquivo=1993.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Santos TC. Estudo de uma classe de equações elípticas semilineares em Rn. [Thesis]. Universidade Federal da Paraíba; 2011. Available from: http://bdtd.biblioteca.ufpb.br/tde_busca/arquivo.php?codArquivo=1993

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

5. Juliano Damião Bittencourt de Godoi. Problemas de autovalores de Steklov-Neumann e aplicações.

Degree: 2012, Universidade Federal de São Carlos

URL: http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=5227

►

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… (more)

Subjects/Keywords: Equações diferenciais parciais; P-laplaciano; Teorema do ponto fixo (Topologia); Equações diferenciais elípticas; MATEMATICA

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Godoi, J. D. B. d. (2012). Problemas de autovalores de Steklov-Neumann e aplicações. (Thesis). Universidade Federal de São Carlos. Retrieved from http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=5227

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Godoi, Juliano Damião Bittencourt de. “Problemas de autovalores de Steklov-Neumann e aplicações.” 2012. Thesis, Universidade Federal de São Carlos. Accessed January 21, 2021. http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=5227.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Godoi, Juliano Damião Bittencourt de. “Problemas de autovalores de Steklov-Neumann e aplicações.” 2012. Web. 21 Jan 2021.

Vancouver:

Godoi JDBd. Problemas de autovalores de Steklov-Neumann e aplicações. [Internet] [Thesis]. Universidade Federal de São Carlos; 2012. [cited 2021 Jan 21]. Available from: http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=5227.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Godoi JDBd. Problemas de autovalores de Steklov-Neumann e aplicações. [Thesis]. Universidade Federal de São Carlos; 2012. Available from: http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=5227

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

6. Carriço, Helena. A teorema de Hex.

Degree: 2011, Universidade da Beira Interior

URL: http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/1857

► O Hex é um jogo de tabuleiro para dois jogadores ujo objectivo consiste em estabelecer uma sequência de peças unindo dois lados opostos do tabuleiro.… (more)

Subjects/Keywords: Teorema do ponto fixo de Brouwer; Teorema da curva de Jordan; Teorema da pavimentação

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Carriço, H. (2011). A teorema de Hex. (Thesis). Universidade da Beira Interior. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/1857

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Carriço, Helena. “A teorema de Hex.” 2011. Thesis, Universidade da Beira Interior. Accessed January 21, 2021. http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/1857.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Carriço, Helena. “A teorema de Hex.” 2011. Web. 21 Jan 2021.

Vancouver:

Carriço H. A teorema de Hex. [Internet] [Thesis]. Universidade da Beira Interior; 2011. [cited 2021 Jan 21]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/1857.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Carriço H. A teorema de Hex. [Thesis]. Universidade da Beira Interior; 2011. Available from: http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/1857

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

7. Santana, Ayana Pinheiro de Castro. Equações de Navier-Stokes não-homogêneas.

Degree: 2019, Universidade Federal do Amazonas

URL: https://tede.ufam.edu.br/handle/tede/7557

►

Neste trabalho consideramos o fluxo de um fluido viscoso, incompressível e não-homogêneo, isto é, com densidade variável, descrito pelas equações de Navier-Stokes não homogêneas. O… (more)

Subjects/Keywords: Navier-Stokes, Equações de; Sobolev, Espaço de; Teoria do ponto fixo; CIÊNCIAS EXATAS E DA TERRA: MATEMÁTICA; Equação de Navier-Stokes; Métodos de ponto fixo e aplicações; Existência; Solução fraca

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Santana, A. P. d. C. (2019). Equações de Navier-Stokes não-homogêneas. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7557

Chicago Manual of Style (16^th Edition):

Santana, Ayana Pinheiro de Castro. “Equações de Navier-Stokes não-homogêneas.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed January 21, 2021. https://tede.ufam.edu.br/handle/tede/7557.

MLA Handbook (7^th Edition):

Santana, Ayana Pinheiro de Castro. “Equações de Navier-Stokes não-homogêneas.” 2019. Web. 21 Jan 2021.

Vancouver:

Santana APdC. Equações de Navier-Stokes não-homogêneas. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2021 Jan 21]. Available from: https://tede.ufam.edu.br/handle/tede/7557.

Council of Science Editors:

Santana APdC. Equações de Navier-Stokes não-homogêneas. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7557

8. Márcio Luís Miotto. Analiticidade, na variável espacial, da solução do problema de Caucky para a equação de KdV.

Degree: 2006, Universidade Federal de São Carlos

URL: http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=937

►

Neste trabalho usamos estimativas bilineares e teorema do ponto fixo para mostrar que a solução do Problema de Cauchy para a equaçãoo de Korteweg-de Vries,… (more)

Subjects/Keywords: Equações diferenciais parciais; Equação de Korteweg-de Vries; Cauchy, Problemas de; Analiticidade; Estimativas bilineares; Teorema do ponto fixo (Topologia); ANALISE

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Miotto, M. L. (2006). Analiticidade, na variável espacial, da solução do problema de Caucky para a equação de KdV. (Thesis). Universidade Federal de São Carlos. Retrieved from http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=937

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Miotto, Márcio Luís. “Analiticidade, na variável espacial, da solução do problema de Caucky para a equação de KdV.” 2006. Thesis, Universidade Federal de São Carlos. Accessed January 21, 2021. http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=937.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Miotto, Márcio Luís. “Analiticidade, na variável espacial, da solução do problema de Caucky para a equação de KdV.” 2006. Web. 21 Jan 2021.

Vancouver:

Miotto ML. Analiticidade, na variável espacial, da solução do problema de Caucky para a equação de KdV. [Internet] [Thesis]. Universidade Federal de São Carlos; 2006. [cited 2021 Jan 21]. Available from: http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=937.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Miotto ML. Analiticidade, na variável espacial, da solução do problema de Caucky para a equação de KdV. [Thesis]. Universidade Federal de São Carlos; 2006. Available from: http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=937

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Universidade Estadual de Campinas

9. Figueira, Fábio Gomes. Involuções cujo conjunto de pontos fixos possui duas componentes.

Degree: 2004, Universidade Estadual de Campinas

URL: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306336

Subjects/Keywords: Topologia algébrica; Homologia (Matemática); Teoria do ponto fixo

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Figueira, F. G. (2004). Involuções cujo conjunto de pontos fixos possui duas componentes. (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/306336

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Figueira, Fábio Gomes. “Involuções cujo conjunto de pontos fixos possui duas componentes.” 2004. Thesis, Universidade Estadual de Campinas. Accessed January 21, 2021. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306336.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Figueira, Fábio Gomes. “Involuções cujo conjunto de pontos fixos possui duas componentes.” 2004. Web. 21 Jan 2021.

Vancouver:

Figueira FG. Involuções cujo conjunto de pontos fixos possui duas componentes. [Internet] [Thesis]. Universidade Estadual de Campinas; 2004. [cited 2021 Jan 21]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306336.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Figueira FG. Involuções cujo conjunto de pontos fixos possui duas componentes. [Thesis]. Universidade Estadual de Campinas; 2004. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306336

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

10. PAIXÃO, Crislene Santos da. Equações diferenciais funcionais com impulso dependendo do estado .

Degree: 2011, Universidade Federal de Pernambuco

URL: http://repositorio.ufpe.br/handle/123456789/7002

Nosso principal interesse nesse trabalho é estudar a existência de soluções para equações diferenciais impulsivas de ordem n com o retardo dependendo do estado, da seguinte forma: (Para visualizar a fórmula, vide a dissertação) Advisors/Committee Members: RABELO, Marcos Napoleão (advisor).

Subjects/Keywords: Equações diferenciais com impulso; Retardo; Ponto fixo

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

PAIXÃO, C. S. d. (2011). Equações diferenciais funcionais com impulso dependendo do estado . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/7002

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

PAIXÃO, Crislene Santos da. “Equações diferenciais funcionais com impulso dependendo do estado .” 2011. Thesis, Universidade Federal de Pernambuco. Accessed January 21, 2021. http://repositorio.ufpe.br/handle/123456789/7002.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

PAIXÃO, Crislene Santos da. “Equações diferenciais funcionais com impulso dependendo do estado .” 2011. Web. 21 Jan 2021.

Vancouver:

PAIXÃO CSd. Equações diferenciais funcionais com impulso dependendo do estado . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2011. [cited 2021 Jan 21]. Available from: http://repositorio.ufpe.br/handle/123456789/7002.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

PAIXÃO CSd. Equações diferenciais funcionais com impulso dependendo do estado . [Thesis]. Universidade Federal de Pernambuco; 2011. Available from: http://repositorio.ufpe.br/handle/123456789/7002

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Pontifical Catholic University of Rio de Janeiro

11. LEONARDO HENRIQUE CALDEIRA PIRES FERRARI. [en] ASPECTS OF TOPOLOGY AND FIXED POINT THEORY.

Degree: 2017, Pontifical Catholic University of Rio de Janeiro

URL: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=31064

►

[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… (more)

▼

[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.

Advisors/Committee Members: RICARDO SA EARP.

Subjects/Keywords: [pt] TEORIA DOS JOGOS; [en] GAME THEORY; [pt] EQUILIBRIO DE NASH; [en] NASH EQUILIBRIUM; [pt] TOPOLOGIA GERAL; [en] GENERAL TOPOLOGY; [pt] TOPOLOGIA DIFERENCIAL; [en] DIFFERENTIAL TOPOLOGY; [pt] TEORIA DE PONTO FIXO; [en] FIXED POINT THEORY; [pt] TEORIA DO GRAU; [en] DEGREE THEORY; [pt] TEOREMA DE EXTENSAO DUGUNDJI; [en] DUGUNDJI EXTENSION THEOREM; [pt] TEOREMA ANTIPODAL DE BORSUK; [en] BORSUK ANTIPODAL THEOREM; [pt] TEOREMA DO PONTO FIXO DE BORSUK; [en] BORSUK FIXED POINT THEOREM; [pt] TEOREMA DO PONTO FIXO DE BROUWER; [en] BROUWER FIXED POINT THEOREM; [pt] TEOREMA DO PONTO FIXO DE SCHAUDER; [en] SCHAUDER FIXEDPOINT THEOREM; [pt] TEOREMA DO PONTO FIXO DE DUGUNDJI; [en] UDUNDJI FIXED POINT THEOREM

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

FERRARI, L. H. C. P. (2017). [en] ASPECTS OF TOPOLOGY AND FIXED POINT THEORY. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=31064

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

FERRARI, LEONARDO HENRIQUE CALDEIRA PIRES. “[en] ASPECTS OF TOPOLOGY AND FIXED POINT THEORY.” 2017. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed January 21, 2021. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=31064.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

FERRARI, LEONARDO HENRIQUE CALDEIRA PIRES. “[en] ASPECTS OF TOPOLOGY AND FIXED POINT THEORY.” 2017. Web. 21 Jan 2021.

Vancouver:

FERRARI LHCP. [en] ASPECTS OF TOPOLOGY AND FIXED POINT THEORY. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2017. [cited 2021 Jan 21]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=31064.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

FERRARI LHCP. [en] ASPECTS OF TOPOLOGY AND FIXED POINT THEORY. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2017. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=31064

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

12. Cibele Matos Freire. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais .

Degree: Master, 2010, Universidade Federal do Ceará

URL: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6359 ;

►

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… (more)

▼

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 logica de primeira-ordem estendida com o operador de menor ponto xo captura a clsse P e que a logica de segunda-ordem estendida com o operador de fecho transitivo captura a classe PSPACE. Nesta dissertaÃÃo, analisaremos inicialmente a expressividade de algumas logicas modais com relacÃo ao problema de decisÃo REACH e veremos que e possvel expressa-lo com as logicas temporais CTL e CTL. Analisaremos tambem o uso combinado de logicas de ordem superior com o operador de menor ponto xo e obteremos como resultado que cada nvel dessa hierarquia captura cada nvel da hierarquia determinstica em tempo exponencial. Como corolario, provamos que a hierarquia de HOi(LFP) nÃo colapsa, ou seja, HOi(LFP) HOi+1(LFP)

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)

Advisors/Committee Members: Ana Teresa de Castro Martins, Carlos Eduardo Fisch de Brito, Mario Roberto Folhadela Benevides, JoÃo Fernando Lima AlcÃntara.

Subjects/Keywords: LOGICAS E SEMANTICA DE PROGRAMAS; Complexidade descritiva; Logica modal; Logicas de ordem superior; Hierarquia determinstica de tempo exponencial; Operadores de ponto fixo; Descriptive complexity; Modal logic; Higher-order logics; Deterministic exponential time hierarchy; Fixed-point operators; Modalidade (LÃgica); LÃgica de computador; Teoria do ponto fixo; Complexidade computacional

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Freire, C. M. (2010). Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais . (Masters Thesis). Universidade Federal do Ceará. Retrieved from http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6359 ;

Chicago Manual of Style (16^th Edition):

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. Masters Thesis, Universidade Federal do Ceará. Accessed January 21, 2021. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6359 ;.

MLA Handbook (7^th Edition):

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. Web. 21 Jan 2021.

Vancouver:

Freire CM. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais . [Internet] [Masters thesis]. Universidade Federal do Ceará 2010. [cited 2021 Jan 21]. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6359 ;.

Council of Science Editors:

Freire CM. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais . [Masters Thesis]. Universidade Federal do Ceará 2010. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6359 ;

Universidade do Rio Grande do Sul

13. Schütz, Lineia. A dinâmica de uma família de aplicações unidimensionais.

Degree: 2002, Universidade do Rio Grande do Sul

URL: http://hdl.handle.net/10183/2345

Resumo não disponível. Advisors/Committee Members: Lopes, Artur Oscar.

Subjects/Keywords: Sistemas dinâmicos; Evoluções dinâmicas unidimensionais; Teoria do ponto fixo; Famílias caóticas

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Schütz, L. (2002). A dinâmica de uma família de aplicações unidimensionais. (Thesis). Universidade do Rio Grande do Sul. Retrieved from http://hdl.handle.net/10183/2345

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Schütz, Lineia. “A dinâmica de uma família de aplicações unidimensionais.” 2002. Thesis, Universidade do Rio Grande do Sul. Accessed January 21, 2021. http://hdl.handle.net/10183/2345.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Schütz, Lineia. “A dinâmica de uma família de aplicações unidimensionais.” 2002. Web. 21 Jan 2021.

Vancouver:

Schütz L. A dinâmica de uma família de aplicações unidimensionais. [Internet] [Thesis]. Universidade do Rio Grande do Sul; 2002. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/10183/2345.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Schütz L. A dinâmica de uma família de aplicações unidimensionais. [Thesis]. Universidade do Rio Grande do Sul; 2002. Available from: http://hdl.handle.net/10183/2345

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

14. Simone Raso Jamel Edim. Ponto fixo e autovalores positivos para operadores não lineares.

Degree: 2007, Universidade Federal de Minas Gerais

URL: http://hdl.handle.net/1843/EABA-76XU22

x Advisors/Committee Members: Antonio Zumpano Pereira Santos, Antonio Zumpano Pereira Santos, Hamilton Prado Bueno, Grey Ercole.

Subjects/Keywords: Matemática. Teses; Analise funcional não-linear. Teses; Teorema do ponto fixo (Topologia). Teses

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Edim, S. R. J. (2007). Ponto fixo e autovalores positivos para operadores não lineares. (Thesis). Universidade Federal de Minas Gerais. Retrieved from http://hdl.handle.net/1843/EABA-76XU22

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Edim, Simone Raso Jamel. “Ponto fixo e autovalores positivos para operadores não lineares.” 2007. Thesis, Universidade Federal de Minas Gerais. Accessed January 21, 2021. http://hdl.handle.net/1843/EABA-76XU22.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Edim, Simone Raso Jamel. “Ponto fixo e autovalores positivos para operadores não lineares.” 2007. Web. 21 Jan 2021.

Vancouver:

Edim SRJ. Ponto fixo e autovalores positivos para operadores não lineares. [Internet] [Thesis]. Universidade Federal de Minas Gerais; 2007. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/1843/EABA-76XU22.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Edim SRJ. Ponto fixo e autovalores positivos para operadores não lineares. [Thesis]. Universidade Federal de Minas Gerais; 2007. Available from: http://hdl.handle.net/1843/EABA-76XU22

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

15. Weslem Liberato Silva. Conjuntos minimais de pontos fixos e coincidências de aplicações fibradas.

Degree: 2012, Universidade Federal de São Carlos

URL: http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=5891

►

Esta tese foi desenvolvida em duas partes. Inicialmente, consideramos um par de aplicações que preserva fibra, f1, f2 : M → M, em um fibrado… (more)

Subjects/Keywords: Aplicação que preserva fibra; Teoria do ponto fixo; MATEMATICA; Coincidence; Fiber bundle; Fiber-preserving map; One-parameter fixed point theory; Fíbrado; Topologia algébrica; Coincidência

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Silva, W. L. (2012). Conjuntos minimais de pontos fixos e coincidências de aplicações fibradas. (Thesis). Universidade Federal de São Carlos. Retrieved from http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=5891

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Silva, Weslem Liberato. “Conjuntos minimais de pontos fixos e coincidências de aplicações fibradas.” 2012. Thesis, Universidade Federal de São Carlos. Accessed January 21, 2021. http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=5891.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Silva, Weslem Liberato. “Conjuntos minimais de pontos fixos e coincidências de aplicações fibradas.” 2012. Web. 21 Jan 2021.

Vancouver:

Silva WL. Conjuntos minimais de pontos fixos e coincidências de aplicações fibradas. [Internet] [Thesis]. Universidade Federal de São Carlos; 2012. [cited 2021 Jan 21]. Available from: http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=5891.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Silva WL. Conjuntos minimais de pontos fixos e coincidências de aplicações fibradas. [Thesis]. Universidade Federal de São Carlos; 2012. Available from: http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=5891

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

16. Carrasco, Hugo Alexandre Sacristão. Higher order boundary value problems on unbounded intervals.

Degree: 2017, Universidade de Évora

URL: https://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/21093

► The relative scarcity of results that guarantee the existence of solutions for BVP on unbounded domains, contrasts with the high applicability on real problems of… (more)

▼ The relative scarcity of results that guarantee the existence of solutions for BVP on unbounded domains, contrasts with the high applicability on real problems of differential equations defined on the half-line or on the whole real line. It is this gap the main reason that led to this work. The differential equations studied vary from second order to higher orders and they can be discontinuous on time. Different types of boundary conditions will be discussed herein, for example, Sturm- Liouville, homoclinic, Lidstone and functional conditions. The non-compactness of the time interval and the possibility of study unbounded functions will require the redefinition of the admissible Banach spaces. In fact the space considered and the functional framework assumed define the set of admissible solutions for each problem under a main goal: the functions must remain bounded for the space and the norm in consideration. This is achieved by defining some weight functions (polynomial or exponential) in the space or assuming some asymptotic behavior. In addition to the existence, solutions will be localized in a strip. The lower and upper solutions method will play an important role, and combined with other tools like the one-sided Nagumo growth conditions, Green’s functions or Schauder’s fixed point theorem, provide the existence and location results for differential equations with various boundary conditions. Different applications to real phenomena will be presented, most of them translated into classical equations as Duffing, Bernoulli-Eulerv. Karman, Fisher-Kolmogorov, Swift-Hohenberg, Emden-Fowler or Falkner-Skan-type equations. All these applications have a common denominator: they are defined in unbounded intervals and the existing results in the literature are scarce or proven only numerically in discrete problems; RESUMO: Problemas de valor na fronteira de ordem superior em intervalos não limitados A relativa escassez de resultados que garantam a existência de soluções para problemas de valor na fronteira, em domínios ilimitados, contrasta com a alta aplicabilidade em problemas reais de equações diferenciais definidas na semi reta ou em toda a reta real. É esta lacuna o principal motivo que conduziu a este trabalho. As equações diferenciais estudadas variam da segunda ordem a ordens superiores e podem ser descontínuas no tempo. As condições de fronteira aqui analisadas são de diferentes tipos, nomeadamente, Sturm - Liouville, homoclínicas, Lidstone e condições funcionais. A não compacidade do intervalo de tempo e a possibilidade de estudar funções ilimitadas, exigirá a redefinição dos espaços de Banach admissíveis. Na verdade, o espaço considerado e o quadro funcional assumido define o conjunto de soluções admissíveis para cada problema sob um objetivo principal: as funções devem permanecer limitadas para o espaço e norma considerados. Isto é conseguido através da definição de algumas "funções de peso" (polinomiais ou exponenciais) no espaço considerado ou assumindo um comportamento assintótico. Além da… Advisors/Committee Members: Minhós, Feliz Manuel Barrão.

Subjects/Keywords: Unbounded intervals; Lower and upper solutions; Nagumo condition; Green´s function; Fixed point theory; Intervalos ilimitados; Sub e sobre-soluções; Condição de Nagumo; Funções de green; Teoria do ponto fixo

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Carrasco, H. A. S. (2017). Higher order boundary value problems on unbounded intervals. (Thesis). Universidade de Évora. Retrieved from https://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/21093

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Carrasco, Hugo Alexandre Sacristão. “Higher order boundary value problems on unbounded intervals.” 2017. Thesis, Universidade de Évora. Accessed January 21, 2021. https://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/21093.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Carrasco, Hugo Alexandre Sacristão. “Higher order boundary value problems on unbounded intervals.” 2017. Web. 21 Jan 2021.

Vancouver:

Carrasco HAS. Higher order boundary value problems on unbounded intervals. [Internet] [Thesis]. Universidade de Évora; 2017. [cited 2021 Jan 21]. Available from: https://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/21093.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Carrasco HAS. Higher order boundary value problems on unbounded intervals. [Thesis]. Universidade de Évora; 2017. Available from: https://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/21093

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

17. Vidarte, José Humberto Bravo. Linearização suave de pontos fixos hiperbólicos.

Degree: Mestrado, Matemática, 2010, University of São Paulo

URL: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-13052010-215052/ ;

►

Neste trabalho tem por objetivo a construção de conjugações suaves de pontos fixos hiperbólicos com condições de não ressonância. Por tanto, inicialmente são apresentados alguns… (more)

Subjects/Keywords: Hyperbolic fixed point. Resonance. Linearization; Ponto fixo hiperbólico. Ressônancia. Linearização

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Vidarte, J. H. B. (2010). Linearização suave de pontos fixos hiperbólicos. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/55/55135/tde-13052010-215052/ ;

Chicago Manual of Style (16^th Edition):

Vidarte, José Humberto Bravo. “Linearização suave de pontos fixos hiperbólicos.” 2010. Masters Thesis, University of São Paulo. Accessed January 21, 2021. http://www.teses.usp.br/teses/disponiveis/55/55135/tde-13052010-215052/ ;.

MLA Handbook (7^th Edition):

Vidarte, José Humberto Bravo. “Linearização suave de pontos fixos hiperbólicos.” 2010. Web. 21 Jan 2021.

Vancouver:

Vidarte JHB. Linearização suave de pontos fixos hiperbólicos. [Internet] [Masters thesis]. University of São Paulo; 2010. [cited 2021 Jan 21]. Available from: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-13052010-215052/ ;.

Council of Science Editors:

Vidarte JHB. Linearização suave de pontos fixos hiperbólicos. [Masters Thesis]. University of São Paulo; 2010. Available from: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-13052010-215052/ ;

18. Prado, Gustavo de Lima. Deformabilidade sobre S^1 a livre de ponto fixo para auto-aplicações de T-fibrados e Reidemeister sobre S^1.

Degree: Mestrado, Matemática, 2010, University of São Paulo

URL: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-16022011-125114/ ;

►

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… (more)

Subjects/Keywords: circle; círculo; fiber bundle; fibrado; fixed point; ponto fixo; Reidemeister; Reidemeister; toro; torus

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Prado, G. d. L. (2010). Deformabilidade sobre S^1 a livre de ponto fixo para auto-aplicações de T-fibrados e Reidemeister sobre S^1. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/45/45131/tde-16022011-125114/ ;

Chicago Manual of Style (16^th Edition):

Prado, Gustavo de Lima. “Deformabilidade sobre S^1 a livre de ponto fixo para auto-aplicações de T-fibrados e Reidemeister sobre S^1.” 2010. Masters Thesis, University of São Paulo. Accessed January 21, 2021. http://www.teses.usp.br/teses/disponiveis/45/45131/tde-16022011-125114/ ;.

MLA Handbook (7^th Edition):

Prado, Gustavo de Lima. “Deformabilidade sobre S^1 a livre de ponto fixo para auto-aplicações de T-fibrados e Reidemeister sobre S^1.” 2010. Web. 21 Jan 2021.

Vancouver:

Prado GdL. Deformabilidade sobre S^1 a livre de ponto fixo para auto-aplicações de T-fibrados e Reidemeister sobre S^1. [Internet] [Masters thesis]. University of São Paulo; 2010. [cited 2021 Jan 21]. Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-16022011-125114/ ;.

Council of Science Editors:

Prado GdL. Deformabilidade sobre S^1 a livre de ponto fixo para auto-aplicações de T-fibrados e Reidemeister sobre S^1. [Masters Thesis]. University of São Paulo; 2010. Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-16022011-125114/ ;

Universidade do Rio Grande do Sul

19. Sant'Ana, Marilaine de Fraga. Um problema de Dirichlet com não linearidade exponencial em domínios circulares.

Degree: 1994, Universidade do Rio Grande do Sul

URL: http://hdl.handle.net/10183/118184

►

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… (more)

Subjects/Keywords: Analise variacional; Espacos metricos; Teorema do ponto fixo; Multiplicadores de lagrange; Espacos de Sobolev; Variaveis complexas

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Sant'Ana, M. d. F. (1994). Um problema de Dirichlet com não linearidade exponencial em domínios circulares. (Thesis). Universidade do Rio Grande do Sul. Retrieved from http://hdl.handle.net/10183/118184

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Sant'Ana, Marilaine de Fraga. “Um problema de Dirichlet com não linearidade exponencial em domínios circulares.” 1994. Thesis, Universidade do Rio Grande do Sul. Accessed January 21, 2021. http://hdl.handle.net/10183/118184.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Sant'Ana, Marilaine de Fraga. “Um problema de Dirichlet com não linearidade exponencial em domínios circulares.” 1994. Web. 21 Jan 2021.

Vancouver:

Sant'Ana MdF. Um problema de Dirichlet com não linearidade exponencial em domínios circulares. [Internet] [Thesis]. Universidade do Rio Grande do Sul; 1994. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/10183/118184.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Sant'Ana MdF. Um problema de Dirichlet com não linearidade exponencial em domínios circulares. [Thesis]. Universidade do Rio Grande do Sul; 1994. Available from: http://hdl.handle.net/10183/118184

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Pontifical Catholic University of Rio de Janeiro

20. KEILLA LOPES CASTILHO JACHELLI. [en] SPERNER S LEMMAS AND APPLICATIONS.

Degree: 2018, Pontifical Catholic University of Rio de Janeiro

URL: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=33127

►

[pt] Esse trabalho visa demonstrar os lemas de Sperner e aplicá-los nasdemonstrações do teorema de Monsky em Q2 e do teorema do ponto fixo deBrouwer… (more)

Subjects/Keywords: [pt] TEOREMA DO PONTO FIXO DE BROUWER; [en] BROUWER FIXED POINT THEOREM; [pt] LEMAS DE SPERNER; [en] SPERNER S LEMMAS; [pt] TEOREMA DE MONSKY; [en] MONSKY S THEOREM; [pt] JOGOS NO ENSINO DE MATEMATICA; [en] GAMES IN TEACHING MATHEMATICS

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

JACHELLI, K. L. C. (2018). [en] SPERNER S LEMMAS AND APPLICATIONS. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=33127

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

JACHELLI, KEILLA LOPES CASTILHO. “[en] SPERNER S LEMMAS AND APPLICATIONS.” 2018. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed January 21, 2021. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=33127.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

JACHELLI, KEILLA LOPES CASTILHO. “[en] SPERNER S LEMMAS AND APPLICATIONS.” 2018. Web. 21 Jan 2021.

Vancouver:

JACHELLI KLC. [en] SPERNER S LEMMAS AND APPLICATIONS. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2018. [cited 2021 Jan 21]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=33127.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

JACHELLI KLC. [en] SPERNER S LEMMAS AND APPLICATIONS. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2018. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=33127

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Universidade Estadual de Campinas

21. Rocha, Adson Mota, 1979-. Análise e aproximação de soluções de uma classe de equações integrais de Fredholm não lineares: Analysis and approximation of solutions to a class of nonlinear Fredholm integral equations.

Degree: 2017, Universidade Estadual de Campinas

URL: http://repositorio.unicamp.br/jspui/handle/REPOSIP/325622

► Abstract: This thesis concerns functional integral equations, a class of nonlinear Fredholm-type integral equations of the second kind. These equations are studied from both the… (more)

Subjects/Keywords: Fredholm, Equações integrais de; Métodos de colocação; Equações integrais - Soluções numéricas; Métodos iterativos (Matemática); Teoria do ponto fixo; Fredholm integral equations; Collocation methods; Integral equations - Numerical solutions; Iterative methods (Mathematics); Fixed point theory

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Rocha, Adson Mota, 1. (2017). Análise e aproximação de soluções de uma classe de equações integrais de Fredholm não lineares: Analysis and approximation of solutions to a class of nonlinear Fredholm integral equations. (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/325622

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Rocha, Adson Mota, 1979-. “Análise e aproximação de soluções de uma classe de equações integrais de Fredholm não lineares: Analysis and approximation of solutions to a class of nonlinear Fredholm integral equations.” 2017. Thesis, Universidade Estadual de Campinas. Accessed January 21, 2021. http://repositorio.unicamp.br/jspui/handle/REPOSIP/325622.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Rocha, Adson Mota, 1979-. “Análise e aproximação de soluções de uma classe de equações integrais de Fredholm não lineares: Analysis and approximation of solutions to a class of nonlinear Fredholm integral equations.” 2017. Web. 21 Jan 2021.

Vancouver:

Rocha, Adson Mota 1. Análise e aproximação de soluções de uma classe de equações integrais de Fredholm não lineares: Analysis and approximation of solutions to a class of nonlinear Fredholm integral equations. [Internet] [Thesis]. Universidade Estadual de Campinas; 2017. [cited 2021 Jan 21]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/325622.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Rocha, Adson Mota 1. Análise e aproximação de soluções de uma classe de equações integrais de Fredholm não lineares: Analysis and approximation of solutions to a class of nonlinear Fredholm integral equations. [Thesis]. Universidade Estadual de Campinas; 2017. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/325622

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

22. CRUZ, Thamires Santos. Resultados de existência para um sistema acoplado de equações diferenciais fracionárias não lineares com condições de fronteira em três pontos .

Degree: 2012, Universidade Federal de Pernambuco

URL: http://repositorio.ufpe.br/handle/123456789/7611

► Neste trabalho, foi mostrado a existência de solucão para um sistema acoplado de equações diferenciais fracionarias não lineares com condicões de fronteira em três pontos,… (more)

Subjects/Keywords: Derivadas fracionarias; Integrais fracionarias; Equacões diferenciais fracionarias; Sistema acoplado; Problema de Fronteira; Problema de Cauchy fracionario; Ponto fixo; Viscoelasticidade

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

CRUZ, T. S. (2012). Resultados de existência para um sistema acoplado de equações diferenciais fracionárias não lineares com condições de fronteira em três pontos . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/7611

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

CRUZ, Thamires Santos. “Resultados de existência para um sistema acoplado de equações diferenciais fracionárias não lineares com condições de fronteira em três pontos .” 2012. Thesis, Universidade Federal de Pernambuco. Accessed January 21, 2021. http://repositorio.ufpe.br/handle/123456789/7611.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

CRUZ, Thamires Santos. “Resultados de existência para um sistema acoplado de equações diferenciais fracionárias não lineares com condições de fronteira em três pontos .” 2012. Web. 21 Jan 2021.

Vancouver:

CRUZ TS. Resultados de existência para um sistema acoplado de equações diferenciais fracionárias não lineares com condições de fronteira em três pontos . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2012. [cited 2021 Jan 21]. Available from: http://repositorio.ufpe.br/handle/123456789/7611.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

CRUZ TS. Resultados de existência para um sistema acoplado de equações diferenciais fracionárias não lineares com condições de fronteira em três pontos . [Thesis]. Universidade Federal de Pernambuco; 2012. Available from: http://repositorio.ufpe.br/handle/123456789/7611

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

23. Dayvid Geverson Lopes Marques. Um Teorema de Ponto Fixo e Aplicações a Equações Elípticas Semilineares.

Degree: 2012, Universidade Federal da Paraíba

URL: http://bdtd.biblioteca.ufpb.br/tde_busca/arquivo.php?codArquivo=2393

►

Neste trabalho, estudamos um teorema de ponto fixo para operadores crescentes em espaços vetoriais ordenados e o aplicamos para obter resultados de existência de solução… (more)

Subjects/Keywords: Equações elípticas semilineares; Ponto fixo; Espaços vetoriais ordenados; MATEMATICA; Fixed point; Ordered normed spaces; Semilinear elliptic equations

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Marques, D. G. L. (2012). Um Teorema de Ponto Fixo e Aplicações a Equações Elípticas Semilineares. (Thesis). Universidade Federal da Paraíba. Retrieved from http://bdtd.biblioteca.ufpb.br/tde_busca/arquivo.php?codArquivo=2393

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Marques, Dayvid Geverson Lopes. “Um Teorema de Ponto Fixo e Aplicações a Equações Elípticas Semilineares.” 2012. Thesis, Universidade Federal da Paraíba. Accessed January 21, 2021. http://bdtd.biblioteca.ufpb.br/tde_busca/arquivo.php?codArquivo=2393.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Marques, Dayvid Geverson Lopes. “Um Teorema de Ponto Fixo e Aplicações a Equações Elípticas Semilineares.” 2012. Web. 21 Jan 2021.

Vancouver:

Marques DGL. Um Teorema de Ponto Fixo e Aplicações a Equações Elípticas Semilineares. [Internet] [Thesis]. Universidade Federal da Paraíba; 2012. [cited 2021 Jan 21]. Available from: http://bdtd.biblioteca.ufpb.br/tde_busca/arquivo.php?codArquivo=2393.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Marques DGL. Um Teorema de Ponto Fixo e Aplicações a Equações Elípticas Semilineares. [Thesis]. Universidade Federal da Paraíba; 2012. Available from: http://bdtd.biblioteca.ufpb.br/tde_busca/arquivo.php?codArquivo=2393

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Universidade do Estado do Rio de Janeiro

24. Patricia Reis Martins. Aplicação de teorema de ponto fixo a um modelo de seleção de carteiras de investimento.

Degree: Master, 2015, Universidade do Estado do Rio de Janeiro

URL: http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=10276 ;

►

Este trabalho consiste na análise e detalhamento de um complexo modelo matemático para seleção de carteiras eficientes de investimento, com o objetivo de assegurar o… (more)

Subjects/Keywords: Seleção de carteiras de investimento; Assimetria; Ponto fixo; Portfolio selection; Skewness; Fixed point; ANALISE; Investimento - Avaliação; Títulos (Finanças); Risco (Economia)

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Martins, P. R. (2015). Aplicação de teorema de ponto fixo a um modelo de seleção de carteiras de investimento. (Masters Thesis). Universidade do Estado do Rio de Janeiro. Retrieved from http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=10276 ;

Chicago Manual of Style (16^th Edition):

Martins, Patricia Reis. “Aplicação de teorema de ponto fixo a um modelo de seleção de carteiras de investimento.” 2015. Masters Thesis, Universidade do Estado do Rio de Janeiro. Accessed January 21, 2021. http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=10276 ;.

MLA Handbook (7^th Edition):

Martins, Patricia Reis. “Aplicação de teorema de ponto fixo a um modelo de seleção de carteiras de investimento.” 2015. Web. 21 Jan 2021.

Vancouver:

Martins PR. Aplicação de teorema de ponto fixo a um modelo de seleção de carteiras de investimento. [Internet] [Masters thesis]. Universidade do Estado do Rio de Janeiro; 2015. [cited 2021 Jan 21]. Available from: http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=10276 ;.

Council of Science Editors:

Martins PR. Aplicação de teorema de ponto fixo a um modelo de seleção de carteiras de investimento. [Masters Thesis]. Universidade do Estado do Rio de Janeiro; 2015. Available from: http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=10276 ;

25. Chaves, Lennon Corrêa. Formal verification applied to attitude control software of unmanned aerial vehicles.

Degree: 2018, Universidade Federal do Amazonas

URL: https://tede.ufam.edu.br/handle/tede/6368

►

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… (more)

▼

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.

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.

Advisors/Committee Members: Cordeiro, Lucas Carvalho, 68878990272, http://lattes.cnpq.br/5005832876603012, Lima Filho, Eddie Batista de, http://lattes.cnpq.br/7827981023232761, [email protected].

Subjects/Keywords: Veículos Aéreos não tripulados; Verificação simbólica de modelos; Controladores de ponto-fixo; Sistemas Embarcados; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Chaves, L. C. (2018). Formal verification applied to attitude control software of unmanned aerial vehicles. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/6368

Chicago Manual of Style (16^th Edition):

Chaves, Lennon Corrêa. “Formal verification applied to attitude control software of unmanned aerial vehicles.” 2018. Masters Thesis, Universidade Federal do Amazonas. Accessed January 21, 2021. https://tede.ufam.edu.br/handle/tede/6368.

MLA Handbook (7^th Edition):

Chaves, Lennon Corrêa. “Formal verification applied to attitude control software of unmanned aerial vehicles.” 2018. Web. 21 Jan 2021.

Vancouver:

Chaves LC. Formal verification applied to attitude control software of unmanned aerial vehicles. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2018. [cited 2021 Jan 21]. Available from: https://tede.ufam.edu.br/handle/tede/6368.

Council of Science Editors:

Chaves LC. Formal verification applied to attitude control software of unmanned aerial vehicles. [Masters Thesis]. Universidade Federal do Amazonas; 2018. Available from: https://tede.ufam.edu.br/handle/tede/6368

26. BARROS, Abner Corrêa. Uma metodologia para a determinação da precisão numérica necessária á implementação do algoritmo RTM .

Degree: 2014, Universidade Federal de Pernambuco

URL: http://repositorio.ufpe.br/handle/123456789/12389

► Nestes últimos anos, com o início da prospecção de petróleo em regioões com litologias complexas, tem se observado um crescente interesse no uso do algoritmo… (more)

▼ Nestes últimos anos, com o início da prospecção de petróleo em regioões com litologias complexas, tem se observado um crescente interesse no uso do algoritmo Reverse Time Migration(RTM) como solução para o imageamento sísmico. Devido ao seu elevado custo computacional, o algoritmo RTM exige o uso de sistemas computacionais de alto desempenho, os quais demandam investimentos elevados em infraestrutura, o que normalmente representa também um aumento substancial no consumo de energia. Neste cenário, o desenvolvimento de coprocessadores aritméticos de alto desempenho, implementados por meio dos Field Programmable Gate Arrays(FPGAs), passou a ser considerado uma alternativa viável no objetivo de aumentar o a capacidade de processamento de sistemas computacionais já existentes, com impactos positivos tanto nos investimentos em infra-estrutura quanto no consumo de energia. Entretanto, o desenvolvimento destes coprocessadores normalmente exige um estudo prévio minucioso das características do algoritmo a ser implementado e do conjunto de dados a ser processado, a fim de determinar a precisão numérica mnima que deve ser empregada em sua implementação. O objetivo deste trabalho foi desenvolver uma metodologia que permita identificar a precisão numérica mínima necessária à implementação do algoritmo RTM, baseado nos fenômenos físicos envolvidos na propagação da onda sísmica e nas litologias prováveis da região a ser imageada. Para chegar a este objetivo foi desenvolvido um método analítico, capaz de predizer a atenuação esperada para as ondas sísmicas durante os processos de modelagem e migração presentes no algoritmo RTM. Esse método foi baseado em uma nova abordagem no tratamento da atenuação por espalhamento geométrico para modelos com múltiplas camadas, denominada de Raio Efetivo. Como estudo de caso de validação dessa metodologia, foram feitas predições e analisados os resultados de imageamento de diversos modelos sintéticos propostos por um especialista em geologia, os quais eram formados apenas por camadas horizontais, planas e paralelas. Além desses modelos mais simples, foi também utilizado um modelo reconhecidamente complexo, conhecido como modelo de marmousi. Os resultados obtidos em todos os estudos se mostraram dentro de uma margem de segurança de 1 bit de precisão. Advisors/Committee Members: LIMA, Manoel Eusebio de (advisor), CINTRA, Renato José de Sobral (advisor).

Subjects/Keywords: Computação de alto desempenho; Field Programmable Gate Arrays; FPGA; Aritmética de ponto flutuante; Aritmética de ponto fixo; Algoritmo RTM; Processamento de dados sísmicos; Imageamento Sísmico; Raio efetivo

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

BARROS, A. C. (2014). Uma metodologia para a determinação da precisão numérica necessária á implementação do algoritmo RTM . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/12389

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

BARROS, Abner Corrêa. “Uma metodologia para a determinação da precisão numérica necessária á implementação do algoritmo RTM .” 2014. Thesis, Universidade Federal de Pernambuco. Accessed January 21, 2021. http://repositorio.ufpe.br/handle/123456789/12389.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

BARROS, Abner Corrêa. “Uma metodologia para a determinação da precisão numérica necessária á implementação do algoritmo RTM .” 2014. Web. 21 Jan 2021.

Vancouver:

BARROS AC. Uma metodologia para a determinação da precisão numérica necessária á implementação do algoritmo RTM . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2014. [cited 2021 Jan 21]. Available from: http://repositorio.ufpe.br/handle/123456789/12389.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

BARROS AC. Uma metodologia para a determinação da precisão numérica necessária á implementação do algoritmo RTM . [Thesis]. Universidade Federal de Pernambuco; 2014. Available from: http://repositorio.ufpe.br/handle/123456789/12389

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

27. KNOECHELMANN, Augusto. Análise e avaliação comparativa dos processos alternativos de reforma do metano .

Degree: 2011, Universidade Federal de Pernambuco

URL: http://repositorio.ufpe.br/handle/123456789/6071

► Processos de reforma do metano foram avaliados considerando suas características de processamento praticadas na indústria de transformação do gás natural. Quantificações elaboradas via modelagem e… (more)

▼ Processos de reforma do metano foram avaliados considerando suas características de processamento praticadas na indústria de transformação do gás natural. Quantificações elaboradas via modelagem e simulação dos processos foram efetuadas para operações em um reator catalítico de leito fixo (1,0 m; 0,1 m; 12,1 kg cat.). Foram analisadas a reforma seca (RSM) com dióxido de carbono, a reforma autotérmica (RAM) e a reforma combinada (RCM), em operações na faixa de 973 K a 1123 K, sob 1,0 bar de pressão, com base em formulações cinéticas experimentais obtidas em presença do catalisador de níquel (5% em massa), suportado em gama alumina. Mecanismos de reação propostos serviram de suporte às descrições dos comportamentos dos processos, recorrendo-se às evoluções e aos perfis de concentração dos componentes: metano, dióxido de carbono, hidrogênio, monóxido de carbono, oxigênio e água. Decomposição e oxidação do metano, reações reversas water-gas shift e de Boudouard, e interações metano-água foram admitidas como etapas envolvidas nos processos, cujas taxas de reação compuseram os balanços de massa dos componentes envolvidos. As operações isotérmicas em leito fixo foram quantificadas segundo um modelo heterogêneo transiente que considerou dispersão axial e regime difusivo de funcionamento do catalisador. O reator de leito fixo foi operado com alimentação de 20,0 mol.L-1 de metano, em meio de argônio, reagindo com 30,0 mol.L-1 de dióxido de carbono na RSM; com 36 mol.L-1 de água e 4,0 mol.L-1 de oxigênio na RAM; e 9,8 mol.L-1 de dióxido de carbono, 6,0 mol.L-1 de água e 0,8 mol.L-1 de oxigênio na RCM. Rendimentos em hidrogênio na saída do reator foram destacados nos níveis 21 % na RSM, 13,5 % na RAM e 37% na RCM. Nas três reformas, efeitos advindos da formação de carbono, com potencial para a desativação do catalisador, indicaram ocorrências de significantes teores na entrada do reator, os quais se apresentaram insignificantes na saída Advisors/Committee Members: ABREU, Cesar Augusto Moraes de (advisor).

Subjects/Keywords: Reformas do metano; Catalisador de níquel; Reator de leito fixo; Modelagem

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

KNOECHELMANN, A. (2011). Análise e avaliação comparativa dos processos alternativos de reforma do metano . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/6071

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

KNOECHELMANN, Augusto. “Análise e avaliação comparativa dos processos alternativos de reforma do metano .” 2011. Thesis, Universidade Federal de Pernambuco. Accessed January 21, 2021. http://repositorio.ufpe.br/handle/123456789/6071.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

KNOECHELMANN, Augusto. “Análise e avaliação comparativa dos processos alternativos de reforma do metano .” 2011. Web. 21 Jan 2021.

Vancouver:

KNOECHELMANN A. Análise e avaliação comparativa dos processos alternativos de reforma do metano . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2011. [cited 2021 Jan 21]. Available from: http://repositorio.ufpe.br/handle/123456789/6071.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

KNOECHELMANN A. Análise e avaliação comparativa dos processos alternativos de reforma do metano . [Thesis]. Universidade Federal de Pernambuco; 2011. Available from: http://repositorio.ufpe.br/handle/123456789/6071

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

28. Sérgio Tsuyoshi Ura. Um homomorfismo índice associado à ações livres de grupos abelianos finitos.

Degree: 2011, Universidade Federal de São Carlos

URL: http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=3972

►

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)… (more)

▼

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.

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.

Advisors/Committee Members: Pedro Luiz Queiroz Pergher.

Subjects/Keywords: ZP - índice; Topologia algébrica; Teoremas do tipo Borsuk-Ulam; G-índice; MATEMATICA

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Ura, S. T. (2011). Um homomorfismo índice associado à ações livres de grupos abelianos finitos. (Thesis). Universidade Federal de São Carlos. Retrieved from http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=3972

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Ura, Sérgio Tsuyoshi. “Um homomorfismo índice associado à ações livres de grupos abelianos finitos.” 2011. Thesis, Universidade Federal de São Carlos. Accessed January 21, 2021. http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=3972.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Ura, Sérgio Tsuyoshi. “Um homomorfismo índice associado à ações livres de grupos abelianos finitos.” 2011. Web. 21 Jan 2021.

Vancouver:

Ura ST. Um homomorfismo índice associado à ações livres de grupos abelianos finitos. [Internet] [Thesis]. Universidade Federal de São Carlos; 2011. [cited 2021 Jan 21]. Available from: http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=3972.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ura ST. Um homomorfismo índice associado à ações livres de grupos abelianos finitos. [Thesis]. Universidade Federal de São Carlos; 2011. Available from: http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=3972

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

29. Carlos Alberto de Albuquerque Silva. Contribuição para o estudo do embarque de uma rede neural artificial em field programmable gate array (FPGA).

Degree: 2010, Universidade Federal do Rio Grande do Norte

URL: http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4220 ; http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4221

►

Este estudo consiste na implementação e no embarque de uma Rede Neural Artificial (RNA) em hardware, ou seja, em um dispositivo programável do tipo field… (more)

▼

Este estudo consiste na implementação e no embarque de uma Rede Neural Artificial (RNA) em hardware, ou seja, em um dispositivo programável do tipo field programmable gate array (FPGA). O presente trabalho permitiu a exploração de diferentes implementações, descritas em VHDL, de RNA do tipo perceptrons de múltiplas camadas. Por causa do paralelismo inerente às RNAs, ocorrem desvantagens nas implementações em software, devido à natureza sequencial das arquiteturas de Von Neumann. Como alternativa a este problema, surge uma implementação em hardware que permite explorar todo o paralelismo implícito neste modelo. Atualmente, verifica-se um aumento no uso do FPGA como plataforma para implementar as Redes Neurais Artificiais em hardware, explorando o alto poder de processamento, o baixo custo, a facilidade de programação e capacidade de reconfiguração do circuito, permitindo que a rede se adapte a diferentes aplicações. Diante desse contexto, objetivou-se desenvolver arranjos de redes neurais em hardware, em uma arquitetura flexível, nas quais fosse possível acrescentar ou retirar neurônios e, principalmente, modificar a topologia da rede, de forma a viabilizar uma rede modular em aritmética de ponto fixo, em um FPGA. Produziram-se cinco sínteses de descrições em VHDL: duas para o neurônio com uma e duas entradas, e três para diferentes arquiteturas de RNA. As descrições das arquiteturas utilizadas tornaram-se bastante modulares, possibilitando facilmente aumentar ou diminuir o número de neurônios. Em decorrência disso, algumas redes neurais completas foram implementadas em FPGA, em aritmética de ponto fixo e com alta capacidade de processamento paralelo

This study shows the implementation and the embedding of an Artificial Neural Network (ANN) in hardware, or in a programmable device, as a field programmable gate array (FPGA). This work allowed the exploration of different implementations, described in VHDL, of multilayer perceptrons ANN. Due to the parallelism inherent to ANNs, there are disadvantages in software implementations due to the sequential nature of the Von Neumann architectures. As an alternative to this problem, there is a hardware implementation that allows to exploit all the parallelism implicit in this model. Currently, there is an increase in use of FPGAs as a platform to implement neural networks in hardware, exploiting the high processing power, low cost, ease of programming and ability to reconfigure the circuit, allowing the network to adapt to different applications. Given this context, the aim is to develop arrays of neural networks in hardware, a flexible architecture, in which it is possible to add or remove neurons, and mainly, modify the network topology, in order to enable a modular network of fixed-point arithmetic in a FPGA. Five synthesis of VHDL descriptions were produced: two for the neuron with one or two entrances, and three different architectures of ANN. The descriptions of the used architectures became very modular, easily allowing the increase or decrease of the number of…

Advisors/Committee Members: José Alberto Nicolau de Oliveira, Jorge Dantas de Melo, Danniel Cavalvante Lopes, Adrião Duarte Dória Neto.

Subjects/Keywords: Computação reconfigurável; ENGENHARIA ELETRICA; Redes neurais artificiais; FPGA; VHDL; Hardware; Aritmética ponto fixo; Reconfigurable computing; Artificial neural network; FPGA; VHDL; Hardware; Arithmetic fixed point

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Silva, C. A. d. A. (2010). Contribuição para o estudo do embarque de uma rede neural artificial em field programmable gate array (FPGA). (Thesis). Universidade Federal do Rio Grande do Norte. Retrieved from http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4220 ; http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4221

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Silva, Carlos Alberto de Albuquerque. “Contribuição para o estudo do embarque de uma rede neural artificial em field programmable gate array (FPGA).” 2010. Thesis, Universidade Federal do Rio Grande do Norte. Accessed January 21, 2021. http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4220 ; http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4221.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Silva, Carlos Alberto de Albuquerque. “Contribuição para o estudo do embarque de uma rede neural artificial em field programmable gate array (FPGA).” 2010. Web. 21 Jan 2021.

Vancouver:

Silva CAdA. Contribuição para o estudo do embarque de uma rede neural artificial em field programmable gate array (FPGA). [Internet] [Thesis]. Universidade Federal do Rio Grande do Norte; 2010. [cited 2021 Jan 21]. Available from: http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4220 ; http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4221.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Silva CAdA. Contribuição para o estudo do embarque de uma rede neural artificial em field programmable gate array (FPGA). [Thesis]. Universidade Federal do Rio Grande do Norte; 2010. Available from: http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4220 ; http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4221

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

30. Soares, Marcio de Jesus. Ações de p-grupos sobre produto de esferas, co-homologia dos grupos virtualmente cíclicos (\'Z IND.a\' X| \'Z IND. b\' )X| Z e [\'Z IND.a\' X| (\'Z IND.b\' X \'Q IND.2 POT. i\' )] X| Z e cohomologia de Tate.

Degree: PhD, Matemática, 2008, University of São Paulo

URL: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-10102008-011126/ ;

►

Neste trabalho inicialmente estudamos o rank da co-homologia do espaço dos pontos fixos de uma \'Z IND.p-́ ação semilivre sobre espaços X~p Ś POT. nx́… (more)

Subjects/Keywords: Co-homologia de Tate; Co-homologia equivariante; Equivariant cohomology; fixed point.; grupos virtualmente cíclicos; ponto fixo.; produto de esferas; sphere product; Tate Cohomology; virtually cyclic groups

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Soares, M. d. J. (2008). Ações de p-grupos sobre produto de esferas, co-homologia dos grupos virtualmente cíclicos (\'Z IND.a\' X| \'Z IND. b\' )X| Z e [\'Z IND.a\' X| (\'Z IND.b\' X \'Q IND.2 POT. i\' )] X| Z e cohomologia de Tate. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/55/55135/tde-10102008-011126/ ;

Chicago Manual of Style (16^th Edition):

Soares, Marcio de Jesus. “Ações de p-grupos sobre produto de esferas, co-homologia dos grupos virtualmente cíclicos (\'Z IND.a\' X| \'Z IND. b\' )X| Z e [\'Z IND.a\' X| (\'Z IND.b\' X \'Q IND.2 POT. i\' )] X| Z e cohomologia de Tate.” 2008. Doctoral Dissertation, University of São Paulo. Accessed January 21, 2021. http://www.teses.usp.br/teses/disponiveis/55/55135/tde-10102008-011126/ ;.

MLA Handbook (7^th Edition):

Soares, Marcio de Jesus. “Ações de p-grupos sobre produto de esferas, co-homologia dos grupos virtualmente cíclicos (\'Z IND.a\' X| \'Z IND. b\' )X| Z e [\'Z IND.a\' X| (\'Z IND.b\' X \'Q IND.2 POT. i\' )] X| Z e cohomologia de Tate.” 2008. Web. 21 Jan 2021.

Vancouver:

Soares MdJ. Ações de p-grupos sobre produto de esferas, co-homologia dos grupos virtualmente cíclicos (\'Z IND.a\' X| \'Z IND. b\' )X| Z e [\'Z IND.a\' X| (\'Z IND.b\' X \'Q IND.2 POT. i\' )] X| Z e cohomologia de Tate. [Internet] [Doctoral dissertation]. University of São Paulo; 2008. [cited 2021 Jan 21]. Available from: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-10102008-011126/ ;.

Council of Science Editors:

Soares MdJ. Ações de p-grupos sobre produto de esferas, co-homologia dos grupos virtualmente cíclicos (\'Z IND.a\' X| \'Z IND. b\' )X| Z e [\'Z IND.a\' X| (\'Z IND.b\' X \'Q IND.2 POT. i\' )] X| Z e cohomologia de Tate. [Doctoral Dissertation]. University of São Paulo; 2008. Available from: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-10102008-011126/ ;

		in
And / Or
		in
And / Or
		in
And / Or
		in

Open Access Theses and Dissertations