Five-dimensional f(R) braneworld models

After incorporating f(R) gravity into the general braneworld sum rules scope, it is shown that some particular class of warped five-dimensional nonlinear braneworld models, which may be interesting for the hierarchy problem solution, still require a negative tension brane. For other classes of warp factors (suitable and not suitable for approaching the hierarchy problem) any negative brane tension in the compactification scheme is not necessary. In this vein, it is argued that, in the bulk f(R) gravity context, some types of warp factors may be useful for approaching the hierarchy problem and for evading the necessity of a negative brane tension in the compactification scheme.

A new method for real time computation of power quality indices based on instantaneous space phasors

One of the important issues about using renewable energy is the integration of dispersed generation in the distribution networks. Previous experience has shown that the integration of dispersed generation can improve voltage profile in the network, decrease loss, etc. but can create safety and technical problems as well. This work report the application of the instantaneous space phasors and the instantaneous complex power in observing performances of the distribution networks with dispersed generators in steady state. New IEEE apparent power definition, the so-called Buchholz-Goodhue effective apparent power, as well as new proposed power quality (oscillation) index in the three-phase distribution systems with unbalanced loads and dispersed generators, are applied. Results obtained from several case studies using IEEE 34 nodes test network are presented and discussed. (C) 2006 Elsevier B.V. All rights reserved.

A method for plotting the complementary root locus using the root-locus (positive gain) rules

The root-locus method is a well-known and commonly used tool in control system analysis and design. It is an important topic in introductory undergraduate engineering control disciplines. Although complementary root locus (plant with negative gain) is not as common as root locus (plant with positive gain) and in many introductory textbooks for control systems is not presented, it has been shown a valuable tool in control system design. This paper shows that complementary root locus can be plotted using only the well-known construction rules to plot root locus. It can offer for the students a better comprehension on this subject. These results present a procedure to avoid problems that appear in root-locus plots for plants with the same number of poles and zeros.

Numeric simulation of pollutant dispersion by a control-volume based on finite element method

The dispersion of pollutants in the environment is an issue of great interest as it directly affects air quality, mainly in large cities. Experimental and numerical tools have been used to predict the behavior of pollutant species dispersion in the atmosphere. A software has been developed based on the control-volume based on the finite element method in order to obtain two-dimensional simulations of Navier-Stokes equations and heat or mass transportation in regions with obstacles, varying position of the pollutant source. Numeric results of some applications were obtained and, whenever possible, compared with literature results showing satisfactory accordance. Copyright (C) 2010 John Wiley & Sons, Ltd.

Computations of the flow past a still sphere at moderate reynolds numbers using an immersed boundary method

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

NUMERICAL SIMULATION of CONVECTION-DIFFUSION PROBLEMS BY THE CONTROL-VOLUME-BASED FINITE-ELEMENT METHOD

This work presents a numerical study of the tri-dimensional convection-diffusion equation by the control-volume-based on finite-element method using quadratic hexahedral elements. Considering that the equation governing this problem in its main variable may represent several properties, including temperature, turbulent kinetic energy, viscous dissipation rate of the turbulent kinetic energy, specific dissipation rate of the turbulent kinetic energy, or even the concentration of a contaminant in a given medium, among others, the wide applicability of this problem is thus evidenced. Three cases of temperature distributions will be studied specifically in this work, in addition to one case of pollutant dispersion upon analysis of the concentration of a contaminant in a fixed flow point. Some comparisons will be carried out against works found in the open literature, while others will be done according to each phenomenon characteristics.

Bifurcation of limit cycles from an n-dimensional linear center inside a class of piecewise linear differential systems

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

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

Geoprocessamento de dados meteo-oceonográficos (cor do oceano e temperatura da superfície do mar) aplicado ao monitoramento ambiental na costa setentrional do Rio Grande do Norte

