4,724 research outputs found
Canonical description of ideal magnetohydrodynamic flows and integrals of motion
In the framework of the variational principle the canonical variables
describing ideal magnetohydrodynamic (MHD) flows of general type (i.e., with
spatially varying entropy and nonzero values of all topological invariants) are
introduced. The corresponding complete velocity representation enables us not
only to describe the general type flows in terms of single-valued functions,
but also to solve the intriguing problem of the ``missing'' MHD integrals of
motion. The set of hitherto known MHD local invariants and integrals of motion
appears to be incomplete: for the vanishing magnetic field it does not reduce
to the set of the conventional hydrodynamic invariants. And if the MHD analogs
of the vorticity and helicity were discussed earlier for the particular cases,
the analog of Ertel invariant has been so far unknown. It is found that on the
basis of the new invariants introduced a wide set of high-order invariants can
be constructed. The new invariants are relevant both for the deeper insight
into the problem of the topological structure of the MHD flows as a whole and
for the examination of the stability problems. The additional advantage of the
proposed approach is that it enables one to deal with discontinuous flows,
including all types of possible breaks.Comment: 16 page
On the Triality Theory for a Quartic Polynomial Optimization Problem
This paper presents a detailed proof of the triality theorem for a class of
fourth-order polynomial optimization problems. The method is based on linear
algebra but it solves an open problem on the double-min duality left in 2003.
Results show that the triality theory holds strongly in a tri-duality form if
the primal problem and its canonical dual have the same dimension; otherwise,
both the canonical min-max duality and the double-max duality still hold
strongly, but the double-min duality holds weakly in a symmetrical form. Four
numerical examples are presented to illustrate that this theory can be used to
identify not only the global minimum, but also the largest local minimum and
local maximum.Comment: 16 pages, 1 figure; J. Industrial and Management Optimization, 2011.
arXiv admin note: substantial text overlap with arXiv:1104.297
Recent Progress in Image Deblurring
This paper comprehensively reviews the recent development of image
deblurring, including non-blind/blind, spatially invariant/variant deblurring
techniques. Indeed, these techniques share the same objective of inferring a
latent sharp image from one or several corresponding blurry images, while the
blind deblurring techniques are also required to derive an accurate blur
kernel. Considering the critical role of image restoration in modern imaging
systems to provide high-quality images under complex environments such as
motion, undesirable lighting conditions, and imperfect system components, image
deblurring has attracted growing attention in recent years. From the viewpoint
of how to handle the ill-posedness which is a crucial issue in deblurring
tasks, existing methods can be grouped into five categories: Bayesian inference
framework, variational methods, sparse representation-based methods,
homography-based modeling, and region-based methods. In spite of achieving a
certain level of development, image deblurring, especially the blind case, is
limited in its success by complex application conditions which make the blur
kernel hard to obtain and be spatially variant. We provide a holistic
understanding and deep insight into image deblurring in this review. An
analysis of the empirical evidence for representative methods, practical
issues, as well as a discussion of promising future directions are also
presented.Comment: 53 pages, 17 figure
Productive and efficient computational science through domain-specific abstractions
In an ideal world, scientific applications are computationally efficient,
maintainable and composable and allow scientists to work very productively. We
argue that these goals are achievable for a specific application field by
choosing suitable domain-specific abstractions that encapsulate domain
knowledge with a high degree of expressiveness.
This thesis demonstrates the design and composition of
domain-specific abstractions by abstracting the stages a scientist goes
through in formulating a problem of numerically solving a partial differential
equation. Domain knowledge is used to transform this problem into a different,
lower level representation and decompose it into parts which can be solved
using existing tools. A system for the portable solution of partial
differential equations using the finite element method on unstructured meshes
is formulated, in which contributions from different scientific communities
are composed to solve sophisticated problems.
The concrete implementations of these domain-specific abstractions are
Firedrake and PyOP2. Firedrake allows scientists to describe variational
forms and discretisations for linear and non-linear finite element problems
symbolically, in a notation very close to their mathematical models. PyOP2
abstracts the performance-portable parallel execution of local computations
over the mesh on a range of hardware architectures, targeting multi-core CPUs,
GPUs and accelerators. Thereby, a separation of concerns is achieved, in which
Firedrake encapsulates domain knowledge about the finite element method
separately from its efficient parallel execution in PyOP2, which in turn is
completely agnostic to the higher abstraction layer.
As a consequence of the composability of those abstractions, optimised
implementations for different hardware architectures can be
automatically generated without any changes to a single high-level
source. Performance matches or exceeds what is realistically attainable by
hand-written code. Firedrake and PyOP2 are combined to form a tool chain that
is demonstrated to be competitive with or faster than available alternatives
on a wide range of different finite element problems.Open Acces
- …