Apresentamos as características de algoritmos para obter a solução de sistemas de equações lineares, utilizando computadores com arquitetura paralela e explorando os recursos de paralelismo neles embutidos. São descritos os modelos de computadores paralelos e os procedimentos para a criação de algoritmos paralelos. / The characteristics of algorithms to solve systems of linear equations, using parallel computers, are presented. The abstract models of these computers are described, as well as the methods to develop parallel algori thms.

Este trabalho tem a finalidade de apresentar uma proposta de estudo que procura analisar se a compreensão da noção de equivalência é um conceito subsunçor necessário para a Aprendizagem Significativa de equações do primeiro grau. À luz da teoria de David Ausubel, procuramos investigar se atividades que relacionam o equilíbrio existente em uma balança de dois pratos com uma igualdade entre os termos de uma equação podem funcionar como organizadores prévios facilitadores da Aprendizagem Significativa dos estudantes. A pesquisa foi desenvolvida em uma turma do oitavo ano do Ensino Fundamental, em uma escola da rede municipal de ensino de Porto Alegre, a partir de uma abordagem qualitativa, utilizando como método o estudo de caso. A interpretação dos dados resultantes foi realizada a partir da elaboração, da aplicação e da análise de uma sequência didática. As atividades foram realizadas a partir de situações propostas por dois Objetos Digitais de Aprendizagem que utilizam a balança de dois pratos, como suporte representacional. Assim, após analisarmos os resultados obtidos ao longo das sessões que compunham a sequência didática desenvolvida, percebemos que a noção de equivalência é um conceito fundamental para a Aprendizagem Significativa de equações do primeiro grau, mas não é o único. Além disso, concluímos, através da análise das atividades realizadas, que a noção de equivalência, existente em uma equação, pode ser considerada um conceito subsunçor necessário para ancorar a aprendizagem de equações do primeiro grau e, desta forma, proporcionar a Aprendizagem Significativa dos estudantes. / This work aims at presenting a study proposal on the possibility of usage of the concept of equivalence as a subsumer concept to the development of Meaningful Learning of first degree equations. In the light of David Ausubel’s theory of learning, we try to investigate whether activities that relate the existing balance in a twin-pan balance to the equality between the terms of an equation could work as advance organizers to make students’ Meaningful Learning easier. The work was developed in a seventh year of elementary school class, at a municipal school in Porto Alegre, through a qualitative approach, having as a method a case study. Through the creation, application and analysis of an instructional sequence we have carried the analysis and interpretation of the resulting data. The activities were done based on the situations proposed by two Digital Learning Objects that used a twin-pan balance as a representational support. Thus, after analysing the results obtained in the sessions that were part of the instructional sequence developed, we perceived that the notion of equivalence is a fundamental concept to the Meaningful Learning of first degree equations, but it is not the only one. Moreover, we have concluded, through the activities performed, that the understanding of equivalence existing in an equation can be considered a subsumed concept necessary to anchor the new learning and, therefore, provide Meaningful Learning of first degree equations.

Made available in DSpace on 2016-06-02T20:28:26Z (GMT). No. of bitstreams: 1 DissACP.pdf: 615136 bytes, checksum: 3b5921d437ccbc2c7ef32a52a7b0a094 (MD5) Previous issue date: 2004-03-01 / Financiadora de Estudos e Projetos / In this work we proof, by compactness methods, a local and global existence result for p-laplacian diferential inclusions with p > 2. Most of relevant theorems we need are in this text, including Monotone and Multivalued Operators Theory. / Neste trabalho demonstramos, usando métodos de compacidade, um resultado de existência local e global para inclusões diferenciais governadas pelo p-laplaciano, com p > 2. Quase totalidade dos pré-requisitos para a demonstração deste resultado estão incluídos no texto. Entre estes, destacamos a Teoria de Operadores Monótonos e Operadores Multívocos.

As equações da cinétiica pontual de um reator nuclear térmico são integradas numericamente, utilizando um método matricial de continuação analitica. Essas equações são essencialmente não-negativas e possuem um autovalor dominante vinculado à reatividade do sistema. Também, descrevem-se os métodos de Hansen e Porsching.

Neste trabalho, uma versão analítica do método de ordenadas discretas (ADO) é utilizada no desenvolvimento de soluções para uma ampla classe de problemas de gases rarefeitos em semi-espa»co e canal plano. A modelagem dos problemas baseada em modelos cinéticos derivados da equação linearizada de Boltzmann, tais como os modelos BGK, o S, o Gross-Jackson e o MRS. Em particular, resultados para o modelo MRS são originais. A solução ADO se mostrou eficiente e precisa e uma série de resultados são apresentados no sentido de estabelecer uma comparação entre os modelos propriamente ditos e resultados obtidos a partir da ELB. Além disso, uma análise da influência de alguns parâmetros é apresentada, para todos os problemas. / In this work, an analytical version of the discrete-ordinates method (the ADO method) is used to develop solutions for a wide class of rare¯ed gas problems in half- space and plane channel. The modelling of the problems is based on kinetic models of the linearized Boltzmann equation, such that the BGK, the S, the Gross-Jackson and the MRS models. In particular, results for the MRS model are originals. The ADO solution was founded to be e±cient and accurate and a series of results are presented in order to establish a comparison between the kinetic models themselves and results provided by the ELB. In addition, an analysis of the in°uence of some parameters was presented, for all problems.

