Simulação de fluxo de fluidos em meios porosos desordenados uma análise de efeito de escala na estimativa da permeabilidade e do coeficiente de arrasto

The present study provides a methodology that gives a predictive character the computer simulations based on detailed models of the geometry of a porous medium. We using the software FLUENT to investigate the flow of a viscous Newtonian fluid through a random fractal medium which simplifies a two-dimensional disordered porous medium representing a petroleum reservoir. This fractal model is formed by obstacles of various sizes, whose size distribution function follows a power law where exponent is defined as the fractal dimension of fractionation Dff of the model characterizing the process of fragmentation these obstacles. They are randomly disposed in a rectangular channel. The modeling process incorporates modern concepts, scaling laws, to analyze the influence of heterogeneity found in the fields of the porosity and of the permeability in such a way as to characterize the medium in terms of their fractal properties. This procedure allows numerically analyze the measurements of permeability k and the drag coefficient Cd proposed relationships, like power law, for these properties on various modeling schemes. The purpose of this research is to study the variability provided by these heterogeneities where the velocity field and other details of viscous fluid dynamics are obtained by solving numerically the continuity and Navier-Stokes equations at pore level and observe how the fractal dimension of fractionation of the model can affect their hydrodynamic properties. This study were considered two classes of models, models with constant porosity, MPC, and models with varying porosity, MPV. The results have allowed us to find numerical relationship between the permeability, drag coefficient and the fractal dimension of fractionation of the medium. Based on these numerical results we have proposed scaling relations and algebraic expressions involving the relevant parameters of the phenomenon. In this study analytical equations were determined for Dff depending on the geometrical parameters of the models. We also found a relation between the permeability and the drag coefficient which is inversely proportional to one another. As for the difference in behavior it is most striking in the classes of models MPV. That is, the fact that the porosity vary in these models is an additional factor that plays a significant role in flow analysis. Finally, the results proved satisfactory and consistent, which demonstrates the effectiveness of the referred methodology for all applications analyzed in this study.

Uma análise histórico-epistemológica do conceito de grupo

This work aims to analyze the historical and epistemological development of the Group concept related to the theory on advanced mathematical thinking proposed by Dreyfus (1991). Thus it presents pedagogical resources that enable learning and teaching of algebraic structures as well as propose greater meaning of this concept in mathematical graduation programs. This study also proposes an answer to the following question: in what way a teaching approach that is centered in the Theory of Numbers and Theory of Equations is a model for the teaching of the concept of Group? To answer this question a historical reconstruction of the development of this concept is done on relating Lagrange to Cayley. This is done considering Foucault s (2007) knowledge archeology proposal theoretically reinforced by Dreyfus (1991). An exploratory research was performed in Mathematic graduation courses in Universidade Federal do Pará (UFPA) and Universidade Federal do Rio Grande do Norte (UFRN). The research aimed to evaluate the formation of concept images of the students in two algebra courses based on a traditional teaching model. Another experience was realized in algebra at UFPA and it involved historical components (MENDES, 2001a; 2001b; 2006b), the development of multiple representations (DREYFUS, 1991) as well as the formation of concept images (VINNER, 1991). The efficiency of this approach related to the extent of learning was evaluated, aiming to acknowledge the conceptual image established in student s minds. At the end, a classification based on Dreyfus (1991) was done relating the historical periods of the historical and epistemological development of group concepts in the process of representation, generalization, synthesis, and abstraction, proposed here for the teaching of algebra in Mathematics graduation course

Obstáculos superados pelos matemáticos no passado e vivenciados pelos alunos na atualidade : a polêmica multiplicação de números inteiros

