A subset of precise UML for Model-based Testing

This paper presents an original model-based testing approach that takes a UML behavioural view of the system under test and automatically generates test cases and executable test scripts according to model coverage criteria. This approach is embedded in the LEIRIOS Test Designer tool and is currently deployed in domains such as Enterprise IT and electronic transaction applications. This model-based testing approach makes it possible to automatically produce the traceability matrix from requirements to test cases as part of the test generation process. This paper defines the subset of UML used for model-based testing and illustrates it using a small example

On the effect of rotation on magnetohydrodynamic turbulence at high magnetic Reynolds number

This article is focused on the dynamics of a rotating electrically conducting fluid in a turbulent state. As inside the Earth's core or in various industrial processes, a flow is altered by the presence of both background rotation and a large scale magnetic field. In this context, we present a set of 3D direct numerical simulations of incompressible decaying turbulence. We focus on parameters similar to the ones encountered in geophysical and astrophysical flows, so that the Rossby number is small, the interaction parameter is large, but the Elsasser number, defining the ratio between Coriolis and Lorentz forces, is about unity. These simulations allow to quantify the effect of rotation and thus inertial waves on the growth of magnetic fluctuations due to Alfv\'en waves. Rotation prevents the occurrence of equipartition between kinetic and magnetic energies, with a reduction of magnetic energy at decreasing Elsasser number {\Lambda}. It also causes a decrease of energy transfer mediated by cubic correlations. In terms of flow structure, a decrease of {\Lambda} corresponds to an increase in the misalignment of velocity and magnetic field.Comment: 18 pages, 12 figure

Effects of spin vacancies on magnetic properties of the Kitaev-Heisenberg model

We study the ground state properties of the Kitaev-Heisenberg model in a magnetic field and explore the evolution of spin correlations in the presence of non-magnetic vacancies. By means of exact diagonalizations, the phase diagram without vacancies is determined as a function of the magnetic field and the ratio between Kitaev and Heisenberg interactions. We show that in the (antiferromagnetic) stripe ordered phase the static susceptibility and its anisotropy can be described by a spin canting mechanism. This accounts as well for the transition to the polarized phase when including quantum fluctuations perturbatively. Effects of spin vacancies depend sensitively on the type of the ground state. In the liquid phase, the magnetization pattern around a single vacancy in a small field is determined, and its spatial anisotropy is related to that of non-zero further neighbor correlations induced by the field and/or Heisenberg interactions. In the stripe phase, the joint effect of a vacancy and a small field breaks the six-fold symmetry of the model and stabilizes a particular stripe pattern. Similar symmetry-breaking effects occur even at zero field due to effective interactions between vacancies. This selection mechanism and intrinsic randomness of vacancy positions may lead to spin-glass behavior.Comment: 13 pages, 10 figure

How to Make the Impossible Seem Probable

The mental model theory postulates that reasoners build models of the situations described in premises. A conclusion is possible if it occurs in at least one model; it is probable if occurs in most models; and it is necessary if it occurs in all models. The theory also postulates that reasoners represent as much information as possible in implicit models. Experiment 1 showed that, as predicted, conclusions about possible situations tend to correspond to explicit models rather than to implicit models. Experiment 2 yielded a discovery: there are illusory inferences with conclusions that seem plausible but that are in reality gross errors. In such cases, as the model theory predicts, subjects judge as the more probable of two events one that is impossible. For example, given that only one of the following two assertions is true: There is a king or an ace in the hand, or both. There is a queen or an ace in the hand, or both. subjects judge that the ace is more likely to be in the hand than the king. In fact, it is impossible for an ace to be in the hand

Wang-Landau sampling for quantum systems: algorithms to overcome tunneling problems and calculate the free energy

We present a generalization of the classical Wang-Landau algorithm [Phys. Rev. Lett. 86, 2050 (2001)] to quantum systems. The algorithm proceeds by stochastically evaluating the coefficients of a high temperature series expansion or a finite temperature perturbation expansion to arbitrary order. Similar to their classical counterpart, the algorithms are efficient at thermal and quantum phase transitions, greatly reducing the tunneling problem at first order phase transitions, and allow the direct calculation of the free energy and entropy.Comment: Added a plot showing the efficiency at first order phase transition

