Fusion de données 3D issues de tomographie par rayons X et SIMS
Le service de caractérisation des matériaux et des composants du CEA-LETI s’est récemment doté de 2 outils expérimentaux pour effectuer de l’imagerie 3D à des résolutions spatiales atteignant 100nm. Il s’agit de la tomographie X dans un MEB et de la spectrométrie de masse assistée par usinage ionique. La tomographie X donne fournit des images 3D de la morphologie interne d’un objet. Le SIMS 3D fournit également une image 3D avec en plus une information chimique. Ces 2 techniques sont à l’état de l’art et il est envisagé de les associer afin d’obtenir une caractérisation 3D quantitative d’objets tels que les copper pillars en microélectronique, ou des électrodes Si utilisées comme anode dans des batteries Li-ion. Le sujet de post-doc sera centré sur l’analyse de données. Une phase de simulation pourra être envisagée afin d’implémenter et de tester des approches existantes en fusion de données 3D. Ces approches devront être améliorées et adaptées. Il s’agira ensuite de participer aux campagnes de mesure, et de traiter les jeux de données avec les approches précédemment validées. Dans un contexte très pragmatique, un certain goût pour les mathématiques appliquées et la programmation sont indispensables pour appréhender des algorithmes de fusion/reconstruction avec des approches d’abord basiques puis de plus en plus avancées (contraintes, régularisation, supériorisation, fusion Bayesienne,etc). Un docteur (éventuellement ingénieur) physicien étant très à l’aise avec l’informatique (Python, Matlab, C) et le traitement d’image est recherché, ou alors un docteur en mathématiques/informatique intéressé par les applications, dans les 2 cas avec une expérience en caractérisation. Il faudra faire l’interface dans une équipe transverse et donc avoir une certaine ouverture d’esprit et une bonne capacité d’écoute. De bonnes capacités rédactionnelles et orales sont requises (anglais français) pour valoriser les résultats (articles, conférences, brevet, séminaire internes).
Utilisation des codes correcteurs pour la synthèse fiable des circuits combinatoires à partir de composants non-fiables
L’intégration des circuits nanométriques à partir de composants non-fiables a émergé comme l’un des défis majeurs pour la conception des futurs circuits électroniques. En effet, en raison d’une forte augmentation de la densité d’intégration, des tensions d’alimentation de plus en plus faibles et des variations dans le processus technologique, les dispositifs nanoélectroniques émergents seront intrinsèquement non-fiables. Pour que l’intégration à échelle nanométrique soit économiquement viable, de nouvelles solutions de tolérance aux fautes doivent être inventées pour le traitement et le stockage des données numériques.
Ce projet postdoctoral vise à développer des solutions innovantes de tolérance aux fautes, aussi bien au niveau circuit qu’au niveau système, qui sont fondamentalement basées sur des modèles mathématiques et algorithmiques de la théorie de l’information. Les solutions recherchées s’appuieront notamment sur l’utilisation de codes correcteurs d’erreurs spécifiques, capables de fournir une protection fiable contre les erreurs même lorsqu’ils opèrent sur du matériel non-fiable. Le but est d’élaborer les bases scientifiques et de fournir une première preuve du concept, condition essentielle pour aboutir à un changement de paradigme dans la conception des futurs circuits nanométriques.
Développement d’une plateforme logicielle pour la simulation de systèmes énergétiques
L’évolution des réseaux d’énergie vers les « smart-grid », avec notamment une forte pénétration de production de sources renouvelables, ainsi que le déploiement de systèmes de stockage, entraine une augmentation de la complexité de leur conception et de leur optimisation nécessitant de nouveaux outils de modélisation et de simulation. En particulier, ces outils devront être en mesure de considérer diverses sources d’énergie, divers vecteurs énergétiques et diverses technologies de conversion énergétique. De plus, ils devront également répondre à un besoin de simulation pour le dimensionnement optimal de systèmes énergétiques, et la conception de lois de gestion pour leur opération.
En effet, les outils de modélisation et de simulation disponibles aujourd’hui ne répondent que partiellement à cette problématique ; c’est pourquoi l’objectif du projet est de développer une plateforme de simulation, qui réponde aux besoins cités précédemment (multi-sources, multi-énergies, multi-technologies). Cette plateforme sera architecturée de façon à favoriser son ouverture et maximiser ses capacités à être transférée vers des acteurs industriels.
La problématique de réseaux multi-énergies devra pouvoir être prise en compte et la possibilité laissée à l’utilisateur d’intégrer ses propres modèles ou lois de gestion sera considérée.
Le projet se focalise sur l’architecture de la plateforme et sur la modélisation de cette architecture. Un outil logiciel de simulation sera développé à partir de l’architecture proposée. L’objectif de ce développement n’est pas de couvrir l’ensemble des applications que doit couvrir la plateforme, mais plutôt de valider la cohérence du modèle de l’architecture à travers une application ciblée.
Accélération GPU d’un code de transport déterministe DSN 3D en neutronique.
Dans le cadre des Programmes Transversaux de Compétences (PTC), les équipes du DES/ISAS/DM2S et celles du CEA-DIF montent une collaboration sur le portage GPU de leurs codes de transport déterministe en neutronique.
D’un côté, les équipe du DES/ISAS/DM2S sont en charge du développement et de la prospective sur les codes de calcul de neutronique déterministe pour la physique des réacteurs, en particulier le code APOLLO3®. De l’autre, le laboratoire de neutronique du CEA-DIF est impliqué dans le développement des codes de neutronique déterministe utilisés dans le cadre du programme Simulation.
Les deux unités cherchent aujourd’hui à préparer l’arrivée d’une nouvelle génération de supercalculateurs massivement dotés en GPU. Elles entament simultanément des études de faisabilité et de prospective sur cette thématique. Parce que les problématiques à étudier, la démarche mise en œuvre et les conclusions qui en seront tirées peuvent largement être mutualisées, il a été identifié un fort intérêt pour créer des synergies entre les deux unités. Ces synergies passent par la mise en place d’échanges réguliers et ont abouti à l’ouverture d’un poste de post-doctorat commun. Ce poste sera accueilli par les équipes du SERMA au CEA Saclay, mais constituera l’interface privilégiée entre les deux unités.
Le sujet de post-doctorat a pour objectif d’étudier le portage d’un code-jouet de neutronique déterministe DSN3D sur GPU.
Il s’appuie sur les expériences de portage déjà réalisées dans les deux unités d’accueil sur la base d’approches complémentaires : une approche haut-niveau est choisie côté DES au travers de la plate-forme Kokkos, tandis qu’une approche bas-niveau en langage Cuda est retenue côté CEA-DIF.
Méthodes robustes de pilotage indirect du chargement pour la simulation de structures en béton armé
Les algorithmes de pilotage indirect (« path-following ») sont généralement employées pour décrire des réponses structurales instables caractérisées par des « snap-backs » et/ou des « snap-troughs ». Dans ces formulations, l’évolution des actions extérieures (efforts/déplacements) est calculée pendant la simulation pour satisfaire un critère de pilotage donné. Adapter le chargement externe pendant le calcul est utile pour obtenir la solution du problème, mais également pour réduire le nombre d’itérations à convergence. Ce second aspect est d’une importance primordiale, notamment pour les calculs à grande échelle (c.-à-d., à l’échelle de la structure). Différentes formulations « path-following » ont été proposées dans la littérature. Malheureusement, un critère objectif pour choisir une formulation plutôt qu’une autre pour la simulation de la réponse de structures en béton armé (BA) (en présence de mécanismes dissipatifs différents et complexes) n’est pas encore disponible. Le travail proposé portera sur la formulation d’algorithmes de pilotage indirect du chargement adaptés pour simuler des structures BA.
Etude du couplage neutronique-thermohydraulique dans les coeurs RNR-Na hétérogènes
Dans le cadre du développement du prototype ASTRID (Advanced Sodium Test Reactor for Industrial Demonstration) un processus de mise à jour des méthodes de calcul du cœur est initié. Ces méthodes bénéficieront du développement des calculs à hautes performances ainsi que des capacités de couplage avancé des codes de nouvelle génération. L’objectif est d’intégrer ces méthodes dans les démonstrations de sûreté à venir avec en particulier les méthodes couplées neutronique, thermo-hydraulique et physique du combustible.
Parmi ces méthodes, les couplages neutronique/thermo-hydrauliques diphasiques sont envisagés en particulier pour les études de sûreté de type :
• Perte de réfrigérant (Loss Of Flow transients)
• Passage d’incondensables gazeux
Ces couplages sont particulièrement pertinents pour l’analyse de réacteurs hétérogènes (exemple du réacteur CFV) dont la démonstration de sûreté repose en partie sur un calcul fidèle des fuites neutroniques.
Développement de méthodes Monte-Carlo pour la simulation du transfert radiatif : application aux accidents graves
Ce sujet de post-doctorat porte sur le développement de méthodes Monte-Carlo par lancer de rayons pour la modélisation du transfert de chaleur par rayonnement dans le cadre des accidents graves. En partant d’un cadre logiciel abouti pour la simulation Monte-Carlo du transport de particules dans le contexte de la physique des réacteurs et la radioprotection, on cherchera à adapter les méthodes existantes à la problématique du transfert radiatif, dans un cadre de calcul haute performance. Pour ce faire, on développera une hiérarchie d’approximations associées au transfert radiatif de chaleur qui ont pour vocation de permettre la validation de modèles simplifiés mis en œuvre dans le cadre de la simulation numérique des accidents graves des réacteurs nucléaires. Orienté sur l’algorithmique et la performance de simulation, ce travail se veut une « preuve de principe » de la possible mutualisation logicielle autour de la méthode Monte-Carlo pour le transport de particules d’une part et le transfert de chaleur par rayonnement d’autre part.