Search

Context Progresses in GNSS-based solution introduction in rail applications GNSS (Global Navigation Satellite System) is now used in most of our travels and each of our smartphone apps. Most of the usages are not safety-critical. But Europe identified GNSS for more applications and to be integrated in rail in general as part of the toolset to help railway to contribute to reduce transport carbon footprint. To increase the use of trains in European transports, railways must improve their attractiveness for passengers and freight, but also increase reliability, availability and efficiency by reducing capital expenditure and operational costs. GNSS is part of the global digitalization scheme of freight that aims to offer added value to the clients knowledge of accurate time of arrival, continuous monitoring of transport conditions (temperature, humidity...). But a major challenge will be to reach stringent applications and in particular, GNSS is today seen as a realistic and serious game changer for the future of the ERTMS (European Rail Traffic Management System). The localisation function is today performed with both odometry and balises. Odometer provides a continuous train position in time from a reference point. But as the distance delivered by the odometer shows a growing bias with distance, due to wear and wheel sliding, the use of on-track balises allows to reduce this error. Future systems will be based on on-board localisation solutions with GNSS receivers. It will allow the development of new concepts for moving blocks, virtual coupling and automation. Its use for train integrity is also investigated. But the environmental conditions of track and surroundings configuration, i.e, tunnels, dense urban areas or vegetation often degrade positioning performance and thus its efficiency and safety. Indeed, GNSS satellites are moving and their visibility (availability and relative position from the receiver) vary with time. Moreover, for optimal performance, the system requires open sky environments, which are the cases of most of the aeronautical uses but not of train uses. Trains often circulate in areas where signal reception can be disturbed (multipath, intentional or unintentional interferences) and thus, performances degraded. If many progresses have been made in the past years to develop more robust receivers [Puccitelli, 2022], multi-sensor solutions [CLUG website] or missing tools such as Digital Maps [Crespillo, 2023], in projects such as the Shift2Rail Project X2Rail-5 or CLUG, some questions remain and in particular related to performance evaluation. How can we evaluate performances in a dynamic environment (train, satellite, obstacles)? How can we be sure that every configuration has been tested? What is the impact of a failure (inaccuracy, missed detection) on operation? Some of these issues are addressed in the on-going R2DATO project funded by Europe's rail.

Dark-field X-ray microscopy (DFXM) is a novel X-ray imaging technique developed at synchrotrons to image along the diffracted beam with a real space resolution of ~100 nm and reciprocal space resolution of $10^{-4}$. Recent implementations of DFXM at X-ray free electron lasers (XFELs) have demonstrated DFXM's ability to visualize the real-time evolution of coherent GHz phonons produced by ultrafast laser excitation of metal transducers. Combining this with DFXM's ability to visualize strain fields due to dislocations makes it possible to study the interaction of GHz coherent phonons with the strain fields of dislocations, along with studying the damping of coherent phonons due to interactions with thermal phonons. For quantitative analysis of phonon-dislocation interactions and phonon damping, a formalism is required to relate phonon dynamics to the strains measured by DFXM. In this work, we use kinematic diffraction theory to simulate DFXM images of the specific coherent phonons in diamond that are generated by the ultrafast laser excitation of a metal transducer. We extend this formalism to also describe imaging of incoherent phonons of sufficiently high frequency, which are relevant for thermal transport, offering future opportunities for DFXM to image signals produced by thermal diffuse scattering. For both coherent and incoherent phonons, we discuss the optimal sampling of real space, reciprocal space and time, and the opportunities offered by the advances in DFXM optics.

In their comment (1), Hawreliak et al. claims that our observation of stacking fault formation and transonic dislocation propagation in diamond (2) is not valid as they interpret the observed features as cracks. In this response letter, we describe our rationale for interpreting the observed features as stacking faults. We also address other points raised in their comments, including the clarifications of how the results of Makarov et al. (3) are not in conflict with our study., Comment: Comment on arXiv:2401.04213. 10 pages, 2 figures

