Vibração de barras em pequena amplitude com efeito geométrico

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

Modelagem Matemática e Análise de Modelos Matemáticos na Educação Matemática

In this paper we present two studies, the first one completed and the second one in development, which are based in teaching approaches that propose the qualitative study of mathematical models as a strategy for the teaching and learning of mathematical concepts. These teaching approaches focus on subjects from Higher Education such as Introduction to Ordinary Differential Equations and Topics of Differential and Integral Calculus. We denominate this common aspect of the teaching approaches as Model Analysis and in a preliminary level we relate it with Mathematical Modeling. Furthermore, we discuss some questions related with the choice of the theme and the role of Digital Technologies when Model Analysis is applied.

Cálculo fracionário aplicado em dinâmica tumoral: método da Transformada Diferencial generalizada

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

Continuity of Lyapunov functions and of energy level for generalized gradient semigroup

The global attractor of a gradient-like semigroup has a Morse decomposition. Associated to this Morse decomposition there is a Lyapunov function (differentiable along solutions)-defined on the whole phase space- which proves relevant information on the structure of the attractor. In this paper we prove the continuity of these Lyapunov functions under perturbation. On the other hand, the attractor of a gradient-like semigroup also has an energy level decomposition which is again a Morse decomposition but with a total order between any two components. We claim that, from a dynamical point of view, this is the optimal decomposition of a global attractor; that is, if we start from the finest Morse decomposition, the energy level decomposition is the coarsest Morse decomposition that still produces a Lyapunov function which gives the same information about the structure of the attractor. We also establish sufficient conditions which ensure the stability of this kind of decomposition under perturbation. In particular, if connections between different isolated invariant sets inside the attractor remain under perturbation, we show the continuity of the energy level Morse decomposition. The class of Morse-Smale systems illustrates our results.

Odd homoclinic orbits for a second order Hamiltonian system

The aim of this paper is to find an odd homoclinic orbit for a class of reversible Hamiltonian systems. The proof is variational and it employs a version of the concentration compactness principle of P. L. Lions in a lemma due to Struwe.

Um problema de dispersão de poluentes em rios e canais por meio do método de separação de variáveis

Neste trabalho obtém-se uma solução analítica para a equação de advecção-difusão aplicada a problemas de dispersão de poluentes em rios e canais. Para tanto, consideram-se os casos unidimensionais e bidimensionais em regime transiente com coeficientes de difusividade e velocidades constantes. A abordagem utilizada para a resolução deste problema é o método de Separação de Variáveis. Os modelos resolvidos foram simulados utilizando o MatLab. Apresentam-se os resultados das simulações numéricas em formato gráfico. Os resultados de algumas simulações numéricas existem na literatura e puderam ser comparados. O modelo proposto mostrou-se coerente em relação aos dados considerados. Para outras simulações não foram encontrados comparativos na literatura, todavia esses problemas governados por equações diferenciais parciais, mesmo lineares, não são de fácil solução analítica. Sendo que, muitas delas representam importantes problemas de matemática e física, com diversas aplicações na engenharia. Dessa forma, é de grande importância a disponibilidade de um maior número de problemas-teste para avaliação de desempenho de formulações numéricas, cada vez mais eficazes, já que soluções analíticas oferecem uma base mais segura para comparação de resultados.

Conversão da lactose e síntese de galacto-oligossacarídeos: uma abordagem experimental e teórica

O presente trabalho avaliou, na etapa experimental, um processo simultâneo de catálise e fermentação láctica visando obter um iogurte com potenciais características nutracêuticas e, na sua etapa teórica, estabeleceu uma interlocução entre a vivência experimentalista e a teoria da cinética enzimática, no que se refere à conversão da lactose e à síntese de galactooligossacarídeos (GOS). Na abordagem experimental, para um substrato específico, avaliouse biocatálise conduzida simultaneamente à fermentação, defasando a adição da enzima em relação ao início do processo fermentativo. A fermentação foi realizada a partir de cultura láctica liofilizada comercial contendo dois micro-organismos probióticos, Bifidobacterium animalis e Lactobacillus acidophilus, associados aos micro-organismos característicos do iogurte, Lactobacillus bulgaricus e Streptococcus thermophilus. Foi utilizado um preparado enzimático contendo -galactosidases obtidas de duas origens distintas: Kluyveromyces lactis e Aspergillus niger. Foram avaliados os efeitos da concentração da enzima e do tempo de adição da enzima em um planejamento experimental 2 2 . As respostas foram às concentrações, ao final do processo, de lactose, de GOS, de glicose e de galactose e a hidrólise dos galactooligossacarídeos ao longo do tempo. No que se refere à abordagem teórica, o presente trabalho considerou modelos matemáticos de hidrólise de dissacarídeos e conversão da lactose, em que a inibição foi representada a partir do incremento da concentração dos produtos da reação. No que se refere à conversão da lactose e síntese de GOS, o presente trabalho buscou estabelecer um modelo matemático em que a inibição ocorreu por efeito do incremento das concentrações de glicose e de galactose, comparando-o com os modelos conhecidos na literatura. Verificou-se que o desempenho do modelo obtido no presente trabalho foi robusto em relação às premissas estabelecidas. Na comparação com resultados experimentais de conversão enzimática, o modelo mostrou-se capaz de minimizar o erro e de ajustar-se aos dados experimentais.

