An Improvement Study of the Decomposition-based Algorithm Global WASF-GA for Evolutionary Multiobjective Optimization

The convergence and the diversity of the decompositionbased evolutionary algorithm Global WASF-GA (GWASF-GA) relies on a set of weight vectors that determine the search directions for new non-dominated solutions in the objective space. Although using weight vectors whose search directions are widely distributed may lead to a well-diversified approximation of the Pareto front (PF), this may not be enough to obtain a good approximation for complicated PFs (discontinuous, non-convex, etc.). Thus, we propose to dynamically adjust the weight vectors once GWASF-GA has been run for a certain number of generations. This adjustment is aimed at re-calculating some of the weight vectors, so that search directions pointing to overcrowded regions of the PF are redirected toward parts with a lack of solutions that may be hard to be approximated. We test different parameters settings of the dynamic adjustment in optimization problems with three, five, and six objectives, concluding that GWASF-GA performs better when adjusting the weight vectors dynamically than without applying the adjustment.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Event-B model decomposition

Two methods have been identified in the DEPLOY project for Event-B model decomposition: the shared variable decomposition (called A-style decomposition), and the shared event decomposition (or B-style decomposition). Both allow the decomposition of a (concrete) model into several independent sub-models which may then be refined separately. The purpose of this paper is to introduce the Event-B model decomposition, from theory (A-style vs. B-style, differences and similarities) to practice (decomposition plug-in of the Rodin [1] platform)

Variable Hardy Spaces

We develop the theory of variable exponent Hardy spaces. Analogous to the classical theory, we give equivalent definitions in terms of maximal operators. We also show that distributions in these spaces have an atomic decomposition including a "finite" decomposition; this decomposition is more like the decomposition for weighted Hardy spaces due to Stromberg and Torchinsky than the classical atomic decomposition. As an application of the atomic decomposition we show that singular integral operators are bounded on variable Hardy spaces with minimal regularity assumptions on the exponent function

On Gauge-Invariant Decomposition of Nucleon Spin

We investigate the relation between the known decompositions of the nucleon spin into its constituents, thereby clarifying in what respect they are common and in what respect they are different essentially. The decomposition recently proposed by Chen et al. can be thought of as a nontrivial generalization of the gauge-variant Jaffe-Manohar decomposition so as to meet the gauge-invariance requirement of each term of the decomposition. We however point out that there is another gauge-invariant decomposition of the nucleon spin, which is closer to the Ji decomposition, while allowing the decomposition of the gluon total angular momentum into the spin and orbital parts. After clarifying the reason why the gauge-invariant decomposition of the nucleon spin is not unique, we discuss which decomposition is more preferable from the experimental viewpoint.Comment: The version to appear in Phys. Rev.

Characterizing the Delaunay decompositions of compact hyperbolic surfaces

Given a Delaunay decomposition of a compact hyperbolic surface, one may record the topological data of the decomposition, together with the intersection angles between the `empty disks' circumscribing the regions of the decomposition. The main result of this paper is a characterization of when a given topological decomposition and angle assignment can be realized as the data of an actual Delaunay decomposition of a hyperbolic surface.Comment: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol6/paper12.abs.htm