Geometrical shape optimization in fluid mechanics using FreeFem++

Structural and Multidisciplinary Optimization - In this article, we present simple and robust numerical methods for two-dimensional geometrical shape optimization problems, in the context of...     

Decidability of Equivalence of Symbolic Derivations

We give in this paper an alternative, and we believe simpler, proof of a deep result by Mathieu Baudet, namely that the equivalence of symbolic constraints is decidable for deduction systems on a finite signature modulo a subterm convergent equational theory.     

Examining the consistency of products derived from various ocean color sensors in open ocean (Case 1) waters in the perspective of a multi-sensor approach

During its lifetime, a space-borne ocean color sensor provides world-wide information about important biogeochemical properties of the upper ocean every 2 to 4 days in cloudless regions. Merging simultaneous or complementary data from such sensors to obtain better spatial and temporal coverage is a recurring objective, but it can only be reached if the consistency of the sensor-specific products, as delivered by the various Space Agencies, has first been carefully examined. The goal of the present study is to provide a procedure for establishing a coherency of open ocean (Case-1 waters) data products, for which the various data processing methods are sufficiently similar. The development of the procedure includes a detailed comparison of the marine algorithms used (after atmospheric corrections) by space agencies for the production of standard products, such as the chlorophyll concentration, [Chl], and the diffuse attenuation coefficient, K_d. The MODIS-Aqua, SeaWiFS and MERIS [Chl] products agree over a wide range, between ∼ 0.1 and 3 mg m^− 3, whereas increasing divergences occur for oligotrophic waters ([Chl] (from 0.02 to 0.09 mg m^− 3). For the K_d(490) coefficient, different algorithms are in use, with differing results. Based on a semi-analytical reflectance model and hyperspectral approach, the present work proposes a harmonization of the algorithms allowing the products of the various sensors to be comparable, and ultimately, meaningfully merged (the merging procedures themselves are not examined). Additional potential products, obtained by using [Chl] as an intermediate tool, are also examined and proposed. These products include the thickness of the layer heated by the sun, the depth of the euphotic zone, and the Secchi disk depth. The physical limitations in the predictive skill of such downward extrapolations, made from information concerning only the upper layer, are stressed.     

Self-report measures for the assessment of human–machine interfaces in automated driving

Cognition, Technology & Work - For a successful market introduction of Level 3 Automated Driving Systems (L3 ADS), a careful evaluation of human–machine interfaces (HMIs) is necessary....     

High-level synthesis for FPGAs: code optimization strategies for real-time image processing

High-level synthesis (HLS) is a potential solution to increase the productivity of FPGA-based real-time image processing development. It allows designers to reap the benefits of hardware implementation directly from the algorithm behaviors specified using C-like languages with high abstraction level. In order to close the performance gap between the manual and HLS-based FPGA designs, various code optimization forms are made available in today’s HLS tools. This paper proposes a HLS source code and directive manipulation strategy for real-time image processing by taking into account the applying order of different optimization forms. Experiment results demonstrate that our approach can improve more effectively the test implementations comparing to the other optimization strategies.     

Automatic speech recognition system for Tunisian dialect

Although Modern Standard Arabic is taught in schools and used in written communication and TV/radio broadcasts, all informal communication is typically carried out in dialectal Arabic. In this work, we focus on the design of speech tools and resources required for the development of an Automatic Speech Recognition system for the Tunisian dialect. The development of such a system faces the challenges of the lack of annotated resources and tools, apart from the lack of standardization at all linguistic levels (phonological, morphological, syntactic and lexical) together with the mispronunciation dictionary needed for ASR development. In this paper, we present a historical overview of the Tunisian dialect and its linguistic characteristics. We also describe and evaluate our rule-based phonetic tool. Next, we go deeper into the details of Tunisian dialect corpus creation. This corpus is finally approved and used to build the first ASR system for Tunisian dialect with a Word Error Rate of 22.6%.     

Modeling the behavior of persons with mild cognitive impairment or Alzheimer’s for intelligent environment simulation

User Modeling and User-Adapted Interaction - Intelligent environments may improve the independence and quality of life of persons with mild cognitive impairment (MCI) or Alzheimer’s disease...     

Explicit reference modeling methodology in parametric CAD system

Today parametric associative CAD systems must help companies to create more efficient virtual development processes. While dealing with complex parts (e.g. the number of surfaces of the solid) no CAD modeling methodology is existing. Based on the analysis of industrial designers' practices as well as student practices on CAD, we identified key factors that lead to better performance. Our objective in this article is to propose a practical method for complex parts modeling in parametric CAD system. An illustration of the performances and the results obtained by this method are presented comparing the traditional method with the proposed one while using an academic case and then an industrial case.     

Functionalized porous glass for the removal and the confinement of ruthenium from radioactive solutions

An original approach to immobilize ruthenium species and then transform them into RuO₂ nanoparticles is presented that uses hybrid-functionalized glasses. First, different chemical graftings of functional groups (acetylacetonate, amine, nitrile, pyridine and thiol) in porous glass were used to extract ruthenium-containing complexes ([Ru(CH₃N)₄Cl₂] and Ru(NO)(NO₃)₃) from solutions. The best functional groups to selectively coordinate Ru complexes and thus extract it from the solutions have been determined. Then, the obtained Ru-containing composite glass was heated under air to remove the organic species and to obtain RuO₂ nanoparticles inside a glass with centimetre scale geometric form. The as-obtained materials were studied by transmission electron microscopy (TEM), scanning electron microscopy (SEM), nitrogen physisorbtion measurements, elemental analysis and X-ray diffraction (XRD).