Semântica formal para TVQL

Modelos de bancos de dados têm sido progressivamente estendidos a fim de melhor capturar necessidades específicas de aplicações. Bancos de dados versionados, por exemplo, provêm suporte a versões alternativas de objetos. Bancos de dados temporais, por sua vez, permitem armazenar todos os estados de uma aplicação, registrando sua evolução com o passar do tempo. Tais extensões sobre os modelos de dados se refletem nas respectivas linguagens de consulta, normalmente sob a forma de extensões a linguagens conhecidas, tais como SQL ou OQL. O modelo de banco de dados TVM (Temporal Versions Model ), definido sobre o modelo de banco de dados orientado a objetos, suporta simultaneamente versões alternativas e o registro de alterações de objetos ao longo do tempo. A linguagem de consulta TVQL (Temporal Versioned Query Language), definida a partir da linguagem de consulta SQL, permite recuperar informações do modelo de dados TVM. As construções introduzidas em TVQL têm como objetivo tornar simples a consulta do banco de dados em diversos pontos da linha temporal. Apesar das vantagens da utilização da linguagem TVQL para resgatar dados temporais do modelo TVM, existem algumas limitações importantes para seu aprimoramento. Uma delas é a alta complexidade do modelo TVM, proveniente da integração de conceitos variados como estados alternativos e rótulos temporais. Outro ponto é que, até o presente momento, não existe um interpretador para TVQL, impedindo uma experiência prática de programação de consultas. O objetivo principal deste trabalho é o desenvolvimento de uma especificação formal para a linguagem TVQL, tornando possível um estudo consistente de suas construções. Adicionalmente, uma especificação formal serve como documentação para futuras implementações de interpretadores. Neste trabalho foi desenvolvido um protótipo de avaliador de consultas e verificador de tipos para um núcleo funcional da linguagem TVQL, possibilitando também uma experimentação prática sobre os modelos propostos.

Processos de degradação e regeneração da vegetação campestre do entorno de areais do sudoeste do Rio Grande do Sul

No Sudoeste do Rio Grande do Sul ocorrem manchas de substrato arenoso sem cobertura vegetal, conhecidos regionalmente como areais. A tese reexamina o problema e suas causas, enfatizando o papel da vegetação natural e propondo estratégias para a revegetação e prevenção à arenização em sistemas pastoris. Evidências foram obtidas em levantamentos e experimento avaliando processos de degradação e regeneração da vegetação campestre do entorno de areais. Levantamento da vegetação, realizado em 41 parcelas de 4,5 x 9,0 m na borda de 11 areais indicou a existência de dois tipos de comunidades. Areais de Manoel Viana e aqueles usados pelo gado em São Francisco de Assis, com alto percentual de substrato exposto, são caracterizados principalmente por Elyonurus sp., Axonopus pressus e Butia paraguayensis. Areais de Alegrete e aqueles excluídos de pastejo em São Francisco de Assis, com menor percentual de substrato exposto, são caracterizados principalmente por Andropogon lateralis e Aristida laevis. Foi também avaliada a dinâmica da vegetação em gradientes de arenização, usando quadros (0,25 m2) contíguos em 16 transecções de 10 m localizadas em cinco areais. A dinâmica da vegetação foi associada ao uso das áreas pelo gado, pois houve aumento, após 14 meses, de substrato exposto em comunidades de areais sob pastoreio, enquanto que aquelas sem gado apresentaram uma dinâmica espacial-temporal de maior estabilidade da cobertura vegetal. Um experimento foi realizado para avaliar, durante 8 meses, o efeito de níveis controlados de soterramento por areia (0, 5, 10 e 20 cm) em comunidades do entorno de dois areais sob pastoreio. Comunidades caracterizadas por Elyonurus sp. e Axonopus pressus foram mais tolerantes ao soterramento. As evidências indicam que a exclusão do gado de areais pode ser uma alternativa eficaz para a revegetação de areais por espécies das comunidades naturais do entorno. Ademais, a arenização pode ser prevenida pelo uso adequado dos campos que mantenha a cobertura vegetal natural protegendo o solo dos processos erosivos hídrico e eólico.

Estimativa da evapotranspiração espacial em uma região semiárida utilizando sensoriamento remoto

