Correlação de poços com múltiplos perfis através da rede neural multicamadas

A correlação estratigráfica busca a determinação da continuidade lateral das rochas, ou a equivalência espacial entre unidades litológicas em subsuperfície, a partir de informações geológico-geofísicas oriundas de poços tubulares, que atravessam estas rochas. Normalmente, mas não exclusivamente, a correlação estratigráfica é realizada a partir das propriedades físicas registradas nos perfis geofísicos de poço. Neste caso, busca-se a equivalência litológica a partir da equivalência entre as propriedades físicas, medidas nos vários poços de um campo petrolífero. A técnica da correlação estratigráfica com perfis geofísicos de poço não é uma atividade trivial e sim, sujeita a inúmeras possibilidades de uma errônea interpretação da disposição geométrica ou da continuidade lateral das rochas em subsuperfície, em função da variabilidade geológica e da ambigüidade das respostas das ferramentas. Logo, é recomendável a utilização de um grande número de perfis de um mesmo poço, para uma melhor interpretação. A correlação estratigráfica é fundamental para o engenheiro de reservatório ou o geólogo, pois a partir da mesma, é possível a definição de estratégias de explotação de um campo petrolífero e a interpretação das continuidades hidráulicas dos reservatórios, bem como auxílio para a construção do modelo geológico para os reservatórios, a partir da interpretação do comportamento estrutural das diversas camadas em subsuperfície. Este trabalho apresenta um método de automação das atividades manuais envolvidas na correlação estratigráfica, com a utilização de vários perfis geofísicos de poço, através de uma arquitetura de rede neural artificial multicamadas, treinada com o algoritmo de retropropagação do erro. A correlação estratigráfica, obtida a partir da rede neural artificial, possibilita o transporte da informação geológica do datum de correlação ao longo do campo, possibilitando ao intérprete, uma visão espacial do comportamento do reservatório e a simulação dos possíveis paleoambientes. Com a metodologia aqui apresentada foi possível a construção automática de um bloco diagrama, mostrando a disposição espacial de uma camada argilosa, utilizando-se os perfis de Raio Gama (RG), Volume de Argila (Vsh), Densidade (ρ_b) e de Porosidade Neutrônica (φ_n) selecionados em cinco poços da região do Lago Maracaibo, na Venezuela.

Approximate controllability for the semilinear heat equation in RN involving gradient terms

We prove the approximate controllability of the semilinear heat equation in R^N, when the nonlinear term is globally Lipschitz and depends both on the state u and its spatial gradient Ñu. The approximate controllability is viewed as the limit of a sequence of optimal control problems. In order to avoid the difficulties related to the lack of compactness of the Sobolev embeddings, we work with the similarity variables and use weighted Sobolev spaces.

Determination and fractionation of barium in Brazil nuts

Diversas estratégias para preparo de amostra, determinação e fracionamento, tais como espectrometria de absorção atômica com atomização eletrotérmica em forno de grafite (GF AAS) e espectrometria de emissão óptica com plasma acoplado indutivamente com configuração axial (ICP OES), foram empregadas para o fracionamento de bário em Castanha-do-Pará. Esse alimento é amplamente apreciado tanto pelo valor nutricional, quanto pelo sabor agradável. A análise química de Castanha-do-Pará não é trivial devido à matriz complexa. O fracionamento de bário em Castanha-do-Pará foi estudado devido à toxicidade desse elemento e a correlação entre a forma química e a absorção. Os teores totais de bário nas amostras de Castanha-do-Pará variaram entre 860 e 2084 mg kg^-1. Extrações sequenciais foram feitas com base na solubilidade em diferentes meios e composição química envolvendo lipídios, proteínas e compostos de baixa massa molecular (LMW). Teores mais elevados de bário foram determinados nas frações LMW e insolúvel em água que variaram entre 778-1606 e 551-1520 mg kg^-1, respectivamente. Esses resultados indicaram a indisponibilidade de bário presente nesse alimento ao organismo humano. Baseando-se nos teores de bário e enxofre nas diferentes frações e em cálculos estequiométricos para as possíveis reações envolvidas pode-se inferir que bário se encontra principalmente na forma de BaSO₄. Experimentos termogravimétricos também confirmaram essa suposição.

