Aplicações da teoria da percolação à modelagem e simulação de reservatórios de petróleo

In this thesis we study some problems related to petroleum reservoirs using methods and concepts of Statistical Physics. The thesis could be divided percolation problem in random multifractal support motivated by its potential application in modelling oil reservoirs. We develped an heterogeneous and anisotropic grid that followin two parts. The first one introduce a study of the percolations a random multifractal distribution of its sites. After, we determine the percolation threshold for this grid, the fractal dimension of the percolating cluster and the critical exponents ß and v. In the second part, we propose an alternative systematic of modelling and simulating oil reservoirs. We introduce a statistical model based in a stochastic formulation do Darcy Law. In this model, the distribution of permeabilities is localy equivalent to the basic model of bond percolation

Um estudo na teoria do movimento brownianno com viscosidade variável

In this work we investigate the stochastic behavior of a large class of systems with variable damping which are described by a time-dependent Lagrangian. Our stochastic approach is based on the Langevin treatment describing the motion of a classical Brownian particle of mass m. Two situations of physical interest are considered. In the first one, we discuss in detail an application of the standard Langevin treatment (white noise) for the variable damping system. In the second one, a more general viewpoint is adopted by assuming a given expression to the so-called collored noise. For both cases, the basic diffententiaql equations are analytically solved and al the quantities physically relevant are explicitly determined. The results depend on an arbitrary q parameter measuring how the behavior of the system departs from the standard brownian particle with constant viscosity. Several types of sthocastic behavior (superdiffusive and subdiffusive) are obteinded when the free pamameter varies continuosly. However, all the results of the conventional Langevin approach with constant damping are recovered in the limit q = 1

Teoria cinética não extensiva: efeitos físicos em gases e plasmas

The standard kinetic theory for a nonrelativistic diluted gas is generalized in the spirit of the nonextensive statistic distribution introduced by Tsallis. The new formalism depends on an arbitrary q parameter measuring the degree of nonextensivity. In the limit q = 1, the extensive Maxwell-Boltzmann theory is recovered. Starting from a purely kinetic deduction of the velocity q-distribution function, the Boltzmann H-teorem is generalized for including the possibility of nonextensive out of equilibrium effects. Based on this investigation, it is proved that Tsallis' distribution is the necessary and sufficient condition defining a thermodynamic equilibrium state in the nonextensive context. This result follows naturally from the generalized transport equation and also from the extended H-theorem. Two physical applications of the nonextensive effects have been considered. Closed analytic expressions were obtained for the Doppler broadening of spectral lines from an excited gas, as well as, for the dispersion relations describing the eletrostatic oscillations in a diluted electronic plasma. In the later case, a comparison with the experimental results strongly suggests a Tsallis distribution with the q parameter smaller than unity. A complementary study is related to the thermodynamic behavior of a relativistic imperfect simple fluid. Using nonequilibrium thermodynamics, we show how the basic primary variables, namely: the energy momentum tensor, the particle and entropy fluxes depend on the several dissipative processes present in the fluid. The temperature variation law for this moving imperfect fluid is also obtained, and the Eckart and Landau-Lifshitz formulations are recovered as particular cases

Teoria semi-clássica para super rede magnética formada por materiais ferromagnético e antiferromagnético

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

Contribuições da teoria histórico-cultural para o processo de avaliação psicoeducacional

Cet article a comme objectif présenter la contribution de la Psychologie Historique-Culturelle pour l'analyse critique de l'évaluation psychoéducationnel traditionnel et postuler les fondements pour la nouvelle modalité évaluative. Cette proposition se justifie à cause de l'actuelle révitalisation de l'usage des testes padronisés pour la mensuration des fonctions psychologiques, dues à la vulgarisation de la neuropsychologie. Historiquement les testes padronisés servent comme instrument pour attester cientifiquement l'idéologie de l'égalité entre les hommes dans la societé capitaliste que se maintient à travers de l'expropriation et de l'exclusion. En outre, il existe une forte tendence à attendre que les résultats expliquent l'intelligence comme inée ou considèrent les prédispositions héréditaires pour apprendre, ce qu'on oppose à la comprehénsion que les fonctions mentales sont formées dans le proccès de développement historique-social à travers l'appropriation de la culture humaine. Il est nécessaire donc une évaluation qui considère les médiations sociales (des instruments et des signes) comme constituants des fonctions psychologiques encourageant le développement de tous les individus et la non légitimation de l'exclusion sociale.

Uma análise crítica dos ideários pedagógicos contemporâneos à luz da teoria de A. N. Leontiev

O presente artigo objetiva demonstrar o alcance das pedagogias do aprender a aprender (DUARTE, 2001), uma vez que elas fundamentam as propostas educacionais no âmbito nacional e no internacional, na atualidade; bem como apresentar suas principais premissas, que mantêm sua filiação ao pragmatismo e ao irracionalismo e, no limite, submetem o desenvolvimento humano à ordem do capital. Tais proposições se contrapõem ao objetivo humanizador da educação escolar pressuposto na produção teórica do psicólogo soviético Alexis Leontiev. Como resultados, temos que, dessas produções, é possível extrair subsídios para o enfrentamento do processo de esvaziamento do ensino escolar e do papel do professor engendrado pelas referidas pedagogias. Além disso, pretendese evidenciar a impossibilidade de aproximações entre as produções da psicologia histórico-cultural com outras correntes pedagógicas que estão a serviço da legitimação e do revigoramento da sociedade capitalista.