With the need to deploy management and monitoring systems of natural resources in areas susceptible to environmental degradation, as is the case of semiarid regions, several works have been developed in order to find effective models and technically and economically viable. Therefore, this study aimed to estimate the daily actual evapotranspiration (ETr) through the application of the Surface Energy Balance Algorithm for Land (SEBAL), from remote sensing products, in a semiarid region, Seridó of the Rio Grande do Norte, and do the validation of these estimates using ETr values obtained by the Penman-Monteith (standard method of the Food and Agriculture Organization-FAO). The SEBAL is based on energy balance method, which allows obtaining the vertical latent heat flux (LE) with orbital images and, consequently, of the evapotranspiration through the difference of flows, also vertical, of heat in the soil (G), sensitive heat (H) and radiation balance (Rn). The study area includes the surrounding areas of the Dourado reservoir, located in the Currais Novos/RN city. For the implementation of the algorithm were used five images TM/Landsat-5. The work was divided in three chapters in order to facilitate a better discussion of each part of the SEBAL processing, distributed as follows: first chapter addressing the spatio-temporal variability of the biophysical variables; second chapter dealing with spatio-temporal distribution of instant and daily radiation balance; and the third chapter discussing the heart of the work, the daily actual evapotranspiration estimation and the validation than to the study area

IFTrace: Video segmentation of deformable objects using the Image Foresting Transform

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

Estudo comparativo da marcha de indivíduos hemiparéticos no solo e na esteira

The purpose of the study was to compare hemiparetic gait overground and on the treadmill. Seventeen chronic stroke patients were included in the study. They walked overground and on a treadmill level at the same speed. The Qualisys Medical AB motion analysis system was used to quantify the joint kinematic of the paretic lower limb and the spatio-temporal parameters on the two conditions: overground walking and treadmill walking on three samples of 5-minutes. During the first sample, the subjects walked on the treadmill with greater cadence, shorter stride length, shorter step time on the lower paretic limb, greater range of motion in the hip and knee, greater knee flexion at the initial contact, more extension of the knee and lower dorsiflexion of the ankle at the stance phase. It is important to emphasize that the maximal knee flexion and ankle dorsiflexion just occurred later on the treadmill. Comparisons between each walking sample on the treadmill hadn t revealed any changes on the gait parameters over time. Nonetheless, when analyzing the third walking sample on the treadmill and overground, some variables showed equivalence as such as the total range of motion of the hip, the knee angle at the initial contact and its maximal extension at the stance phase. In summary, walking on a treadmill, even thought having some influence on the familiarization process, haven t demonstrated a complete change in its characteristics of hemiparetic chronic patients

Influência do biofeedback no treino de marcha de sujeitos hemiparéticos: ensaio clínico randomizado

BACKGROUND: Treadmill training with partial body weight support (BWS) has shown many benefits for patients after a stroke. But their findings are not well known when combined with biofeedback. OBJETIVE: The purpose of this study was to evaluate the immediate effects of biofeedback, visual and auditory, combined with treadmill training with BWS on on walking functions of hemiplegic subjects. METHODS: We conducted a clinical trial, randomized controlled trial with 30 subjects in the chronic stage of stroke, underwent treadmill training with BWS (control), combined with visual biofeedback, given by the monitor of the treadmill through the symbolic appearance of feet as the subject gave the step; or auditory biofeedback, using a metronome with a frequency of 115% of the cadence of the individual. The subjects were evaluated by kinematics, and the data obtained by the Motion Analysis System Qualisys. To assess differences between groups and within each group after training was applied to ANOVA 3 x 2 repeated measures. RESULTS: There were no statistical differences between groups in any variable spatio-temporal and angular motion, but within each group there was an increase in walking speed and stride length after the training. The group of visual biofeedback increased the stance period and reduced the swing period and reason of symmetry, and the group auditory biofeedback reduced the double stance period. The range of motion of the knee and ankle and the plantar flexion increased in the visual biofeedback group. CONCLUSION: There are no differences between the immediate effects of gait training on a treadmill with BWS performed with and without visual or auditory biofeedback. However, the visual biofeedback can promote changes in a larger number of variables spatiotemporal and angular gait

Sistemas computacionais espaço-temporais para toma de decisão em questões ambientais relacionadas à indústria de petróleo e gás

