Fluctuation dynamo amplified by intermittent shear bursts in convectively driven magnetohydrodynamic turbulence

Intermittent large-scale high-shear flows are found to occur frequently and spontaneously in direct numerical simulations of statistically stationary turbulent Boussinesq magnetohydrodynamic (MHD) convection. The energetic steady-state of the system is sustained by convective driving of the velocity field and small-scale dynamo action. The intermittent emergence of flow structures with strong velocity and magnetic shearing generates magnetic energy at an elevated rate over time-scales longer than the characteristic time of the large-scale convective motion. The resilience of magnetic energy amplification suggests that intermittent shear-bursts are a significant driver of dynamo action in turbulent magnetoconvection

Extreme-value statistics from Lagrangian convex hull analysis for homogeneous turbulent Boussinesq convection and MHD convection

We investigate the utility of the convex hull of many Lagrangian tracers to analyze transport properties of turbulent flows with different anisotropy. In direct numerical simulations of statistically homogeneous and stationary Navier-Stokes turbulence, neutral fluid Boussinesq convection, and MHD Boussinesq convection a comparison with Lagrangian pair dispersion shows that convex hull statistics capture the asymptotic dispersive behavior of a large group of passive tracer particles. Moreover, convex hull analysis provides additional information on the sub-ensemble of tracers that on average disperse most efficiently in the form of extreme value statistics and flow anisotropy via the geometric properties of the convex hulls. We use the convex hull surface geometry to examine the anisotropy that occurs in turbulent convection. Applying extreme value theory, we show that the maximal square extensions of convex hull vertices are well described by a classic extreme value distribution, the Gumbel distribution. During turbulent convection, intermittent convective plumes grow and accelerate the dispersion of Lagrangian tracers. Convex hull analysis yields information that supplements standard Lagrangian analysis of coherent turbulent structures and their influence on the global statistics of the flow.Comment: 18 pages, 10 figures, preprin

A system of relational syllogistic incorporating full Boolean reasoning

We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some A are R-related to some B; Some A are R-related to all B; All A are R-related to some B; All A are R-related to all B. Such primitives formalize sentences from natural language like `All students read some textbooks'. Here A and B denote arbitrary sets (of objects), and R denotes an arbitrary binary relation between objects. The language of the logic contains only variables denoting sets, determining the class of set terms, and variables denoting binary relations between objects, determining the class of relational terms. Both classes of terms are closed under the standard Boolean operations. The set of relational terms is also closed under taking the converse of a relation. The results of the paper are the completeness theorem with respect to the intended semantics and the computational complexity of the satisfiability problem.Comment: Available at http://link.springer.com/article/10.1007/s10849-012-9165-

Canonical and Microcanonical Distributions for Fermi Systems

Recursion relations are presented that allow exact calculation of canonical and microcanonical partition functions of degenerate Fermi systems, assuming no explicit two-body interactions. Calculations of the level density, sorted by angular momentum, are presented for Ni-56 are presented. The issue of treating unbound states is also addressed.Comment: 5 pages, 5 figure

Hydrogen Dissociation and Diffusion on Ni and Ti -doped Mg(0001) Surfaces

It is well known, both theoretically and experimentally, that alloying MgH$_2$ with transition elements can significantly improve the thermodynamic and kinetic properties for H$_2$ desorption, as well as the H$_2$ intake by Mg bulk. Here we present a density functional theory investigation of hydrogen dissociation and surface diffusion over Ni-doped surface, and compare the findings to previously investigated Ti-doped Mg(0001) and pure Mg(0001) surfaces. Our results show that the energy barrier for hydrogen dissociation on the pure Mg(0001) surface is high, while it is small/null when Ni/Ti are added to the surface as dopants. We find that the binding energy of the two H atoms near the dissociation site is high on Ti, effectively impeding diffusion away from the Ti site. By contrast, we find that on Ni the energy barrier for diffusion is much reduced. Therefore, although both Ti and Ni promote H$_2$ dissociation, only Ni appears to be a good catalyst for Mg hydrogenation, allowing diffusion away from the catalytic sites. Experimental results corroborate these theoretical findings, i.e. faster hydrogenation of the Ni doped Mg sample as opposed to the reference Mg or Ti doped Mg.Comment: 17 pages, 15 figures, to appear in Journal of Chemical Physic

Digital Availability of Product Information for Collaborative Engineering of Spacecraft

In this paper, we introduce a system to collect product information from manufacturers and make it available in tools that are used for concurrent design of spacecraft. The planning of a spacecraft needs experts from different disciplines, like propulsion, power, and thermal. Since these different disciplines rely on each other there is a high need for communication between them, which is often realized by a Model-Based Systems Engineering (MBSE) process and corresponding tools. We show by comparison that the product information provided by manufacturers often does not match the information needed by MBSE tools on a syntactic or semantic level. The information from manufacturers is also currently not available in machine-readable formats. Afterwards, we present a prototype of a system that makes product information from manufacturers directly available in MBSE tools, in a machine-readable way.Comment: accepted at CDVE201