Problemas elípticos com potencial que pode tender a zero no in?nito

Pós-graduação em Matemática - IBILCE

Estudo de conjuntos minimais para sistemas descontínuos em dimensões 2 e 3

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

Relax and cut: limitantes duais para o problema do caixeiro viajante

Pós-graduação em Matemática - IBILCE

Interferência de Fano e uma ligeira flutuação da marca Majorana

Pós-graduação em Ciência dos Materiais - FEIS

Filippov's selection theorem and the existence of solutions for optimal control problems in time scales

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Massless scattering at special kinematics as Jacobi polynomials

We study the scattering equations recently proposed by Cachazo, He and Yuan in the special kinematics where their solutions can be identified with the zeros of the Jacobi polynomials. This allows for a non-trivial two-parameter family of kinematics. We present explicit and compact formulas for the n-gluon and n-graviton partial scattering amplitudes for our special kinematics in terms of Jacobi polynomials. We also provide alternative expressions in terms of gamma functions. We give an interpretation of the common reduced determinant appearing in the amplitudes as the product of the squares of the eigenfrequencies of small oscillations of a system whose equilibrium is the solutions of the scattering equations.

A Reference Architecture based on Reflection for Self-adaptive Software

Self-adaptive Software (SaS) presents specific characteristics compared to traditional ones, as it makes possible adaptations to be incorporated at runtime. These adaptations, when manually performed, normally become an onerous, error-prone activity. In this scenario, automated approaches have been proposed to support such adaptations; however, the development of SaS is not a trivial task. In parallel, reference architectures are reusable artifacts that aggregate the knowledge of architectures of software systems in specific domains. They have facilitated the development, standardization, and evolution of systems of those domains. In spite of their relevance, in the SaS domain, reference architectures that could support a more systematic development of SaS are not found yet. Considering this context, the main contribution of this paper is to present a reference architecture based on reflection for SaS, named RA4SaS (Reference Architecture for SaS). Its main purpose is to support the development of SaS that presents adaptations at runtime. To show the viability of this reference architecture, a case study is presented. As result, it has been observed that RA4SaS has presented good perspective to efficiently contribute to the area of SaS.

Fano interference and a slight fluctuation of the Majorana hallmark

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

On exponential stability of functional differential equations with variable impulse perturbations

We consider a class of functional differential equations subject to perturbations, which vary in time, and we study the exponential stability of solutions of these equations using the theory of generalized ordinary differential equations and Lyapunov functionals. We introduce the concept of variational exponential stability for generalized ordinary differential equations and we develop the theory in this direction by establishing conditions for the trivial solutions of generalized ordinary differential equations to be exponentially stable. Then, we apply the results to get corresponding ones for impulsive functional differential equations. We also present an example of a delay differential equation with Perron integrable right-hand side where we apply our result.

Universality of Three-Body Systems in 2D: Parametrization of the Bound States Energies

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

A Comparative Analysis of In-Medium Spectral Functions for N(940) and N (au)(1535) in Real-Time Thermal Field Theory

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

A Dataset for Evaluating Intrusion Detection Systems in IEEE 802.11 Wireless Networks

Internet access by wireless networks has grown considerably in recent years. However, these networks are vulnerable to security problems, especially those related to denial of service attacks. Intrusion Detection Systems(IDS)are widely used to improve network security, but comparison among the several existing approaches is not a trivial task. This paper proposes building a datasetfor evaluating IDS in wireless environments. The data were captured in a real, operating network. We conducted tests using traditional IDS and achieved great results, which showed the effectiveness of our proposed approach.