In Mathematics literature some records highlight the difficulties encountered in the teaching-learning process of integers. In the past, and for a long time, many mathematicians have experienced and overcome such difficulties, which become epistemological obstacles imposed on the students and teachers nowadays. The present work comprises the results of a research conducted in the city of Natal, Brazil, in the first half of 2010, at a state school and at a federal university. It involved a total of 45 students: 20 middle high, 9 high school and 16 university students. The central aim of this study was to identify, on the one hand, which approach used for the justification of the multiplication between integers is better understood by the students and, on the other hand, the elements present in the justifications which contribute to surmount the epistemological obstacles in the processes of teaching and learning of integers. To that end, we tried to detect to which extent the epistemological obstacles faced by the students in the learning of integers get closer to the difficulties experienced by mathematicians throughout human history. Given the nature of our object of study, we have based the theoretical foundation of our research on works related to the daily life of Mathematics teaching, as well as on theorists who analyze the process of knowledge building. We conceived two research tools with the purpose of apprehending the following information about our subjects: school life; the diagnosis on the knowledge of integers and their operations, particularly the multiplication of two negative integers; the understanding of four different justifications, as elaborated by mathematicians, for the rule of signs in multiplication. Regarding the types of approach used to explain the rule of signs arithmetic, geometric, algebraic and axiomatic , we have identified in the fieldwork that, when multiplying two negative numbers, the students could better understand the arithmetic approach. Our findings indicate that the approach of the rule of signs which is considered by the majority of students to be the easiest one can be used to help understand the notion of unification of the number line, an obstacle widely known nowadays in the process of teaching-learning

Um estudo sobre a aprendizagem de alguns conceitos algébricos e geométricos

The objective of the present work was develop a study about the writing and the algebraic manipulation of symbolical expressions for perimeter and area of some convex polygons, approaching the properties of the operations and equality, extending to the obtaining of the formulas of length and area of the circle, this one starting on the formula of the perimeter and area of the regular hexagon. To do so, a module with teaching activities was elaborated based on constructive teaching. The study consisted of a methodological intervention, done by the researcher, and had as subjects students of the 8th grade of the State School Desembargador Floriano Cavalcanti, located on the city of Natal, Rio Grande do Norte. The methodological intervention was done in three stages: applying of a initial diagnostic evaluation, developing of the teaching module, and applying of the final evaluation based on the Mathematics teaching using Constructivist references. The data collected in the evaluations was presented as descriptive statistics. The results of the final diagnostic evaluation were analyzed in the qualitative point of view, using the criteria established by Richard Skemp s second theory about the comprehension of mathematical concepts. The general results about the data from the evaluations and the applying of the teaching module showed a qualitative difference in the learning of the students who participated of the intervention

Uma Fundamentação Intervalar Aplicada à Morfologia Matemática

This work present a interval approach to deal with images with that contain uncertainties, as well, as treating these uncertainties through morphologic operations. Had been presented two intervals models. For the first, is introduced an algebraic space with three values, that was constructed based in the tri-valorada logic of Lukasiewiecz. With this algebraic structure, the theory of the interval binary images, that extends the classic binary model with the inclusion of the uncertainty information, was introduced. The same one can be applied to represent certain binary images with uncertainty in pixels, that it was originated, for example, during the process of the acquisition of the image. The lattice structure of these images, allow the definition of the morphologic operators, where the uncertainties are treated locally. The second model, extend the classic model to the images in gray levels, where the functions that represent these images are mapping in a finite set of interval values. The algebraic structure belong the complete lattices class, what also it allow the definition of the elementary operators of the mathematical morphology, dilation and erosion for this images. Thus, it is established a interval theory applied to the mathematical morphology to deal with problems of uncertainties in images

Uma fundamentação para sinais e sistemas intervalares

In this work we use Interval Mathematics to establish interval counterparts for the main tools used in digital signal processing. More specifically, the approach developed here is oriented to signals, systems, sampling, quantization, coding and Fourier transforms. A detailed study for some interval arithmetics which handle with complex numbers is provided; they are: complex interval arithmetic (or rectangular), circular complex arithmetic, and interval arithmetic for polar sectors. This lead us to investigate some properties that are relevant for the development of a theory of interval digital signal processing. It is shown that the sets IR and R(C) endowed with any correct arithmetic is not an algebraic field, meaning that those sets do not behave like real and complex numbers. An alternative to the notion of interval complex width is also provided and the Kulisch- Miranker order is used in order to write complex numbers in the interval form enabling operations on endpoints. The use of interval signals and systems is possible thanks to the representation of complex values into floating point systems. That is, if a number x 2 R is not representable in a floating point system F then it is mapped to an interval [x;x], such that x is the largest number in F which is smaller than x and x is the smallest one in F which is greater than x. This interval representation is the starting point for definitions like interval signals and systems which take real or complex values. It provides the extension for notions like: causality, stability, time invariance, homogeneity, additivity and linearity to interval systems. The process of quantization is extended to its interval counterpart. Thereafter the interval versions for: quantization levels, quantization error and encoded signal are provided. It is shown that the interval levels of quantization represent complex quantization levels and the classical quantization error ranges over the interval quantization error. An estimation for the interval quantization error and an interval version for Z-transform (and hence Fourier transform) is provided. Finally, the results of an Matlab implementation is given