A Matemática da Natureza : Os padrões decorativos das conchas marinhas

(...) Os padrões decorativos que revestem as conchas de moluscos marinhos tropicais constituem um claro convite a uma análise mais profunda. Estes padrões são registos do crescimento das próprias conchas, seguindo leis como as da formação das dunas nos desertos ou da propagação de uma epidemia de gripe. (...) A diversidade dos padrões, que podem diferir em detalhes, mesmo entre conchas da mesma espécie, sugere um mecanismo morfogenético geral o suficiente para abranger variações espécime-a-espécime e espécie-a-espécie. Este mecanismo de reação-difusão é expresso, em termos matemáticos, por sistemas de equações diferenciais de derivadas parciais. (...)

Classificação hierárquica com distribuições a posteriori: um estudo de simulação em padrões temporais de VIH

O objetivo deste trabalho é avaliar diferentes abordagens para identificação de grupos de pacientes VIH com padrões temporais de evolução da doença similares. Foi considerado um sistema de equações diferenciais ordinárias para caracterizar a comportamento ao longo do tempo de um paciente VIH sob tratamento antiretroviral - TAR de longo prazo, com 5 parâmetros estimados a partir de metodologia Bayesiana. As distribuições a posteriori foram usadas para quantificar distâncias (univariadas) entre pacientes, através do valor médio da distribuição a posteriori, e considerando a distância entre as distribuições a posteriori para cada parâmetro. O resultado do agrupamento hierárquico obtido pelas duas abordagens sugere que o uso de uma distância que considere a distribuição a posteriori é preferível. Trabalho futuro irá considerar distâncias multivariadas em vez de distâncias univariadas.

Estudo de ciclos limites em sistemas diferenciais lineares por partes

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

Paralelização de métodos de resolução de sistemas lineares esparsos com o DECK em um Cluster de PCs

O objetivo desta dissertação é a paralelização e a avaliação do desempenho de alguns métodos de resolução de sistemas lineares esparsos. O DECK foi utilizado para implementação dos métodos em um cluster de PCs. A presente pesquisa é motivada pela vasta utilização de Sistemas de Equações Lineares em várias áreas científicas, especialmente, na modelagem de fenômenos físicos através de Equações Diferenciais Parciais (EDPs). Nessa área, têm sido desenvolvidas pesquisas pelo GMC-PAD – Grupo de Matemática da Computação e Processamento de Alto Desempenho da UFRGS, para as quais esse trabalho vem contribuindo. Outro fator de motivação para a realização dessa pesquisa é a disponibilidade de um cluster de PCs no Instituto de Informática e do ambiente de programação paralela DECK – Distributed Execution and Communication Kernel. O DECK possibilita a programação em ambientes paralelos com memória distribuída e/ou compartilhada. Ele está sendo desenvolvido pelo grupo de pesquisas GPPD – Grupo de Processamento Paralelo e Distribuído e com a paralelização dos métodos, nesse ambiente, objetiva-se também validar seu funcionamento e avaliar seu potencial e seu desempenho. Os sistemas lineares originados pela discretização de EDPs têm, em geral, como características a esparsidade e a numerosa quantidade de incógnitas. Devido ao porte dos sistemas, para a resolução é necessária grande quantidade de memória e velocidade de processamento, característicos de computações de alto desempenho. Dois métodos de resolução foram estudados e paralelizados, um da classe dos métodos diretos, o Algoritmo de Thomas e outro da classe dos iterativos, o Gradiente Conjugado. A forma de paralelizar um método é completamente diferente do outro. Isso porque o método iterativo é formado por operações básicas de álgebra linear, e o método direto é formado por operações elementares entre linhas e colunas da matriz dos coeficientes do sistema linear. Isso permitiu a investigação e experimentação de formas distintas de paralelismo. Do método do Gradiente Conjugado, foram feitas a versão sem précondicionamento e versões pré-condicionadas com o pré-condicionador Diagonal e com o pré-condicionador Polinomial. Do Algoritmo de Thomas, devido a sua formulação, somente a versão básica foi feita. Após a paralelização dos métodos de resolução, avaliou-se o desempenho dos algoritmos paralelos no cluster, através da realização de medidas do tempo de execução e foram calculados o speedup e a eficiência. As medidas empíricas foram realizadas com variações na ordem dos sistemas resolvidos e no número de nodos utilizados do cluster. Essa avaliação também envolveu a comparação entre as complexidades dos algoritmos seqüenciais e a complexidade dos algoritmos paralelos dos métodos. Esta pesquisa demonstra o desempenho de métodos de resolução de sistemas lineares esparsos em um ambiente de alto desempenho, bem como as potencialidades do DECK. Aplicações que envolvam a resolução desses sistemas podem ser realizadas no cluster, a partir do que já foi desenvolvido, bem como, a investigação de précondicionadores, comparação do desempenho com outros métodos de resolução e paralelização dos métodos com outras ferramentas possibilitando uma melhor avaliação do DECK.

Ciclos limites de sistemas lineares por partes

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

Estabilidade assintótica de uma classe de sistemas não lineares

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

Estudo de estabilidade e bifurcações em sistemas não-lineares

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

Conjuntos minimais de sistemas lineares por partes

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)