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.

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.

Solução das equações da cinética pontual pelo método da decomposição de adomian

Neste trabalho, apresentaremos uma solução analítica, aplicando o método da decomposição de Adomian, para as equações da cinética pontual para reatividade arbitrária, um sistema de equações diferenciais ordinárias do tipo "Stiff". Apresen- taremos, ainda, simulações numéricas para as reatividades do tipo constante, linear, senoidal e exponencial, bem como faremos comparações com resultados disponíveis na literatura.

Simulação pelo modelo Century do impacto da agricultura no estoque de carbono orgânico de solos do Planalto Rio-Grandense

Este estudo teve por objetivo estimar, pelo modelo CENTURY, a alteração no estoque de carbono orgânico (CO) de solos do Planalto do Rio Grande do Sul durante o período de expansão da agricultura e o potencial de recuperação do estoque de CO através de diferentes sistemas de manejo. Foram utilizados solos de cinco Unidades de Mapeamento (UM), sob vegetação original de campo e floresta: LATOSSOLO VERMELHO Distófico típico (UM Cruz Alta e Passo Fundo), LATOSSOLO VERMELHO Distroférrico típico (UM Santo Ângelo e Erechim) LATOSSOLO BRUNO Alumínico câmbico e (UM Vacaria). Avaliou-se a expansão da agricultura nas UM, a variação no conteúdo de CO dos solos por decomposição microbiana e erosão e a emissão ou seqüestro de CO2 em cenários de manejo com diferentes adições de C, métodos de preparo do solo e perdas de solo por erosão. Durante o período de expansão da agricultura (1900-1980), o uso de sistemas de cultura com baixa adição de C, pousio, queima de resíduos e preparo convencional do solo, ocasionou reduções estimadas de 31 a 45% no estoque original de CO dos solos. Com a melhoria nos eventos de manejo a partir de 1981, houve a recuperação parcial no estoque de CO. Considerando o balanço de CO e CO2 para a região em estudo (52506 km2), o cenário de manejo 1 (PC trigo/soja com queima) apresentou perda total estimada de 159517,0x103 Mg de CO e emissão de 299562,10x103 Mg de CO2 à atmosfera. Nos demais cenários, foram estimados incrementos de CO em relação ao cenário 1, atingindo, em 2050, valores correspondentes a 68,5% (cenário 2 - PR trigo/soja sem queima), 92,7% (cenário 3 - PD trigo/soja, aveia/soja, aveia/milho) e 98,1% (cenário 4 - PD trigo/soja, aveia/milho) do estoque original de CO. Devido a alta adição anual de C (6,0 Mg ha-1) e uso do plantio direto, o cenário 4 apresentou seqüestro líquido de 52173,32x103 Mg de CO2.

Filtragem de imagens com preservação das bordas usando a Transformada Wavelet

A filtragem de imagens visando a redução do ruído é uma tarefa muito importante em processamento de imagens, e encontra diversas aplicações. Para que a filtração seja eficiente, ela deve atenuar apenas o ruído na imagem, sem afetar estruturas importantes, como as bordas. Há na literatura uma grande variedade de técnicas propostas para filçtragem de imagens com preservação de bordas, com as mais variadas abordagens, deentrte as quais podem ser citadas a convolução com máscaras, modelos probabilísticos, redes neurais, minimização de funcionais e equações diferenciais parciais. A transformada wavelet é uma ferramenta matemática que permite a decomposição de sinais e imagens em múltiplas resoluções. Essa decomposição é chamada de representação em wavelets, e pode ser calculada atrravés de um algorítmo piramidal baseado em convoluções com filtros passa-bandas e passa-baixas. Com essa transformada, as bordas podem ser calculadas em múltiplas resoluções. Além disso, como filtros passa-baixas são utilizados na decomposição, a atenuação do ruído é um processo intrínseco à transformada. Várias técnicas baseadas na transformada wavelet têm sido propostas nos últimos anos, com resultados promissores. Essas técnicas exploram várias características da transformada wavelet, tais como a magnitude de coeficientes e sua evolução ao longo das escalas. Neste trabalho, essas características da transformada wavelet são exploradas para a obtenção de novas técnicas de filtragem com preservação das bordas.