The area between São Bento do Norte and Macau cities, located in the northern coast of the Rio Grande do Norte State is submitted to intense and constant processes of littoral and aeolian transport, causing erosion, alterations in the sediments balance and modifications in the shoreline. Beyond these natural factors, the human interference is huge in the surroundings, composed by sensitive places, due to the existence of the Guamaré Petroliferous Pole, RN, the greater terrestrial oil producing in Brazil, besides the activities of the salt companies and shrimp farms. This socioeconomic-environmental context justifies the elaboration of strategies of environmental monitoring of that coastal area. In the environmental monitoring of coastal strips, submitted to human impacts, the use of multi-sources and multitemporal data integrated through a Spatio- Temporal Database that allows the multiuser friendly access. The objective was to use the potential of the computational systems as important tools the managers of environmental monitoring. The stored data in the form of a virtual library aid in making decisions from the related results and presented in different formats. This procedure enlarges the use of the data in the preventive attendance, in the planning of future actions and in the definition of new lines of researches on the area, in a multiscale approach. Another activity of this Thesis consisted on the development of a computational system to automate the process to elaborate Oil-Spill Environmental Sensitivity Maps, based on the temporal variations that some coastal ecosystems present in the sensibility to the oil. The maps generated in this way, based on the methodology proposed by the Ministério do Meio Ambiente, supply more updated information about the behavior of the ecosystem, as a support to the operations in case of oil spill. Some parameters, such as the hydrodynamic data, the declivity of the beach face, types of resources in risk (environmental, economical, human or cultural) and use and occupation of the area are some of the essential basic information in the elaboration of the sensitivity maps, which suffer temporal alterations.In this way, the two computational systems developed are considered support systems to the decision, because they provide operational subsidies to the environmental monitoring of the coastal areas, considering the transformations in the behavior of coastal elements resulting from temporal changes related the human and/or natural interference of the environment

Bouchardia rosea, a vanishing brachiopod species of the Brazilian platform: taphonomy, historical ecology and conservation paleobiology

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

Composition and abundance of shrimp species (penaeidea and caridea) in Fortaleza Bay, Ubatuba, São Paulo, Brazil

The abundance and spatio-temporal distribution of the caridean and penaeid fauna from Fortaleza Bay, Ubatuba, São Paulo, Brazil, were analyzed. Seven transects were sampled over a one year period from November 1988 to October 1989. A total of 17047 shrimps were captured, representing 13 species belonging to 5 families. The interaction of temperature and type of sediment was fundamental in determining the presence and abundance of shrimp species in the area.

Dynamics of Bose-Einstein condensates with atomic pumping and dissipative processes

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

Documenting the advantages and limitations of different classes of molecular markers in a well-established phylogeographic context: lessons from the Iberian endemic Golden-striped salamander, Chioglossa lusitanica (Caudata: Salamandridae)

Previous analyses of mitochondrial (mt)DNA and allozymes covering the range of the Iberian endemic golden-striped salamander, Chioglossa lusitanica, suggested a Pleistocene split of the historical species distribution into two population units (north and south of the Mondego river), postglacial expansion into the northernmost extant range, and secondary contact with neutral diffusion of genes close to the Mondego river. We extended analysis of molecular variation over the species range using seven microsatellite loci and the nuclear P-fibrinogen intron 7 (beta-fibint7). Both microsatellites and beta-fibint7 showed moderate to high levels of population structure, concordant with patterns detected with mtDNA and allozymes; and a general pattern of isolation-by-distance, contrasting the marked differentiation of two population groups suggested by mtDNA and allozymes. Bayesian multilocus analyses showed contrasting results as populations north and south of the Douro river were clearly differentiated based on microsatellites, whereas allozymes revealed differentiation north and south of the Mondego river. Additionally, decreased microsatellite variability in the north supported the hypothesis of postglacial colonization of this region. The well-documented evolutionary history of C. lusitanica, provides an excellent framework within which the advantages and limitations of different classes of markers can be evaluated in defining patterns of population substructure and inferring evolutionary processes across distinct spatio-temporal scales. The present study serves as a cautionary note for investigations that rely on a single type of molecular marker, especially when the organism under study exhibits a widespread distribution and complex natural history. (C) 2008 The Linnean Society of London, Biological Journal of the Linnean Society, 2008, 95, 371-387.