A teoria de Kohlberg sobre o desenvolvimento do raciocínio moral e os instrumentos de avaliação de juízo e competência moral em uso no Brasil

O presente artigo tem por objetivo abordar as bases, finalidades e composição de dois instrumentos de avaliação de juízo moral: a Moral Judgment Interview (MJI) e o Defining Issues Test (DIT), e um de competência moral: o Moral Judgment Test (MJT). Retoma a teoria do desenvolvimento moral de Kohlberg que fundamenta esses instrumentos, assim como os últimos estudos realizados com os mesmos. A MJI é uma entrevista semiestruturada que avalia o nível de juízo moral. O DIT é um teste objetivo que mede a proporção de respostas pós-convencionais. O MJT é um instrumento objetivo, que avalia a competência moral. Destaca-se a crescente utilização desses instrumentos em pesquisas sobre moralidade.

Estudo da adsorção de hidrogênio e sulfeto na superfície de paládio: aspectos experimentais (eletroquímica) e teóricos (ab initio e Teoria do Funcional da Densidade)

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

Teoria e prática em catalogação de assunto: a sistematicidade do processo em contexto de bibliotecas universitárias pela perspectiva profissional

A natureza subjetiva da catalogação de assunto imprime certas peculiaridades nas ações dos profissionais que realizam a atividade em domínios específicos. Sendo assim, mostra-se necessária à realização de estudos que cerquem as ações dos catalogadores de assunto, ancoradas na realidade do contexto de bibliotecas universitárias, para a obtenção dos fatores influentes do saber e do fazer profissional. Portanto, analisa-se o conhecimento profissional acerca da sistematicidade do processo da catalogação de assunto em perspectiva sociocognitiva. Para tanto, aplica-se a técnica de Protocolo Verbal em Grupo com três catalogadores de assunto de distintas bibliotecas universitárias do estado de São Paulo, a fim de conhecer a realidade do processo da catalogação de assunto pela perspectiva profissional. Os resultados apontam a necessidade de instrumentos metodológicos que propiciem sustentabilidade prática à catalogação de assunto, em contexto de bibliotecas universitárias.

Inteligência artificial e teoria de resolução de problemas

Este artigo é uma tentativa de delinear as principais características da pesquisa numa nova área de estudos a chamada Inteligência Artificial (AI). Os itens 1 e 2 constituem um rápido histórico da AI e seus pressupostos básicos. O item 3 trata da teoria de resolução de problemas, desenvolvida por A. Newell e H. Simon. O item 4 procura mostrar a relevância da AI para a Filosofia, em especial para a filosofia da Mente e para a Teoria do Conhecimento.

O símbolo esvaziado: a teoria do romance do jovem György Lukács

O presente artigo investiga como A teoria do romance (1916) de G. Lukács, um texto fragmentado e de ocasião, tornou-se um clássico da reflexão sobre a modernidade. Para Lukács, o romance é a forma artística que corresponde à fratura entre o sujeito e o mundo, vivida pelo homem contemporâneo. Utilizando o conceito de símbolo esvaziado este texto apreende em que medida o autor ao rever as classificações anteriores sobre o gênero romance, perpetua a tradição romântica ou rompe com ela, elaborando conceitos originais para a compreensão da modernidade na literatura.

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]

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

Contribuição da teoria do caos para a gestão do turismo: uma análise a partir da percepção dos gestores da hotelaria de Natal/RN

O presente estudo tem como objetivo analisar como os gestores da hotelaria percebem a relação da teoria do caos e turismo, descrever como é pensada e concebida a gestão do turismo; mostrar as características caopléxicas do turismo e sua gestão e identificar os elementos do padrão estratégico de gestão e planejamento na visão dos gestores dos Meios de Hospedagem. Os dados foram obtidos através da observação direta intensiva e aplicação de entrevistas aplicadas junto aos hoteleiros da cidade de Natal/RN. Constata que as teorias da mudança e do caos proporcionam visão do conjunto de relações, aspectos e implicações do turismo, com base nas incertezas e instabilidades ambientais e de mercado. Mostra que a maioria dos modelos de análise, planejamento e gestão do turismo ainda é limitada, em razão do seu caráter linear e unidimensional. Destaca que o objetivo da teoria do caos é fornecer explicações dos fenômenos, não é fazer previsões, pois é impossível prever o futuro a longo prazo. Trata das estratégias de gestão como geradoras de novas fontes de incerteza, pois a realidade não pode ser completamente representada por modelos. Ter consciência desses fatos significa, entretanto, considerar o campo de múltiplas possibilidades e oportunidades da mudança e do caos na gestão do desenvolvimento do turismo. Essas idéias foram aplicadas à análise da gestão do turismo na localidade investigada. Os questionamentos levantados no estudo pautaram-se em pesquisa bibliográfica, fundamentada, principalmente, em autores como Beni, Prahalad, Mintzberg, Ritto, Senge e Hamel. Conclui-se que na era do conhecimento, as organizações que continuam presas ao paradigma mecanicista têm dificuldade de acompanhar as mudanças do mercado e sendo a hotelaria uma indústria de serviços que tem características organizacionais complexas e adaptativas, é imprescindível que os empreendimentos hoteleiros funcionem como sistemas interativos, que acompanhem as mudanças de um mercado tão turbulento e instável tendo na teoria do caos e da complexidade uma das possibilidades de compreender a realidade fora do modelo mecanicista.