Now showing items 21-40 of 112

    • Recobrimentos e morfismos irredutíveis 

      Nascimento, Ruth (2011-06-15)
      Resumo: Esta dissertação tem por objetivo o estudo das relações entre recobrimentos e morfismos irredutíveis para se obter informações sobre o tipo de representação de uma k -álgebra de dimensão finito, com k um corpo ...
    • Convergência global de um método de região de confiança sem derivadas com modelos baseados em interpolação polinomial 

      Verdério, Adriano (2011-06-16)
      Resumo: Apresentamos um método de região de confiança para resolver problemas de otimização irrestrita sem o uso de derivadas da função objetivo. Em cada iteração minimizamos um modelo quadrático da função em uma região, ...
    • Classificação das álgebras de Artin a partir dos ext-projetivos na parte direita de suas categorias de módulos. 

      Pierin, Tanise Carnieri (2011-06-20)
      Resumo: Motivados pela definição de álgebras suportadas proposta por Assem em [2], apresentamos uma tentativa de classificar as álgebras de artin hereditárias, quasi-inclinadas e laura estritas a partir dos Ext-projetivos ...
    • Simetrias em geografia e física. 

      Silva, Ricardo Paleari da (2011-06-28)
    • Métodos de elementos finitos de Nédélec para as equações de Maxwell Harmônicas no tempo 

      Sebold, Jean Eduardo (2011-10-11)
      Resumo: Este trabalho trata dos métodos de elementos finitos de Nédélec para as equações de Maxwell harmônicas no tempo. Revisamos a obtenção das equações harmônicas a partir das equações de Maxwell completas, obtemos a ...
    • O problema de Brezis-Nirenberg 

      Samuays, Maikel Antonio (2011-10-24)
      Resumo: Neste trabalho, analisamos a existencia de solucao para problemas da forma 8 >< >: ..div € rujp..2ru . = f em u > 0 em u = 0 sobre @ , (1) sendo f : !R uma funcao dada por f = up..1 +up..1, Rn aberto e ...
    • Soluções muito fracas para o problema de Stokes 

      Matos, Valério Gonçalves de (2011-10-31)
      Resumo: O Problema de Stokes será estudado neste trabalho sob o prisma das soluções muito fracas. Tal problema é caracterizado da seguinte maneira: encontrar um par de funções (u; q), solução das equações: (S) 8>< >: ..u ...
    • Análise de estabilidade de métodos numéricos para modelos lineares de ondas internas 

      Gonzáles Cordóva, Pablo Nestor (2012-02-02)
      Resumo: Nesta dissertação estudamos a estabilidade de um modelo reduzido e linearizado de ondas internas no caso de um fundo plano. Este modelo apresenta um termo não local que envolve a transformada de Hilbert na faixa. ...
    • Convergência global de um método sem derivadas para otimização irrestrita. 

      Ferreira, Priscila Savulski (2012-05-17)
      Resumo: Apresenta-se um método para minimização irrestrita de uma função F : IRn ! IR duas vezes diferençável cujas derivadas estão indisponíveis. Considera-se para tal, um algoritmo iterativo de região de confiança. Durante ...
    • Métodos de detecção de singularidades a partir de dados espectrais 

      Hlenka, Vanessa (2012-05-24)
      Resumo: A detecção de descontinuidades a partir de dados espectrais de Fourier é importante em muitas aplicações, incluindo processamento de imagens e pós processamento de soluções numéricas para equações diferenciais ...
    • Folheações transversais à esfera tridimensional 

      Silva, Fernando de Ávila (2012-05-25)
      Resumo: O objetivo deste trabalho é investigar a existência, bem como a quantidade, de folhas compactas de uma folheação da esfera tridimensional, no casoemque esta folheação é determinada pela interseção das curvas integrais ...
    • Conjuntos de von Neumann e os fundamentos da física clássica 

      Quirino, Ana Paula Novak Ramos (2012-08-27)
      Resumo: Apresentamos aqui uma breve discussão sobre resultados envolvendo a definibilidade e, portanto, eliminabilidade de tempo e espaço-tempo como conceitos primitivos em certas formulações axiomáticas para teorias físicas ...
    • Estimativa do número de condição de um precondicionador ST para problemas indefinidos 

      Lima, Helder Geovane Gomes de (2012-08-27)
      Resumo: Neste trabalho, é discutido o uso de precondicionadores para transformar problemas de ponto de sela em problemas cuja matriz seja simétrica e definida positiva. Os precondicionadores estudados baseiam-se na ...
    • Alguns tópicos em L espaços topológicos 

      Breuckmann, Tomas Keller (2012-08-27)
      Resumo: Em um L espaço topológico propomos boas definições de compacidade local, compacidade local fraca e compacidade local relativa. Como resultados obtemos a invariância por funções abertas contínuas e sobrejetoras, a ...
    • Análise de erro da transformaçao de Householder generalizada 

      Pisnitchenko, Fedor (2012-08-27)
      Resumo: A transfomação de Householder generalizada foi introduzida por LaBudde em 1963. A utilidade dessa transfomação é poder reduzir uma matriz arbitrária a uma forma tridiagonal semelhante. Sua fonna otimizada, chamada ...
    • Modelamento sísmico em meios analíticos 

      Miqueles, Eduardo Xavier (2012-09-28)
      Resumo: Modelamento sísmico é um problema direto, utilizado para resolver vários problemas inversos. Por problema direto entendemos a modelagem da propagação de ondas em meios previamente estabelecidos e por problema ...
    • Um estudo sobre a categoria derivada de álgebras string 

      Benitez Monsalve, Germán Alonso (2012-12-20)
      Resumo: Motivados pelo trabalho de Happel e Seidel que caracterizam as álgebras string de tipo An (com um tipo bastante especial de relações) que são hereditárias por partes, resolvemos analisar quando que extensões por ...
    • Um estudo de métodos espectrais de derivação 

      Brodzinski, Renato Cesar (2013)
      Resumo: Neste trabalho são estudados quatro métodos espectrais de derivação, que são baseados nas Transformadas de Fourier Semidiscreta e Discreta. Estes métodos foram testados e comparados em MATLAB usando funções gaussianas ...
    • Identidades de MacWilliams para Códigos Poset 

      Carneiro, Maycow Gonçalves (2013)
      Resumo: A classe de códigos mais estudada é a dos códigos lineares. Utilizando a métrica de Hamming conseguimos relacionar o polinômio enumerador de peso deumcódigoC com o do seu código dual (C?) através das identidade de ...
    • Processo de biortogonalização de Lanczos com estratégia de look-ahead 

      Gonçalves, Ana Paula Piantoni (2013)
      Resumo: Esta dissertação trata de métodos de projeção baseados em subespaços de Krylov, tendo como principal enfoque o método de Biortogonalização de Lanczos para matrizes não simétricas. Este método gera duas bases ...