Analysis of rain quality data from the South African interior

Rain acidity may be ascribed to emissions from power station stacks, as well as emissions from other industry, biomass burning, maritime influences, agricultural influences, etc. Rain quality data are available for 30 sites in the South African interior, some from as early as 1985 for up to 14 rainfall seasons, while others only have relatively short records. The article examines trends over time in the raw and volume weighted concentrations of the parameters measured, separately for each of the sites for which sufficient data are available. The main thrust, however, is to examine the inter-relationship structure between the concentrations within each rain event (unweighted data), separately for each site, and to examine whether these inter-relationships have changed over time. The rain events at individual sites can be characterized by approximately eight combinations of rainfall parameters (or rain composition signatures), and these are common to all sites. Some sites will have more events from one signature than another, but there appear to be no signatures unique to a single site. Analysis via factor and cluster analysis, with a correspondence analysis of the results, also aid interpretation of the patterns. This spatio-temporal analysis, performed by pooling all rain event data, irrespective of site or time period, results in nine combinations of rainfall parameters being sufficient to characterize the rain events. The sites and rainfall seasons show patterns in these combinations of parameters, with some combinations appearing more frequently during certain rainfall seasons. In particular, the presence of the combination of low acetate and formate with high magnesium appears to be increasing in the later rainfall seasons, as does this combination together with calcium, sodium, chloride, potassium and fluoride. As expected, sites close together exhibit similar signatures. Copyright © 2002 John Wiley & Sons, Ltd.

Local dimension and finite time prediction in coupled map lattices

Forecasting, for obvious reasons, often become the most important goal to be achieved. For spatially extended systems (e.g. atmospheric system) where the local nonlinearities lead to the most unpredictable chaotic evolution, it is highly desirable to have a simple diagnostic tool to identify regions of predictable behaviour. In this paper, we discuss the use of the bred vector (BV) dimension, a recently introduced statistics, to identify the regimes where a finite time forecast is feasible. Using the tools from dynamical systems theory and Bayesian modelling, we show the finite time predictability in two-dimensional coupled map lattices in the regions of low BV dimension. © Indian Academy of Sciences.

Considering Urban Dynamics in spatial electric load forecasting

When dealing with spatio-temporal simulations of load growth inside a service zone, one of the most important problems faced by a Distribution Utility is how to represent the different relationships among different areas. A new load in a certain part of the city could modify the load growth in other parts of the city, even outside of its radius of influence. These interactions are called Urban Dynamics. This work aims to discuss how to implement Urban Dynamics considerations into the spatial electric load forecasting simulations using multi-agent simulations. To explain the approach, three examples are introduced, including the effect of an attraction load, the effect of a repulsive load, and the effect of several attraction/repulsive loads at the same time when considering the natural load growth. © 2012 IEEE.

Muscle strength and ankle mobility for the gait parameters in diabetic neuropathies

Aims: To evaluate the spatio-temporal variables of gait and the isometric muscle strength component of the ankle in patients with peripheral diabetic neuropathy. Also, verify the relationship between these variables and gait parameters. Methods: This study involved 25 diabetic peripheral neuropathy (DPN) participants (62.4 ± 8.36 years) and 27 age-matched healthy control individuals (64.48 ± 6.21 years). The assessment of the spatio-temporal parameters of gait was performed using an electronic baropodometry treadmill. Prior to the collection data, each participant was instructed to walk on the treadmill in her/his habitual self-selected speed. Results: Diabetic neuropathy group showed impairment of gait, with a smaller stride and length speed of the cycle, and increased duration of support time. Restricted dorsiflexion mobility and increased plantarflexion mobility were found, with a decrease in muscle strength of the dorsiflexors and plantiflexors. There was a significant relationship between plantiflexor muscle strength and the length and speed of the gait cycle. Also the muscle strengths of the plantiflexors and dorsiflexors, and the range of motion of dorsiflexion were predictors of gait performance. Conclusions: The ankle, muscle strength and ankle mobility variables could explain changes in gait speed and range of motion in patients with DPN, allowing for the application of preventive strategies. © 2012 Elsevier Ltd.