Joint dynamic probabilistic constraints with projected linear decision rules

We consider multistage stochastic linear optimization problems combining joint dynamic probabilistic constraints with hard constraints. We develop a method for projecting decision rules onto hard constraints of wait-and-see type. We establish the relation between the original (in nite dimensional) problem and approximating problems working with projections from di erent subclasses of decision policies. Considering the subclass of linear decision rules and a generalized linear model for the underlying stochastic process with noises that are Gaussian or truncated Gaussian, we show that the value and gradient of the objective and constraint functions of the approximating problems can be computed analytically.

On the iteration of Katsuno and Mendelzon update

In this dissertation we present a model for iteration of Katsuno and Mendelzon’s Update, inspired in the developments for iteration in AGM belief revision. We adapt Darwiche and Pearls’ postulates of iterated belief revision to update (as well as the independence postulate proposed in [BM06, JT07]) and show two families of such operators, based in natural [Bou96] and lexicographic revision [Nay94a, NPP03]. In all cases, we provide a possible worlds semantics of the models.

Dynamic Morse decompositions for semigroups of homeomorphisms and control systems

In this paper, we introduce the concept of dynamic Morse decomposition for an action of a semigroup of homeomorphisms. Conley has shown in [5, Sec. 7] that the concepts of Morse decomposition and dynamic Morse decompositions are equivalent for flows in metric spaces. Here, we show that a Morse decomposition for an action of a semigroup of homeomorphisms of a compact topological space is a dynamic Morse decomposition. We also define Morse decompositions and dynamic Morse decompositions for control systems on manifolds. Under certain condition, we show that the concept of dynamic Morse decomposition for control system is equivalent to the concept of Morse decomposition.

Assessment of a high-order finite difference upwind scheme for the simulation of convection-diffusion problems

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

A special BEM for elastostatic analysis of building floor slabs on columns

This work presents a boundary element formulation for the analysis of building floor slabs, without beams, in which columns are coupled with the plate. An alternative formulation of boundary element method is presented, which considers three nodal displacements values (w, partial derivativew/partial derivativen and partial derivativew/partial derivatives) for the nodes at the boundary of the plate. In this formulation three boundary equations are written for all nodes at the boundary and in the domain of the plate. As the nodes of the column-plate connections are also represented by three nodal values, all these structural elements can be easily coupled. It is supposed that the cross-sections of the columns remain flat after the deflection and consequently the assumption of linear variation of the stress in the plate-column contact surface is also valid. (C) 2003 Elsevier B.V. Ltd. All rights reserved.

Signal-flow graphs: Direct method of reduction and MATLAB implementation

Block diagrams and signal-flow graphs are used to represent and to obtain the transfer function of interconnected systems. The reduction of signal-flow graphs is considered simpler than the reduction of block diagrams for systems with complex interrelationships. Signal-flow graphs reduction can be made without graphic manipulations of diagrams, and it is attractive for a computational implementation. In this paper the authors propose a computational method for direct reduction of signal-flow graphs. This method uses results presented in this paper about the calculation of literal determinants without symbolic mathematics tools. The Cramer's rule is applied for the solution of a set of linear equations, A program in MATLAB language for reduction of signal-flow graphs with the proposed method is presented.

Interior point algorithm for linear programming used in transmission network synthesis

This article presents a well-known interior point method (IPM) used to solve problems of linear programming that appear as sub-problems in the solution of the long-term transmission network expansion planning problem. The linear programming problem appears when the transportation model is used, and when there is the intention to solve the planning problem using a constructive heuristic algorithm (CHA), ora branch-and-bound algorithm. This paper shows the application of the IPM in a CHA. A good performance of the IPM was obtained, and then it can be used as tool inside algorithm, used to solve the planning problem. Illustrative tests are shown, using electrical systems known in the specialized literature. (C) 2005 Elsevier B.V. All rights reserved.

Heterodyne Interferometry Applied to the Characterization of Acousto-Electro-Optic Light Modulators

When the electro-optic and acousto-optic effects are combined into a single device, the resulting acousto-electro-optic (AEO) modulator shows improved flexibility to overcome some limitations of the individual modulators or their cascade combinations. By using optical interferometry, it is possible to investigate the AEO modulator behavior as a function of this applied voltage. By this way, a lithium niobate AEO modulator is positioned in one of the arms of a Mach-Zehnder interferometer and operates at 62 MHz frequency, which constitutes the intermediate frequency of the heterodyne interferometer. Operating the AEO modulator in the acousto-optic small diffraction efficiency regime, the photodetected signal amplitude and phase are analyzed, and the induced phase shift, transmission curve and linearity response are obtained. The experimental results show good agreement with that expected from the coupled-mode theory. The possibility of linear control of the optical phase shift by the external voltage, from 0 to 2 p radians, is demonstrated.

Robust state-derivative pole placement LMI-based designs for linear systems

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

Robust State-Derivative Feedback LMI-Based Designs for Linear Descriptor Systems

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

On the dynamic behaviour of the "click" mechanism in dipteran flight

