The meta-object facility typed

The Object Managment Group’s Meta-Object Facility (MOF) is a semiformal approach to writing models and metamodels (models of models). The MOF was developed to enable systematic model/metamodel interchange and integration. The approach is problematic, unless metamodels are correctly specified: an error in a metamodel specification will propagate throughout instantiating models and final model implementations. An important open question is how to develop provably correct metamodels. This paper outlines a solution to the question, in which the MOF metamodelling approach is formalized within constructive type theory.

Temperature Dynamics Investigation At Small And Shallow Lakes Using Hydrodynamic Model

A three-dimensional time-dependent hydrodynamic and heat transport model of Lake Binaba, a shallow and small dam reservoir in Ghana, emphasizing the simulation of dynamics and thermal structure has been developed. Most numerical studies of temperature dynamics in reservoirs are based on one- or two-dimensional models. These models are not applicable for reservoirs characterized with complex flow pattern and unsteady heat exchange between the atmosphere and water surface. Continuity, momentum and temperature transport equations have been solved. Proper assignment of boundary conditions, especially surface heat fluxes, has been found crucial in simulating the lake’s hydrothermal dynamics. This model is based on the Reynolds Average Navier-Stokes equations, using a Boussinesq approach, with a standard k − ε turbulence closure to solve the flow field. The thermal model includes a heat source term, which takes into account the short wave radiation and also heat convection at the free surface, which is function of air temperatures, wind velocity and stability conditions of atmospheric boundary layer over the water surface. The governing equations of the model have been solved by OpenFOAM; an open source, freely available CFD toolbox. As its core, OpenFOAM has a set of efficient C++ modules that are used to build solvers. It uses collocated, polyhedral numerics that can be applied on unstructured meshes and can be easily extended to run in parallel. A new solver has been developed to solve the hydrothermal model of lake. The simulated temperature was compared against a 15 days field data set. Simulated and measured temperature profiles in the probe locations show reasonable agreement. The model might be able to compute total heat storage of water bodies to estimate evaporation from water surface.

Object modeling for user-centered development and user interface design: the wisdom approach

João Bernardo de Sena Esteves Falcão e Cunha

Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.

Transfer function-noise modeling and spatial interpolation to evaluate the risk of extreme (shallow) water-table levels in the Brazilian Cerrados

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

Brachyuran soft-bottom assemblage from marine shallow waters in the southeastern Brazilian littoral.

The present investigation examined the assemblages of brachyuran crabs in three bays of southeastern So Paulo State, analyzing the numbers of species and individuals, biomass, and diversity. The crabs were collected monthly in Ubatumirim, Ubatuba, and Mar Virado bays in the Ubatuba region over 2 years (1998 and 1999). In each bay, six tows were made from a fishing boat. A total of 39,820 specimens, representing 11 super families, 39 genera, and 65 species of brachyurans, were obtained. The mean number of specimens and biomass varied seasonally, which can be mainly related with the population tendencies of two dominant species in the area (Callinectes ornatus and Hepatus pudibundus). The highest numbers of individuals and species were found in Ubatuba Bay, followed by Ubatumirim and Mar Virado. The highest diversity index was estimated for Ubatumirim (H' = 2.44), followed by Ubatuba (H' = 2.37) and Mar Virado (H' = 1.86). In general, the coastal region supported high abundance and species richness concerning brachyurans, with high diversity indices, probably because of its more-heterogeneous substrate, which may afford more refuges for certain species. These results suggested that environmental conditions in this area, although they showed certain differences, are favorable for the establishment and development of a diverse brachyuran guild.

Avaliação por pig de perfilagem de danos superfciais nos materiais das paredes de dutos de petróleo

The modern technology of materials and structural integrity of pipelines requests the use of inspection tools named inspection pigs to detect, localize and measure the length, width and depth dimensions of the thickness losses of walls of buried and underwater pipelines in service. These tools run them internally, performing and recording measurements, with performance that varies according to the pig s technology. It has been developed recently an instrumented pig technology, called feller pig. This work aims to indicate factors that influence the feller pig technology performance in the detection and in the accuracy of measurement of the length, width and depth dimensions of the thickness losses on the internal surface of an oil pipeline wall under normal conditions of oil pipe inspection with pig. In this work, is made a collection of factors and an analyses of the technology based on the available literature, as well as an experiment to observe the technology and the factors operating. In the experiment, a feeler pig is used in a pipeline built in carbon steel and in operation that flows petroleum, in witch are observed areas with internal thickness losses occurred naturally. Some of these areas and their dimensions taken by automated ultra-sound scanner are compared with the ones indicated by the feller pig. Based on the data collection, on the analysis and on the experiment, the influence of factors object of this research is discussed. It is concluded that, among these, there are factors related to pipe fabrication tolerances, to wear of pig components, to internal adhesive wear of pipeline, to other pipeline damages and to technology characteristics. Finally, actions are suggested to know better, improve and define the applicability of this technology

Object-Space Road Extraction in Rural Areas Using Stereoscopic Aerial Images

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

Three-Dimensional Semiautomatic Road Extraction From a High-Resolution Aerial Image by Dynamic-Programming Optimization in the Object Space

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

High-energy transitions of shallow magnetodonors in a GaAs/Al0.3Ga0.7As multiple quantum well

The high-energy states of a shallow donor in a GaAs/Ga0.7Al0.3As multiple-quantum-well structure subjected to a magnetic field in the growth direction are studied both theoretically and experimentally. Effects due to higher confinement subbands as well as due to the electron-phonon interaction are investigated. We show that most of the peaks in the infrared photoconductivity spectrum are due to direct transitions from the ground state to the m = +/-1 magnetodonor states associated with the first subband, but transitions to the m = +/-1 states of the third subband are also apparent. The remaining photoconductivity peaks are explained by phonon-assisted impurity transitions.

Occurrence and behavior of butyltins in intertidal and shallow subtidal surface sediments of an estuarine beach under different sampling conditions

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