Dark-field X-ray Microscopy (DFXM) is a novel diffraction-based imaging technique that non-destructively maps the local deformation from crystalline defects in bulk materials. While studies have demonstrated that DFXM can spatially map 3D defect geometries, it is still challenging to interpret DFXM images of the high dislocation density systems relevant to macroscopic crystal plasticity. This work develops a scalable forward model to calculate virtual DFXM images for complex discrete dislocation (DD) structures obtained from atomistic simulations. Our new DD-DFXM model integrates a non-singular formulation for calculating the local strain from the DD structures and an efficient geometrical optics algorithm for computing the DFXM image from the strain. We apply the model to complex DD structures obtained from a large-scale molecular dynamics (MD) simulation of compressive loading on a single-crystal silicon. Simulated DFXM images exhibit prominent feature contrast for dislocations between the multiple slip systems, demonstrating the DFXM's potential to resolve features from dislocation multiplication. The integrated DD-DFXM model provides a toolbox for DFXM experimental design and image interpretation in the context of bulk crystal plasticity for the breadth of measurements across shock plasticity and the broader materials science community.

Malware is a fast-growing threat to the modern computing world and existing lines of defense are not efficient enough to address this issue. This is mainly due to the fact that many prevention solutions rely on signature-based detection methods that can easily be circumvented by hackers. Therefore, there is a recurrent need for behavior-based analysis where a suspicious file is ran in a secured environment and its traces are collected to reports for analysis. Previous works have shown some success leveraging Neural Networks and API calls sequences extracted from these execution reports. Recently, Large Language Models and Generative AI have demonstrated impressive capabilities mainly in Natural Language Processing tasks and promising applications in the cybersecurity field for both attackers and defenders. In this paper, we design an Encoder-Only model, based on the Transformers architecture, to detect malicious files, digesting their API call sequences collected by an execution emulation solution. We are also limiting the size of the model architecture and the number of its parameters since it is often considered that Large Language Models may be overkill for specific tasks such as the one we are dealing with hereafter. In addition to achieving decent detection results, this approach has the advantage of reducing our carbon footprint by limiting training and inference times and facilitating technical operations with less hardware requirements. We also carry out some analysis of our results and highlight the limits and possible improvements when using Transformers to analyze malicious files.

The behavior of dislocations is essential to understand material properties, but their subsurface dynamics that are representative of bulk phenomena cannot be resolved by conventional transmission electron microscopy (TEM). Dark field X-ray microscope (DFXM) was recently demonstrated to image hierarchical structures of bulk dislocations by imaging lattice distortions along the transmitted X-ray diffracted beam using an objective lens. While today's DFXM can effectively map the line vector of dislocations, it still cannot quantify the Burgers vector required to understand dislocation interactions, structures, and energies. Our study formulates a theoretical model of how DFXM images collected along specific scans can be used to directly measure the Burgers vector of a dislocation. By revisiting the "invisibility criteria" from TEM theory, we re-solve this formalism for DFXM and extend it to the geometric-optics model developed for DFXM to evaluate how the images acquired from different scans about a single {hkl} diffraction peak encode the Burgers vector within them. We demonstrate this for edge, screw, and mixed dislocations and discuss the observed symmetries. This work advances our understanding of DFXM to establish its capabilities to connect bulk experiments to dislocation theory and mechanics.

Optimizing grain boundary characteristics in polycrystalline materials can improve their properties. Many processing methods have been developed for grain boundary manipulation, including the use of intense radiation in certain applications. In this work, we used X-ray free electron laser pulses to irradiate single-crystalline bismuth selenide (Bi2Se3) and observed grain boundary formation and subsequent grain rotation in response to the X-ray radiation. Our observations with simultaneous transmission X-ray microscopy and X-ray diffraction demonstrate how intense X- ray radiation can rapidly change size and texture of grains., Comment: 37 pages, 11 figures including 6 supplemental figures

We demonstrate thermodynamic profile estimation with data obtained using the MicroPulse DIAL such that the retrieval is entirely self contained. The only external input is surface meteorological variables obtained from a weather station installed on the instrument. The estimator provides products of temperature, absolute humidity and backscatter ratio such that cross dependencies between the lidar data products and raw observations are accounted for and the final products are self consistent. The method described here is applied to a combined oxygen DIAL, potassium HSRL, water vapor DIAL system operating at two pairs of wavelengths (nominally centered at 770 and 828 nm). We perform regularized maximum likelihood estimation through the Poisson Total Variation technique to suppress noise and improve the range of the observations. A comparison to 119 radiosondes indicates that this new processing method produces improved temperature retrievals, reducing total errors to less than 2 K below 3 km altitude and extending the maximum altitude of temperature retrievals to 5 km with less than 3 K error. The results of this work definitively demonstrates the potential for measuring temperature through the oxygen DIAL technique and furthermore that this can be accomplished with low-power semiconductor-based lidar sensors.

