Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm

From formal and practical analysis, we identify new challenges that self-adaptive systems pose to the process of quality assurance. When tackling these, the effort spent on various tasks in the process of software engineering is naturally re-distributed. We claim that all steps related to testing need to become self-adaptive to match the capabilities of the self-adaptive system-under-test. Otherwise, the adaptive system's behavior might elude traditional variants of quality assurance. We thus propose the paradigm of scenario coevolution, which describes a pool of test cases and other constraints on system behavior that evolves in parallel to the (in part autonomous) development of behavior in the system-under-test. Scenario coevolution offers a simple structure for the organization of adaptive testing that allows for both human-controlled and autonomous intervention, supporting software engineering for adaptive systems on a procedural as well as technical level.Comment: 17 pages, published at ISOLA 201

Coupling JOREK and STARWALL for Non-linear Resistive-wall Simulations

The implementation of a resistive-wall extension to the non-linear MHD-code JOREK via a coupling to the vacuum-field code STARWALL is presented along with first applications and benchmark results. Also, non-linear saturation in the presence of a resistive wall is demonstrated. After completion of the ongoing verification process, this code extension will allow to perform non-linear simulations of MHD instabilities in the presence of three-dimensional resistive walls with holes for limited and X-point plasmas.Comment: Contribution for "Theory Of Fusion Plasmas, Joint Varenna - Lausanne International Workshop, Villa Monastero, Varenna, Italy (27.-31.8.2012)", accepted for publication in Journal of Physics Conference Serie

A Component-oriented Framework for Autonomous Agents

The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for compositional design of such systems where an action is accompanied by one or more preferences. At run-time, these preferences provide a natural fallback mechanism for the component, while at design-time they can be used to reason about the behavior of the component in an uncertain physical world. Using structures that tell us how to compose preferences and actions, we can compose formal representations of individual components or agents to obtain a representation of the composed system. We extend Linear Temporal Logic with two unary connectives that reflect the compositional structure of the actions, and show how it can be used to diagnose undesired behavior by tracing the falsification of a specification back to one or more culpable components

The Interplay of Methyl-Group Distribution and Hydration Pattern of Isomeric Amphiphilic Osmolytes

© 2018 American Chemical Society. The intermolecular interactions and dynamics of aqueous 1,1-dimethyurea (1,1-DMU) solutions were studied by examining the concentration dependence of the solvent and solute relaxations detected by dielectric spectroscopy. Molecular dynamics simulations were carried out to facilitate interpretation of the dielectric data and to get a deeper insight into the behavior of the system components at the microscopic level. In particular, the simulations allowed for explaining the main differences between the dielectric spectra of aqueous solutions of 1,1-DMU and of its structural isomer 1,3-DMU. Similar to the previously studied compounds urea and 1,3-DMU, 1,1-DMU forms rather stable hydrates. This is evidenced by an effective solute dipole moment that significantly exceeds the value of a neat 1,1-DMU molecule, indicating pronounced parallel alignment of the solute dipole with two to three H2O moments. The MD simulations revealed that the involved water molecules form strong hydrogen bonds with the carbonyl group. However, in contrast to 1,3-DMU, it was not possible to resolve a "slow-water" mode in the dielectric spectra, suggesting rather different hydration-shell dynamics for 1,1-DMU as confirmed by the simulations. In contrast to aqueous urea and 1,3-DMU, addition of 1,1-DMU to water leads to a weak decrease of the static permittivity. This is explained by the emergence of antiparallel dipole-dipole correlations among 1,1-DMU hydrates with rising concentration

The development of post-processing algorithm for the ultrasonic evaluation by the application of automated robotic testing systems

The implementation of automated testing systems based on six degrees of freedom (DOF) robotic manipulators is the actual trend in ultrasonic testing equipment development. Such systems are able to provide a fast ultrasonic evaluation with the respect of the surface of the testing object. In this work, the post-processing algorithm based on Synthetic Aperture Focusing Technique (SAFT) is suggested. Such algorithm allows presenting the results in the form of high-resolution imagery of the internal structure of testing objects. The suggested algorithm is applicable in the case of the utilization of automated testing systems based on six DOF robotic manipulators and takes into account all the features conditioned by such equipment application. Performance of the suggested algorithm was tested experimentally

Solitary magnetic perturbations at the ELM onset

Edge localised modes (ELMs) allow maintaining sufficient purity of tokamak H-mode plasmas and thus enable stationary H-mode. On the other hand in a future device ELMs may cause divertor power flux densities far in excess of tolerable material limits. The size of the energy loss per ELM is determined by saturation effects in the non-linear phase of the ELM, which at present is hardly understood. Solitary magnetic perturbations (SMPs) are identified as dominant features in the radial magnetic fluctuations below 100kHz. They are typically observed close (+-0.1ms) to the onset of pedestal erosion. SMPs are field aligned structures rotating in the electron diamagnetic drift direction with perpendicular velocities of about 10km/s. A comparison of perpendicular velocities suggests that the perturbation evoking SMPs is located at or inside the separatrix. Analysis of very pronounced examples showed that the number of peaks per toroidal turn is 1 or 2, which is clearly lower than corresponding numbers in linear stability calculations. In combination with strong peaking of the magnetic signals this results in a solitary appearance resembling modes like palm tree modes, edge snakes or outer modes. This behavior has been quantified as solitariness and correlated to main plasma parameters. SMPs may be considered as a signature of the non-linear ELM-phase originating at the separatrix or further inside. Thus they provide a handle to investigate the transition from linear to non-linear ELM phase. By comparison with data from gas puff imaging processes in the non-linear phase at or inside the separatrix and in the scrape-off-layer (SOL) can be correlated. A connection between the passing of an SMP and the onset of radial filament propagation has been found. Eventually the findings related to SMPs may contribute to a future quantitative understanding of the non-linear ELM evolution.Comment: submitted to Nuclear Fusio

Foundational (co)datatypes and (co)recursion for higher-order logic

We describe a line of work that started in 2011 towards enriching Isabelle/HOL's language with coinductive datatypes, which allow infinite values, and with a more expressive notion of inductive datatype than previously supported by any system based on higher-order logic. These (co)datatypes are complemented by definitional principles for (co)recursive functions and reasoning principles for (co)induction. In contrast with other systems offering codatatypes, no additional axioms or logic extensions are necessary with our approach