Shotgun Mitogenomics Provides a Reference Phylogenetic Framework and Timescale for Living Xenarthrans

Xenarthra (armadillos, sloths, and anteaters) constitutes one of the four major clades of placental mammals. Despite their phylogenetic distinctiveness in mammals, a reference phylogeny is still lacking for the 31 described species. Here we used Illumina shotgun sequencing to assemble 33 new complete mitochondrial genomes, establishing Xenarthra as the first major placental clade to be fully sequenced at the species level for mitogenomes. The resulting data set allowed the reconstruction of a robust phylogenetic framework and timescale that are consistent with previous studies conducted at the genus level using nuclear genes. Incorporating the full species diversity of extant xenarthrans points to a number of inconsistencies in xenarthran systematics and species definition. We propose to split armadillos in two distinct families Dasypodidae (dasypodines) and Chlamyphoridae (euphractines, chlamyphorines, and tolypeutines) to better reflect their ancient divergence, estimated around 42 million years ago. Species delimitation within long-nosed armadillos (genus Dasypus) appeared more complex than anticipated, with the discovery of a divergent lineage in French Guiana. Diversification analyses showed Xenarthra to be an ancient clade with a constant diversification rate through time with a species turnover driven by high but constant extinction. We also detected a significant negative correlation between speciation rate and past temperature fluctuations with an increase in speciation rate corresponding to the general cooling observed during the last 15 million years. Biogeographic reconstructions identified the tropical rainforest biome of Amazonia and the Guianan shield as the cradle of xenarthran evolutionary history with subsequent dispersions into more open and dry habitats.Fil: Gibb, Gillian C.. Universite de Montpellier; Francia. Massey Universit; Nueva ZelandaFil: Condamine, Fabien L.. University of Gothenburg; Suecia. Universite de Montpellier; Francia. University of Alberta; CanadáFil: Kuch, Melanie. McMaster University; CanadáFil: Enk, Jacob. McMaster University; CanadáFil: Moraes Barros, Nadia. Universidade Do Porto; Portugal. Universidade de Sao Paulo; BrasilFil: Superina, Mariella. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto de Medicina y Biología Experimental de Cuyo; ArgentinaFil: Poinar, Hendrik N.. McMaster University; CanadáFil: Delsuc, Frederic. Universite de Montpellier; Franci

Science Hackathons for Cyberphysical System Security Research: Putting CPS testbed platforms to good use

A challenge is to develop cyber-physical system scenarios that reflect the diversity and complexity of real-life cyber-physical systems in the research questions that they address. Time-bounded collaborative events, such as hackathons, jams and sprints, are increasingly used as a means of bringing groups of individuals together, in order to explore challenges and develop solutions. This paper describes our experiences, using a science hackathon to bring individual researchers together, in order to develop a common use-case implemented on a shared CPS testbed platform that embodies the diversity in their own security research questions. A qualitative study of the event was conducted, in order to evaluate the success of the process, with a view to improving future similar events

An outer approximation algorithm for multi-objective mixed-integer linear and non-linear programming

In this paper, we present the first outer approximation algorithm for multi-objective mixed-integer linear programming problems with any number of objectives. The algorithm also works for certain classes of non-linear programming problems. It produces the non-dominated extreme points as well as the facets of the convex hull of these points. The algorithm relies on an oracle which solves single-objective weighted-sum problems and we show that the required number of oracle calls is polynomial in the number of facets of the convex hull of the non-dominated extreme points in the case of multiobjective mixed-integer programming (MOMILP). Thus, for MOMILP problems for which the weighted-sum problem is solvable in polynomial time, the facets can be computed with incremental-polynomial delay. From a practical perspective, the algorithm starts from a valid lower bound set for the non-dominated extreme points and iteratively improves it. Therefore it can be used in multi-objective branch-and-bound algorithms and still provide a valid bound set at any stage, even if interrupted before converging. Moreover, the oracle produces Pareto optimal solutions, which makes the algorithm also attractive from the primal side in a multi-objective branch-and-bound context. Finally, the oracle can also be called with any relaxation of the primal problem, and the obtained points and facets still provide a valid lower bound set. A computational study on a set of benchmark instances from the literature and new non-linear multi-objective instances is provided.Comment: 21 page