Our recent extension of Arnold's classification includes all singularities of corank up to two equivalent to a germ with a non-degenerate Newton boundary, thus broadening the classification's scope significantly by a class which is unbounded with respect to modality and Milnor number. This method is based on proving that all right-equivalence classes within a mu-constant stratum can be represented by a single normal form derived from a regular basis of a suitably selected special fiber. While both Arnold's and our preceding work on normal forms addresses the determination of a normal form family containing the given germ, this paper takes the next natural step: We present an algorithm for computing for a given germ the values of the moduli parameters in its normal form family, that is, a normal form equation in its stable equivalence class. This algorithm will be crucial for understanding the moduli stacks of such singularities. The implementation of this algorithm, along with the foundational classification techniques, is implemented in the library arnold.lib for the computer algebra system Singular., Comment: 28 pages

Computations over the rational numbers often encounter the problem of intermediate coefficient growth. A solution to this is provided by modular methods, which apply the algorithm under consideration modulo a number of primes and then lift the results to the rationals. We present a novel, massively parallel framework for modular computations with polynomial data, which is able to cover a broad spectrum of applications in commutative algebra and algebraic geometry. We demonstrate the framework's effectiveness in Groebner basis computations over the rationals and algorithmic methods from birational geometry. In particular, we develop algorithms to compute images and domains of rational maps, as well as determining invertibility and computing inverses. Our implementation is based on the Singular/GPI-Space framework, which uses the computer algebra system Singular as computational backend, while coordination and communication of parallel computations is handled by the workflow management system GPI-Space, which relies on Petri nets as its mathematical modeling language. Convenient installation is realized through the package manager Spack. Relying on Petri nets, our approach provides automated parallelization and balancing of the load between computation, lifting, stabilization testing, and potential verification. We use error tolerant rational reconstruction to ensure termination as long as for a fixed computation there exist only finitely many bad primes. Via stabilization testing, our approach automatically finds with high probablity a minimal set of primes required for the successful reconstruction. We present timings to illustrate the potential for a game changing improvement of performance over previous modular and non-modular methods. In particular, we illustrate that the approach scales very well with the number of processor cores used for the computation., Comment: 56 pages, 10 figures, 6 tables

We present the SARAO MeerKAT Galactic Plane Survey (SMGPS), a 1.3 GHz continuum survey of almost half of the Galactic Plane (251\deg $\le l \le$ 358\deg and 2\deg $\le l \le$ 61\deg at $|b| \le 1.5\deg $). SMGPS is the largest, most sensitive and highest angular resolution 1 GHz survey of the Plane yet carried out, with an angular resolution of 8" and a broadband RMS sensitivity of $\sim$10--20 $\mu$ Jy/beam. Here we describe the first publicly available data release from SMGPS which comprises data cubes of frequency-resolved images over 908--1656 MHz, power law fits to the images, and broadband zeroth moment integrated intensity images. A thorough assessment of the data quality and guidance for future usage of the data products are given. Finally, we discuss the tremendous potential of SMGPS by showcasing highlights of the Galactic and extragalactic science that it permits. These highlights include the discovery of a new population of non-thermal radio filaments; identification of new candidate supernova remnants, pulsar wind nebulae and planetary nebulae; improved radio/mid-IR classification of rare Luminous Blue Variables and discovery of associated extended radio nebulae; new radio stars identified by Bayesian cross-matching techniques; the realisation that many of the largest radio-quiet WISE HII region candidates are not true HII regions; and a large sample of previously undiscovered background HI galaxies in the Zone of Avoidance., Comment: Accepted for publication in MNRAS. The data release is live and links can be found in the Data Availability Statement in the paper

Good weight initialisation is an important step in successful training of Artificial Neural Networks. Over time a number of improvements have been proposed to this process. In this paper we introduce a novel weight initialisation technique called the Straddled Matrix Initialiser. This initialisation technique is motivated by our assumption that major, global-scale relationships in data are linear with only smaller effects requiring complex non-linearities. Combination of Straddled Matrix and ReLU activation function initialises a Neural Network as a de facto linear model, which we postulate should be a better starting point for optimisation given our assumptions. We test this by training autoencoders on three datasets using Straddled Matrix and seven other state-of-the-art weight initialisation techniques. In all our experiments the Straddeled Matrix Initialiser clearly outperforms all other methods.

