Reordering space design in statistical machine translation

In Statistical Machine Translation (SMT), the constraints on word reorderings have a great impact on the set of potential translations that is explored during search. Notwithstanding computational issues, the reordering space of a SMT system needs to be designed with great care: if a larger search space is likely to yield better translations, it may also lead to more decoding errors, because of the added ambiguity and the interaction with the pruning strategy. In this paper, we study the reordering search space, using a state-of-the art translation system, where all reorderings are represented in a permutation lattice prior to decoding. This allows us to directly explore and compare different reordering schemes and oracle settings. We also study in detail a rule-based preordering system, varying the length and number of rules, the tagset used, as well as contrasting with purely combinatorial subsets of permutations. We carry out experiments on three language pairs in both directions: English-French, a close language pair; English-German and English-Czech, two much more challenging pairs. We show that even though it might be desirable to design better reordering spaces, model and search errors seem to be the most important issues. Therefore, improvements of the reordering space should come along with improvements of the associated models to be really effective.     

WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets

Determining a tight WCET of a block of code to be executed on a modern superscalar processor architecture is becoming ever more difficult due to the dynamic behaviour exhibited by current processors, which include dynamic scheduling features such as speculative and out-of-order execution in the context of multiple execution units with deep pipelines. We describe the use of Coloured Petri Nets (CP-nets) in a simulation based approach to this problem. A complex model of a generic processor architecture is described, with emphasis on the modelling strategy for obtaining the WCET and an analysis of the results.     

Viability of intertwined supply networks: extending the supply chain resilience angles towards survivability. A position paper motivated by COVID-19 outbreak

An intertwined supply network (ISN) is an entirety of interconnected supply chains (SC) which, in their integrity secure the provision of society and markets with goods and services. The ISNs are open systems with structural dynamics since the firms may exhibit multiple behaviours by changing the buyer-supplier roles in interconnected or even competing SCs. From the positions of resilience, the ISNs as a whole provide services to society (e.g. food service, mobility service or communication service) which are required to ensure a long-term survival. The analysis of survivability at the level of ISN requires a consideration at a large scale as resilience of individual SCs. The recent example of coronavirus COVID-19 outbreak clearly shows the necessity of this new perspective. Our study introduces a new angle in SC resilience research when a resistance to extraordinary disruptions needs to be considered at the scale of viability. We elaborate on the integrity of the ISN and viability. The contribution of our position study lies in a conceptualisation of a novel decision-making environment of ISN viability. We illustrate the viability formation through a dynamic game-theoretic modelling of a biological system that resembles the ISN. We discuss some future research areas.     

Retrieval of microphysical and optical properties in aerosol plumes with hyperspectral imagery: L-APOM method

This paper presents the retrieval method L-APOM which aims at characterizing the microphysical and optical properties of aerosol plumes from hyperspectral images with high spatial resolution. The inversion process is divided into three steps: estimation of the ground reflectance below the plume, characterization of the standard atmosphere (gases and background aerosols) and estimation of the plume aerosols properties. As using spectral information only is not sufficient to insure uniqueness of solutions, original constraints are added by assuming slow spatial variations of particles properties within the plume. The whole inversion process is validated on a large set of simulated images and reveals to remain accurate even in the worst cases of noise: relative estimation errors of aerosol properties remain between 10% and 20% in most cases. L-APOM is applied on a real AVIRIS hyperspectral image of a biomass burning plume for which in situ measurements are available. Retrieved properties appear globally consistent with measurements.     

Microstructure formation in chalcogenide thin films assisted by thermal dewetting

The spontaneous formation of self-assembled and/or self-organized patterns is a fundamental and technologically significant topic. This process is achieved via a phenomenon called dewetting, should it be thermally induced, or caused by laser exposure. Although dewetting seems to be a well-known phenomenon for metallic and polymeric thin films, no proper investigation regarding glassy thin films seems to have been done. Thus, in the present study we try to elaborate on the process of thermal dewetting applied to glassy thin films of the system Ag_x(As₂₀S₈₀)_100?x.     

Numerical modeling of wave propagation in anisotropic viscoelastic laminated materials in transient regime: Application to modeling ultrasonic testing of composite structures

Composite laminate structures remain an important family of materials used in cutting-edge industrial areas. Building efficient numerical modeling tools for high-frequency wave propagation in order to represent ultrasonic testing experiments of these materials remains a major challenge. In particular, incorporating attenuation phenomena within anisotropic plies, and thin intermediate isotropic layers between the plies often represent significant obstacles for standard numerical approaches. In our work, we address both issues by proposing a systematic study of the fully discrete propagators associated to the Kelvin-Voigt, Maxwell, and Zener models, and by incorporating effective transmission conditions between plies using the mortar element method. We illustrate the soundness of our approach by proposing intermediate one-dimensional and two-dimensional numerical evidence, and we apply it to a more realistic configuration of a curved laminate composite structure in a three-dimensional setting.     

Understanding and designing field asymmetric waveform ion mobility spectrometry separations in gas mixtures

Field asymmetric waveform ion mobility spectrometry (FAIMS) has significant potential for post-ionization separations in conjunction with MS analyses. FAIMS fractionates ion mixtures by exploiting the fact that ion mobilities in gases depend on the electric field in a manner specific to each ion. Nearly all previous work has used pure gases, for which FAIMS fundamentals are understood reasonably well; however, unexpected phenomena observed in some gas mixtures (e.g., N(2)/CO(2)) but not in others (N(2)/O(2)) remain unexplained. Here, we introduce and experimentally test a universal model for FAIMS separations in mixtures, derived from formalisms that determine high-field mobilities in heteromolecular gases. Overall, the theoretical findings are consistent with data for N(2)/CO(2) (although quantitative discrepancies remain), while results for N(2)/O(2) fit Blanc's law, in agreement with measurements. Calculations for He/N(2) and He/CO(2) are also consistent with observations and suggest why adding He to the working gas generally enhances FAIMS performance. As predicted, mixtures of gases with extremely disparate molecular masses and collision cross sections, such as He/SF(6), exhibit spectacular non-Blanc effects, which greatly improve the resolution and peak capacity of technique. Understanding FAIMS operation in gas mixtures is expected to enable the rational design of media for both targeted and global analyses.     

Phase equilibrium in a polarized saturated3He—4He mixture

We present experimental results on the phase equilibrium of a saturated³He−⁴He mixture, which has been cooled to a temperature of 10–15 mK and polarized in a⁴He circulating dilution refrigerator to a stationary polarization of 15%, 7 times higher than the equilibrium polarization in the external field of 7 T. The pressure dependence of the polarization enhancement in the refrigerator shows that the molar susceptibilities of the concentrated and dilute phase of a saturared³He-⁴He mixture are equal atp=2.60±0.04 bar. This result affects the Fermi liquid parameters of the dilute phase. The osmotic pressure in the dilute phase has been measured as a function of the polarization of the coexisting concentrated phase up to 15%. We find that the osmotic pressure at low polarization (<7%) agrees well with thermodynamics using the new Fermi liquid parameters of the dilute phase.