Estrutura de uma turfeira de altitude no municipio de São José dos Ausentes (RS-Brasil)

A turfeira é uma associação de plantas formada pelo acúmulo e decomposição de vegetais em ambientes saturados de água, baixo pH e pouco oxigênio dissolvido. A turfeira, objeto deste estudo está localizada no município de São José dos Ausentes, região que abriga as nascentes de rios que contribuem para a formação das principais bacias hidrográficas do Rio Grande do Sul. A área de estudo localiza-se nas coordenadas 28°35'58'2'' de latitude sul e 49°58'56'5'' de longitude oeste. Situando-se na serra do nordeste, na região fisiográfica denominada Campos de Cima da Serra, a altitude do município é de 1100 a 1300m. A fim de contribuir com informações a respeito desse ecossistema, o trabalho teve como objetivo fornecer subsídios à compreensão de sua estrutura e funcionamento. Foi registrada a ocorrência de 43 espécies vegetais, pertencentes a 31 gêneros e 15 famílias, tendo como predominantes as famílias Cyperacea e Poaceae sendo que as formas de vida são principalmente anfíbias. A característica do material orgânico, indicou que o grau de decomposição fíbrico geralmente ocorre mais próximo à superfície e sáprico domina nas camadas mais profundas do solo e as camadas hêmicas não mostram localização mais específica, geralmente intercaladas com camadas sápricas. O solo é caracterizado pelo escasso conteúdo de nutrientes; pois quanto ao nitrogênio há apenas uma fonte, que é via decomposição de matéria orgânica; o cálcio teve resultados baixos, porque a maioria é perdida pelo sistema através da lixiviação ou deposição no fundo do sedimento.

Síntese e análise estrutural de novos ciclopaladatos e síntese de N-heterociclos a partir de ciclopaladatos e alenos

Os compostos de paládio vêm apresentado uma vasta linha de aplicação, tanto como catalisadores como precursores em reações de síntese orgânica. Dentre esses compostos, os ciclopaladatos, que são compostos cíclicos com uma ligação Pd-heteroátomo, permite a formação de novas estruturas cíclicas contendo algum heteroátomo, como nitrogênio, oxigênio ou enxofre. Neste trabalho foram sintetizadas aminas propargílicas capazes de se coordenar a sais de paládio, formando novos ciclopaladatos através da reação de cloropaladação. Esses compostos se encontram na forma de dímeros e podem apresentar-se como diferentes isômeros. Estudos espectroscópicos, tais como RMN de 1H, 13C e raios-X de monocristais foram realizados para a elucidação estrutural desses novos compostos. Além dos isômeros geométricos clássicos (cisóide e transóide) foram observados pela primeira vez a formação de atropoisômeros. Esses ciclopaladatos, contendo nitrogênio ligado ao paládio, foram testados frente a alenos diferentemente substituídos, mostrando que ocorre a inserção do aleno na ligação Pd-C e, seguido da depaladação, ocorre a formação de novos compostos heterocíclicos a seis membros. Alguns ciclopaladatos, quando em solução, podem apresentar certa instabilidade, ocorrendo a decomposição do ciclopaladato com a regeneração do alcino precursor do respectivo ciclopaladato. Assim, estudou-se a reação de decomposição de diferentes ciclopaladatos, chamada de retrocloropaladação, utilizando a técnica de RMN de 1H em diferentes intervalos de tempo.

Uma metodologia unificada no domínio tempo para sistemas concentrados, discretos e distribuídos