Dark field X-ray microscopy (DXFM) can visualize microstructural distortions in bulk crystals. Using the femtosecond X-ray pulses generated by X-ray free-electron lasers (XFEL), DFXM can achieve sub-{\mu}m spatial resolution and <100 fs time resolution simultaneously. In this paper, we demonstrate ultrafast DFXM measurements at the European XFEL to visualize an optically-driven longitudinal strain wave propagating through a diamond single crystal. We also present two DFXM scanning modalities that are new to the XFEL sources: spatially 3D and 2D axial-strain scans with sub-{\mu}m spatial resolution. With this progress in XFEL-based DFXM, we discuss new opportunities to study multi-timescale spatio-temporal dynamics of microstructures.

Unmanned Aerial Systems (UAS), an integral part of the Advanced Air Mobility (AAM) vision, are capable of performing a wide spectrum of tasks in urban environments. The societal integration of UAS is a pivotal challenge, as these systems must operate harmoniously within the constraints imposed by regulations and societal concerns. In complex urban environments, UAS safety has been a perennial obstacle to their large-scale deployment. To mitigate UAS safety risk and facilitate risk-aware UAS operations planning, we propose a novel concept called \textit{3D virtual risk terrain}. This concept converts public risk constraints in an urban environment into 3D exclusion zones that UAS operations should avoid to adequately reduce risk to Entities of Value (EoV). To implement the 3D virtual risk terrain, we develop a conditional probability framework that comprehensively integrates most existing basic models for UAS ground risk. To demonstrate the concept, we build risk terrains on a Chicago downtown model and observe their characteristics under different conditions. We believe that the 3D virtual risk terrain has the potential to become a new routine tool for risk-aware UAS operations planning, urban airspace management, and policy development. The same idea can also be extended to other forms of societal impacts, such as noise, privacy, and perceived risk., Comment: 33 pages, 19 figures

We describe the digraphs that are dual representations of finite lattices satisfying conditions related to meet-distributivity and modularity. This is done using the dual digraph representation of finite lattices by Craig, Gouveia and Haviar (2015). These digraphs, known as TiRS digraphs, have their origins in the dual representations of lattices by Urquhart (1978) and Plo\v{s}\v{c}ica (1995). We describe two properties of finite lattices which are weakenings of (upper) semimodularity and lower semimodularity respectively, and then show how these properties have a simple description in the dual digraphs. Combined with previous work on dual digraphs of semidistributive lattices (2022), it leads to a dual representation of finite meet-distributive lattices. This provides a natural link to finite convex geometries. In addition, we present two sufficient conditions on a finite TiRS digraph for its dual lattice to be modular. We close by posing four open problems.

Despite the promising results of machine learning models in malicious files detection, they face the problem of concept drift due to their constant evolution. This leads to declining performance over time, as the data distribution of the new files differs from the training one, requiring frequent model update. In this work, we propose a model-agnostic protocol to improve a baseline neural network against drift. We show the importance of feature reduction and training with the most recent validation set possible, and propose a loss function named Drift-Resilient Binary Cross-Entropy, an improvement to the classical Binary Cross-Entropy more effective against drift. We train our model on the EMBER dataset, published in2018, and evaluate it on a dataset of recent malicious files, collected between 2020 and 2023. Our improved model shows promising results, detecting 15.2% more malware than a baseline model.

Galactic science encompasses a wide range of subjects in the study of the Milky Way and Magellanic Clouds, from Young Stellar Objects to X-ray Binaries. Mapping these populations, and exploring transient phenomena within them, are among the primary science goals of the Vera C. Rubin Observatory's Legacy Survey of Space and Time (LSST). While early versions of the survey strategy dedicated relatively few visits to the Galactic Plane region, more recent strategies under consideration envision higher cadence within selected regions of high scientific interest. The range of galactic science presents a challenge in evaluating which strategies deliver the highest scientific returns. Here we present metrics designed to evaluate Rubin survey strategy simulations based on the cadence of observations they deliver within regions of interest to different topics in galactic science, using variability categories defined by timescale. We also compare the fractions of exposures obtained in each filter with those recommended for the different science goals. We find that the baseline_v2.x simulations deliver observations of the high-priority regions at sufficiently high cadence to reliably detect variability on timescales >10 d or more. Follow-up observations may be necessary to properly characterize variability, especially transients, on shorter timescales. Combining the regions of interest for all the science cases considered, we identify those areas of the Galactic Plane and Magellanic Clouds of highest priority. We recommend that these refined survey footprints be used in future simulations to explore rolling cadence scenarios, and to optimize the sequence of observations in different bandpasses., Comment: Accepted for publication in ApJS. 26 pages and 36 figures