Neste trabalho, um problema de transferência de calor da dinâmica de gases rarefeitos, causado pela diferença de temperaturas nas superfícies de um canal, é abordado. O problema é formulado através dos modelos cinéticos BGK, S e Gross-Jackson da equação linearizada de Boltzmann e resolvido, de forma unificada, pelo método analítico de ordenadas discretas (método ADO). Resultados numéricos para as perturbações de densidade e temperatura e também para o fluxo de calor são apresentados e comparados, mostrando que não se pode dizer que algum dos três modelos seja uma melhor aproximação da solução aos resultados da equação linearizada de Boltzmann. / In this work, a heat transfer problem in the rarefied gas dynamics field, in a plane channel, is studied. In particular, the flow is induced by different temperatures at the wall surfaces. The formulation of the problem is based in an ”unified” kinetic equation which includes the BGK model, the S-model and the Gross-Jackson model of the linearized Boltzmann equation. An analytical version of the discrete-ordinates method (the ADO method) is used to develop the solution and to evaluate the density, temperature and heat-flow profiles. Numerical results are presented and used to establish comparisons with the linearized Boltzmann equation results. It is shown that, for an analysis based in all cases, it is not possible to say that one of the models is a better approximation of the solution of the linearized Boltzmann equation.

A presente dissertação aborda uma técnica para determinar as soluções de sistemas de equações polinomiais. Esta técnica que é puramente algébrica, interliga tópicos da Matemática, como a Geometria Algébrica e a Álgebra Computacional. Mais especificamente, estudamos a teoria de Resultantes e suas aplicações. Começamos com a motivação de encontrar as raízes comuns de dois polinômios a uma variável, em seguida é estendida para o caso mais geral de várias variáveis. Estudamos detalhadamente como obter fórmulas para o cálculo do Resultante, como por exemplo a fórmula de Macaulay e de Poisson. A técnica para resolver sistemas de equações polinomiais é então apresentada. Terminamos apresentando uma prova de um caso particular do Teorema de Bezout, como aplicação da teoria de Resultantes. Este teorema é muito importante, pois fornece um número de soluções de um sistema de equações polinomiais.

Este trabalho tem a finalidade de apresentar uma proposta de estudo que procura analisar se a compreensão da noção de equivalência é um conceito subsunçor necessário para a Aprendizagem Significativa de equações do primeiro grau. À luz da teoria de David Ausubel, procuramos investigar se atividades que relacionam o equilíbrio existente em uma balança de dois pratos com uma igualdade entre os termos de uma equação podem funcionar como organizadores prévios facilitadores da Aprendizagem Significativa dos estudantes. A pesquisa foi desenvolvida em uma turma do oitavo ano do Ensino Fundamental, em uma escola da rede municipal de ensino de Porto Alegre, a partir de uma abordagem qualitativa, utilizando como método o estudo de caso. A interpretação dos dados resultantes foi realizada a partir da elaboração, da aplicação e da análise de uma sequência didática. As atividades foram realizadas a partir de situações propostas por dois Objetos Digitais de Aprendizagem que utilizam a balança de dois pratos, como suporte representacional. Assim, após analisarmos os resultados obtidos ao longo das sessões que compunham a sequência didática desenvolvida, percebemos que a noção de equivalência é um conceito fundamental para a Aprendizagem Significativa de equações do primeiro grau, mas não é o único. Além disso, concluímos, através da análise das atividades realizadas, que a noção de equivalência, existente em uma equação, pode ser considerada um conceito subsunçor necessário para ancorar a aprendizagem de equações do primeiro grau e, desta forma, proporcionar a Aprendizagem Significativa dos estudantes. / This work aims at presenting a study proposal on the possibility of usage of the concept of equivalence as a subsumer concept to the development of Meaningful Learning of first degree equations. In the light of David Ausubel’s theory of learning, we try to investigate whether activities that relate the existing balance in a twin-pan balance to the equality between the terms of an equation could work as advance organizers to make students’ Meaningful Learning easier. The work was developed in a seventh year of elementary school class, at a municipal school in Porto Alegre, through a qualitative approach, having as a method a case study. Through the creation, application and analysis of an instructional sequence we have carried the analysis and interpretation of the resulting data. The activities were done based on the situations proposed by two Digital Learning Objects that used a twin-pan balance as a representational support. Thus, after analysing the results obtained in the sessions that were part of the instructional sequence developed, we perceived that the notion of equivalence is a fundamental concept to the Meaningful Learning of first degree equations, but it is not the only one. Moreover, we have concluded, through the activities performed, that the understanding of equivalence existing in an equation can be considered a subsumed concept necessary to anchor the new learning and, therefore, provide Meaningful Learning of first degree equations.

Apresentamos as características de algoritmos para obter a solução de sistemas de equações lineares, utilizando computadores com arquitetura paralela e explorando os recursos de paralelismo neles embutidos. São descritos os modelos de computadores paralelos e os procedimentos para a criação de algoritmos paralelos. / The characteristics of algorithms to solve systems of linear equations, using parallel computers, are presented. The abstract models of these computers are described, as well as the methods to develop parallel algori thms.

O objetivo deste trabalho é apresentar e descrever a teoria e implementação paralela. em PVM, de dois algoritmos iterativos do tipo quasi-Newton - Newton-GNIRES e Broyden- para a solução de equações não lineares F= O, onde a função F: Rn -t Rn é de classe C1 e seu Jacobiano J( x) é esparso. Uma ilustração e comparação destes métodos com suas versões sequenciais é obtida ao aplicá-los a dois probJemas específicos. / The objective of this work is to introduce anel describe the theory anel implementation on PVM, of two quase-Newton iterative algorithms - NewtonGA1RES e Broyden - for the resolution of nonlinear equations F = O, where a function F : Rn --+ Rn is of class C1 and its Jacobian J(x) is sparse. An ilustration and comparison of these methods with their serial versions is obtained as they apply to two especific problems.