Robustesse numérique et vérification d'un modèle de Gamow intégrant un écran adaptatif

Résumé fourni par la source

Ce manuscrit présente une version enrichie de l'étude du facteur de Gamow pour les réactions D-D et p-D à basse énergie. Nous introduisons un modèle phénoménologique d'écran électronique adaptatif, fondé sur une dépendance locale à la densité de charge. Afin d'encadrer les non-linéarités associées, l'analyse physique est complétée par une vérification statique fondée sur des contrats ACSL analysés avec Frama-C. L'étude de sensibilité montre que le rapport G_avec/G_sans demeure l'observable la plus stable dans la plage de paramètres explorée.