Contexte Industriel :EDF met en œuvre dans ses installations de production d’énergie des Systèmes Numériques de Contrôle-Commande (SNCC), dont on veut assurer le temps de réponse. L’évaluation de ce paramètre est réalisée par une modélisation en Réseaux de Petri Colorés Temporisés (RPCT), et leurs descriptions dans l’algèbre tropicale. Le but de ce stage est l’implémentation d’un prototype logicie ...Afficher plus
ContexteAu sein d’EDF R&D, le département Mécanique des Fluides Energie et Environnement développe des outils de calcul scientifique exploités par les centres d’ingénierie d’EDF dans le cadre de la démonstration de sureté des réacteurs à eau pressurisée (REP) du parc nucléaire français. Parmi ces outils, THYC est le logiciel de référence d’EDF pour la simulation 3D des écoulements monophasiques et ...Afficher plus