A resposta impulso é utilizada como ferramenta padrão no estudo direto de sistemas concentrados, discretos e distribuídos de ordem arbitrária. Esta abordagem leva ao desenvolvimento de uma plataforma unificada para a obtenção de respostas dinâmicas. Em particular, as respostas forçadas dos sistemas são decompostas na soma de uma resposta permanente e de uma resposta livre induzida pelos valores iniciais da resposta permanente. A teoria desenvolve-se de maneira geral e direta para sistemas de n-ésima ordem, introduzindo-se a base dinâmica gerada pela resposta impulso na forma padrão e normalizada, sem utilizar-se a formulação de estado, através da qual reduz-se um sistema de ordem superior para um sistema de primeira ordem. Considerou-se sistemas de primeira ordem a fim de acompanhar-se os muitos resultados apresentados na literatura através da formulação de espaço de estado. Os métodos para o cálculo da resposta impulso foram classificados em espectrais, não espectrais e numéricos. A ênfase é dada aos métodos não espectrais, pois a resposta impulso admite uma fórmula fechada que requer o uso de três equações características do tipo algébrica, diferencial e em diferenças Realizou-se simulações numéricas onde foram apresentados modelos vibratórios clássicos e não clássicos. Os sistemas considerados foram sistemas do tipo concentrado, discreto e distribuído. Os resultados da decomposição da resposta dinâmica de sistemas concentrados diante de cargas harmônicas e não harmônicas foram apresentados em detalhe. A decomposição para o caso discreto foi desenvolvida utilizando-se os esquemas de integração numérica de Adams-Basforth, Strömer e Numerov. Para sistemas distribuídos, foi considerado o modelo de Euler-Bernoulli com força axial, sujeito a entradas oscilatórias com amplitude triangular, pulso e harmônica. As soluções permanentes foram calculadas com o uso da função de Green espacial. A resposta impulso foi aproximada com o uso do método espectral.

Análise da implementação do contrato de gestão em empresas estatais gaúchas

O Contrato de Gestão é um instrumento que visa rever e corrigir relações de controles ineficazes, bem como obter maior responsibilização por parte da área pública em relação ao atingimento de objetivos predefinidos. Este estudo possui características de uma pesquisa do tipo exploratório-descritiva, tendo como objetivo geral analisar as relações contratuais entre o Governo do Estado do Rio Grande do Sul e três empresas estatais gaúchas no processo de implementação do Contrato de Gestão. Os dados foram coletados por meio de entrevistas semi-estruturadas com servidores das empresas e da Secretaria de Coordenação e Planejamento, que participaram dos estudos e das negociações da implementação dos Contratos de Gestão. Para decomposição dos dados, foi utilizada a metodologia da análise de conteúdo na modalidade de análise temática. Os resultados são apresentados em oito categorias iniciais, três intermediárias e duas finais: Na Implementação dos Contratos e a Manutenção dos Contratos, os resultados colocam em evidência que esses se, originaram de uma decisão política, através de um pacto com o Governo Central, para uma mudança estrutural e filosófica da administração Estadual. A manutenção desses está condicionada ao envolvimento dos mais altos dirigentes políticos, pela não-ingerência administrativa na gestão das empresas, e ao esforço de formação e integração dos funcionários.

Geração de código no projeto de sistemas reativos a partir da linguagem RS

A linguagem síncrona RS é destinada ao desenvolvimento de sistemas reativos. O presente trabalho tem como objetivo criar meios que facilitem o uso da linguagem RS no projeto e implementação desses sistemas, permitindo que, à partir da especificação de um sistema reativo, seja realizada a sua implementação de forma automática. Deste modo, a linguagem RS é utilizada para a descrição do comportamento de um sistema em um alto nível de abstração, antes de serfeitas a decomposição do sistema em componentes de software ou hardware. A implmentação do protótipo do sistema computacional dedicado é obtida através de uma síntese automática desse modelo de alto nível. Foram implementados geradores de código que utilizam o código objeto fornecido pelo compilador da linguagem RS. Os geradores fazem a tradução para a linguagem C, para a linguagem JAVA, ou para a linguagem de descrição de hardware VHDL. A partir da síntese desses códigos poderá ser obtida a implementação do sistema em um micrcoomputador comercial, em um microcomputador Java de dedicado (ASIP Java), ou em um hardware de aplicação específica (ASIC). Foram realizados estudos de caso representativos dos sistemas reativos embaraçados e de tempo rel. Estes estudos de caso serviram para validar os geradores de código bem como para analisar o uso da linguagem RS no projeto e implementação desses sistemas.

