Diamondiferous deposits in the Jequitai area (Minas Gerais, Brazil): a consequence of neotectonic processes

Diamonds obtained from small scale mining near Jequitai and surrounding villages are extracted from Tertiary conglomerates and Quaternary gravels of the Rio Jequitai. Eocretaceous conglomerates, which are locally poorly diamondiferous, cover parts of the Serra da Agua Fria and Serra do Cabral. They are of no economic importance. Analyses of neotectonic, post-Miocene features support a transpressive regime that gave rise to N-S to N25° E transcurrent faults, and WNW normal faults. The main evidence for neotectonic processes are inclined Tertiary sediments, drainage captures, striated laterites of Miocene age, and tilting of blocks that form the Rio Jequitai graben. Diamonds in the Tertiary terraces derived from the Eocretaceous conglomerates, which were affected by neotectonic processes, followed by erosion and concentration during redeposition of sediments.

A linear optimization approach to the combined production planning model

Two fundamental processes usually arise in the production planning of many industries. The first one consists of deciding how many final products of each type have to be produced in each period of a planning horizon, the well-known lot sizing problem. The other process consists of cutting raw materials in stock in order to produce smaller parts used in the assembly of final products, the well-studied cutting stock problem. In this paper the decision variables of these two problems are dependent of each other in order to obtain a global optimum solution. Setups that are typically present in lot sizing problems are relaxed together with integer frequencies of cutting patterns in the cutting problem. Therefore, a large scale linear optimizations problem arises, which is exactly solved by a column generated technique. It is worth noting that this new combined problem still takes the trade-off between storage costs (for final products and the parts) and trim losses (in the cutting process). We present some sets of computational tests, analyzed over three different scenarios. These results show that, by combining the problems and using an exact method, it is possible to obtain significant gains when compared to the usual industrial practice, which solve them in sequence. (C) 2010 The Franklin Institute. Published by Elsevier Ltd. All rights reserved.

Tests of anomalous quartic couplings at the Next Linear Collider

We analyze the potential of the Next Linear e+e- Collider to study anomalous quartic vector-boson interactions through the processes e+e-→W+W-Z and ZZZ. In the framework of SU(2)L⊗U(1)Y chiral Lagrangians, we examine all effective operators of order p4 that lead to four-gauge-boson interactions but do not induce anomalous trilinear vertices. In our analysis, we take into account the decay of the vector bosons to fermions and evaluate the efficiency in their reconstruction. We obtain the bounds that can be placed on the anomalous quartic interactions and we study the strategies to distinguish the possible couplings.

Giant non-linear absorption in Er3+-doped fluoroindate glass

Non-linear absorption is observed in Er3+-doped fluoroindate glass (in mol% 37InF2:20ZnF2:20SrF2:16BaF2:2GdF2: 2NaF:1GaF3:2ErF3) when the sample is irradiated with a CW laser emitting at 650 nm. An intensity dependence of the optical transmittance is detected. Saturation and sequential absorption of two photons are responsible for the decrease of 50% in the transmittance. The results are explained by simple models which are solved based on rate-equations for the populations of energy levels.

Stochastic Stability for Markovian Jump Linear Systems Subject to a Crucial Failure Event

This paper is concerned with the stability of discrete-time linear systems subject to random jumps in the parameters, described by an underlying finite-state Markov chain. In the model studied, a stopping time τ Δ is associated with the occurrence of a crucial failure after which the system is brought to a halt for maintenance. The usual stochastic stability concepts and associated results are not indicated, since they are tailored to pure infinite horizon problems. Using the concept named stochastic τ-stability, equivalent conditions to ensure the stochastic stability of the system until the occurrence of τ Δ is obtained. In addition, an intermediary and mixed case for which τ represents the minimum between the occurrence of a fix number N of failures and the occurrence of a crucial failure τ Δ is also considered. Necessary and sufficient conditions to ensure the stochastic τ-stability are provided in this setting that are auxiliary to the main result.

The LQ control problem for Markovian jumps linear systems with horizon defined by stopping times

This paper deals with a stochastic optimal control problem involving discrete-time jump Markov linear systems. The jumps or changes between the system operation modes evolve according to an underlying Markov chain. In the model studied, the problem horizon is defined by a stopping time τ which represents either, the occurrence of a fix number N of failures or repairs (TN), or the occurrence of a crucial failure event (τΔ), after which the system is brought to a halt for maintenance. In addition, an intermediary mixed case for which T represents the minimum between TN and τΔ is also considered. These stopping times coincide with some of the jump times of the Markov state and the information available allows the reconfiguration of the control action at each jump time, in the form of a linear feedback gain. The solution for the linear quadratic problem with complete Markov state observation is presented. The solution is given in terms of recursions of a set of algebraic Riccati equations (ARE) or a coupled set of algebraic Riccati equation (CARE).

Linear quadratic Gaussian control of discrete-time Markov jump linear systems with horizon defined by stopping times

The linear quadratic Gaussian control of discrete-time Markov jump linear systems is addressed in this paper, first for state feedback, and also for dynamic output feedback using state estimation. in the model studied, the problem horizon is defined by a stopping time τ which represents either, the occurrence of a fix number N of failures or repairs (T N), or the occurrence of a crucial failure event (τ δ), after which the system paralyzed. From the constructive method used here a separation principle holds, and the solutions are given in terms of a Kalman filter and a state feedback sequence of controls. The control gains are obtained by recursions from a set of algebraic Riccati equations for the former case or by a coupled set of algebraic Riccati equation for the latter case. Copyright © 2005 IFAC.