Estudo numérico de escoamento turbulento em padrão anular gás-líquido em dutos verticais

Multiphase flows in ducts can adopt several morphologies depending on the mass fluxes and the fluids properties. Annular flow is one of the most frequently encountered flow patterns in industrial applications. For gas liquid systems, it consists of a liquid film flowing adjacent to the wall and a gas core flowing in the center of the duct. This work presents a numerical study of this flow pattern in gas liquid systems in vertical ducts. For this, a solution algorithm was developed and implemented in FORTRAN 90 to numerically solve the governing transport equations. The mass and momentum conservation equations are solved simultaneously from the wall to the center of the duct, using the Finite Volumes Technique. Momentum conservation in the gas liquid interface is enforced using an equivalent effective viscosity, which also allows for the solution of both velocity fields in a single system of equations. In this way, the velocity distributions across the gas core and the liquid film are obtained iteratively, together with the global pressure gradient and the liquid film thickness. Convergence criteria are based upon satisfaction of mass balance within the liquid film and the gas core. For system closure, two different approaches are presented for the calculation of the radial turbulent viscosity distribution within the liquid film and the gas core. The first one combines a k- Ɛ one-equation model and a low Reynolds k-Ɛ model. The second one uses a low Reynolds k- Ɛ model to compute the eddy viscosity profile from the center of the duct right to the wall. Appropriate interfacial values for k e Ɛ are proposed, based on concepts and ideas previously used, with success, in stratified gas liquid flow. The proposed approaches are compared with an algebraic model found in the literature, specifically devised for annular gas liquid flow, using available experimental results. This also serves as a validation of the solution algorithm

Implementação de um modelo computacional para estudo do processo Fischer-Tropsch em reator de leito de lama

This work aims at the implementation and adaptation of a computational model for the study of the Fischer-Tropsch reaction in a slurry bed reactor from synthesis gas (CO+H2) for the selective production of hydrocarbons (CnHm), with emphasis on evaluation of the influence of operating conditions on the distribution of products formed during the reaction.The present model takes into account effects of rigorous phase equilibrium in a reactive flash drum, a detailed kinetic model able of predicting the formation of each chemical species of the reaction system, as well as control loops of the process variables for pressure and level of slurry phase. As a result, a system of Differential Algebraic Equations was solved using the computational code DASSL (Petzold, 1982). The consistent initialization for the problem was based on phase equilibrium formed by the existing components in the reactor. In addition, the index of the system was reduced to 1 by the introduction of control laws that govern the output of the reactor products. The results were compared qualitatively with experimental data collected in the Fischer-Tropsch Synthesis plant installed at Laboratório de Processamento de Gás - CTGÁS-ER-Natal/RN

Avaliacao de dados de secagem de suspensoes de polpas de frutas em leito de jorro com alimentacao intermitente

The objective of this work was the development and improvement of the mathematical models based on mass and heat balances, representing the drying transient process fruit pulp in spouted bed dryer with intermittent feeding. Mass and energy balance for drying, represented by a system of differential equations, were developed in Fortran language and adapted to the condition of intermittent feeding and mass accumulation. Were used the DASSL routine (Differential Algebraic System Solver) for solving the differential equation system and used a heuristic optimization algorithm in parameter estimation, the Particle Swarm algorithm. From the experimental data food drying, the differential models were used to determine the quantity of water and the drying air temperature at the exit of a spouted bed and accumulated mass of powder in the dryer. The models were validated using the experimental data of drying whose operating conditions, air temperature, flow rate and time intermittency, varied within the limits studied. In reviewing the results predicted, it was found that these models represent the experimental data of the kinetics of production and accumulation of powder and humidity and air temperature at the outlet of the dryer

Números complexos: uma proposta de mudança metodológica para uma aprendizagem significativa no ensino médio