Orbital remote sensing has been used as a beneficial tool in improving the knowledge on oceanographic and hydrodynamic aspects in northern portion of the continental shelf of Rio Grande do Norte, offshore Potiguar Basin. Aspects such as geography, temporal and spatial resolution combined with a consistent methodology and provide a substantial economic advantage compared to traditional methods of in situ data collecting. Images of the Moderate Resolution Imaging Spectroradiometer (MODIS) sensor onboard NASA's AQUA satellite were obtained to support systematic data collections related to the campaign of environmental monitoring and characterization of Potiguar Basin, held in May 2004. Images of Total Suspension Matter (TSM) and values of radiance standard were generated for the calculation of concentrations of total suspension matter (TSM), chlorophyll-a and sea surface temperature (SST). These data sets were used for statistical comparisons between measures in situ and satellite estimates looking validate algorithms or develop a comprehensive regional approach empirically. AQUA-MODIS images allowed the simultaneous comparison of two-dimensional water quality (total suspension matter), phytoplankton biomass (chlorophyll-a) variability and physical (temperature). For images of total suspension matter, the generated models showed a good correlation with the field data, allowing quantitative and qualitative analysis. The images of chlorophyll-a showed a consistent correlation with the in situ values of concentration. The algorithms adjusted for these images obtained a correlation coefficient fairly well with the data field in order that the sensor can be having an effect throughout the water column and not just the surface. This has led to a fit between the data of chlorophyll-the integration of the average sampling interval of the entire water column up to the level of the first optical depth, with the data generated from the images. This method resulted in higher values of chlorophyll concentration to greater depths, due to the fact that we are integrating more values of chlorophyll in the water column. Thus we can represent the biomass available in the water column. Images SST and SST measures in situ showed a mean difference DT (SST insitu - SST sat) around -0.14 ° C, considered low, making the results very good. The integration of total suspension matter, chlorophyll-a, the temperature of the sea surface (SST) and auxiliary data enabled the recognition of some of the main ways to fund the continental shelf. The main features highlighted were submerged canyons of rivers Apodi and Açu, some of the lines and beachrocks reefs, structural highs and the continental shelf break which occurs at depths around -60 m. The results confirmed the high potential for use of the AQUA-MODIS images to environmental monitoring of sea areas due to ease of detection of the field two-dimensional material in suspension on the sea surface, temperature and the concentration of chlorophyll-a

Influence of Cusp Inclination on Stress Distribution in Implant-Supported Prostheses. A Three-Dimensional Finite Element Analysis

Purpose: The aim of this study was to assess the influence of cusp inclination on stress distribution in implant-supported prostheses by 3D finite element method.Materials and Methods: Three-dimensional models were created to simulate a mandibular bone section with an implant (3.75 mm diameter x 10 mm length) and crown by means of a 3D scanner and 3D CAD software. A screw-retained single crown was simulated using three cusp inclinations (10 degrees, 20 degrees, 30 degrees). The 3D models (model 10d, model 20d, and model 30d) were transferred to the finite element program NeiNastran 9.0 to generate a mesh and perform the stress analysis. An oblique load of 200 N was applied on the internal vestibular face of the metal ceramic crown.Results: The results were visualized by means of von Mises stress maps. Maximum stress concentration was located at the point of application. The implant showed higher stress values in model 30d (160.68 MPa). Cortical bone showed higher stress values in model 10d (28.23 MPa).Conclusion: Stresses on the implant and implant/abutment interface increased with increasing cusp inclination, and stresses on the cortical bone decreased with increasing cusp inclination.

Influence of microwave disinfection on the dimensional stability of intact and relined acrylic resin denture bases

Statement of problem. Microwave irradiation has been suggested as a method to disinfect denture bases. However, the effect of microwave heating on the dimensional stability of the relined denture bases is unknown.Purpose. The purpose of this study was to evaluate the dimensional stability of intact and relined acrylic resin denture bases after microwave disinfection.Material and methods. A standard brass cast simulating an edentulous maxillary arch was machined and used to fabricate 2- and 4-mm-thick denture bases (n=200), which were processed with heat-polymerized acrylic resin (Lucitone 550). The 2-mm thick-specimens (n=160) were relined with 2 mm of autopolymerizing resin (Tokuso Rebase Fast, Ufi Gel Hard, Kooliner, or New Truliner). Distances between 5 removable pins on the standard brass cast were measured with a Nikon optical comparator, and the area (mm(2)) formed by the distance between 5 pins was calculated and served as baseline. During fabrication, the pins were transferred to the intaglio surface of the specimens. Differences between the baseline area and those subsequently determined for the specimens were used to calculate the percent dimensional changes. The intact and relined denture bases were divided into 4 groups (n=10) and evaluated after: polymerization (control group P); 1 cycle of microwave disinfection (MW); daily microwave disinfection for 7 days (control group MW7); water storage for 7 days (WS7). Microwave irradiation was performed for 6 minutes at 650 W. Data were analyzed using 2-way ANOVA followed by Tukey's test (alpha=.05).Results. Intact specimens and those relined with Kooliner and New Truliner showed increased shrinkage after 1 (P=.05, .018, and .001, respectively) and 7 (P <.001, .003, and <.001, respectively) cycles of microwave disinfection. With the exception of specimens relined with Kooliner, intact specimens showed greater shrinkage than the relined specimens after 7 cycles of microwave disinfection.Conclusions. Microwave disinfection produced increased shrinkage of intact specimens and those relined with New Truliner and Kooliner.

Detection of enterotoxins genes in coagulase-negative staphylococci isolated from foods

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

Thermodynamics of a Peyrard-Bishop One-Dimensional Lattice with On-site Hump Potential

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

A mass-transportation approach to a one dimensional fluid mechanics model with nonlocal velocity

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

Assessment of Donana National Park contamination in Procambarus clarkii: Integration of conventional biomarkers and proteomic approaches

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