A realization of a quasi-random walk for atoms in time-dependent optical potentials

We consider the time dependent dynamics of an atom in a two-color pumped cavity, longitudinally through a side mirror and transversally via direct driving of the atomic dipole. The beating of the two driving frequencies leads to a time dependent effective optical potential that forces the atom into a non-trivial motion, strongly resembling a discrete random walk behavior between lattice sites. We provide both numerical and analytical analysis of such a quasi-random walk behavior

An NMF solution for the Petri Nets to State Charts case study at the TTC 2013

Software systems are getting more and more complex. Model-driven engineering (MDE) offers ways to handle such increased complexity by lifting development to a higher level of abstraction. A key part in MDE are transformations that transform any given model into another. These transformations are used to generate all kinds of software artifacts from models. However, there is little consensus about the transformation tools. Thus, the Transformation Tool Contest (TTC) 2013 aims to compare different transformation engines. This is achieved through three different cases that have to be tackled. One of these cases is the Petri Net to State Chart case. A solution has to transform a Petri Net to a State Chart and has to derive a hierarchical structure within the State Chart. This paper presents the solution for this case using NMF Transformations as transformation engine.Comment: In Proceedings TTC 2013, arXiv:1311.7536. arXiv admin note: substantial text overlap with arXiv:1312.034

An NMF solution for the Flowgraphs case at the TTC 2013

Software systems are getting more and more complex. Model-driven engineering (MDE) offers ways to handle such increased complexity by lifting development to a higher level of abstraction. A key part in MDE are transformations that transform any given model into another. These transformations are used to generate all kinds of software artifacts from models. However, there is little consensus about the transformation tools. Thus, the Transformation Tool Contest (TTC) 2013 aims to compare different transformation engines. This is achieved through three different cases that have to be tackled. One of these cases is the Flowgraphs case. A solution has to transform a Java code model into a simplified version and has to derive control and data flow. This paper presents the solution for this case using NMF Transformations as transformation engine.Comment: In Proceedings TTC 2013, arXiv:1311.753

Bayesian analysis of interiors of HD 219134b, Kepler-10b, Kepler-93b, CoRoT-7b, 55 Cnc e, and HD 97658b using stellar abundance proxies

Using a generalized Bayesian inference method, we aim to explore the possible interior structures of six selected exoplanets for which planetary mass and radius measurements are available in addition to stellar host abundances: HD~219134b, Kepler-10b, Kepler-93b, CoRoT-7b, 55~Cnc~e, and HD~97658b. We aim to investigate the importance of stellar abundance proxies for the planetary bulk composition (namely Fe/Si and Mg/Si) on prediction of planetary interiors. We performed a full probabilistic Bayesian inference analysis to formally account for observational and model uncertainties while obtaining confidence regions of structural and compositional parameters of core, mantle, ice layer, ocean, and atmosphere. We determined how sensitive our parameter predictions depend on (1) different estimates of bulk abundance constraints and (2) different correlations of bulk abundances between planet and host star. [...] Although the possible ranges of interior structures are large, structural parameters and their correlations are constrained by the sparse data. The probability for the tested exoplanets to be Earth-like is generally very low. Furthermore, we conclude that different estimates of planet bulk abundance constraints mainly affect mantle composition and core size.Comment: Astronomy & Astrophysics, 597, A38 (15 pages, 9 figures

NMF: A Modeling Framework for the .NET Platform

For its promises in terms of increased productivity, Modeldriven engineering (MDE) is getting applied increasingly often in both industry and academia. However, most tools currently available are based on the Eclipse Modeling Framework (EMF) and hence based on the Java platform whereas tool support for other platforms is limited. This leads to a language and tool adoption problem for developers of other platforms such as .NET. As a result, few projects on the .NET platform adopt MDE. Furthermore, the limited tool availability introduces a technical barrier in the interoperability between EMF and .NET applications. In this paper, we present the .NET Modeling Framework (NMF), a tool set for model repositories, model-based incrementalization, model transformation, model synchronization and code generation. The framework makes intensive use of the C# language as host language for model transformation and synchronization languages, whereas the model repository serialization is compatible with EMF. This solves the language adoption problem for C# programmers and creates a bridge to the EMF platform

Deep Modeling through Structural Decomposition

In some applications, traditional metamodeling in two levels gets to its limits when model elements of a domain should be described as instances of other model elements. In architecture description languages, components may be instances of their component types. Although workarounds exist, these require many validation constraints and imply a cumbersome interface. To obtain more elegant metamodels that require less constraints, deep modeling seeks ways to represent non-transitive instantiation chains. However, these concepts often make existing techniques for model transformation and analysis obsolete as these languages have to be adapted. In this paper, we present an approach to realize deep modeling only through structural decomposition, which can be implemented as a non-invasive extension to meta-metamodels similar to Ecore. As a consequence, existing tools need not be adapted. We validate our concept by creating a deep modeling architecture description language and demonstrate its advantages by modeling a synthetic web application