LLMs hybridation for requirements engineering
Developing physical or digital systems is a complex process involving both technical and human challenges. The first step is to give shape to ideas by drafting specifications for the system to be. Usually written in natural language by business analysts, these documents are the cornerstones that bind all stakeholders together for the duration of the project, making it easier to share and understand what needs to be done. Requirements engineering proposes various techniques (reviews, modeling, formalization, etc.) to regulate this process and improve the quality (consistency, completeness, etc.) of the produced requirements, with the aim of detecting and correcting defects even before the system is implemented.
In the field of requirements engineering, the recent arrival of very large model neural networks (LLMs) has the potential to be a "game changer" [4]. We propose to support the work of the functional analyst with a tool that facilitates and makes reliable the writing of the requirements corpus. The tool will make use of a conversational agent of the transformer/LLM type (such as ChatGPT or Lama) combined with rigorous analysis and assistance methods. It will propose options for rewriting requirements in a format compatible with INCOSE or EARS standards, analyze the results produced by the LLM, and provide a requirements quality audit.
Design and accelerated testing of corrosion FOSs for reinforced concrete structures
Corrosion of steel reinforcement is the main pathology threatening the durability of civil engineering structures. Today, structures are mainly monitored by means of periodic visual inspections or even auscultation (corrosion potentials, ultrasonic measurements, core sampling, etc…), which are not very satisfactory. There is therefore a need for instrumentation capable of detecting the initiation and location of corrosion of reinforcement in concrete and ensuring long-term monitoring (several decades or more). In the context of Civil Engineering (CE) structures, Optical Frequency-Domain Reflectometry (OFDR) appears to be a suitable metrological solution because of its centimetre resolution and measurement range (70 metres in the standard version, i.e. several thousand measurement points along an optical fibre).
Content of work: The aim will be to adapt the design of this fibre optic sensor (FOS) to increase its durability and then to verify its applicability in the laboratory. Initially, the person recruited on a fixed-term research contract will be asked to work on the durability of the connexion between the optical fibre and the armature. Two different methods are envisaged: plasma torch spraying of ceramic powders and sol-gel. Both of these processes prevent the galvanic coupling because they involve insulating materials (ceramics) and are already deployed in industry in various civil and military fields. Secondly, test specimens equipped with the FOS will be tested in the laboratory according to classic civil engineering situations, i.e. localised corrosion (pitting induced by exposure to chloride ions) and uniform corrosion (generalised corrosion induced by carbonation of the embedding concrete). OFDR acquisitions will be carried out periodically over time in parallel with conventional metrology (potential, etc.).
Development of piezoelectric resonators for power conversion
CEA-Leti has been working to improve energy conversion technologies for over 10 years. Our research focuses on designing more efficient and compact converters by leveraging GaN-based transistors, thereby setting new standards in terms of ultra-fast switching and energy loss reduction.
In the pursuit of continuous innovation, we are exploring innovative paths, including the integration of piezoelectric mechanical resonators. These emerging devices, capable of storing energy in the form of mechanical deformations, offer a promising perspective for increased energy density, particularly at high frequencies (>1 MHz). However, the presence of parasitic resonance modes impacts the overall efficiency of the system. Therefore, we are in need of an individual with skills in mechanics, especially in vibrational mechanics, to enhance these cleanroom-manufactured micromechanical resonators.
You will be welcomed in Grenoble within a team of engineers, researchers and doctoral students, dedicated to innovation for energy, which combines the skills of microelectronics and power systems from two CEA institutes, LETI and LITEN, close to the needs of the industry (http://www.leti-cea.fr/cea-tech/leti/Pages/recherche-appliquee/plateformes/electronique-puissance.aspx).
If you are a scientifically inclined mind, eager to tackle complex challenges, passionate about seeking innovative solutions, and ready to contribute at the forefront of technology, this position/project represents a unique opportunity. Join our team to help us push the boundaries of energy conversion.
References : http://scholar.google.fr/citations?hl=fr&user=s3xrrcgAAAAJ&view_op=list_works&sortby=pubdate
Development, metrological validation and outdoor testing of a multitrack Raman/FO measurement unit dedicated to the safety of future cryogenic liquid hydrogen dispensing stations
Context: The domestic and industrial use of liquid hydrogen as the fuel of the future requires the definition of a suitable safety code. At present, tank separation criteria have been defined by anticipation using a conservative approach. It is therefore necessary to carry out full-scale experiments ("pool spreading") in order to provide input for calculation codes and build relevant standards. These experiments require the implementation of instrumentation adapted to the measurement of all gases present in free space (O2, N2, H2O, H2) in order to establish a measurement of partial pressures during each test, correlated with the other means of measurement in place (thermometry, catharometry, PIV, BOS, etc.).
Mission: In the context of an ANR-PEPR project (ESKHYMO) managed by CEA Liten, a Raman/FO Multitrack spectrometric measurement unit will be developed jointly by CEA List and CEA DES on the basis of an existing device. Raman measurement is multi-elemental, multi-track (a single measurement unit for several probes), non-explosive, and delivers a self-standardized measurement to a reference species (usually nitrogen at atmospheric pressure). The Raman/FO measurement unit comprises a laser, a spectrometer associated with a scientific CCD camera, and a fiber-optic circuit for remote measurement. The design of the Raman/FO probes will also be based on an existing CEA product, which will be miniaturized for deployment in field conditions. Four Raman/FO probes will be produced and then calibrated in air (climatic chamber) and hydrogen (shock tube or vacuum chamber) at CEA DES DM2S in Saclay. Finally, the final device will be deployed on the test site for multi-gas measurements during spraying experiments, in partnership with Air Liquide and accrediting bodies (INERIS).
Skills: Optics, laser, fiber optics, spectrometry
Modeling of charge noise in spin qubits
Thanks to strong partnerships between several research institutes, Grenoble is a pioneer in the development of future technologies based on spin qubits using manufacturing processes identical to those used in the silicon microelectronics industry. The spin of a qubit is often manipulated with alternating electrical (AC) signals through various spin-orbit coupling (SOC) mechanisms that couple it to electric fields. This also makes it sensitive to fluctuations in the qubit's electrical environment, which can lead to large qubit-to-qubit variability and charge noise. The charge noise in the spin qubit devices potentially comes from charging/discharging events within amorphous and defective materials (SiO2, Si3N4, etc.) and device interfaces. The objective of this postdoc is to improve the understanding of charge noise in spin qubit devices through simulations at different scales. This research work will be carried out using an ab initio type method and also through the use of the TB_Sim code, developed within the CEA-IRIG institute. This last one is able of describing very realistic qubit structures using strong atomic and multi-band k.p binding models.
detection of multiplets and application to turkey-Syria seismic crisis of february 2023
The correlation technique, or template matching, applied to the detection and analysis of seismic events has demonstrated its performance and usefulness in the processing chain of the CEA/DAM National Data Center. Unfortunately, this method suffers from limitations which limit its effectiveness and its use in the operational environment, linked on the one hand to the computational cost of massive data processing, and on the other hand to the rate of false detections that could generate low-level processing. The use of denoising methods upstream of processing (example: deepDenoiser, by Zhu et al., 2020), could also increase the number of erroneous detections. The first part of the research project consists of providing a methodology aimed at improving the processing time performance of the multiplets detector, in particular by using information indexing techniques developed in collaboration with LIPADE (L-MESSI method , Botao Peng, Panagiota Fatourou, Themis Palpanas. Fast Data Series Indexing for In-Memory Data. International Journal on Very Large Data Bases (VLDBJ) 2021). The second part of the project concerns the development of an auto-encoder type “filtering” tool for false detections built using machine learning. The Syria-Turkey seismic crisis of February 2023, dominated by two earthquakes of magnitude greater than 7.0, will serve as a learning database for this study.
Seismic behavior of an overhead crane
Overhead cranes are part of the equipment in industrial installations to which special attention must be paid. They are generally located in the upper part of buildings and are potentially subject to significant levels of acceleration in the event of an earthquake, due to the amplification induced by the supporting structure. Consequently, they are potentially subjected to significant forces and can be the source of significant forces on the supporting structure. This study is a continuation of two previous test campaigns carried out on the Azalée shaking table of the EMSI laboratory, on a mock-up of an overhead crane. It aims to provide validated numerical models of this kind of equipment. Two lines of research are considered. The first axis aims to complement the “historical” test campaigns with static tests to justify the adjustment of the numerical models. The second axis consists of exploiting, by comparison tests/calculations, all of the tests that were carried out as part of a previous test campaign for statistical analysis purposes.
Thermodynamic study of the Nb-O-Zr system for the nuclear fuel elements recycling
The first step of nuclear material recycling consists in a section-cutting process of the fuel assemblies leading to shells.
Nuclear materials in the cut sections are dissolved in acid solutions whilst structural as well as cladding materials are rinsed and then compacted in CSD-C containers for a final storage in CIGEO.
The REGAIN project aims at studying the feasibility of an alternative solution: the objective is to investigate the possibility to optimize the nuclear and cladding materials management by reducing the radiological source term. The idea is to proceed to a sequence of decontamination steps in order to minimize the waste volume: The first step consists in removing minor actinides and fission products and the second one in the separation of zirconium from structural activation products.
In order to feed the industrial process study, a part of the REGAIN project aims at collecting raw data, which will be used by the other work packages of the project.
In this framework, CEA proposes a post-doctoral position with the purpose of developing a thermodynamic database for the Nb-O-Zr system starting from literature data as well as using experimental informations obtained within the first stages of the project. It will be also possible to include a selection of key fission products into the existing database. The candidate may also be asked to complete the existing data by an experimental campaign to obtain a complete set of data for the modelling. The scientific approach will be based on the CALPHAD method: this method allows developing a thermodynamic database by the definition of an analytical formulation of the thermodynamic potential, which will be used to calculate phase diagrams as well as thermodynamic properties of multi-components systems.
Calibration of the high dose rate flash therapy beam monitor of the IRAMIS facility
Ultra-flash beams are pulsed beams of high-energy electrons (over a hundred MeV) with pulse durations in the femto-second range. The IRAMIS facility (CEA Saclay) uses laser acceleration to produce this type of beam, with a view to their application in radiotherapy. The LNHB is in charge of establishing dosimetric traceability for the IRAMIS facility, and to do this it has to calibrate the facility's monitor. Current radiotherapy facilities are based on medical linear accelerators operating at energies of up to 18 MeV in electron mode. LNHB has such equipment. It is used to establish national references in terms of absorbed dose to water, under the conditions of the IAEA protocol TRS 398.
Establishing dosimetric traceability involves choosing the measurement conditions, knowing the transfer dosimeter characteristics used and any corrections to be applied to the measurements taking into account the differences between the IRAMIS Facility and those of LNHB.
Separation microsystem coupled to mass spectrometry for on-line purification and characterisation of nuclear samples
The miniaturisation of analytical steps commonly carried out in laboratories offers many advantages and particularly in the nuclear sector, where the reduction of material consumption and waste production is of major interest. In this context, one of our laboratory’s focus area is the miniaturisation of analytical tools, particularly chromatographic separation techniques. The aim of this project is to reduce the scale of the purification steps of nuclear samples by solid phase extraction chromatography, prior to the analytical processes. Obtaining these miniaturised extraction devices is based on the in situ synthesis and anchoring of monoliths, in the channels of cyclic olefin copolymer (COC) microsystems. Since this material is chemically inert, COC functionalisation strategies are currently under development to covalently graft reactive sites on its surface, before locally anchoring actinide-specific monoliths in the micro-channels. The aim is to design and fabricate chromatographic extraction microsystems in COC, and to implement them for chemical purification and mass spectrometry measurements, both off-line and on-line.