In this paper, the dynamic behaviour of the "click" mechanism is analysed. A more accurate model is used than in the past, in which the limits of movement due to the geometry of the flight mechanism are imposed. Moreover, the effects of different damping models are investigated. In previous work, the damping model was assumed to be of the linear viscous type for simplicity, but it is likely that the damping due to drag forces is nonlinear. Accordingly, a model of damping in which the damping force is proportional to the square of the velocity is used, and the results are compared with the simpler model of linear viscous damping. Because of the complexity of the model an analytical approach is not possible so the problem has been cast in terms of non-dimensional variables and solved numerically. The peak kinetic energy of the wing root per energy input in one cycle is chosen to study the effectiveness of the "click" mechanism compared with a linear resonant mechanism. It is shown that, the "click" mechanism has distinct advantages when it is driven below its resonant frequency. When the damping is quadratic, there are some further advantages compared to when the damping is linear and viscous, provided that the amplitude of the excitation force is large enough to avoid the erratic behaviour of the mechanism that occurs for small forces. (C) 2011 Elsevier Ltd. All rights reserved.

On Fuzzy Implication Classes - Towards Extensions of Fuzzy Rule-Based Systems

Atualmente, há diferentes definições de implicações fuzzy aceitas na literatura. Do ponto de vista teórico, esta falta de consenso demonstra que há discordâncias sobre o real significado de "implicação lógica" nos contextos Booleano e fuzzy. Do ponto de vista prático, isso gera dúvidas a respeito de quais "operadores de implicação" os engenheiros de software devem considerar para implementar um Sistema Baseado em Regras Fuzzy (SBRF). Uma escolha ruim destes operadores pode implicar em SBRF's com menor acurácia e menos apropriados aos seus domínios de aplicação. Uma forma de contornar esta situação e conhecer melhor os conectivos lógicos fuzzy. Para isso se faz necessário saber quais propriedades tais conectivos podem satisfazer. Portanto, a m de corroborar com o significado de implicação fuzzy e corroborar com a implementação de SBRF's mais apropriados, várias leis Booleanas têm sido generalizadas e estudadas como equações ou inequações nas lógicas fuzzy. Tais generalizações são chamadas de leis Boolean-like e elas não são comumente válidas em qualquer semântica fuzzy. Neste cenário, esta dissertação apresenta uma investigação sobre as condições suficientes e necessárias nas quais três leis Booleanlike like — y ≤ I(x, y), I(x, I(y, x)) = 1 e I(x, I(y, z)) = I(I(x, y), I(x, z)) — se mantém válidas no contexto fuzzy, considerando seis classes de implicações fuzzy e implicações geradas por automorfismos. Além disso, ainda no intuito de implementar SBRF's mais apropriados, propomos uma extensão para os mesmos

Hepatoprotective effect of water soluble extract of Coleus barbatus on cholestasis on young rats

OBJETIVO: Testar os efeitos do extrato aquoso de Coleus barbatus (EAB) na cirrose biliar secundária por obstrução das vias biliares extra-hepáticas em ratos jovens. MÉTODOS: Quarenta ratos Wistar machos com 21 dias de vida (P21), foram distribuídos em quatro grupos de 10 animais, submetidos a operação simulada ou dupla ligadura e ressecção do ducto biliar (S ou L) combinados EAB e a Água (B ou A). No P48, foi medido o tempo de sono com o pentobarbital (TS). No P49, foram submetidos a eutanásia para a determinação das atividades séricas do aspartato aminotransferase (AST) e da alanina aminotransferases (ALT); após a eutanásia foram avaliados o peso fresco do fígado (PFF) e, em cortes histológicos do fígado, a freqüência de mitoses (FM), o número de áreas de necrose (NN), a intensidade da fibrose (IF) e da proliferação ductal (IPD). Os efeitos da colestase, os do EAB e suas interações foram testados pela ANOVA com dois fatores, e as comparações múltiplas pareadas foram realizadas pelo teste de S.N.K ou teste de Wilcoxon. Também foi determinada a correlação linear de Pearson entre as variáveis histológicas duas a duas separadamente para os grupos LA e LD. O nível de significância estatística para os vários testes foi de p do erro alfa <0,05. RESULTADOS: A colestase aumentou significativamente o TS, a ALT, a AST, o PFF, a MI, o NN, a IF e a IPD. O EAB diminuiu o TS e a IM nos animais sem colestase (operação simulada). O EAB diminuiu o TS, a ALT, a AST, o PFF, a MI, o NN e IF na colestase. No grupo LA houve correlação positiva entre a IPD e a IF, correlação negativa entre a IPD e a FM e correlação negativa entre a IF a FM. No grupo LD houve correlação negativa entre o NN e a IPD. CONCLUSÕES: Na ausência de colestase o EAB encurta o tempo de sono e diminui a freqüência de mitoses. O EAB apresenta efeito hepatoprotetor no modelo de cirrose biliar secundária a obstrução biliar extra-hepática.

Gap solitons in Bose-Einstein condensates in linear and nonlinear optical lattices

Properties of localized states on array of BEC confined to a potential, representing superposition of linear and nonlinear optical lattices are investigated. For a shallow lattice case the coupled mode system has been derived. We revealed new types of gap solitons and studied their stability. For the first time a moving soliton solution has been found. Analytical predictions are confirmed by numerical simulations of the Gross-Pitaevskii equation with jointly acting linear and nonlinear periodic potentials. (c) 2007 Elsevier B.V. All rights reserved.

Quark sea asymmetry of the nucleon

The light anti-quark and quark distribution in the proton, as well as the neutron to proton ratio of the structure functions, extracted from experimental data, are well fitted by a, statistical model of linear-confined quarks. The parameters of the model are given by a temperature, which is adjusted by the Gottfried sum-rule violation, and two chemical potentials given by the corresponding up (u) and down (d) quark normalizations in the nucleon. The quark energy levels are generated by a relativistic linear-confined scalar plus vector potential.