Stage M1 ou M2 pour implémentation en Julia d’un simulateur de réseaux booléens
Stage · Stage M1 · 5 mois Bac+4 LaBRI UMR CNRS · Bordeaux (France)
Mots-Clés
programmation logique simulation
Description
Un réseau booléen est constitué d’un ensemble de variables binaires, et associe à chacune d’elle une règle logique pour calculer sa valeur en fonction des autres variables. La simulation d’un réseau booléen revient à faire un choix (guidé par une distribution de probabilité) pour décider des variables à mettre à jour au fur et à mesure. Plusieurs simulations du même réseau depuis la même configuration initiale donneront potentiellement des comportements très différents.
Très récemment, nous avons mis au point de nouveaux algorithmes pour la simulation des réseaux booléens apportant des garanties formelles pour le raisonnement abstrait sur des systèmes quantitatifs. Ces algorithmes reposent sur des manipulations des règles logiques, de construction d’espaces booléens, et de tirages aléatoires selon différentes distributions de probabilité.
L’objectif de ce stage est d’implémenter de manière efficace ces algorithmes avec le langage Julia et d’évaluer la performance du simulateur selon différents paramétrages.
Plus d'informations sur https://loicpauleve.name/md/s/sujet-stage-simulation-MPBN
Candidature
Procédure : Envoyer CV, cours suivis et derniers relevés de notes par e-mail.
Date limite : None
Contacts
Loïc Paulevé
loNOSPAMic.pauleve@labri.fr
Offre publiée le 29 octobre 2021, affichage jusqu'au 1 mai 2022