327 research outputs found
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
Solution of the v-representability problem on a ring domain
We provide a solution to the v-representability problem for a
non-relativistic quantum many-particle system on a ring domain in terms of
Sobolev spaces and their duals. Any one-particle density that is
square-integrable, has a square-integrable weak derivative, and is gapped away
from zero can be realized from the solution of a many-particle Schr\"odinger
equation, with or without interactions, by choosing a corresponding external
potential. This potential can contain a distributional contribution but still
gives rise to a self-adjoint Hamiltonian. Importantly, this allows for a
well-defined Kohn-Sham procedure but, on the other hand, invalidates the usual
proof of the Hohenberg-Kohn theorem
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
- …