Aspecto progressivo : um modal epistêmico?

Esta pesquisa procurou demonstrar que o aspecto progressivo representa a opção disponibilizada pela língua portuguesa para que o falante, diante de determinadas situações, possa se referir apenas ao fragmento manifesto, revelando, assim, o seu desejo de se comprometer somente com a parte da verdade evidenciada pela situação. Quando uma situação é apresentada com um verbo de estado, os falantes de língua inglesa, para atingir o mesmo objetivo, utilizam perífrases dos verbos de estado. Foram selecionados verbos de estado que expressam estados mentais/cognitivos para testar as hipóteses, porque a mitigação de comprometimento revelou ser mais claramente observável em enunciados com este tipo de verbos. Os resultados obtidos evidenciaram que os falantes de ambas as línguas distinguem situações completas de incompletas e que optam por mais de uma forma para expressar menor comprometimento, e não somente pela forma do aspecto progressivo quando, após interpretar uma situação como incompleta, desejam manifestar-se a respeito dela. Os falantes de ambas as línguas também utilizaram formas no perfectivo + perífrase modalizadora e perífrases dos verbos de estado no progressivo. A opção pelo uso destas formas, para ser fiel à verdade de sua interpretação da situação como não-completa, indiciou que há uma avaliação de grau de comprometimento por parte do falante. Os resultados apontam para a possibilidade de que o aspecto progressivo atue como um modal epistêmico, não obstante o fato de o falante poder expressar comprometimento parcial também através de outras formas.

Sistemas concentrados e distribuídos através da análise modal adjunta

Este estudo visou a utilização direta da análise modal adjunta em sistemas não-clásicos de natureza concentrada e distribuída, explorando o conceitos de biortogonalidade modal e da resposta impulso evolutiva e estacionária. Discutiu-se a natureza do espectro para diversas classes de sistemas, em particular para sistemas com efeitos giroscópicos e com atrito interno. A teoria foi desenvolvida de maneira paralela para sistemas de primeira ordem e de segunda ordem, porém é apresentada de maneira independente, ou seja, para os sistemas de segunda ordem não é utilizada a formulação de espaço de estado, a qual reduz o sistema para primeira ordem. Assim, as relações de biortogonalidade para sistemas de segunda ordem são apresentadas e utilizadas de maneira direta na expansão modal da resposta dos sistemas. A forma dos modos de vibração em variadas aplicações é determinada de maneira exata com o uso da base dinâmica gerada pela resposta impulso espacial. No cálculo dos autovalores foi introduzida uma aproximação polinomial para a resposta impulso espacial Os coeficientes dessa aproximação foram obtidos por recursão, a partir de uma equação em diferenças associada à equação característica do problema modal. Simulações numéricas foram realizadas para obter a resposta impulso evolutiva, respostas forçadas e modos de vibração de sistemas não-clássicos concentrados, formulados através de modelos ou aproximações, e sistemas distribuídos, formulados através de modelos ou incluindo distúrbios e acoplamento através das condições decontorno. Os resultados deste estudo permitiram concluir, através das simulações numéricas realizadas, a importância da base dinâmica no sentido de simplificar os cálculos para obtenção dos autovalores, dos modos de vibração e, consequentemente, da resposta do sistema, seja concentrado, distribuído com ou sem acoplamento das condições de contorno. A utilização da análise modal adjunta, desde que ocorra uma ordenação adequada dos autovalores e modos, mostrou-se um método eficiente na obtenção direta da resposta de sistemas não-clássicos de segunda ordem, ou seja, sem redução ao espaço de estado.

Resolução de sistemas de equações lineares através de métodos de decomposição de domínio

A paralelização de métodos de resolução de sistemas de equações lineares e não lineares é uma atividade que tem concentrado várias pesquisas nos últimos anos. Isto porque, os sistemas de equações estão presentes em diversos problemas da computação cientí ca, especialmente naqueles que empregam equações diferenciais parciais (EDPs) que modelam fenômenos físicos, e que precisam ser discretizadas para serem tratadas computacionalmente. O processo de discretização resulta em sistemas de equações que necessitam ser resolvidos a cada passo de tempo. Em geral, esses sistemas têm como características a esparsidade e um grande número de incógnitas. Devido ao porte desses sistemas é necessária uma grande quantidade de memória e velocidade de processamento, sendo adequado o uso de computação de alto desempenho na obtenção da solução dos mesmos. Dentro desse contexto, é feito neste trabalho um estudo sobre o uso de métodos de decomposição de domínio na resolução de sistemas de equações em paralelo. Esses métodos baseiam-se no particionamento do domínio computacional em subdomínios, de modo que a solução global do problema é obtida pela combinação apropriada das soluções de cada subdomínio. Uma vez que diferentes subdomínios podem ser tratados independentemente, tais métodos são atrativos para ambientes paralelos. Mais especi camente, foram implementados e analisados neste trabalho, três diferentes métodos de decomposição de domínio. Dois desses com sobreposição entre os subdomínios, e um sem sobreposição. Dentre os métodos com sobreposição foram estudados os métodos aditivo de Schwarz e multiplicativo de Schwarz. Já dentre os métodos sem sobreposição optou-se pelo método do complemento de Schur. Todas as implementações foram desenvolvidas para serem executadas em clusters de PCs multiprocessados e estão incorporadas ao modelo HIDRA, que é um modelo computacional paralelo multifísica desenvolvido no Grupo de Matemática da Computação e Processamento de Alto Desempenho (GMCPAD) para a simulação do escoamento e do transporte de substâncias em corpos de águas.

