Condições de energia de hawking e ellis e a equação de raychaudhuri

In the Einstein s theory of General Relativity the field equations relate the geometry of space-time with the content of matter and energy, sources of the gravitational field. This content is described by a second order tensor, known as energy-momentum tensor. On the other hand, the energy-momentum tensors that have physical meaning are not specified by this theory. In the 700s, Hawking and Ellis set a couple of conditions, considered feasible from a physical point of view, in order to limit the arbitrariness of these tensors. These conditions, which became known as Hawking-Ellis energy conditions, play important roles in the gravitation scenario. They are widely used as powerful tools for analysis; from the demonstration of important theorems concerning to the behavior of gravitational fields and geometries associated, the gravity quantum behavior, to the analysis of cosmological models. In this dissertation we present a rigorous deduction of the several energy conditions currently in vogue in the scientific literature, such as: the Null Energy Condition (NEC), Weak Energy Condition (WEC), the Strong Energy Condition (SEC), the Dominant Energy Condition (DEC) and Null Dominant Energy Condition (NDEC). Bearing in mind the most trivial applications in Cosmology and Gravitation, the deductions were initially made for an energy-momentum tensor of a generalized perfect fluid and then extended to scalar fields with minimal and non-minimal coupling to the gravitational field. We also present a study about the possible violations of some of these energy conditions. Aiming the study of the single nature of some exact solutions of Einstein s General Relativity, in 1955 the Indian physicist Raychaudhuri derived an equation that is today considered fundamental to the study of the gravitational attraction of matter, which became known as the Raychaudhuri equation. This famous equation is fundamental for to understanding of gravitational attraction in Astrophysics and Cosmology and for the comprehension of the singularity theorems, such as, the Hawking and Penrose theorem about the singularity of the gravitational collapse. In this dissertation we derive the Raychaudhuri equation, the Frobenius theorem and the Focusing theorem for congruences time-like and null congruences of a pseudo-riemannian manifold. We discuss the geometric and physical meaning of this equation, its connections with the energy conditions, and some of its several aplications.

A combination of implicit and adaptative upwind tools for the numerical solution of incompressible free surface flows

This paper is concerned with the numerical solutions of time dependent two-dimensional incompressible flows. By using the primitive variables of velocity and pressure, the Navier-Stokes and mass conservation equations are solved by a semi-implicit finite difference projection method. A new bounded higher order upwind convection scheme is employed to deal with the non-linear (advective) terms. The procedure is an adaptation of the GENSMAC (J. Comput. Phys. 1994; 110: 171-186) methodology for calculating confined and free surface fluid flows at both low and high Reynolds numbers. The calculations were performed by using the 2D version of the Freeflow simulation system (J. Comp. Visual. Science 2000; 2:199-210). In order to demonstrate the capabilities of the numerical method, various test cases are presented. These are the fully developed flow in a channel, the flow over a backward facing step, the die-swell problem, the broken dam flow, and an impinging jet onto a flat plate. The numerical results compare favourably with the experimental data and the analytical solutions. Copyright (c) 2006 John Wiley & Sons, Ltd.

Quantitative fractography by digital image processing: NIH Image macro tools for stereo pair analysis and 3-D reconstruction

A set of NIH Image macro programs was developed to make qualitative and quantitative analyses from digital stereo pictures produced by scanning electron microscopes. These tools were designed for image alignment, anaglyph representation, animation, reconstruction of true elevation surfaces, reconstruction of elevation profiles, true-scale elevation mapping and, for the quantitative approach, surface area and roughness calculations. Limitations on time processing, scanning techniques and programming concepts are also discussed.

Simulation Tools of DC-DC Converters for Power Electronics Education

This paper presents interactive simulation tools to support the enhancement of power electronics education considering DC to DC converters. These interactive tools make use of the benefits of Java language to provide a dynamic and interactive visualization of simulations in steady-state for idealized non-isolated DC to DC converters. Additionally, this paper discusses the features and the usage of the interactive educational tools to serve as a first design tool for the laboratory experiments in the power electronics courses. In this way, some results were confronted with a well-known simulator package and with experimental results in order to validate the developed interactive simulation tools.

Simulation Tools for Power Electronics Courses Based on Java Technologies

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

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

Identification of hybrids between Neotropical fish Leporinus macrocephalus and Leporinus elongatus by PCR-RFLP and multiplex-PCR: Tools for genetic monitoring in aquaculture

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

Immunity in plants and animals: common ends through different means using similar tools

