A DSL for specifying run-time adaptations for embedded systems: an application to vehicle stereo navigation

The traditional approach for specifying adaptive behavior in embedded applications requires developers to engage in error-prone programming tasks. This results in long design cycles and in the inherent inability to explore and evaluate a wide variety of alternative adaptation behaviors, critical for systems exposed to dynamic operational and situational environments. In this paper, we introduce a domain-specific language (DSL) for specifying and implementing run-time adaptable application behavior. We illustrate our approach using a real-life stereo navigation application as a case study, highlighting the impact and benefits of dynamically adapting algorithm parameters. The experiments reveal our approach effective, as such run-time adaptations are easily specified in a higher level by the DSL, and thus at a lower programming effort than when using a general-purpose language such as C.     

Advances in neutron imaging

Imaging techniques based on neutron beams are rapidly developing and have become versatile non-destructive analyzing tools in many research fields. Due to their intrinsic properties, neutrons differ strongly from electrons, protons or X-rays in terms of their interaction with matter: they penetrate deeply into most common metallic materials while they have a high sensitivity to light elements such as hydrogen, hydrogenous substances, or lithium. This makes neutrons perfectly suited probes for research on materials that are used for energy storage and conversion, e.g., batteries, hydrogen storage, fuel cells, etc. Moreover, their wave properties can be exploited to perform diffraction, phase-contrast and dark-field imaging experiments. Their magnetic moment allows for resolving magnetic properties in bulk samples. This review will focus on recent applications of neutron imaging techniques in both materials research and fundamental science illustrated by examples selected from different areas.     

Azaaurones as Potent Antimycobacterial Agents Active against MDR- and XDR-TB

Herein we report the screening of a small library of aurones and their isosteric counterparts, azaaurones and N-acetylazaaurones, against Mycobacterium tuberculosis. Aurones were found to be inactive at 20 μm , whereas azaaurones and N-acetylazaaurones emerged as the most potent compounds, with nine derivatives displaying MIC₉₉ values ranging from 0.4 to 2.0 μm . In addition, several N-acetylazaaurones were found to be active against multidrug-resistant (MDR) and extensively drug-resistant (XDR) clinical M. tuberculosis isolates. The antimycobacterial mechanism of action of these compounds remains to be determined; however, a preliminary mechanistic study confirmed that they do not inhibit the mycobacterial cytochrome bc1 complex. Additionally, microsomal metabolic stability and metabolite identification studies revealed that N-acetylazaaurones are deacetylated to their azaaurone counterparts. Overall, these results demonstrate that azaaurones and their N-acetyl counterparts represent a new entry in the toolbox of chemotypes capable of inhibiting M. tuberculosis growth.     

Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$

International Journal on Software Tools for Technology Transfer - Current real-time embedded systems development frameworks lack support for the verification of properties using explicit time where...     

Influence of dynamic stimulation,visual perception and individual susceptibility to car sickness during controlled stop-and-go driving

Forschung im Ingenieurwesen - The enjoyment and usage of highly automated vehicles might be reduced by motion sickness. This study addresses the influencing factors of dynamic stimulation, visual...     

Transient and steady states of Gd2Zr2O7 and 2ZrO2∙Y2O3 (ss) interactions with calcium magnesium aluminium silicates

Reactions between calcium magnesium aluminium silicates (CMAS) and Gd₂Zr₂O₇ or 2ZrO₂?Y₂O₃ (ss) are investigated within a temperature range of 1200–1300 °C and for durations of 1 h–100 h. The evolution of CMAS penetration depth in Gd₂Zr₂O₇ and 2ZrO₂?Y₂O₃ (ss) pellets varies considerably depending on the interaction time. A quantitative analysis of the nature and composition of phases observed in stationary conditions (powder/powder interaction) is performed by SEM-FEG coupled with WDS analyses using micro-agglomerated nanoparticles of Gd₂Zr₂O₇ and 2ZrO₂?Y₂O₃. Faster kinetics of the gadolinium-based system are illustrated through an analysis of the morphology of the reaction area and of the resulting CMAS tightness of reaction products. The compositions and quantities of reaction products observed at equilibrium are very similar for the two systems, but transient states are significantly different.     

Development of precipitate size and volume fraction of niobium carbonitrides in stabilised stainless steel

Abstract

Niobium carbonitride (NbX) precipitates have been studied in a niobium stabilised austenitic stainless steel AISI type 347 with approximate nominal composition Fe–0.06C–17.5Cr–11.4Ni–0.8Nb. The steel was extruded to seamless tube, solution annealed at 1100°C for 3 min, water quenched, and subsequently isothermally aged at 700°C for times up to 70 000 h. Size distribution and volume fraction of the coarse distribution (1–10 µm) of NbX particles were measured using scanning electron microscopy (SEM). The fine distribution (～30 nm) was investigated using energy filtered transmission electron microscopy (EFTEM). Size distribution and volume fraction were determined using jump ratio images. Coarse NbX (～0.3% volume fraction) precipitates were formed during solidification and extrusion, and were little affected by solution annealing and isothermal aging. Fine NbX (～0.5% volume fraction) precipitates formed during solution annealing and grew during the first 800 h of aging. Precipitate size determination using EFTEM appears to give accurate results, while volume fraction determination requires homogeneous material for good results.     

Optimization of MRI Acquisition and Texture Analysis to Predict Physico-chemical Parameters of Loins by Data Mining

The main objective of this study was to configure the acquisition and analysis of low-field magnetic resonance imaging (MRI) to predict physico-chemical characteristics of Iberian loin, evaluating the use of different MRI sequences (spin echo, SE; gradient echo, GE; turbo 3D, T3D), computational texture feature methods (GLCM, NGLDM, GLRLM, GLCM + NGLDM + GLRLM), and data mining techniques (multiple linear regression, MLR; isotonic regression, IR). Moderate to very good correlation coefficients and low mean absolute error were found when applying MLR or IR on any method of computational texture features from MRI acquired with SE or GE. For T3D sequence, accurate results are only obtained by applying IR on GLCM or GLCM + NGLDM + GLRLM methods. Considering not only the accuracy of the methodology but also consumed time and required resources, the use of SE sequences for MRI acquisition, GLCM method for MRI texture analysis, and MLR could be indicated for prediction physico-chemical characteristics of loin.