Interface de cálculo modal e visualização para estruturas flexíveis tipo Euler-Bernoulli

Neste trabalho, foram analisadas, implementadas e mostradas as características de uma interface com estrutura de programação genérica para o ambiente Windows, criando facilidades de rapidez, confiabilidade e a apresentação de resultados aos usuários do sistema matemático Maple na criação e uso de aplicações matemáticas. A interface utilizou como modelo de implementação cálculos modais de vigas clássicas de Euler-Bernoulli. O usuário encontra, em um único sistema, cálculo para vigas clássicas, terá uma entrada de dados facilitada de variáveis que serão substituídas automaticamente no programa fonte da viga e a geração de resultados em um ambiente amigável com dados e gráficos mostrados de forma organizados.

Decomposição de NO em cobre suportado sobre zeólitas

No presente trabalho visou-se o estudo da eliminação dos compostos de nitrogênio, NOx, usando a decomposição direta sobre catalisadores de cobre suportado em zeólitas (ZSM-5, MCM-22 e Seta). Os catalisadores foram preparados pelo método de troca iônica com o meio básico obtendose catalisadores com teores de cobre variando entre 0,21% a 3,3% em peso. Os mesmo foram caracterizados através de análise química pela técnica absorção atômica (AA), área superficial (SET), isotermas de adsorção de nitrogênio, difração de Raios-X (DRX) e redução a temperatura programada (TPR). Os testes de atividade catalítica foram realizados através da reação de decomposição do NO em um reator tubular com leito fixo e fluxo contínuo. A mistura reacional era composta por 500 ppm de NO em hélio. Os produtos da reação foram analisados por espectrometria de infravermelho com transformada de fourier (do inglês, Fourier Transformed Infrared, FTIR), usando célula de gás. As medidas de absorção atômica permitiram calcular um nível de troca em relação a CU2+variando entre 7 e 46% nos catalisadores CuZSM-5, CuMCM-22 e CuSeta. As análises de DRX e das isotermas de adsorção de nitrogênio mostraram que a incorporação de cobre não alterou de forma significativa as estruturas das zeólitas. A análise de redução a temperatura programa (TPR) apresentou duas espécias de cobre presente nos catalisadores, Cu2+e Cu+ Na reação de decomposição dos compostos de nitrogênio, a atividade e a seletividade dos catalisadores é influenciada pela temperatura e pela acessibilidade do metal nas cavidades e nos poros das zeólitas. A partir dos testes de atividade catalítica provou-se que os suportes zeolíticos (MCM-22 e Seta) conduziram a valores de conversão de NO comparáveis ou melhores aos do suporte zeolítico ZSM-5, citado como sendo o melhor, até hoje, estudado para tal reação.

Respostas dinâmicas em sistemas distribuídos e decomposição forçada da superfície livre para um modelo acoplado Oceano-Atmosfera

O objetivo deste trabalho é a introdução e desenvolvimento de uma metodologia analítico-simbólica para a obtenção de respostas dinâmicas e forçadas (soluções homogêneas e não homogêneas) de sistemas distribuídos, em domínios ilimitados e limitados, através do uso da base dinâmica gerada a partir da resposta impulso. Em domínios limitados, a resposta impulso foi formulada pelo método espectral. Foram considerados sistemas com condições de contorno homogêneas e não homogêneas. Para sistemas de natureza estável, a resposta forçada é decomposta na soma de uma resposta particular e de uma resposta livre induzida pelos valores iniciais da resposta particular. As respostas particulares, para entradas oscilatórias no tempo, foram calculadas com o uso da fun»c~ao de Green espacial. A teoria é desenvolvida de maneira geral permitindo que diferentes sis- temas evolutivos de ordem arbitrária possam ser tratados sistematicamente de uma forma compacta e simples. Realizou-se simulações simbólicas para a obtenção de respostas dinâmicas e respostas for»cadas com equações do tipo parabólico e hiperbólico em 1D,2D e 3D. O cálculo das respostas forçadas foi realizado com a determinação das respostas livres transientes em termos dos valores iniciais das respostas permanentes. Foi simulada a decomposição da resposta forçada da superfície livre de um modelo acoplado oceano-atmosfera bidimensional, através da resolução de uma equação de Klein-Gordon 2D com termo não-homogêneo de natureza dinâmica, devido a tensão de cisalhamento na superfície do oceano pela ação do vento.

Decomposição de Calderon e suas aplicações na teoria da regularidade em equações elípticas

Este trabalho tem por objetivo estudar a regularidade de soluções de Equações Diferenciais Parciais Elípticas da forma Lu = f, para f 2 Lp(­), onde p > 1. Para isto, usamos a Decomposição de Calderon-Zygmund e um resultado que é consequência deste, o Teorema da Interpolação de Marcinkiewicz. Além disso, usando quocientes-diferença provamos a regularidade das soluções para o caso p = 2 e L = ¡¢ de uma forma alternativa.