Proposição de rotina morfológica para detecção de malha viária em imagens orbitais

The outdating of cartographic products affects planning. It is important to propose methods to help detect changes in surface. Thus, the combined use of remote sensing image and techniques of digital image processing has contributed significantly to minimize such outdating. Mathematical morphology is an image processing technique which describes quantitatively geometric structures presented in the image and provides tools such as edge detectors and morphological filters. Previous studies have shown that the technique has potential on the detection of significant features. Thus, this paper proposes a routine of morphological operators to detect a road network. The test area corresponds to an excerpt Quickbird image and has as a feature of interest an avenue of the city of Presidente Prudente, SP. In the processing, the main morphological operators used were threshad, areaopen, binary and erosion. To estimate the accuracy with which the linear features were detected, it was done the analysis of linear correlation between vectors of the features detected and the corresponding topographical map of the region. The results showed that the mathematical morphology can be used in cartography, aiming to use them in conventional cartographic updating processes.

H ∞ state feedback control of discrete-time Markov jump linear systems through linear matrix inequalities

This paper addresses the H ∞ state-feedback control design problem of discretetime Markov jump linear systems. First, under the assumption that the Markov parameter is measured, the main contribution is on the LMI characterization of all linear feedback controllers such that the closed loop output remains bounded by a given norm level. This results allows the robust controller design to deal with convex bounded parameter uncertainty, probability uncertainty and cluster availability of the Markov mode. For partly unknown transition probabilities, the proposed design problem is proved to be less conservative than one available in the current literature. An example is solved for illustration and comparisons. © 2011 IFAC.

Stochastic exponential stability of singular linear systems with Markov jump parameters

This paper deals with exponential stability of discrete-time singular systems with Markov jump parameters. We propose a set of coupled generalized Lyapunov equations (CGLE) that provides sufficient conditions to check this property for this class of systems. A method for solving the obtained CGLE is also presented, based on iterations of standard singular Lyapunov equations. We present also a numerical example to illustrate the effectiveness of the approach we are proposing.

A critical analysis of the ubiquity of linear local-regional richness relationships

Synthesis Despite theoretical criticisms, the ubiquity of linear relationships between local and regional species richness has long been used to justify it as a valid framework to conclude that local communities are not saturated with species. However, we reanalyzed published studies with a new unbiased method and found no prevalence of linear relationships and more than 40% of misclassifications, including textbook examples. We thus conclude that the prevailing argument in favor of associating a valid ecological interpretation to local-regional species richness plots, its ubiquity, is not sustained, and that ecologists could use for instance metacommunity theory to make inference on the strength of local and regional processes. Identifying the relative importance of regional and local processes to local species diversity is a central issue to many questions in basic and applied ecology. One widely-used method is to plot local species richness against its regional richness to infer whether regional or local processes determine local diversity. However, this method increases the tendency to find regional prevalence as suggested by a recent simulation. We reanalyzed studies in the literature with an unbiased method and found no prevalence of either regional or local processes. In addition, almost 40% of the studies and 50% of the ecology textbook examples using the traditional method were misclassified. Our findings reinforce the need of alternative, novel tools identified by for instance metacommunity theory to go beyond the studies of local-regional relationships in the ecological literature that focus on the interdependence of regional and local processes.© 2013 The Authors. Oikos © 2013 Nordic Society Oikos.

Estudo dos métodos de solução da equação de Fokker-Planck linear e não linear

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

Análise do fenômeno de cavitação em bomba centrífuga

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

Planejamento da recomposição florestal pela análise multicriterial na sub-bacia do córrego do descalvado visando a conservação de recursos hídricos

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

Avaliação de áreas deposicionais e erosivas em cabos lamosos da zona costeira Amazônica através da análise multitemporal de imagens de sensores remotos

Os cabos lamosos Cassiporé e Orange no norte do Brasil constituem um ambiente dinâmico influenciado pelo rio Amazonas, onde as modificações na linha de costa estão sujeitas a severos processos de progradação e erosão. Imagens de sensores remotos ópticos e microondas foram coletadas de 1980 a 2003 e analisadas em um Sistema de Informação Geográfica (SIG), permitindo a identificação e quantificação da distribuição espacial das áreas de progradação e retrogradação ao longo da linha de costa. Durante este período, as maiores taxas de erosão ocorreram junto ao cabo Cassiporé, com recuo médio de 27,5 metros de distância linear e erosão de 1,37 km² de área de manguezal por ano. Por outro lado, os maiores índices de deposição de sedimentos ocorreram no cabo Orange, onde a planície costeira progradou 24,6 m ao ano, agregando 55,85 km² de manguezal à linha de costa nos últimos vinte e três anos. Os mecanismos de progradação determinaram um acréscimo na vegetação de manguezal de 50,8% ao longo das três últimas décadas. Um balanço sedimentar realizado na área pesquisada demonstrou que predominam os processos construtivos (61,3%) sob os processos erosivos (38,7%).