ComFIRM - Injeção de falhas de comunicação através da alteração de recursos do sistema operacional

Este trabalho trata da técnica de validação experimental de protocolos de comunicação confiável, através da injeção de falhas de comunicação. São estudadas inicialmente as técnicas de injeção de falhas, por hardware, software e simulação, e então são aprofundados os conceitos de injeção de falhas de comunicação, modelos de falha e especificação de experimentos de injeção de falhas. Em um segundo momento, são estudadas as formas de implementação de injetores de falhas em software, em suas duas formas mais comuns: no nível da aplicação e no nível do sistema operacional. São comentados os impactos da implementação de injetores no código da aplicação, por processos concorrentes à aplicação, em código utilizado pela aplicação e no meta-nível. Por fim, são estudados também que influências sofre a implementação de um injetor de falhas em um sistema operacional, e mais especificamente a de injetores de falhas de comunicação. O objetivo específico deste trabalho é implementar um injetor de falhas de comunicação bastante abrangente e flexível, situado dentro do núcleo do Sistema Operacional Linux. Para viabilizar esta implementação foi estudada também a arquitetura do Sistema Operacional Linux, sua decomposição em subsistemas e a interação entre estes. Foram estudadas também as várias técnicas de programação e mecanismos que o Sistema Operacional Linux fornece aos seus subsistemas. Estando completas a revisão bibliográfica a respeito de injeção de falhas e o estudo do código do Sistema Operacional Linux, são apresentadas a proposta e a implementação da ferramenta ComFIRM—Communication Fault Injection through Operating System Resource Modification, suas características e sua inserção dentro do núcleo do Sistema Operacional Linux. Finalizando este trabalho, são apresentados uma pequena série de testes de funcionamento e experimentos realizados com a ferramenta ComFIRM, visando demonstrar a correção de seu funcionamento, o cumprimento de seus objetivos e também sua praticidade e flexibilidade de uso. São apresentadas as conclusões deste trabalho, propostas de melhorias à ferramenta apresentada, bem como possibilidades de trabalhos futuros.

Aplicação da transformada Wavelet Packet na análise e classificação de sinais de vozes patológicas

o exame para o diagnóstico de doenças da laringe é usualmente realizado através da videolaringoscopia e videoestroboscopia. A maioria das doenças na laringe provoca mudanças na voz do paciente. Diversos índices têm sido propostos para avaliar quantitativamente a qualidade da voz. Também foram propostos vários métodos para classificação automática de patologias da laringe utilizando apenas a voz do paciente. Este trabalho apresenta a aplicação da Transformada Wavelet Packet e do algoritmo Best Basis [COI92] para a classificação automática de vozes em patológicas ou normais. Os resultados obtidos mostraram que é possível classificar a voz utilizando esta Transformada. Tem-se como principal conclusão que um classificador linear pode ser obtido ao se empregar a Transformada Wavelet Packet como extrator de características. O classificador é linear baseado na existência ou não de nós na decomposição da Transformada Wavelet Packet. A função Wavelet que apresentou os melhores resultados foi a sym1et5 e a melhor função custo foi a entropia. Este classificador linear separa vozes normais de vozes patológicas com um erro de classificação de 23,07% para falsos positivos e de 14,58%para falsos negativos.