Finite approximate controllability for semilinear heat equations in noncylindrical domains

Este artigo é dedicado ao estudo da controlabilidade finito-aproximada para a equação não linear de transferência de calor em domínios com fronteira móvel. A demonstração do resultado principal baseia-se no princípio de continuação única de Carolina Fabre 1996 e em argumentos de ponto fixo do tipo Leray-Schauder.

Estudo de controladores aplicados a inversores para UPS com operação ilhada

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

Statistical properties for a dissipative model of relativistic particles in a wave packet: A parameter space investigation

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

Home ranges of Guiana dolphins (Sotalia guianensis) (Cetacea: Delphinidae) in the Cananeia estuary, Brazil

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

Os lemas de Sperner no ensino médio e uma modesta introdução à topologia

Pós-graduação em Matemática em Rede Nacional - IBILCE

Sistema GPS: uma órbita em evolução - número de satélites e periodicidade

The objective of this project was to monitor the satellites of the Global Positioning System (GPS) from a fixed point on Earth and to verify the rate of recurrence respect to their rotation and displacement. A topographic GPS signal receiver connected to a personal computer was used to recorded, for five days, the displacement of the satellites. This work was based on the fact that many literature references state that satellites complete one orbit around the Earth every 12 hours, then, it is assumed that the satellite would be seen twice in a day from the same fixed point on Earth.Although, this does not occur, as thise time interval correspond to 12 hours sidereal time and not solar time. In addition, this study was carried out in order toconfirm and update the information related to the number of satellites in operation today, found to be 31. In that sense, some references concerning the space segment of this system were defined in details.

Convergence towards asymptotic state in 1-D mappings: a scaling investigation

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

How the fluctuations of water levels affect populations of invasive bivalve Corbicula fluminea (Muller, 1774) in a Neotropical reservoir?

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

Relaxação e decaimento para pontos de equilíbrio em mapeamentos não lineares unidimensionais

We investigate in this work the behaviour of the decay to the fixed points, in particular along the bifurcations, for a family of one-dimensional logistic-like discrete mappings. We start with the logistic map focusing in the transcritical bifurcation. Next we investigate the convergence to the stationary state at the cubic map. At the end we generalise the procedure for a mapping of the logistic-like type. Near the fixed point, the dynamical variable varies slowly. This property allows us to approximate/rewrite the equation of differences, hence natural from discrete mappings, into an ordinary differential equation. We then solve such equation which furnishes the evolution towards the stationary state. Our numerical simulations confirm the theoretical results validating the above mentioned approximation

Monitoramento de integridade estrutural e de sistemas utilizando dispositivos de baixo custo

Pós-graduação em Engenharia Mecânica - FEB

A matheuristic for the selection of beam directions and dose distribution in radiotherapy planning

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

Pure spinor superstring partition function

Pós-graduação em Física - IFT

Robust tori-like Lagrangian coherent structures

In general the term "Lagrangian coherent structure" (LCS) is used to make reference about structures whose properties are similar to a time-dependent analog of stable and unstable manifolds from a hyperbolic fixed point in Hamiltonian systems. Recently, the term LCS was used to describe a different type of structure, whose properties are similar to those of invariant tori in certain classes of two-dimensional incompressible flows. A new kind of LCS was obtained. It consists of barriers, called robust tori that block the trajectories in certain regions of the phase space. We used the Double-Gyre Flow system as the model. In this system, the robust tori play the role of a skeleton for the dynamics and block, horizontally, vortices that come from different parts of the phase space. (C) 2012 Elsevier B.V. All rights reserved.

Optimal reactive power flow via the modified barrier Lagrangian function approach

A new approach called the Modified Barrier Lagrangian Function (MBLF) to solve the Optimal Reactive Power Flow problem is presented. In this approach, the inequality constraints are treated by the Modified Barrier Function (MBF) method, which has a finite convergence property: i.e. the optimal solution in the MBF method can actually be in the bound of the feasible set. Hence, the inequality constraints can be precisely equal to zero. Another property of the MBF method is that the barrier parameter does not need to be driven to zero to attain the solution. Therefore, the conditioning of the involved Hessian matrix is greatly enhanced. In order to show this, a comparative analysis of the numeric conditioning of the Hessian matrix of the MBLF approach, by the decomposition in singular values, is carried out. The feasibility of the proposed approach is also demonstrated with comparative tests to Interior Point Method (IPM) using various IEEE test systems and two networks derived from Brazilian generation/transmission system. The results show that the MBLF method is computationally more attractive than the IPM in terms of speed, number of iterations and numerical conditioning. (C) 2011 Elsevier B.V. All rights reserved.

On global linearization of planar involutions

Let phi: a"e(2) -> a"e(2) be an orientation-preserving C (1) involution such that phi(0) = 0. Let Spc(phi) = {Eigenvalues of D phi(p) | p a a"e(2)}. We prove that if Spc(phi) aS, a"e or Spc(phi) a (c) [1, 1 + epsilon) = a... for some epsilon > 0, then phi is globally C (1) conjugate to the linear involution D phi(0) via the conjugacy h = (I + D phi(0)phi)/2,where I: a"e(2) -> a"e(2) is the identity map. Similarly, we prove that if phi is an orientation-reversing C (1) involution such that phi(0) = 0 and Trace (D phi(0)D phi(p) > - 1 for all p a a"e(2), then phi is globally C (1) conjugate to the linear involution D phi(0) via the conjugacy h. Finally, we show that h may fail to be a global linearization of phi if the above conditions are not fulfilled.