A new notion of reduction: Generating universal Gröbner bases of ideals in K[x, y]

In this paper a new notion of reduction depending on an arbitrary non-empty set ORD of term orderings on a polynomial ring is introduced. A general Buchberger algorithm based on this notion is devised. For a single element set ORD it specializes to the ordinary Buchberger algorithm. For ORD being the set of all term orderings a particular universal Gröbner basis is constructed. We only deal with the case K[x, y] since for higher dimensions we have not been able to prove that the generalized algorithm stops after a finite number of steps. Some reasons for understanding the underlying difficulties are given

Global MHD simulation of flux transfer events at the high-latitude magnetopause observed by the cluster spacecraft and the SuperDARN radar system

A global magnetohydrodynamic numerical simulation is used to study the large-scale structure and formation location of flux transfer events (FTEs) in synergy with in situ spacecraft and ground-based observations. During the main period of interest on the 14 February 2001 from 0930 to 1100 UT the Cluster spacecraft were approaching the Northern Hemisphere high-latitude magnetopause in the postnoon sector on an outbound trajectory. Throughout this period the magnetic field, electron, and ion sensors on board Cluster observed characteristic signatures of FTEs. A few minutes delayed to these observations the Super Dual Auroral Radar Network (SuperDARN) system indicated flow disturbances in the conjugate ionospheres. These “two-point” observations on the ground and in space were closely correlated and were caused by ongoing unsteady reconnection in the vicinity of the spacecraft. The three-dimensional structures and dynamics of the observed FTEs and the associated reconnection sites are studied by using the Block-Adaptive-Tree-Solarwind-Roe-Upwind-Scheme (BATS-R-US) MHD code in combination with a simple open flux tube motion model (Cooling). Using these two models the spatial and temporal evolution of the FTEs is estimated. The models fill the gaps left by measurements and allow a “point-to-point” mapping between the instruments in order to investigate the global structure of the phenomenon. The modeled results presented are in good correlation with previous theoretical and observational studies addressing individual features of FTEs

Global fixed point proof of time-dependent density-functional theory

We reformulate and generalize the uniqueness and existence proofs of time-dependent density-functional theory. The central idea is to restate the fundamental one-to-one correspondence between densities and potentials as a global fixed point question for potentials on a given time-interval. We show that the unique fixed point, i.e. the unique potential generating a given density, is reached as the limiting point of an iterative procedure. The one-to-one correspondence between densities and potentials is a straightforward result provided that the response function of the divergence of the internal forces is bounded. The existence, i.e. the v-representability of a density, can be proven as well provided that the operator norms of the response functions of the members of the iterative sequence of potentials have an upper bound. The densities under consideration have second time-derivatives that are required to satisfy a condition slightly weaker than being square-integrable. This approach avoids the usual restrictions of Taylor-expandability in time of the uniqueness theorem by Runge and Gross [Phys.Rev.Lett.52, 997 (1984)] and of the existence theorem by van Leeuwen [Phys.Rev.Lett. 82, 3863 (1999)]. Owing to its generality, the proof not only answers basic questions in density-functional theory but also has potential implications in other fields of physics.Comment: 4 pages, 1 figur

Rotor Unbalance Kind and Severity Identification by Current Signature Analysis with Adaptative Update to Multiclass Machine Learning Algorithms

The health of a rotating electric machine can be evaluated by monitoring electrical and mechanical parameters. As more information is available, it easier can become the diagnosis of the machine operational condition. We built a laboratory test bench to study rotor unbalance issues according to ISO standards. Using the electric stator current harmonic analysis, this paper presents a comparison study among Support-Vector Machines, Decision Tree classifies, and One-vs-One strategy to identify rotor unbalance kind and severity problem – a nonlinear multiclass task. Moreover, we propose a methodology to update the classifier for dealing better with changes produced by environmental variations and natural machinery usage. The adaptative update means to update the training data set with an amount of recent data, saving the entire original historical data. It is relevant for engineering maintenance. Our results show that the current signature analysis is appropriate to identify the type and severity of the rotor unbalance problem. Moreover, we show that machine learning techniques can be effective for an industrial application

Efeito da forma física e do nível de energia da ração sobre o desempenho e a composição de carcaça de frango de corte.

bitstream/item/85046/1/DCOT-243.pd

Density-potential mappings in quantum dynamics

In a recent letter [Europhys. Lett. 95, 13001 (2011)] the question of whether the density of a time-dependent quantum system determines its external potential was reformulated as a fixed point problem. This idea was used to generalize the existence and uniqueness theorems underlying time-dependent density functional theory. In this work we extend this proof to allow for more general norms and provide a numerical implementation of the fixed-point iteration scheme. We focus on the one-dimensional case as it allows for a more in-depth analysis using singular Sturm-Liouville theory and at the same time provides an easy visualization of the numerical applications in space and time. We give an explicit relation between the boundary conditions on the density and the convergence properties of the fixed-point procedure via the spectral properties of the associated Sturm-Liouville operator. We show precisely under which conditions discrete and continuous spectra arise and give explicit examples. These conditions are then used to show that in the most physically relevant cases the fixed point procedure converges. This is further demonstrated with an example.Comment: 20 pages, 8 figures, 3 table

Effects of a moving X-line in a time-dependent reconnection model

In the frame of magnetized plasmas, reconnection appears as an essential process for the description of plasma acceleration and changing magnetic field topology. Under the variety of reconnection regions in our solar system, we focus our research onto the Earth's magnetotail. Under certain conditions a Near Earth Neutral Line (NENL) is free to evolve in the current sheet of the magnetotail. Reconnection in this region leads to the formation of Earth- and tailward propagating plasma bulges, which can be detected by the Cluster or Geotail spacecraft. Observations give rise to the assumption that the evolved reconnection line does not provide a steady state behavior, but is propagating towards the tail (e.g., Baker et al., 2002). Based on a time-dependent variant of the Petschek model of magnetic reconnection, we present a method that includes an X-line motion and discuss the effects of such a motion. We focus our main interest on the shock structure and the magnetic field behavior, both for the switch-on and the switch-off phase