A comparative approach is potentially useful for understanding the role of mammal innate immunity role in stimulating adaptive immunity as well as the relationship between these two types of immune strategies. Considerable progress has been made in the elucidation of the co-ordinated events involved in plant perception of infection and their mobilisation of defence responses. Although lacking immunoglobulin molecules, circulating cells, and phagocytic processes, plants successfully use pre-formed physical and chemical innate defences, as well as inducible adaptive immune strategies. In the present paper, we review some shared and divergent immune aspects present in both animals and plants. (C) 2002 Elsevier B.V. All rights reserved.

Short-Term Effects of the Use of Non-Rigid Tools for Postural Control by Adults with Intellectual Disabilities

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

The Fermi pseudo-potential in one dimension

Wu and Yu recently examined point interactions in one dimension in the form of the Fermi pseudo-potential. on the other hand there are point interactions in the form of self-adjoint extensions (SAEs) of the kinetic energy operator. We examine the relationship between the point interactions in these two forms in the one-channel and two-channel cases. In the one-channel case the pseudo-potential leads to the standard three-parameter family of SAEs. In the two-channel case the pseudo-potential furnishes a ten-parameter family of SAEs.

Identification of Landslide Scars in the Region of the Serra do Mar, São Paulo State, Brazil, Using Digital Image Processing and Spatial Analysis Tools

The objective of the present study, developed in a mountainous region in Brazil where many landslides occur, is to present a method for detecting landslide scars that couples image processing techniques with spatial analysis tools. An IKONOS image was initially segmented, and then classified through a Batthacharrya classifier, with an acceptance limit of 99%, resulting in 216 polygons identified with a spectral response similar to landslide scars. After making use of some spatial analysis tools that took into account a susceptibility map, a map of local drainage channels and highways, and the maximum expected size of scars in the study area, some features misinterpreted as scars were excluded. The 43 resulting features were then compared with visually interpreted landslide scars and field observations. The proposed method can be reproduced and enhanced by adding filtering criteria and was able to find new scars on the image, with a final error rate of 2.3%.

A Contribution to the Estimation of Binary Halide and Pseudo-Halide Equilibrium Constants using a Linear Extrapolation Methodology

The molar single ion activity coefficient (y(F)) of fluoride ions was determined at 25 degrees C and ionic strengths between 0.100 and 3.00 mol L(-1) NaClO(4) using an ion-selective electrode. The activity coefficient dependency on ionic strength was determined to be Phi(F) = log y(F) = 0.2315I-0.041I(2). The function Phi(F)(I), combined with functions obtained in previous work for copper (Phi(Cu)) and hydrogen (Phi(H)), allowed us to make the estimation of the stoichiometric and thermodynamic protonation constants of some halides and pseudo-halides as well as the formation constants of some pseudo-halides and fluoride 1:1 bivalent cation complexes. The calculation procedure proposed in this paper is consistent with critically-selected experimental data. It was demonstrated that it is possible to use Phi(F)(I) for predicting the thermodynamic equilibrium parameters independently of Pearson's hardness of acids and bases.

Spatial distribution of dengue in the city of Cruzeiro, São Paulo State, Brazil: use of geoprocessing tools

Este artigo tem por objetivo identificar padrões na distribuição espacial dos casos de dengue ocorridos no município de Cruzeiro/SP, no ano de 2006. Trata-se de um estudo ecológico e exploratório que utiliza as ferramentas de análise espacial na elaboração de mapas temáticos, com dados obtidos do SinanNet. Foi feita uma análise por área, tomando-se como unidade o setor censitário do IBGE; a análise considerou quatro meses do ano de 2006 que mostra a ocorrência da doença no município. Os mapas temáticos foram construídos pelo programa computacional TerraView 3.3.1; assim como os valores dos índices de Moran Global (I M) mês a mês e o estimador de Kernel. Foram georreferenciados 691 casos de dengue (taxa de 864,2 casos/100.000 habitantes); os Índices de Moran e p-valores obtidos foram I M = 0,080 (março) p = 0,11; I M = 0,285 (abril) p = 0,01; I M = 0,201 (maio) p = 0,01 e I M = 0,002 (junho) p = 0,57. Os primeiros casos foram identificados na região nordeste e central e os últimos casos, na região norte, nordeste e central. Foi possível identificar os setores censitários onde a epidemia teve início e como ocorreu têmporo-espacialmente no município.

Hamiltonian hierarchy of pseudo-potentials

The general structure of the Hamiltonian hierarchy of the pseudo-Coulomb and pseudo-Harmonic potentials is constructed by the factorization method within the supersymmetric quantum mechanics (SQMS) formalism. The excited states and spectra of eigenfunctions of the potentials are obtained through the generation of the members of the hierarchy. It is shown that the extra centrifugal term added to the Coulomb and Harmonic potentials maintain their exact solvability.