Um estudo da geometria projetiva elíptica

Pós-graduação em Matemática Universitária - IGCE

Tópicos em teoria das perturbações cosmológicas

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Modelo mecânico para estruturas lineares em concreto armado - uma abordagem acoplada entre a mecânica do dano e algoritmos de otimização

Modelos escritos através dos conceitos da Mecânica do Dano no Contínuo representam atualmente uma alternativa consistente para a simulação numérica do comportamento de estruturas constituídas por materiais quase frágeis, onde a perda de rigidez em função da fissuração crescente é o fator preponderante da resposta não-linear de seus elementos estruturais. No entanto, modelos de dano apresentam forte dependência de parâmetros internos usados para descrever os critérios e evolução das variáveis de dano, que devem ser calibrados adequadamente para uma resposta mecânica coerente da estrutura. Neste contexto, o artigo mostra um estudo sobre a calibração de parâmetros do modelo de dano de Mazars e sua aplicação na análise numérica de vigas e pórticos planos em concreto armado. O Método dos Mínimos Quadrados é adotado para resolver o problema, em conjunto com a técnica de Gauss-Newton. Em virtude da ausência de resultados experimentais para diversas classes de resistência do concreto, como referência para o processo de calibração, são adotados alguns modelos constitutivos teóricos tanto à tração quanto à compressão. Esse processo de calibração de parâmetros é incorporado a um modelo mecânico em elementos finitos para análise de barras em concreto armado, com a consideração conjunta dos mecanismos complementares de resistência ao cisalhamento, como efeito de pino, armadura transversal e engrenamento de agregados. Uma lei constitutiva exponencial para o decaimento da resistência à tração do concreto é proposta com o objetivo de simular o comportamento do tipo tension softening do material. Testes de simulação envolvendo o modelo proposto foram realizados, comparando-se com resultados experimentais e numéricos mostrando a boa precisão e capacidade de obtenção de cargas últimas em estruturas de barras em concreto armado.

Introdução à teoria de Poincaré-Bendixson para campos de vetores planares

O Teorema de Poincaré-Bendixson é um resultado muito importante no estudo de Sistemas Dinâmicos, pois ele estabelece para quais tipos de conjunto limite as trajetórias de um campo de vetores em IR2 deve convergir. Neste trabalho vamos abordar a Funç˜ao do primeiro Retorno de Poincaré, além de discutir a estabilidade de Ciclos Limites e provar o Teorema de Poincaré-Bendixson.

Aritmética por apps

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Domínios de potências fracionárias de operadores matriciais segundo Lasiecka-Triggiani

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Termodinâmica de um conjunto de partículas em um bilhar bidimensional dependente do tempo: um gás bidimensional simplificado

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Uma abordagem geométrica para princípios de localização de integrais funcionais

Pós-graduação em Física - IFT

Compactificação alternativa de dimensões extras em gravitação de Brans-Dicke

After a brief introduction of some gravitational aspects of the Randall-Sundrum braneworld model as well as of the Brans-Dicke (BD) gravity, we propose two braneworld models using the, local and global, cosmic strings in the BD framework in order to generate all the bulk/brane structure. The final scenario is composed, in both cases, of a warped 4-brane with topology 'R POT. 4' x 'S POT. 1' and one extra dimension transverse to the brane. After that, we analyze the founded models in the scope of the Gauss-Codazzi formalism, with and without the imposition of 'Z IND. 2' symmetry on the brane

Máximos e mínimos com proposta de aplicação para funções quadráticas

Pós-graduação em Matemática em Rede Nacional - IBILCE

Teoria quântica da computação

This undergraduate thesis aims formally define aspects of Quantum Turing Machine using as a basis quantum finite automata. We introduce the basic concepts of quantum mechanics and quantum computing through principles such as superposition, entanglement of quantum states, quantum bits and algorithms. We demonstrate the Bell's teleportation theorem, enunciated in the form of Deutsch-Jozsa definition for quantum algorithms. The way as the overall text were written omits formal aspects of quantum mechanics, encouraging computer scientists to understand the framework of quantum computation. We conclude our thesis by listing the Quantum Turing Machine's main limitations regarding the well-known Classical Turing Machines