This work presents a proposal of a methodological change to the teaching and learning of the complex numbers in the Secondary education. It is based on the inquiries and difficulties of students detected in the classrooms about the teaching of complex numbers and a questioning of the context of the mathematics teaching - that is the reason of the inquiry of this dissertation. In the searching for an efficient learning and placing the work as a research, it is presented a historical reflection of the evolution of the concept of complex numbers pointing out their more relevant focuses, such as: symbolic, numeric, geometrical and algebraic ones. Then, it shows the description of the ways of the research based on the methodology of the didactic engineering. This one is developed from the utilization of its four stages, where in the preliminary analysis stage, two data surveys are presented: the first one is concerning with the way of presenting the contents of the complex numbers in math textbooks, and the second one is concerning to the interview carried out with High school teachers who work with complex numbers in the practice of their professions. At first, in the analysis stage, it is presented the prepared and organized material to be used in the following stage. In the experimentation one, it is presented the carrying out process that was made with the second year High school students in the Centro Federal de Educação tecnológica do Rio Grande do Norte CEFET-RN. At the end, it presents, in the subsequent and validation stages, the revelation of the obtained results from the observations made in classrooms in the carrying out of the didactic sequence, the students talking and the data collection

Uma investigação histórica sobre os logaritmos com sugestões didáticas para a sala de aula

This study was conducted from a preliminary research to identify the conceptual and didactic approach to the logarithms given in the main textbooks adopted by the Mathematics teachers in state schools in the School of Natal, in Rio Grande do Norte. I carried out an historical investigation of the logarithms in order to reorient the math teacher to improve its educational approach this subject in the classroom. Based on the research approach I adopted a model of the log based on three concepts: the arithmetic, the geometric and algebraic-functional. The main objective of this work is to redirect the teacher for a broad and significant understanding of the content in order to overcome their difficulties in the classroom and thus realize an education that can reach the students learning. The investigative study indicated the possibility of addressing the logarithms in the classroom so transversalizante and interdisciplinary. In this regard, I point to some practical applications of this matter are fundamental in the study of natural phenomena as earthquakes, population growth, among others. These practical applications are connected, approximately, Basic Problematization Units (BPUs) to be used in the classroom. In closing, I offer some activities that helped teachers to understand and clarify the meaningful study of this topic in their teaching practice

Euler e os números pentagonais

The present investigation includes a study of Leonhard Euler and the pentagonal numbers is his article Mirabilibus Proprietatibus Numerorum Pentagonalium - E524. After a brief review of the life and work of Euler, we analyze the mathematical concepts covered in that article as well as its historical context. For this purpose, we explain the concept of figurate numbers, showing its mode of generation, as well as its geometric and algebraic representations. Then, we present a brief history of the search for the Eulerian pentagonal number theorem, based on his correspondence on the subject with Daniel Bernoulli, Nikolaus Bernoulli, Christian Goldbach and Jean Le Rond d'Alembert. At first, Euler states the theorem, but admits that he doesn t know to prove it. Finally, in a letter to Goldbach in 1750, he presents a demonstration, which is published in E541, along with an alternative proof. The expansion of the concept of pentagonal number is then explained and justified by compare the geometric and algebraic representations of the new pentagonal numbers pentagonal numbers with those of traditional pentagonal numbers. Then we explain to the pentagonal number theorem, that is, the fact that the infinite product(1 x)(1 xx)(1 x3)(1 x4)(1 x5)(1 x6)(1 x7)... is equal to the infinite series 1 x1 x2+x5+x7 x12 x15+x22+x26 ..., where the exponents are given by the pentagonal numbers (expanded) and the sign is determined by whether as more or less as the exponent is pentagonal number (traditional or expanded). We also mention that Euler relates the pentagonal number theorem to other parts of mathematics, such as the concept of partitions, generating functions, the theory of infinite products and the sum of divisors. We end with an explanation of Euler s demonstration pentagonal number theorem

The Interval Constructor on classes of ML-algebras

Monoidal logic, ML for short, which formalized the fuzzy logics of continuous t-norms and their residua, has arisen great interest, since it has been applied to fuzzy mathematics, artificial intelligence, and other areas. It is clear that fuzzy logics basically try to represent imperfect or fuzzy information aiming to model the natural human reasoning. On the other hand, in order to deal with imprecision in the computational representation of real numbers, the use of intervals have been proposed, as it can guarantee that the results of numerical computation are in a bounded interval, controlling, in this way, the numerical errors produced by successive roundings. There are several ways to connect both areas; the most usual one is to consider interval membership degrees. The algebraic counterpart of ML is ML-algebra, an interesting structure due to the fact that by adding some properties it is possible to reach different classes of residuated lattices. We propose to apply an interval constructor to ML-algebras and some of their subclasses, to verify some properties within these algebras, in addition to the analysis of the algebraic aspects of them

A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos

Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]

Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras