Le LMI (Laboratoire de Mathématiques de l'INSA Rouen Normandie, UR 3226 - FR CNRS 3335) existe depuis le 1^er janvier 2000, initialement en tant qu'Equipe d'Accueil (EA 3226). Les thématiques majeures du laboratoire se situent sur les quatre axes suivants : Analyse et Homogénéisation d’équations non-linéaires avec termes non-locaux / Modélisation et simulation numérique, analyse numérique / Traitement d’images, approximation de données / Théorie du contrôle et Contrôle optimal. Les chercheurs du LMI appliquent leurs résultats dans de nombreux domaines comme l'énergie, l'imagerie géophysique, l'imagerie médicale, la mobilité, la logistique, le trafic routier, la physique, la pollution de l’air...

Une de ses caractéristiques majeure est son adossement au Département Génie Mathématique de l'INSA Rouen Normandie, qui diplôme 50 ingénieurs environ chaque année. Le Master recherche Mathématiques Fondamendales et Appliquées est également co-habilité (INSA Rouen/Université de Rouen), et les membres du LMI y interviennent (niveau M2). Le LMI  fait également partie de la Fédération de Recherche FR CNRS 3335 Normandie Mathématiques (>>>). Le LMI appartient à l'Ecole Doctorale MIIS. Le LMI dispose d'un Conseil de Laboratoire. <Flyer in english>

• Les actualités des maths à l'INSA  >>>
• Mars 2025 : Poste MCF CNU 26 (Mathématiques du traitement d’images, analyse mathématique, analyse numérique).
  
• Prochaine réunion LMI : Mardi 17 décembre, 11h30, suivie du repas de fin d'année.
• 8èmes journées MNSN, le jeudi 5 décembre 2024 14h15 à l'INSA Rouen >>>
• Soutenance de thèse d'Augustin Leclerc le mercredi 27 novembre à 14h30 dans l’amphithéâtre Haigneré (salle DU B RJ 06) de l’INSA Rouen Normandie. Cette thèse a été réalisée dans les laboratoires LMI (INSA Rouen) et l'EPI Makutu (INRIA Bordeaux Sud Ouest - Pau), et a été financée par la Région Normandie. Elle s’intitule : Calculs de modes électromagnétiques guidés dans des guides d'ondes torsadés et ouverts.
  La soutenance aura lieu devant le jury composé de :
  Mme Hélène BARUCQ, Directrice de recherche, Inria Bordeaux Sud Ouest - Pau, Directrice de thèse,
  Mme Anne-Sophie BONNET-BEN DHIA, Directrice de recherche, CNRS et ENSTA Paris, Rapporteure,
  M. Marc DURUFLÉ, Maître de conférences, Université de Bordeaux, Examinateur,
  M. Christian GOUT, Professeur des Universités, INSA Rouen, Directeur de thèse,
  M. Olivier LAFITTE, Professeur des Universités, Université Sorbonne Paris Nord, Rapporteur,
  Mme Carole LE GUYADER, Professeure des Universités, INSA Rouen, Examinatrice,
  Mme Isabelle TERRASSE, Docteure, Airbus Central Research & Technology, Examinatrice,
  M. Antoine TONNOIR, Maître de conférences, INSA Rouen, Encadrant scientifique.
• Réunion LMI le jeudi 19 septembre, 15h
• Soutenancd de thèse : Wei LU, le mardi 9 juillet à 14h00, dans la salle BO A RC 02 à l'INSA Rouen Normandie. 
• 18 avril 2024 :Le projet Scale Op (Innovation et Recherche) a été officiellement validé. Financement par BPI France, Région Normandie et Europe. Les partenaires sont Siemens Gamesa Renewable Energy, Innosea, GD Tech et l'INSA Rouen (via le Coria et le LMI). Projet sur 48 mois (2024-2028) >>>>.
• Allocation de thèse Etablissement (2024) validée pour B. Portier.
• Soutenance de thèse le Lundi 25 mars 14h15 par Théau COUSIN, Amphi Curie,
  

  Modélisation et simulation numérique du problème inverse en tomographie électromagnétique.

  La soutenance aura lieu devant le jury composé de :

  Mme Marion Darbas, Professeure des Universités, Université Paris 13, Rapporteure ;

  M. Hervé Dumont, Ingénieur, Eiffage, Examinateur ;

  M. Cyrille Fauchard, Directeur de recherche, Cerema, Directeur de thèse ;

  Mme Sonia Fliss, Professeure des Universités, ENSTA, Examinatrice ;

  M. Christian Gout, Professeur des Universités, INSA Rouen, Directeur de thèse ;

  Mme Donatienne Leparoux, Directrice de recherche, Université Gustave Eiffel, Rapporteure ;

  M. Mohammed Serhir, Professeur, Centrale Supélec, Examinateur ;

  M. Antoine Tonnoir, Maître de conférence, INSA Rouen, Encadrant scientifique ;
  M. Brice Delaporte, Routes de France, membre invité.

• Le LMI vous souhaite de Joyeuses Fêtes de fin d'année!....
• Réunion du LMI le 20/12/2023 -  14h - Salle 201.
• Soutenance de la thèse de doctorat de C. Tain le 21/12/2023, 14h amphi Curie.
• Jeudi 16 Novembre : 7ème Journée Modélisation et Simulation Numérique >>>
• Jeudi 12 Octobre : Journée CEREMA (ENDSUM) - INSA (LMI) : Méthodes d’état adjoint et applications en inversion et optimisation >>>
• Soutenance de thèse d'Etienne de Gastines -  lundi 9 octobre à 13h à l'INSA Rouen Normandie
  Modélisation, approche polyédrale et approche arborescente pour des problèmes de comparaison de graphes,
  devant le jury composé de:
  M. Didi Biha Mohamed – Professeur des Universités – Université de Caen Normandie  
  M. Knippel Arnaud – Maître de Conférence – Institut national des sciences appliquées de Rouen  
  Mme Labbé Martine – Professeur des Universités émérite – Université Libre de Bruxelles
  M. Mahjoub Ali Ridha – Professeur des Universités émérite – Université Paris Dauphine  
  M. Picouleau Christophe – Professeur des Universités – CNAM, Paris  
  M. Portier Bruno – Professeur des Universités – Institut national des sciences appliquées de Rouen  
  MME Solnon Christine – Professeur des Universités – Institut national des sciences appliquées de Lyon  
  M. T'Kindt Vincent – Professeur des Universités – Université de Tours 
• Septembre 2023 : Offre de thèse au LMI/PhD grant, Projet ANR COSS - Trafic flow analysis and modelling >>>
• 10 juillet 2023 : clôture du projet Wake Op (Siemens Gamesa, CORIA, LMI, Région Normandie et UE)
• Juin 2023 : (appel clos/closed call) : Offre de thèse au LMI / PhD Grant at LMI - ANR Mediseg >>>
• AG/Réunion du LMI : 14 avril 2023
• Projet ANR COSS >>>
• 2023 : Deux postes MCF au LMI (session synchronisée)
• Vidéo table ronde AMIES "Energie" du Forum Emploi-Math 2022 >>>
• 2èmes Rencontres Ondes et Applications, le mercredi 29 juin 2023, Pau
• Soutenance de thèse de Zoé Lambert, le 9 décembre à 14h à l'INSA Rouen, devant le jury constitué de:
      M. Jean-François Aujol, Professeur des Universités, Université de Bordeaux - Rapporteur
      M. Olivier Bernard, Professeur des Universités, INSA Lyon - Rapporteur
      Mme Noémie Debroux, Maître de Conférences, Université de Clermont Auvergne - Examinatrice
      M. Vincent Duval, Chargé de Recherche, INRIA Paris - Examinateur
      M. Gilles Gasso, Professeur des Universités, INSA Rouen - Examinateur
      M. Fabien Pierre, Maître de Conférences, Université de Lorraine - Examinateur
      Mme Carole Le Guyader, Professeure des Universités, INSA Rouen - Directrice de thèse
      Mme Caroline Petitjean, Professeure des Universités, Université de Rouen - Directrice de thèse
• 6èmes Journées  rouennaises MNSN" :  Modélisation Mathématique et Simulation Numérique le jeudi 17 novembre 14h à l'INSA Rouen >>>>
  

• 	Les mathématiques : un impact majeur Une étude consacrée à l’impact économique des mathématiques en France confirme leur forte contribution à l’économie nationale, en hausse depuis 2015 et met en avant le rôle qu’elles ont à jouer dans la souveraineté économique du pays (>>> lien CNRS et  >>> site des assises)
  	<PDF> Etude de l'impact économique des mathématiques en France

• Recrutement d'un postdoc dans le cadre du projet Supramag - Durée 9 mois à partir de décembre 2022 <français - english>
• Forum EMPLOI-MATH 2022 - Paris La Villette >>>
• Rim Fayad et Zoé Lambert recrutées sur le projet DEPHY3GEO (12 mois, postdocs).
• Hasnaa ZIDANI recrutée au LMI (PR).
• Réunion Labo + repas pizzas summer 2022  : 11 juillet 2022
  
• Recrutement postdoc CEREMA/LMI, 12 mois à partir du 1er octobre 2022 - (français - english)
  
• Workshop Nonlinear waves and networks, Rouen, 4 et 5 juillet 2022 (+ d'infos >>>)
• Rencontres Ondes et Applications - Projet SMAI - BOUM, le mercredi 29 juin 2022, INSA Rouen
• Le LMI est partie prenante dans l'organisation du CANUM 2022 à Evian du  13 au 17 juin 2022.
• Workshop au LMI sur le thème de la théorie du contrôle optimal du 22 au 24 juin 2022 >>>.
• Soutenance de thèse : T. Schmoderer, 21 juin 2022 à 9h45, Study of control systems under quadratic nonholonomic constraints. Motion planning, introduction to the regularised continuation method.
• 2022 - session synchronisée : Poste de professeur section CNU 26 au LMI >>>
• Mars 2022 : lancement du projet ANR MEDISEG (2022-2025), avec le LITIS, IMVia et le LMI (+ d'infos >>>)
  
• La réunion de lancement du projet DEPHY3GEO (2022-2025) a eu lien en mars 2022. Ce projet est en lien avec le CEREMA, les laboratoires LETG et M2C, ainsi que le LMI (+ d'infos >>>)
  
• Plan de relance de l'Etat français / ANR /  Préservation de l'emploi R&D : projet du LMI avec Siemens Gamesa Renewable Energy et le CORIA  2022-2024 (+ d'infos >>>)
• 1st Announcement : Conf. Nonlinear waves and networks, Rouen, 4 et 5 juillet 2022 (+ d'infos >>>)
  
• Projet DSG 2021/2022 : le projet MNSN porté par le LMI retenu. Budget de 257 000 € + d'infos
• Journée Thématique "Modélisation Mathématique et Simulation Numérique pour le développement durable et l’environnement", jeudi 20 janvier 2022, LMI-INSA Rouen.
  Avec R. Antoine, A.C. Bennis et I. Ekeland. Contact : I. Ciotir
  
• Journée thématique "Intelligence Artificielle: Applications et Défis Mathématiques", 30 septembre 2021. Pour plus d'informations, cliquer ici.
• Ioana Ciotir invitée au laboratoire de mathématiques de Tohoku University (Japon).
  
• Graduate school MinMacs : Averil Prost et Guillaume Auger (Master MFA2 & GM) ont obtenu une bourse de la GS pour l'année 2021/22.
• Sep. 2021 : Le projet ANR MEDISEG retenu (responsable INSA : C. Le Guyader).

• Le LMI est membre du GDR CNRS 2286 Mathématiques de l'Imagerie et de ses Applications (correspondante : C. Le Guyader).

• Repas du labo : 5 juillet 2021
• Une allocation de thèse Région Normandie 2021 et une allocation établissement au LMI (2021/24)
• I. Bouzarkouna a soutenu sa thèse le 2 juillet 2021 (au CESI, Rouen).
• La Chaire d'Excellence "Contrôle OPTImal pour la modélisation mathématique et simulation numérique
  appliquées à l’environnement, le transport et le traitement d’images" [COPTI] - Hasnaa ZIDANI portée par l'INSA Rouen Normandie pour le LMI a été retenue par la Région Normandie. Démarrage début 2021.
  
• Validation par l'ANRT d'une thèse CIFRE INSA LMI et CEREMA avec Routes de France (C. Gout, A. Tonnoir, C. Fauchard). Le doctorant est Théau Cousin.
  

• Suite aux élections de janvier 2021, voici la composition du Conseil de Laboratoire :

  I. Ciotir (collège B)	B. Diarra (collège C)	R. El Assoudi (collège B)
  N. Forcadel (collège A)	A. Hamdi (collège B)	Z. Lambert (collège D)
  C. Le Guyader (collège A)	W. Respondek (collège A)	T. Schmoderer (collège D)
  	A. Tonnoir (collège B)

• Rim Fayad a soutenu sa thèse de doctorat le mardi 12 janvier 2021 à 14h devant le jury composé de:
  -M. Pierre Cardaliaguet Professeur, Université de Paris Dauphine - Examinateur.
  -Mme Ioana CIOTIR, Maître de conférence, INSA de Rouen -  Co-encadrante de thèse.
  -M. Ahmad EL HAJJ Professeur, Université de technologie de Compiègne - Examinateur.
  -M. Nicolas FORCADEL, Professeur, INSA de Rouen - Directeur de thèse.
  -M. Hassan IBRAHIM Professeur, Université Libanaise - Codirecteur de thèse.
  
  -Mme Adina Raela, Maître de conférence, Université Denis Diderot - Examinateur.
  -M. Antonio SICONOLFI,  Professeur,  Università di Roma, La Sapenza - Rapporteur.
  -Mme Nicoletta TCHOU, Maître de conférence, Université de Rennes 1 - Rapporteur.

 Prochaines soutenance de thèse (2025) : INSA Rouen Normandie [LMI]

• P. Visconti...

Dernières soutenance de thèse :

• Augustin Leclerc (27/11/2024)
• Guzel Khayretdinova (2024)
• Wei Lu (2024)
• Théau Cousin (25/03/2024)
• Cyril Tain (21/12/2023)
• Etienne Mace de Gastines (09/10/2023)
• Zoé Lambert (09/12/2022)
• Thimothé Schmoderer (21/06/2022)
• Edouard Zibo (2021)
• Imen Bouzarkouna (2021)
• Rim Fayad (2021)
• Marcin Nowicki (2020)
• Martin Pierre Schmidt (2020)
• Aurelien Citrain (2019)

L’INSA Rouen Normandie est un établissement public à caractère scientifique, culturel et professionnel (EPSCP) qui dépend du Ministère de l’Enseignement supérieur et de la Recherche scientifique.

L'INSA de Rouen a pour missions : la formation initiale et continue d'ingénieurs, la recherche d'excellence et la diffusion de la culture scientifique.

Le LMI est un laboratoire de recherche reconnu par le Ministère de l’Enseignement Supérieur, de la Recherche et de l’Innovation, placé sous la tutelle de l’INSA, ayant pour mission la création, diffusion et transfert de connaissances en mathématiques appliquées. Il est membre de l’école doctorale MIIS et de la fédération CNRS de recherche Normandie Mathématiques.

Le département Génie Mathématique est une structure interne à l’INSA ayant pour mission la formation initiale et continue d’ingénieur.e.s généralistes dans le domaine des mathématiques appliquées et de l’informatique logicielle. Après un tronc commun de deux ans en mathématiques appliquées et en informatique, le département GM propose à ses élèves de 5ème année trois parcours : IA et aide à la décision, Méthodes mathématiques pour la science des données, Modélisation et simulation numérique.

Un poste MCF est publié au concours de recrutement 2025 au LMI-UR3226, INSA ROUEN. Le profil est précisé ci-dessous.
Vous pouvez contacter:  ("Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.")

• Pr. Nicolas Forcadel (Dir du LMI)
• Pr. Carole Le Guyader et Christian Gout (Equipe Analyse Numérique, Imagerie et Approximation).

Mots clefs pour publication sur GALAXIE :

Mathématiques du traitement d’images, analyse mathématique, analyse numérique.

PROFIL RECHERCHE :

La personne recrutée s’intégrera dans l’équipe "Modélisation, simulations numériques - imagerie et applications" du laboratoire de mathématique de l’INSA Rouen Normandie. Elle devra développer ses recherches en collaboration avec les membres de l’équipe dans une des thématiques présentes : méthodes variationnelles, deep learning et optimisation pour le traitement d'images (en particulier autour de l'hybridation de méthodes classiques et de méthodes orientées deep-learning, ou des liens étroits entre optimisation moderne et traitement des signaux), EDP (analyse et contrôle), calcul scientifique ou analyse numérique.

Les candidatures témoignant d’une sensibilité pour les collaborations hors du monde académique (entreprises, associations, industrie, …) seront appréciées. Il est attendu en particulier que la personne recrutée consolide et développe la recherche partenariale du laboratoire, favorise la pérennisation et la création de collaborations avec le CEREMA et les autres laboratoires de la fédération Normandie Mathématiques ou assure le renforcement des liens avec la MNSN et le DataLab Normandie.

Le laboratoire cherche à recruter un jeune chercheur ou une jeune chercheuse de premier plan. L'excellence scientifique du dossier, l’adéquation avec les axes de recherche du laboratoire, la clarté et la pertinence du projet de recherche constitueront les critères de sélection principaux.

PROFIL ENSEIGNEMENT :

La personne recrutée interviendra principalement au sein du département Génie Mathématique dans les cours de traitement du signal (méthodes déterministes et probabilistes) en 3ème et 4ème année. La personne recrutée assurera également des enseignements dans le Département STPI (premier cycle) et pourra aussi intervenir dans d’autres enseignements dans l’école.

Il est attendu de la personne recrutée une implication forte dans des responsabilités collectives au sein du département dans le suivi de stages et des différents projets pédagogiques proposés, les contrats de professionnalisation, ainsi que dans la vie de l’établissement (journées portes ouvertes, promotion des formations de l'école, jurys de recrutements, journée des métiers...). Enfin, la capacité à s’investir dans les activités liées au développement durable et à la responsabilité sociétale, ainsi que les innovations pédagogiques, sera particulièrement appréciée.

ANNONCE CLOSE (nov. 2021)

La Société Siemens Gamesa Renewable Energy (SGRE) collabore depuis 2015 avec le CORIA et depuis 2019 avec le LMI. Dans le cadre du projet INWIT et WAKE OP, de nouvelles méthodes numériques extrêmement efficaces et sans équivalent au niveau mondial ont été développées mais également confrontées avec succès à la base de données la plus riche du monde. Cependant ces méthodes sont réservées à des utilisateurs experts et demandent des temps de calculs non compatibles avec les boucles d’optimisation des nouveaux produits Siemens Gamesa. L’objectif du projet ici proposé sera donc de

• Transférer les savoir-faire spécifiques pour l’utilisation adéquate de ces nouvelles méthodes vers l’industriel
• Accélérer le temps de retour des méthodes avancées via des méthodes de l’intelligence artificielle pour les rendre utilisable dans les boucles de conception
• Renforcer les liens entre académiques et industriels en permettant à des personnels CORIA et LMI d’être confrontés aux problématiques de conception des plus grandes éoliennes au monde.

La finalité du projet est très ambitieuse et vise à remplacer des outils de conception utilisés dans l’éolien depuis 20 ans par des méthodes radicalement nouvelles développées en France et en Normandie avec un accès mondial très large pour application dans les centres de recherche de Siemens Gamesa en France mais aussi au Danemark, aux Etats Unis et en Inde.

Thématiques :    Modélisation mathématique et simulation numérique pour l’énergie éolienne.  étude des charges aéroélastique via des couplages forts, mécanique des fluides, étude des écoulements turbulents, étude des sillages,  approximation des champs de vent et de l’environnement offshore, intelligence artificielle

SIEMENS-GAMESA (localisé à St Etienne du Rouvray, dans les locaux de l'INSA Rouen) et LMI: contrat de 23 mois à partir de ~janvier 2022

ATTENTION : pour candidater, il est obligatoire d'avoir été diplômé en 2020 ou 2021 (contacter Christian Gout si intéressé)

Ingénieur de Recherche (LMI - Siemens Gamesa, durée du contrat 23 mois) : lla personne recrutée travaillera sur la modélisation et la simulation des champs de vent : Divers travaux ont été présentés/publiés par les participants académiques à ce projet en lien avec SGRE, notamment lors de journées SMAI, à la conférence international Curves and Surfaces en 2018, ou encore l’article [1]^[1]. Dans le cadre du sujet, l’expertise du laboratoire est très forte, on peut notamment citer les travaux [2, 3, 4]^[2].  L'un des principaux défis de la conception d'éoliennes réside dans la modélisation fine du champ de vitesses du vent et dans l'utilisation de ces modèles pour simuler la réponse mécanique d'une éolienne face à diverses conditions atmosphériques (turbulence, rafales). L'ajustement des paramètres de la turbine en fonction de ces conditions (pas de pale, vitesse de rotation, ajouts actifs) réduit les charges mécaniques, ce qui augmente la production d'électricité et permet des conceptions de turbines plus grandes à coûts réduits par MWh produit.  Les approches existantes de ce problème sont fondées sur des méthodes d'interpolation (Simple Krigeage). Ces méthodes sont conçues à partir d'hypothèses (mesures ponctuelles, cohérence spatiale connue) qui ne sont pas satisfaites sur le terrain et introduisent donc des biais/erreurs limitant la qualité de la reconstruction.  L'objectif de ce projet est d'utiliser des méthodes d'optimisation convexe (éventuellement non lisse) pour la reconstruction du champ de vitesses du vent au lieu de l'interpolation en minimisant une fonction coût (une fonction d'erreur) sur une partie du domaine où le champ de vent est reconstruit. Les données d'entrée de la fonction coût sont des données de mesure, une représentation du champ de vitesse (par exemple, spectralement ou dans une base éléments finis) avec des coefficients/paramètres inconnus, et potentiellement des mesures et des vitesses reconstruites à partir de pas de temps précédents (fondées sur un modèle de transport). Si elles sont construites correctement, les fonctions coût sont convexes et peuvent donc être traitées numériquement de manière efficace en utilisant des méthodes d'optimisation convexe (techniques de splitting). De plus, ces fonctions coût peuvent être adaptées pour contenir des contraintes supplémentaires (incompressibilité du champ d'écoulement, mesures volumétriques avec fonctions de pondération spatiale) nécessaires pour mieux approximer le champ d'écoulement et le processus de mesure.

De plus, une optimisation numérique approfondie de cette méthode est requise, en utilisant autant que possible des expressions sous forme fermée et en utilisant des librairies de calcul optimisées.

L'encadrement sera assuré par Siemens Gamesa et par le LMI (C. Le Guyader, A. Tonnoir, C. Gout notamment...).

[1] : N. Warncke, I. Ciotir, A. Tonnoir, C. Gout and Z. Lambert, Analytical approach to Galerkin BEMs on polyhedral surfaces, SMAI J. of Computational Mathematics, Volume S5, p. 27-46, 2019.

[2] : C. Le Guyader, D. Apprato, C. Gout, Spline approximation of gradient fields: applications to wind velocity fields, accepté pour publication dans  Mathematics and Computers in Simulation 97: 260-279, 2014.

[3] : C. Le Guyader, C. Gout, A.S. Macé, D. Apprato. Gradient fields approximation: application to registration processes in image processing, J. of Comp. and Applied Math. 240 , pp. 135-147, 2013.

[4] : C. Gout, Z. Lambert and D. Apprato, Data approximation : mathematical modelling and numerical simulations, 166 p., ISBN 9978-2-7598-2367-3, EDP Sciences, 2019.

En mars 2017 et conformément aux statuts du LMI, est mis en place un conseil de laboratoire est mis en place pour une durée de 5 ans, qui recouvre notamment la période du plan quinquennal 2017-2021.

Ce conseil de laboratoire, dont le rôle est consultatif,  focalisera par exemple sur les points suivants :

• Projets de recherche (Région Normandie RIN, Feder, H2020, ANR…): aide à la rédaction et regard sur le montage financier,
• Normandie Valorisation,
• Les moyens financiers à demander par l'unité et la répartition de ceux qui lui sont alloués,
• La politique des contrats de recherche,
• La politique de transfert de technologie et la diffusion de l'information scientifique,
• La gestion des ressources humaines,
• La politique de formation par la recherche,
• PIA3 (E.U.R. MinMacs en 2017/18)...
• Recrutement des postdocs, doctorants en liens avec les directeurs de thèse,
• Suivi des doctorants en liens avec les directeurs de thèse,
• toutes  mesures  relatives  à  l'organisation  et  au  fonctionnement  de  l'unité  et  susceptibles d'avoir une incidence sur la situation ou les conditions de travail du personnel,

et toute question sur laquelle le directeur du laboratoire souhaite le consulter. Les travail préparatoire du conseil de laboratoire sera régulièrement présentés en réunion (AG) du LMI.

Des réunions de laboratoire (AG) seront régulièrement organisées sur les sujet généraux : classements des mois invités, allocations de thèse, politique RH, appels d'offres (FR CNRS...)...

Responsables des equipes : C. Le Guyader et W. Respondek
Correspondante INSA EuroMed : R. El Assoudi
Responsable des séminaires : M. Kazakova
Correspondant AMIES : C. Gout
Correspondant MNSN-DataLab : C. Gout
Contacts Master MFA co habilité INSA-URN : W. Respondek et N. Forcadel
Médiatrice Ecole Doctorale : R. El Assoudi
Elu(s) conseil de la FR CNRS 3335 : W. Respondek et R. El Assoudi
Correspondante Développement Durable : I. Ciotir
Correspondante SMAI : I. Ciotir
Correspondante MATHRICE : I. Ciotir
Correspondante CIMPA : S. Fourati
ReprésentantE.U.R. du PIA3 :  N. Forcadel
Correspondant Logistique Région Normandie : A. Knippel
Propriété intellectuelle : E. Gourichon (DRV)
Suivi projets régionaux/Feder : V. Arnoux, E. Deilhou, C. Vandepitte (DRV)

Composition actuelle du Conseil de Laboratoire (2021-2025) :

Historique du LMI - EA 3226 - FR CNRS 3335

Le LMI (Laboratoire de Mathématiques de l'INSA Rouen Normandie, EA 3226 - FR CNRS 3335) existe depuis le 1^er janvier 2000. Une de ses caractéristiques majeure est son adossement au Département Génie Mathématique de l'INSA Rouen Normandie, qui diplôme 50 ingénieurs environ chaque année créé à l'initiative d'Erik Lenglart au début des années 1990. Le Master recherche Mathématiques Fondamendales et Appliquées est également co-habilité (INSA Rouen/Université de Rouen), et les membres du LMI y interviennent (en 2ème année). Le LMI  fait également partie de la Fédération de Recherche FR CNRS 3335 Normandie Mathématiques (>>>). Le LMI émarge à l'Ecole Doctorale MIIS.

Composition du Conseil de Laboratoire de Novembre 2017 à janvier 2021 :

Conseil de Laboratoire jusqu'à novembre 2017:

En Mars 2017, le réseau MODELISATION-SIMULATION-OPTIMISATION (MSO)
du Labex AMIES était présent au Palais des congrès de Paris pour RUE 2017.

C. Gout (LMI, correspondant MSO pour le Maison Normande des Sciences du Numérique
pour la FR CNRS 3335 Normandie Mathématiques) y représentait la Normandie.

La plaquette de la MNSN >>>

Ci dessous le stand MSO du labe AMIES

Titre 1 Composition du laboratoire

Article 1

Le laboratoire dénommé Laboratoire de Mathématiques de l’INSA de Rouen (LMI-EA3226 - FR CNRS 3335) est une composante de l’Institut national des sciences appliquées de Rouen (ci-après INSA de Rouen)  au sens de l’article L 713-1 du Code de l’Education et des statuts de l’INSA de Rouen selon lesquels «les laboratoires [sont les] structures de base de l'activité de recherche.

Son activité s’exerce en mathématiques et leurs applications.

Article 2

Le laboratoire LMI est composé d’équipes de recherche placées sous la responsabilité d’un professeur des universités ou assimilé, ou d'un enseignant-chercheur ou chercheur habilité à diriger les recherches, sauf dérogation accordée par le conseil d’administration après avis du conseil scientifique de l’INSA de Rouen, et d’un service administratif et technique.

Les membres du laboratoire sont regroupés en 4 collèges :

- (C1) le collège des professeurs des universités ou assimilés,

- (C2) le collège des autres enseignants-chercheurs, enseignants, chercheurs ou assimilés,

- (C3) le collège des personnels ingénieurs, techniques, administratifs

- (C4) le collège des doctorants.

Article 3

Sous réserve des statuts de l’INSA de Rouen, tout enseignant-chercheur ou chercheur désirant être membre du laboratoire sollicite son admission auprès du directeur du laboratoire, qui se prononce après consultation du conseil de laboratoire.

Titre 2 Direction du laboratoire

Article 4

Le directeur du laboratoire assure les missions :

- d’animation, de coordination et de structuration scientifiques,

- de gestion administrative, financière et des ressources humaines.

Il peut être assisté d’un directeur adjoint, qu’il nomme et à qui il attribue des missions.

Article 5

Le directeur du laboratoire est nommé par le directeur de l’INSA de Rouen sur proposition du conseil de laboratoire, pour un mandat d’une durée équivalente à celle du contrat pluriannuel de développement.

Le directeur du laboratoire peut, s’il le souhaite, proposer un directeur adjoint. Le directeur de laboratoire peut proposer au directeur de l’établissement que le directeur adjoint dispose d’une délégation de signature. Le mandat du directeur adjoint est en phase avec celui du directeur.

Le directeur et le directeur adjoint du laboratoire doivent être membres du laboratoire et être des chercheurs ou des enseignants-chercheurs habilités à diriger les recherches, sauf dérogation accordée par le conseil scientifique. En cas d’absence ou d’empêchement temporaire, le directeur adjoint supplée le directeur. En cas d’empêchement définitif ou de démission du directeur, il est procédé à son renouvellement selon la procédure ci-dessus pour la durée du mandat restant. Le directeur adjoint, ou à défaut, le directeur de l’établissement ou son représentant, préside alors le conseil de laboratoire qui devra proposer un nouveau directeur dans un délai d’un mois.

Titre 3 Conseil de laboratoire

Article 6

Le conseil de laboratoire est composé de membres de droit, de membres élus, et de membres nommés par le directeur :

Les membres de droit (avec voix délibérative) sont le directeur, et s’il en est nommé un, le directeur adjoint.

La composition du conseil de laboratoire est fixée comme suit :

(C1) 1 élu, 1 nommé, tous deux autres que le directeur et le directeur adjoint,

(C2) 2 élus, 2 nommés,

(C3) 1 élu,

(C4) 2 élus

- Les électeurs sont répartis dans les quatre collèges mentionnés à l’article 2.

- Sont membres de droit sans voix délibérative : les responsables d'équipe, s'ils ne sont pas élus ou nommés, le directeur d’établissement ou son représentant, le directeur général des services, l’agent comptable.

Peut être invité par le directeur, sans voix délibérative :

- toute personne dont la présence est jugée utile.

Article 7

Les membres sont élus au scrutin de liste à un tour à la représentation proportionnelle sans panachage, avec répartition des sièges restant à pourvoir selon la règle du plus fort reste. Les élections se déroulent selon les dispositions fixées dans le règlement intérieur de l’établissement.

Article 8

La durée des mandats des membres élus ou nommés, est de quatre ans, sauf pour le collège des doctorants pour lequel elle est de deux ans. Tout membre qui perd la qualité pour laquelle il a été élu ou nommé perd automatiquement sa qualité lui permettant de siéger au conseil de laboratoire.

Les membres élus sont remplacés, pour la durée du mandat restant à courir, par le candidat de la même liste venant immédiatement après le dernier candidat élu. En cas d’impossibilité, il est procédé à une élection partielle. En cas de changement de directeur ou de directeur adjoint en cours de mandat : si l'un des deux autres membres du conseil au titre du collège C1 devient directeur ou directeur adjoint, il est remplacé selon les mêmes modalités, de façon à garantir la parité entre les collèges C1 et C2.

Article 9

Le conseil de laboratoire a un rôle consultatif. Il est présidé par le directeur du laboratoire qui l'informe et le consulte sur :

- l’état, le programme et la coordination des recherches, la composition des équipes de recherche et la politique de recrutement,

- les demandes de moyens budgétaires et la répartition de ceux-ci,

- la politique de contractualisation de la recherche du laboratoire et de la définition des responsables scientifiques et du suivi financier de ces contrats,

- la politique de valorisation des résultats de la recherche et de la diffusion de l’information scientifique du laboratoire,

- la politique de formation pour et par la recherche,

- l’organisation et le fonctionnement du laboratoire ayant une incidence sur la situation et les conditions de travail des membres,

- la définition de la structure du laboratoire,

- l’admission des membres,

- le règlement intérieur,

- toute autre question concernant le laboratoire.

Le directeur du laboratoire transmet au directeur de l’établissement un compte-rendu de chaque conseil de laboratoire dans le délai d’un mois qui suit la séance.

Article 10

Le conseil de laboratoire se réunit au moins deux fois par an sur convocation du directeur du laboratoire.

L’ordre du jour est arrêté par le directeur du laboratoire, diffusé par voie électronique à tous les membres du laboratoire ou affiché dans les différents sites du Laboratoire au moins une semaine avant la séance.

Les convocations sont adressées au moins une semaine avant la séance, accompagnées de l’ordre du jour et, dans la mesure du possible, des documents et informations qui s’y rapportent. Le conseil de laboratoire peut se réunir de manière exceptionnelle à l’initiative du directeur du laboratoire ou à la demande d’au moins la moitié de ses membres. Pour ces séances, le délai de convocation peut être ramené à deux jours ouvrables. Le conseil de laboratoire délibère à la majorité absolue des suffrages exprimés des membres présents ou représentés. En cas d’égalité, la voix du directeur de laboratoire, président du conseil, est prépondérante. Tout membre empêché peut donner procuration à un autre membre du conseil de laboratoire.

Nul ne peut être porteur de plus de deux procurations.

Le conseil de laboratoire se réunit valablement si, à l’ouverture de la séance, la moitié des membres en exercice est présente ou représentée. Si le quorum n’est pas atteint, le conseil est à nouveau convoqué dans un délai de quinze jours et se réunit valablement si un tiers des membres en exercice est présent ou représenté.

Titre 4 L’assemblée générale

Article 11

L’assemblée générale est composée de l’ensemble des membres du laboratoire.

 Article 12

Le directeur de laboratoire, lorsqu’il l’estime nécessaire, pour des questions stratégiques, peut convoquer  l’assemblée générale, en lieu et place du conseil de laboratoire.

Les conditions de quorum et de vote sont identiques à celles du conseil de laboratoire.

Titre 5 Règlement intérieur

Article 13

Un règlement intérieur est arrêté par le directeur de laboratoire, en tant que de besoin, après avis du conseil de laboratoire, et fixent les autres règles de fonctionnement.

Election Directeur du LMI.

Il est rappelé que le directeur du laboratoire assure notamment les missions

- d’animation, de coordination et de structuration scientifiques,

- de gestion administrative, financière et des ressources humaines.

Le directeur du laboratoire est nommé par le directeur de l’INSA Rouen Normandie sur proposition du Conseil de Laboratoire, pour un mandat d’une durée équivalente à celle du contrat pluriannuel de développement.

 Le directeur du laboratoire peut, s’il le souhaite, proposer un directeur adjoint à qui il attribue des missions. Le directeur de laboratoire peut proposer au directeur de l’établissement que le directeur adjoint dispose d’une délégation de signature. Le mandat du directeur adjoint est en phase avec celui du directeur.

 Le directeur et le directeur adjoint du laboratoire doivent être membres du laboratoire et être des chercheurs ou des enseignants-chercheurs habilités à diriger les recherches, sauf dérogation accordée par le conseil scientifique. En cas d’absence ou d’empêchement temporaire, le directeur adjoint supplée le directeur. En cas d’empêchement définitif ou de démission du directeur, il est procédé à son renouvellement selon la procédure ci-dessus pour la durée du mandat restant. Le directeur adjoint, ou à défaut, le directeur de l’établissement ou son représentant, préside alors le conseil de laboratoire qui devra proposer un nouveau directeur dans un délai d’un mois.

 Calendrier Election 2017:

• Les candidats potentiels à la direction du laboratoire prennent contact avec le directeur de l’INSA Rouen Normandie afin de prévoir un RV avec lui avant le dépôt des candidatures.
• Dépôt des candidatures auprès de B. Diarra le 7 septembre 2017
• Assemblée Générale du Laboratoire le 21 septembre 2017
• Vote du Conseil de Laboratoire (cf. annexe 1) le 28 septembre 2017 - Lieu : Bureau de B. Diarra (9h30-12h puis 14h-16h)
• La proposition du conseil de laboratoire sera transmise au directeur de l’établissement le 29 septembre 2017

Comité d'organisation : B. Diarra et C. Le Guyader.

Annexe 1.

• Composition du Conseil de Laboratoire:

Le terme intégrité scientifique traite avant tout de déontologie, l’éthique recouvrant pour sa part les questions posées par les progrès de la science et leur impact sur la société.

Toutes les disciplines confondues, on distingue plusieurs formes de manquement à l’intégrité scientifique :

• La fraude scientifique : fabrication ou falsification de données, plagiats (dont la détection est facilitée par des logiciels de traitement de textes mis en place dans de nombreux établissements, notamment à l’INSA Rouen Normandie depuis plusieurs années).
• Les pratiques douteuses : position d’auteurs dans les publications, embellissement de données et de résultats.
• Les conflits d’intérêt (omission de déclaration de liens d’intérêt).

L’intégrité scientifique régit l’activité du chercheur par des règles et des valeurs à même de garantir son caractère honnête et rigoureuse. Elle fonde le contrat entre la science et la société.

Quelques ressources et textes de référence

• 1964 - Déclaration d'Helsinki - Éthiques du consentement et de l'information
• 1988 - Mise en place de comités consultatifs de protection des personnes dans la recherche biomédicale (CCPPRB) par la loi dite "Huriet-Sérusclat" de 1988.
• 1992 - Création aux Etats Unis de l’Office of Research Integrity
• 1994 - Création en France du Comité d’éthique du CNRS
• 1997 - La Convention d'Oviedo ou « Convention pour la protection des Droits de l'Homme et de la dignité de l'être humain à l'égard des applications de la biologie et de la médecine : Convention sur les Droits de l'Homme et la biomédecine » ainsi que son protocole additionnel relatif à la recherche sur les personnes (2005) 
• 1999 - Création en France d’une délégation à l’intégrité scientifique à l’INSERM
• 2004 - Loi du 9 août 2004 portant sur la recherche biomédicale chez l'homme et visant à mettre la législation française en accord avec la Directive Européenne 2001/20/CE du 4 avril 2001, mise en place de Comité de Protection des Personnes (ou CPP) qui se substituent aux CCPPRB, faisant suite au Rapport de Claude HURIET sur le fonctionnement des comités consultatifs de protection des personnes dans la recherche biomédicale
• 2005 - Charte européenne du chercheur
• 2010 - The Singapore statement on research integrity
• 2011 - The European code of conduct for research integrity 
• 2012 - Serment d’Hippocrate, devant le conseil national de l’ordre des médecins
• 2014 - Éthique et recherche biomédicale : perspective historique. Par : Philippe D. Chaumet-Riffaud, Professeur des universités, université Paris Sud, praticien hospitalier, service de biophysique et de médecine nucléaire, CHU de Bicêtre, AP-HP | Publié le : 19 Mai 2014
• 2015 - Charte nationale de déontologie des métiers de la recherche
• 2016 - Arrêté sur la formation doctorale donnant comme mission aux écoles doctorales de veiller à ce que chaque doctorant reçoive une formation à l'éthique de la recherche et à l'intégrité scientifique ;
• 2016 - Décret du 16 novembre 2016, mettant  en application de la loi Jardé, relative aux recherches impliquant la personne humaine, et qui réglemente notamment l’information de la personne qui se prête à une recherche impliquant la personne humaine et recueil de son consentement, Décret n° 2017-884 du 9 mai 2017 modifiant certaines dispositions réglementaires relatives aux recherches impliquant la personne humaine 

• 2017 - Création de l’office français d’intégrité scientifique, nouveau département du HCERES, suite à la remise du rapport de Pierre Corvol, pour la mise en œuvre de la charte nationale d'intégrité scientifique : Création de l’Office français d’intégrité scientifique
  Le 20 mars 2017, le Collège du Haut-conseil de l’évaluation de la recherche et de l’enseignement supérieur (Hceres) a donc voté à l’unanimité la création de l’Office français d’intégrité scientifique. Ce nouveau département de l’Hceres devrait être opérationnel à l’automne. Ses missions sont triples :
  • Expertise dans le domaine de l’intégrité scientifique pour accompagner les universités et les EPST dans la mise en œuvre de leurs obligations en la matière.
  • Observation : création d’un observatoire pour recenser les cas et comptabiliser les actions menées au niveau français.
  • Animation de la politique nationale en matière d’intégrité scientifique (permettant notamment d’éviter une dispersion entre établissements en matière de traitement des manquements à l’intégrité scientifique) et contribution de notre pays au niveau international.

L’intégrité scientifique est d’ores et déjà un critère pris en compte dans l’évaluation des unités de recherche par l’Hceres.

L’INSA Rouen Normandie (dont le LMI bien sûr) adhère à la mise en place de procédures de suivi et de diffusion auprès des EC, doctorants et chercheurs dans le cadre de l'intégrité scientifique et de l'éthique. A noter qu'un outil d'anti-plagiat est accessible pour les personnels de l'INSA Rouen Normandie, et peut être utilisé pour tout rapport (mémoire, thèse...).
Le référent pour le LMI est pour l'instant le directeur du laboratoire.

Charte CPU - Guide CNRS

septembre 2017

Jeudi 06 Octobre
de 9h30 à 18h
INSA Rouen

Organisation:
I. Ciotir,  R. El Assoudi, B. Diarra et S. Fourati (LMI)

Contact principal : Ioana Ciotir.

INSCRIPTION >>>

Programme

9h30 : Accueil des participants  DU.BRJ.01 - Amphi CURIE

Chairman : J.G. Caputo
10h00, Faicel CHAMROUKHI (LMNO)

11h00, Colloquium : Un modèle cinétique pour l'économie, Stéphane CORDIER (MAPMO, Université d'Orléans)

12h à 14h : Repas (Restaurant universitaire, CROUS Univ Rouen)

14h00 à 15h30 : Exposés en parallèle

• Session I : salle DU.BRJ.03 - Chairwoman : C. Le Guyader
• 14h00 : Antoine TONNOIR (LMI)
• 14h30 :  Laetitia CAILLE (LMNO)
• 15h :  Paul LEMIRE  (LMRS)
• Session II : salle DU.BRJ.05 - Chairwoman : S. Fourati
• 14h00 :  Slim BELTAIEF (LMRS)
• 14h30 : Sara TFAILI (LMAH)
• 15h : Pablo CUBIDES (LMNO)
• Session III : salle DU.BRJ.07 - Chairwoman : I. Ciotir
• 14h00 :  Abderrahmane NITAJ (LMNO)
• 14h30 : Sarah LECLAVIER (LMRS)
• 15h :  Gisella CROCE (LMAH)

15h30, DU BRJ.01 : Pause café-thé autour des posters : Federica Raimondi (LMRS), Imène Khames (LMI), Deborah Michel (LMRS), Noémie Debroux (LMI), Alexandre Thorel (LMAH), Aymen Balti (LMAH), Mira Alkharboutly (LMAH), Benjamin Ambrosio (LMAH), Etienne Leclerc (LMI), Mohamed Hemmidy (LMAH)...

Chairman : W. Respondek
16h à 17h : Colloquium : Méthode de Monte Carlo multi-niveaux et applications, Gilles PAGES (LPMA, UPMC) -  Amphi Curie

17h : Clôture de la journée 2016

Jeudi 27 janvier 2017
INSA Rouen Normandie

Organisation:
S. Jehan-Besson (GREYC) et C. Le Guyader  (LMI)

Dans le cadre d'une action de rapprochement de la fédération NORMASTIC et de la fédération Normandie Mathématiques, et du projet M2NUM (Région Normandie et Feder), nous organisons une journée intitulée "Méthodes variationnelles et statistiques appliquées au traitement d'images" à l'INSA Rouen Normandie, amphithéâtre CURIE, le vendredi 27 janvier 2017.

Cette journée nous permettra d'accueillir deux orateurs invités : Denis Fortun (Ecole Polytechnique Fédérale de Lausanne) et Stéphanie Allassonnière (CMAP, Ecole Polytechnique), et donnera lieu à des exposés issus du travail de recherche effectué au sein des fédérations.

Méthodes Variationnelles et Statistiques appliquées au Traitement d’Images

Dans le cadre d’une action de rapprochement de la fédération NORMASTIC et de la fédération Normandie Mathématiques, et également dans le cadre du projet M2NUM (GRR LMN), nous organisons une journée intitulée « Méthodes variationnelles et statistiques appliquées au traitement d’images » au sein de l’INSA de Rouen, amphithéâtre CURIE, le vendredi 27 janvier 2017 de 9h45 à 17h00.

Cette journée nous permettra d’accueillir deux orateurs invités : Stéphanie Allassonnière (Professeur de mathématiques à l’Université Paris Descartes) et Denis Fortun (Ecole Polytechnique Fédérale de Lausanne) et donnera lieu à des exposés issus du travail de recherche effectué au sein des fédérations.

Les exposés seront en français.

Programme de la journée

9h15 – 9h45 : Accueil, Café

9h45 – 11h00 : Exposé Invité de Denis Fortun (Post-doctorant à l’Ecole Polytechnique Fédérale de Lausanne)

• Titre : Efficient optimization methods for two concrete non-convex problems: 3D multiview reconstruction with unknown poses in fluorescence microscopy, and piecewise parametric optical flow estimation
• Abstract : This talk will address the problem of non-convex optimization for two different applications, in the contexts of fluorescence microscopy and optical flow estimation. In each case, we will present efficient estimation methods exploiting the specific structures of the problems.
  The first part will be devoted to the correction of the fundamental anisotropy of fluorescence microscopes. We will describe a reconstruction method for accurate protein localization with high 3D isotropic resolution, based on multiview reconstruction. Our operational framework involves several steps. In this talk we will focus on the main methodological challenge, which is the joint estimation of the 3D model and of the unknown poses of the rotated observations. We  propose a block-coordinate stochastic optimization approach adapted to the characteristic form of the associated non-convex problem. We demonstrate that accurate 3D protein localization that would be infeasible with standard microscopes is made possible by our approach, and we validate our method on real data.
  The second part of the talk will address the problem of optical flow estimation with piecewise parametric representations. The usual alternated optimization approaches are very sensitive to initialization, and have high computational costs. We propose a new method based on an over-parametrization of the motion field, without any segmentation step. We design a proximal splitting scheme yielding one-dimensional piecewise affine denoising subproblems, for which we propose an efficient solver. We achieve competitive results without initialization of the optimization process, contrary to other piecewise affine methods. Our method is also significantly faster. In particular, the number of regions is not known a priori and has no influence on the computational cost.

11h00 – 11h30 : Exposé de Samia Ainouz (Maître de Conférence au Laboratoire LITIS Rouen)

• Titre : Specularity removal : A global energy minimization approach based on polarization imaging
• Abstract : Each brightness value in an image is viewed as the sum of two components, the diffuse and the specular parts, based on the dichromatic reflection model. The diffuse reflection component arises from the subsurface scattering which directly represents the shape of an object surface. The specular reflection component is usually introduced at the air/material interface with a low amount of scattering. Hence, it is generally observed to be concentrated and forms some high intensity lobes on the object surface. Whereas the diffuse component represents the shape of an object surface, specularity reflection is an unwanted artifact that can hamper high-level processing tasks such as visual recognition, tracking, stereo reconstruction, objects re-illumination. Specularity removal, a challenging topic in computer vision, is thus a decisive preprocessing for many applications. We present here a new image specularity removal method, based on polarization imaging through global energy minimization. Polarization images provide complementary information and reduce color distortions. By minimizing a global energy function, our algorithm properly takes into account the long range cue and produces accurate and stable results. Compared to other color-based or polarization-based methods of the literature, our method obtains encouraging results, both in terms of accuracy and robustness.

11h30 – 11h45 : Pause

11h45 – 12h15 : Exposé de Noémie Debroux (Doctorante au Laboratoire de Mathématiques de l’INSA de Rouen)

• Titre : A Unified Hyperelastic Joint Segmentation/Registration Model Based on Weighted Total Variation and Nonlocal Shape Descriptors.
• Abstract : Image segmentation and image registration are both fundamental tasks of image processing and present interests in clinical studies. In this work, we address the issue of designing a theoretically well-motivated variational model for joint registration-segmentation capable of handling large and smooth deformations. The shapes to be matched are viewed as hyperelastic materials and more precisely as Saint Venant-Kirchhoff ones. We aim to minimize a functional containing a nonlinear-elasticity-based regularizer and a dissimilarity measure relying on weighted total variation to align the edges of the objects and nonlocal shape descriptors inspired by the Chan-Vese model for segmentation dealing then with both segmentation and registration. Theoretical results and numerical experiments are provided.
  This is a joint work with Carole Le Guyader, Institut National des Sciences Appliquées of Rouen, France.
  This work is co-financed by the European Union with the European regional development fund (ERDF, HN0002137) and by the Normandie Regional Council via the M2NUM project.

12h15 – 12h45 : Exposé  de Stéphanie Jehan-Besson (CR CNRS Laboratoire GREYC Caen)

• Titre : Some geometric variational approaches for segmentation and evaluation
• Abstract : In this talk, we are interested in geometric variational approaches and more precisely region-based active contours where segmentation is modeled as the research of an optimal domain according to a given criterion. We will introduce briefly some interesting statistical criteria that include photometric and geometric data terms for supervised or unsupervised segmentation using either parametric and non parametric pdfs. The associated optimization schemes will be also mentioned and recent examples of tumor segmentation in positron emission tomography (PET) images will be given and compared to Random Walker methods using a complete training data set provided by a MICCAI challenge. This medical application was made in collaboration with Su Ruan (from the LITIS laboratory) within the NORMASTIC federation.
  Secondly, we will also introduce how the geometric variational approaches can be extended for the estimation of a reference shape from a set of different segmentation results using a criterion based on information theory. The applicability of this framework will be tested for the evaluation of segmentation methods. This last approach was supported by the action MedIEval of the GDR STIC Santé.

12h45 – 14h00 : Repas

14h00 – 15h15 : Exposé Invité de Stéphanie Allassonnière (Professeur de mathématiques appliquées de l’Université Paris Descartes, Centre de recherche des Cordeliers Equipe INSERM UMR_S 1138)

• Titre : Mixed-effect model for the spatiotemporal analysis of longitudinal manifold-valued data
• Abstract : In this work, we propose a generic hierarchical spatiotemporal model for longitudinal manifold-valued data, which consist in repeated measurements over time for a group of individuals. This model allows us to estimate a group-average trajectory of progression, considered as a geodesic of a given Riemannian manifold. Individual trajectories of progression are obtained as random variations, which consist in parallel shifting and time reparametrization, of the average trajectory. These spatiotemporal transformations allow us to characterize changes in the direction and in the pace at which trajectories are followed. We propose to estimate the parameters of the model using a stochastic version of the expectation-maximization (EM) algorithm, the Monte Carlo Markov Chain Stochastic Approximation EM (MCMC SAEM) algorithm. This generic spatiotemporal model is used to analyze the temporal progression of a family of biomarkers. This progression model estimates a normative scenario of the progressive impairments of several cognitive functions, considered here as biomarkers, during the course of Alzheimer’s disease. The estimated average trajectory provides a normative scenario of disease progression. Random effects provide unique insights into the variations in the ordering and timing of the succession of cognitive impairments across different individuals.

15h15 – 15h45 : Exposé de Sonia Tabti (Post-doctorante au Laboratoire GREYC Caen depuis janvier 2017)  sur son travail de thèse au LTCI à Télécom ParisTech.

•  Titre : Introduction of invariance properties in a patch-based GMM prior. Applications in image restoration.
• Abstract : Patches have proven to be very effective features to model natural images and to design image restoration methods. Given the huge diversity of patches found in images, modeling the distribution of patches is a difficult task. In order to introduce a shift-invariance property in a GMM (Gaussian Mixture Models) prior,  rather than attempting to accurately model all patches of the image, we advocate that it is sufficient that all pixels of the image belong to at least one well-explained patch. An image is thus described as a tiling of patches that have large prior probability. In contrast to most patch-based approaches, we do not process the image in patch space, and consider instead that patches should match well everywhere where they overlap. An application of this modeling is proposed in SAR (Synthetic Aperture Radar) image restoration. A suitable data-fitting term is defined to account for the statistical distribution of speckle. Results are competitive with state-of-the art SAR despeckling methods. Preliminary work on how to introduce affine radiometric transform invariance in a GMM prior will also be presented. Ce travail a été financé partiellement par le CNRS et la DGA et a été effectué au LTCI à Télécom Paris Tech.

15h45 – 16h00 : Pause Café

16h00- 16h30 : Exposé de Yosra Hafiene (Doctorante au Laboratoire GREYC Caen, encadrée par Jalal Fadili et Abderrahim Elmoataz)

• Titre : Nonlocal p-Laplacian evolution problems on graphs
• Abstract : We study numerical approximations of the evolution problem for the nonlocal p-Laplacian with homogeneous Neumann boundary conditions governed by a given kernel. There are many applications that integrate this PDE model, especially in medical imaging, covering segmentation and semi-supervised classication, restoration, simplification, etc…. First, we derive a bound on the distance between two continuous-in-time trajectories defined by two different evolution systems (i.e. with different kernels and initial data). We then provide a similar bound for the case when one of the trajectories is discrete-in-time and the other is continuous. In turn, these results allow us to establish error estimates of the discretized p-Laplacian problem on graphs. More precisely, for networks on convergent graph sequences (simple and weighted graphs), we prove convergence and provide rate of convergence of solutions for the discrete models to the solution of the continuous problem as the number of vertices grows. We finally touch on the limit as p →∞ in these approximations and get uniform convergence.

16h30-17h00 : Exposé de Luu Duy Tung (Doctorant au Laboratoire GREYC Caen, encadré par Jalal Fadili )

• Titre : Aggregation of estimators for Low-complexity Models
• Abstract : In statistics, the restoration of signals, images and videos can be formalized as a regression model. However, even if the intrinsic dimension of the object to be restored (signal, image, video) is very large, its intrinsic « complexity » is generally small. The introduction of this prior information can be done through two approaches: (i) penalization (very popular) and (ii) aggregation by exponential weighting (EWA). The penalized approach aims at finding an estimator that minimizes the quadratic risk penalized by a term promoting objects of low (simple) complexity. The EWA combines a family of pre-estimators, each associated with a weight exponentially promoting pre-estimators promoting the same objects of low complexity.  In this presentation, we will consider these two types of estimators (penalized and EWA) with a general prior promoting simple objects (popular example, sparse signals). We will establish their inequalities oracles in a unified framework, and then decline them for particular cases. We will then propose an implementation of these estimators by combining Monte-Carlo simulation (Langevin diffusion process) and proximal burst algorithms, and show their guarantees of convergence. These estimators will then be illustrated on several examples.

17h00 : Clôture de la Journée

*************************************************************************

 INSCRIPTIONS

L’inscription à la journée est gratuite mais obligatoire via le doodle suivant :

https://groupes.renater.fr/reunion/foodle/Journee-CoJournee-maths-images-Methodes-variationnelles-et-statistiques-appliquees-au-traitement-d-images-58249

(NB : la prise en charge du repas du midi (plateau repas)  par NORMASTIC  n’est possible que pour les inscriptions qui ont été faites avant le 18 novembre)

En raison du plan vigipirate,  les personnes extérieures à l’INSA  devront se faire enregistrer à l’accueil de l’INSA  et porter un badge invité.

**************************************************************************

ORGANISATION

 

Fédération Normandie Mathématiques : Carole Le Guyader

Fédération NORMASTIC : Stéphanie Jehan-Besson et Su Ruan pour l’axe Analyse et Traitement d’images

Merci à Luc Brun pour sa supervision attentive et éclairée.

Merci à Agnès Zannier pour toute l’aide apportée dans la préparation de la journée.

Projet M2NUM

Modélisation Mathématique:
applications et simulations NUMériques
pour les énergies renouvelables,
l’éco-mobilité, l’imagerie et la physique.

 
M2NUM is co-financed by the European Union with the European regional development fund (ERDF, HN0002137) and by the Normandie Regional Council.

Page web du projet

RECRUTEMENTS 2018:

* INGENIEUR DE RECHERCHE en Modélisation et Simulation Numérique (12 mois, à partir de septembre 2018) : classement fait le 13 juillet 2018 : 1) Imene KHAMES

* Stage M2 ou ingénieur (6 mois,  2018) : Méthode BEM pour la simulation numérique en éolien - Antoine Tonnoir

* Stage M2 ou ingénieur (6 mois, 2018) (attribué): Analyse 3D de scènes routières par réseaux de neurones profonds - Samia Ainouz/Anastasia Zakharova

* Stage M2 ou ingénieur (6 mois, 2018) (attribué): Détection de Piétons, Reconnaissance d’Objets & Tracking basées Deeplearning. Application à l’Aide à la Conduite et à la Navigation Autonome - Redouane Khemmar (ESIGELEC)

* Stage M2 ou ingénieur (6 mois, 2018) (attribué): Impact of wind turbine wakes in a wind farm by Large-Eddy Simulation - Pierre Bénard/Ghislain Lartigue/Vincent Moureau

* Stage M2 ou ingénieur (3 mois, 2018) (attribué): En lien avec Univ Roma (Italie) - Nicolas Forcadel

Projet M2NUM (site web du projet)

Le coeur de ce projet par le LMI de l'INSA Rouen Normandie est constitué par la modélisation mathématique de problèmes issus de diverses applications. Le point de départ de ce projet a été le projet exploratoire e@olin (PEPS1, Labex AMIES) sur l'étude des champs de vent. Initié par ce champ applicatif, M2NUM a vu le jour fin 2014, se généralisant à de nombreuses autres thématiques appliquées (initialement validé pour un an, avant d'être redéposé en 2015 et validé pour une durée de 4 ans -Région Normandie et FEDER-). Les nouvelles modélisations proposées seront considérées via l’utilisation d’équations aux dérivées partielles : il s’agit d’un champ d’investigations fort au sein de la Normandie, pleinement en phase avec la Stratégie de Recherche et d’Innovation basée sur une Spécialisation Intelligente (SRI-SI) :

Imagerie: segmentation et recalage pour l'imagerie médicale et les systèmes embarqués, et fiabilité/robustesse des logiciels (SRI-SI : Fiabilité des systèmes et composants dans les systèmes embarqués & Nouvelles technologies en chimie et biologie appliquées à la santé et au bien-être)

Energies : éolienne (optimisation, approximation des champs de vent,...) et autres énergies (SRI-SI : Eolien),

Eco-mobilité: contrôle, modélisation et simulation de la mobilité intra-urbaine et du réseau routier… (SRI-SI : Multi modalité et performance logistique),

Physique: Matériaux à changements de phase (SRI-SI : Vieillissement et performance des matériaux)

Dans ce projet, nous nous intéressons à divers aspects théoriques (existence et unicité d’une solution, problèmes de convergence, contrôle, homogénéisation) ainsi qu’à des aspects plus appliqués (discrétisations différences finies, volumes finis, éléments finis) afin d’écrire des algorithmes qui seront ensuite implémentés (nous avons des liens avec le centre de calcul du CRIANN notamment, car les besoins en calcul sont importants, en considérant les gros volumes de données que nous aurons à traiter dans nos applications).

Le but étant de proposer des démonstrateurs et des outils accessibles à la communauté. Le coeur de ce projet correspondait  donc parfaitement à l’axe 4 ‘Traitements numériques’ du GRR LMN (2015) animé par P. Calka et C. Gout, il est lié aux sous thèmes suivants :
- Traitement numérique pour les sciences du vivant ou l’environnement ;
- Modélisation stochastique et asymptotique, contrôle et fiabilité ;
- Simulations et performance numérique.
Autant de thèmes forts de la Région Normandie, en lien avec le réseaux d'intérêts normands (2017) : Science du Numérique.

Contacts - Porteurs du projet :  N. Forcadel et C. Le Guyader (INSA Rouen Normandie)
Imagerie (C. Le Guyader), Energies (C. Gout),  Eco-mobilité (N. Forcadel), Physique (I. Danaila).

RECRUTEMENTS 2017:

* Stage M2 ou ingénieur (6 mois,  2017) : Stéréovision par séparation des données : application aux scènes routières - Shuang Ding est recruté

* Stage M2 ou ingénieur (6 mois, 2017) : Simulation aux grandes échelles du sillage d'éoliennes : influence de la turbulence amont - Lilian Le Bras est recruté

* Stage M2 ou ingénieur (6 mois,  2017) :  Détection et Reconnaissance Contrôlée d’Objets (Obstacles, Piétons) : Application à la Navigation Autonome - Li Delong est recruté

* Stage M2 ou ingénieur (6 mois,  2017) : Trafic routier. Rym Fayad est recrutée

* INGENIEUR DE RECHERCHE (12 mois, à partir de septembre 2017) : Modélisation et simulation numérique pour le  traitement d'images. Fabien Bonardi est recruté

Le coeur de ce projet est constitué par la modélisation mathématique et la simulation numérique de problèmes issus de diverses applications. Dans ce projet de plateforme, sont intégrés des projets réalisés par les étudiants du département Génie Mathématique en liens avec ces thèmes. Il s'agit d'un lien fort entre formation et recherche, puisque ces projets s'intègrent pour la plupart dans des projets identifiés du laboratoire de Mathématique de l'INSA Rouen.

waterwave1 - waterwave2

Les 2 équipes du LMI (Analyse Numérique, Imagerie et Approximation et Contrôle, Optimisation et Probabilités-Statistiques) s'investissent notamment sur le traitement d'images, la mobilité et le trafic routier, l'énergie, fabrication additive (industrie 4.0)... thèmes pour lesquels le LMI est reconnu internationalement via par exemple ses collaborations internationales et ses partenariats industriels avec Dassault Systèmes, Total et depuis récemment Adwen, sans oublier les collaborations nationales, en particulier avec l'INRIA. Le laboratoire favorise les interactions sur des axes innovants et porteurs, à fort impact sociétal. Ses compétences en modélisation mathématique (analyse, EDP, optimisation, probabilités, statistiques) et en simulation numérique (de l'analyse numérique au HPC) en font un acteur phare sur ces champs applicatifs au sein de la communauté scientifique.

Au delà de certains stages en liens avec des projets, certains des Projets de Fin d'Etudes (PFE) des élèves ingénieurs GM5, voire des projets semestriels de 4ème année peuvent ainsi être intégrés dans une plateforme intégrant des codes de calculs orientés recherche en liens avec un large éventail de domaines applicatifs, on peut par exemple citer :

• Imagerie et intelligence artificielle: segmentation et recalage pour l'imagerie médicale et les systèmes embarqués, e-santé...
• Energies : éolienne (optimisation, approximation des champs de vent,...), imagerie sismique (sous sol)...
• Mobilité : contrôle, modélisation et simulation de la mobilité intra-urbaine et du réseau routier…
• Approximation et traitement de gros volumes de données...
• Physique et biologie...
• etc.

 
M2NUM, TELEDETAC, M2SiNUM are co-financed by the European Union with the European regional development fund and by the Normandie Regional Council.

2018-08-30 C. Gout

Modélisation Mathématique avancée et Simulations Numériques
pour l'innovation dans l'environnement et la santé 
M2SiNum (2018-2021)

en lien avec les projets PIA TIGA Mobilité (Rouen Madrillet)
et MNSN (Maison Normande des Sciences du Numérique).

Le cœur de ce projet porté par le LMI INSA Rouen Normandie est constitué par la modélisation mathématique de problèmes issus de diverses applications pour l’environnement et le vivant.
4 axes:
1) Innovations pour les énergies (modélisation et simulations numériques pour les énergies éoliennes et hydroliennes, efficacité énergétique des bâtiments et datacenter…)
2) Smart City (Modélisation et optimisation du trafic à l’échelle de la métropole, aide à la conduite et véhicules autonomes…)
3) Modélisation mathématiques pour les matériaux innovants (Matériaux actifs, matériaux composites…)
4) Modélisation et simulation en Imagerie (segmentation et recalage, problèmes inverses en imagerie, applications en imagerie médicale, en fabrication additive…)


L’objectif principal du projet est de structurer la communauté Normande autour de la thématique de la modélisation mathématique et de la simulation numérique.

Il s’agit d’un projet structurant au cœur de l’axe 5 (Structures et modèles analytiques, calcul scientifique) du pôle stratégique de recherche et formation "Sciences du Numérique" de Normandie Université et s'intègre tout à fait naturellement dans le RIN Normandie Digitale. Il regroupe plus d’une trentaine de chercheurs normands issus de tous les laboratoires de mathématiques et d’informatiques de Normandie.

Ce projet propose d’une part le développement d’outils innovants de modélisation mathématique en lien avec les préoccupations actuelles de la société (intelligence artificielle sur les question d’imagerie et véhicule autonome, les énergie renouvelables, la smart city, l’efficacité énergétique), et d’autres part le développement de nouvelles méthodes numériques sophistiquées permettant des innovations et simulations numériques de pointe sur des sujets correspondants à des préoccupations actuelles majeures. Les aspects de recherche fondamentale complète parfaitement les aspects appliqués, via un consortium rassemblant les meilleurs partenaires scientifiques normands sur les domaines considérés.

RECRUTEMENTS 2018/19:

* POSTDOC au LMRS en Modélisation et Simulation Numérique (12 mois à partir du 1er janvier 2019) :
recrutement de Georges Sadaka (WP3).

* INGENIEUR DE RECHERCHE en LMI en Modélisation et Simulation Numérique (12 mois, à partir de novembre 2018) :
1) Zoé Lambert (WP4 - Imagerie) recrutée.

Articles 2021

P. Bénard, E. Gourichon, C. Gout

Les axes du projet:

WP1 Innovations pour les énergies [C. Gout et V. Moureau]
  WP1.1: Simulation avancée de l'aérodynamique d'éoliennes offshore
  WP1.2 : Modélisation mathématique et simulation numérique pour une meilleure efficacité énergétique

WP2 Smart City [N. Forcadel]
  WP2.1 : Modélisation macroscopique et optimisation du trafic
  WP2.2 : Aide à la conduite et navigation autonome
 
WP3 Modélisation mathématiques pour les matériaux innovants [P. Karamian et A. Tonnoir]
  WP3.1 : Modélisation des matériaux actifs
  WP3.2 : Modélisation des matériaux composites

WP4 : Imagerie [C. Le Guyader et C. Gout]
  WP4.1 : Modélisation en traitement d'image
  WP4.2 : Problèmes inverses
  WP4.3 : Applications

Travaux et Publications en lien avec le projet:

• WP1 : H. Barucq, M. Chyba, C. Gout and C. Le Guyader, Oceanic surface current approximation from sparse data, accepted for publication, IEEE International Geoscience and Remote Sensing Symposium ref#1525, to appear 2020.
• WP1.2 : Article généraliste, Tangente, 2020.
  P. Bénard, E. Gourichon, C. Gout, Éoliennes : modélisation et simulations des écoulements d’air, Tangente 73, pp. 36-39,  2020.
• WP3 : Parallel 2D and 3D numerical simulations of melting with convection, I. Danaila, C. Lothodé, F. Luddens, A. Rakotondrandisa, G. Sadaka, P.-H. Tournier, ETC-17, Turin, September 3-6, 2019 (www.etc17.it).
• WP4 : Modélisation en traitement d'images (WP4.1)
  [2019-Lambert-Petitjean-Ruan] Imagerie. Challenge SegThor à la conférence ISBI 2019 à Venise (Italie) - C. Petitjean, S. Ruan et B. Dubray (LITIS) et Z. Lambert (LMI)
• WP4 : Modélisation géométrique pour la fabrication additive (WP4.3)
  [2020-Gout] M.-P. Schmidt, L. Couret, C. B.W. Pedersen, C. Gout, Structural Topology Optimization with Anisotropic Materials for Continuous Fiber Designs, accepted for publication, Structural and Multidisciplinary Optimization, accepté pour publication, 2020.
• WP4 : Modélisation géométrique pour la fabrication additive (WP4.3)
  [2019-Gout] M.P. Schmidt, C. Pedersen and C. Gout, On structural topology optimization using graded porosity control, Structural and Multidisciplinary Optimization, april 2019 <<here>>.
• WP4.2 : Problèmes inverses à partir de données d'imagerie
  R. Antoine, I. Ciotir, S. Costa, Y. Fargier, C. Fauchard,  C. Gout, C. Le Guyader, O. Maquaire, S. Taoum, A. Tonnoir, Coastline erosion study via UAV drone remote sensing usint python modelling electrical resistivity imaging, (PyMERI), accepted for publication, IEEE IGARSS ref#1321, to appear 2020.

Les participants au projet (Contact : (N. Forcadel))

LMI, Rouen

LMRS, Rouen 

LITIS, Rouen 

GREYC, Caen

LMAH, Le Havre

LMNO, Caen

IRSEEM, Rouen

LMN, Rouen

CORIA, Rouen

CEREMA, Rouen 

CRIANN - Mésocentre de calcul de Normandie

 International collaborations : Cambridge University (Noémie Debroux), UNAM Mexico (P. Gonzalez Casanova, ECOS NORD project M15M01), UCLA (Luminita Vese), Turquie (Lavdie Rada).

David BONNER

Département Génie Mathématique / LMI EA3226

1er février 2019 - Magellan salle H.R1.03 - 9h à 11h

Ce que vous devez savoir de la technologie Blockchain / What you should know about Blockchain technology

Abstract :
Since the introduction of the bitcoin cryptocurrency by Satoshi Nakamoto​​​​​​​ in 2008/2009, its computational foundation, the blockchain, has attracted an ever-growing level of attention in virtually every domain from finance to supply chain and gaming.
There is now a good consensus across many industries that this technology, even if still young and evolving, is a real game changer. It has the potential to radically modify the way we do many, many things.
Given this potential, issues abound on many levels: technology, business, markets, law, and even politics and environment. It is not our purpose here to cover these in depth, but rather to provide the audience with a basic knowledge of what is the problem that blockchain solves, and how it does it from a technological standpoint.

PROJET M2SiNum
 

3D printing / Additive manufacturing

FabLab @ LMI EA 3226, INSA Rouen

 Contact: C. Gout

Modélisation Mathématique avancée et Simulations Numériques
pour l'innovation dans l'environnement et la santé 
M2SiNum (2018-2021)

3D printer, FabLab @ LMI EA 3226, INSA Rouen

3D printer, FabLab @ LMI EA 3226, INSA Rouen

By Martin Pierre Schmidt and Christian Gout (LMI, INSA Rouen)

The designs were automatically generated using Topology Optimization algorithms.

In recent years, the field of additive manufacturing (AM), often referred to as 3D printing, has seen tremendous growth and radically changed the way we describe valid 3D models for fabrication. While not free of constraints, AM offers an unprecedented level of freedom in geometrical complexity for manufacturable feasible designs. One example of such design freedom is the creation of intricate, robust, and lightweight internal structures. Our approach builds upon and extends the recent works on topology optimization for the so-called infill structures. In order to have more design control over these infill structures, we present a new formulation allowing the generation of mixed design patterns containing bulk and porous regions using a guiding constraint parameterized by non-uniform constraining fields. Secondly, we demonstrate multiple methods of generating such non-uniform fields to leverage the present formulation and analyze their effect on the geometrical and physical properties of the obtained designs.

Major reference:

M.P. Schmidt, C. Pedersen, C. Gout, On structural topology optimization using graded porosity control, Structural and Multidisciplinary Optimization (60 - 4), pp. 1437--1453, 2019.

and

M.-P. Schmidt, L. Couret, C. Gout, C. B.W. Pedersen, Structural Topology Optimization with Anisotropic Materials for Continuous Fiber Designs, Structural and Multidisciplinary Optimization 62, pp. 3105–3126, 2020.

Christian Gout - Nov. 2019

Wake Op (2019-2022)

Développer un nouveau concept pour l’estimation des sillages (WAKE) en vue de l'optimisation (OP) des parcs éolien en mer

RECRUTEMENTS LMI sur le projet (2021) - Stages de 3 mois (réunions hebdomadaires printemps 2021)

* Mehdi HELAL (A. Tonnoir et C. Gout) : Résolution d'un écoulement potentiel à l'aide d'une méthode d'équation intégrale

* Mame KA  (C. Le Guyader, H. Zidani et N. Forcadel) : Identification des objets 2D en traitement d'images

Réunions (la plupart en distanciel...)

Partie LMI (projets Wake Op &INTERTWIND)

• Mercredi 9 juin 2022 : réunion SGRE/LMI [projets Plan de Relance et Wake Op (bilan final)]
• 3 janvier 2022 : recrutement de T. Ternon (INTERWIND) en lien avec les résultats du projet WAKE OP.
• Novembre 2021 : Effet levier du projet WAKE OP : plan de relance , projet INTERTWIND SGRE/INSA (CORIA et LMI) validé pour ~680k€ - Les réunions  Wake Op et INTERWIND seront simultanées
• Mai à août 2021 : réunions bi-mensuelles avec les stagiaires recrutés sur le projet [Approximation et modélisation des champs de vent / Théorie et implémentation de techniques « H-Matrix » et Identification des objets 2D en traitement d’images, C. Le Guyader, N. Forcadel, C. Gout, H. Zidani, M. Helal, M. Ka]
• 30 mars 2021 : Visio Wake Op [P. Bénard - C. Gout]
• 22 novembre 2020 : Point d'avancement [sujets de stages LMI définis pour 2021]
• 15 septembre 2020 : Echanges sur le projet Wake Op [pilotage P. Bénard-C. Gout]
  Point de départ sur le projet, calendrier, Validation ligne LMI pour des stages prévus en 2021.
• 19 mars 2020 : Visio - Point sur le projet (Modélisation des champs de vent).
• 6 septembre 2019 : Démarrage du projet partie LMI.
• 4 juillet 2019 : projet Wake op retenu par la Région.

Partie CORIA (Projets Wake OP & WIMPY)

• 13/01/2022, Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO : Bilan final projet PRACE WIMPY
•  26/11/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO : Suivi projet WAKE-OP / validation code couplé 
•  19/11/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Ulysse VIGNY : Suivi projet WAKE-OP + projet PRACE WIMPY/ validation code couplé / adaptation de maillage
•  10/11/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Laurent BRICTEUX, Ulysse VIGNY : Suivi projet WAKE-OP + projet PRACE WIMPY / validation code couplé / calculs ferme 
•  03/11/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Laurent BRICTEUX, Ulysse VIGNY : Suivi projet WAKE-OP + projet PRACE WIMPY / validation code couplé / calculs ferme
•  26/10/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Laurent BRICTEUX, Ulysse VIGNY : Suivi projet WAKE-OP + projet PRACE WIMPY / validation code couplé / calcul précurseur
•  14/10/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Laurent BRICTEUX, Ulysse VIGNY, Félix HOUTIN-MONGROLLE : Suivi projet WAKE-OP + projet PRACE WIMPY / validation code couplé / calcul avec yaw angle / adaptation de maillage / ferme avec 35 éoliennes
•  05/10/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Laurent BRICTEUX, Ulysse VIGNY, Félix HOUTIN-MONGROLLE : Suivi projet WAKE-OP + projet PRACE WIMPY / suivis calculs / calcul avec yaw angle
•  24/09/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Stéphanie ZEOLI, Ulysse VIGNY, Félix HOUTIN-MONGROLLE : Suivi projet WAKE-OP + projet PRACE WIMPY / validation code couplé / calcul avec yaw angle / adaptation de maillage / ferme avec 35 éoliennes
•  15/09/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Stéphanie ZEOLI, Ulysse VIGNY, Félix HOUTIN-MONGROLLE : Suivi projet WAKE-OP + projet PRACE WIMPY / couplage / calculs Westermost Rough / adaptation de maillage
•  09/09/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Stéphanie ZEOLI, Ulysse VIGNY, Félix HOUTIN-MONGROLLE : Suivi projet WAKE-OP + projet PRACE WIMPY / couplage / calculs Westermost Rough / adaptation de maillage
•  30/08/2021,  Pierre BENARD, Etienne MULLER, Stéphanie ZEOLI, Ulysse VIGNY, Félix HOUTIN-MONGROLLE : Suivi projet WAKE-OP + projet PRACE WIMPY / couplage / calculs Westermost Rough / adaptation de maillage
•  23/08/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Stéphanie ZEOLI, Ulysse VIGNY, Félix HOUTIN-MONGROLLE : Suivi projet WAKE-OP + projet PRACE WIMPY / couplage / calculs Westermost Rough 
•  22/07/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Stéphanie ZEOLI, Ulysse VIGNY, Félix HOUTIN-MONGROLLE, Laurent BRICTEUX : Suivi projet WAKE-OP + projet PRACE WIMPY / couplage / calculs Westermost Rough / écoulement atmosphérique
•  07/07/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Stéphanie ZEOLI, Ulysse VIGNY, Félix HOUTIN-MONGROLLE, Laurent BRICTEUX : Suivi projet WAKE-OP + projet PRACE WIMPY / couplage / calculs Westermost Rough / écoulement atmosphérique
•  22/06/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Stéphanie ZEOLI, Ulysse VIGNY, Félix HOUTIN-MONGROLLE, Laurent BRICTEUX : Suivi projet WAKE-OP + projet PRACE WIMPY / couplage / calculs ferme Westermost Rough / contrôle / adaptation de maillage
•  09/06/2021, SGRE / CORIA : bilan 1 an projet WAKE-OP
•  03/06/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Stéphanie ZEOLI, Ulysse VIGNY, Félix HOUTIN-MONGROLLE, Laurent BRICTEUX: Suivi projet WAKE-OP + projet PRACE WIMPY / résolution problème restart BHawC / adaptation de maillage / couplage
•  18/05/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Stéphanie ZEOLI, Ulysse VIGNY, Félix HOUTIN-MONGROLLE, : Suivi projet WAKE-OP + projet PRACE WIMPY / couplage / calculs ferme Westermost Rough / contrôle / adaptation de maillage
•  04/05/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Stéphanie ZEOLI, Laurent BRICTEUX, Félix HOUTIN-MONGROLLE, Ulysse VIGNY : Suivi projet WAKE-OP + projet PRACE WIMPY / couplage / restart BHawC / adaptation de maillage
•  19/06/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Stéphanie ZEOLI, Laurent BRICTEUX, Félix HOUTIN-MONGROLLE, Ulysse VIGNY : Suivi projet WAKE-OP + projet PRACE WIMPY / couplage / adaptation de maillage / mise en données Siemens 2.3MW
•  22-26/03/2021 : Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Stéphanie ZEOLI, Laurent BRICTEUX, Félix HOUTIN-MONGROLLE, Ulysse VIGNY : Extreme CFD Workshop & Hackathon 4
•  15/03/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Stéphanie ZEOLI, Laurent BRICTEUX, Félix HOUTIN-MONGROLLE, Ulysse VIGNY : Suivi projet WAKE-OP + projet PRACE WIMPY / couplage / adaptation de maillage / calcul DTU10MW / préparation Extreme CFD Workshop 4
• 01/03/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Stéphanie ZEOLI, Laurent BRICTEUX, Félix HOUTIN-MONGROLLE, Ulysse VIGNY : Suivi projet WAKE-OP + projet PRACE WIMPY / analyse sillage et bilans / cas avec yaw variable / adaptation de maillage / couplage
• 20/01/2021,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Stéphanie ZEOLI, Laurent BRICTEUX, Félix HOUTIN-MONGROLLE, Ulysse VIGNY : Suivi projet WAKE-OP + projet PRACE WIMPY / couplage / boîte de Mann

  06/10/2020,  Pierre BENARD, Bastien DUBOC, Etienne MULLER, Simone GREMMO, Stéphanie ZEOLI, Laurent BRICTEUX, Félix HOUTIN-MONGROLLE, Ulysse VIGNY : Kick-off meeting projet WIMPY
• 04/05/2020, Pierre BENARD, Bastien DUBOC : Ecriture proposition projet PRACE WIMPY
• 09/2019 : Démarrage du projet.
• 4 juillet 2019 : projet Wake op retenu par la Région.

Contrôle OPTImal
pour la modélisation mathématique et simulation numérique
appliquées à l’environnement, au transport et au traitement d’images

 
.

• Laboratoire : LMI
• Porteur : Hasnaa Zidani
  
• Durée : 1er janvier 2021 au 31 décembre 2024
• Budget : 480 000€

Ce début d'année 2021 marque le lancement d'une chaire d'excellence ANR/Région Normandie, menée par le laboratoire LMI : COPTI, Contrôle OPTImal pour la modélisation mathématique et simulation numérique appliqués à l’environnement, le transport et le traitement d’images. Pour ce faire, l'INSA accueille Hasnaa ZIDANI, une experte internationalement reconnue dans ce domaine. Mission lui est confiée, avec les chercheurs du laboratoire, de mener un programme de recherche très compétitif au niveau international, visant à développer de nouvelles méthodes mathématiques, à la fois sur le plan théorique et numérique, pour la simulation, l’optimisation et le contrôle de phénomènes physiques, économiques, ou écologiques, avec une attention particulière portée aux applications dans les domaines du transport (véhicules autonomes, trafic routier), et de l'environnement (gestion de ressources, écologie marine). 

RECRUTEMENTS : 

• Piero Visconti (doctorant)

• Fernanda Urrea Castillo (doctorante).

GdT en Optimisation et Contrôle

Lieu: Salle de séminaire, Bâtiment Bougainville (RDC, salle BO-A-RC-02)

Fréquence: une ou deux fois par mois, mardi matin 

Contact: Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser. 

 Pour 2024/2025, vous pouvez retenir les dates suivantes : 22 octobre, 10 décembre,  28 janvier, 11 février, 4&18 mars, 1&29 avril,  13 & 27 mai, 10&24 juin

Le Groupe de Travail se clôturera avec le "Workshop Franco-Chilien en Optimisation" du 08 au 11 juillet 2025.

Séminaires à venir

• Mardi 11 février 2025  - 11h30  (Salle BO-A-RC-02)
  Caroline Geiersbach (University of Hamburg) 
  Title: "Numerical solution of optimal control problems under uncertainty"
  Abstract:The topic of this talk is a class of optimal control problems subject to uncertainty. We highlight some of the difficulties in the infinite-dimensional setting, which is of interest in physics- based models where a control belonging to a Banach space acts on a system described by a partial differential equation (PDE) with random inputs or parameters. We compare numerical approaches based on sample average approximation (SAA) and stochastic approximation (SA). The latter approach can be shown to perform competitively for applications in PDE-constrained optimization and numerical discretization error can also be carefully balanced with stochastic error.
  In the second part of the talk, we discuss applications where the state of the system, or the solution to the PDE, is further constrained. For the numerical solution, a Moreau-Yosida regularization of the state constraint is proposed. We highlight recent developments, which show that SAA approximations are consistent with the solution of the original problem as the sample size is taken to infinity. Moreover, we present interesting challenges in connection with an SA approach.

Séminaires passés 

• Mardi 10 décembre 2024  - 11h30  (Salle MA H R1 05)
  Louis-Pierre Chaintron (ENS-PSL & Cermics)
  Title: "How to constrain a Fokker-Planck equation? 

"
  Abstract: Fokker-Planck equations are widely used to model physical phenomena, their link with stochastic diffusions being used to account for average effects which need not being specified. However, the proposed model is always an approximation that cannot exactly reproduce all the features of the real system (mean, variance, higher order moment...). When such an inaccuracy is measured, a control approach can be used to bias the dynamics and select the desired behavior. Starting from and ODE setting, I will present this procedure and its stability properties. I will then turn to PDEs and I will make a link with probability approaches. This work is a collaboration with Giovanni Conforti (Padova university) and Julien Reygner (CERMICS, ENPC).

• Mardi 22 octobre 2024  - 11h30  (Salle des Conseils au D.U)
  Claudia Sagastizábal (IMECC - Unicamp, Campinas SP, Brazil)
  Title: "Industrial mathematics in action:full wave inversion"
  Abstract: An industrial mathematician combines analytical and problem-solving skills, built upon a background of mathematical theory, computing, statistics. To illustrate these features, we present an industrial application involving advanced tools of mathematical optimization. We discuss how to apply the theory of optimal mass transportation to geosciences, for full-waveform inversion, a seismic imaging technique. 

• Mardi 23 avril 2024 - 11h30 
  Guillaume Lauga (INRIA & ENS Lyon)
  Title: "Multilevel proximal methods for image restoration"
  Abstract: Solving high-dimensional optimisation problems is a difficult task, and numerous methods have been proposed to compensate for the high cost in computation time. The approach explored in this work exploits the structure of these optimisation problems, in order to reduce the computational cost of their solution.
  Specifically, we focus on the multi-resolution structure at the heart of multi-level optimisation methods. These approaches take advantage of the definition of coarse approximations of the objective function to make its minimisation more efficient. In this talk, we present a proximal multilevel algorithm IML FISTA - Inexact Multilevel FISTA - suitable for the solution of optimisation problems where the non-smooth component of the objective function has no explicit formulation for the proximal operator.
  The proposed method is then adapted to solve imaging problem in radio-astronomy. To reconstruct such images, a high number of observations in the Fourier space are combined. Such high number creates a computational bottleneck. We demonstrate that IML FISTA can provide considerable acceleration by using coarse approximation constructed in the observation space.

Mardi 9 avril 2024 - Journée Contrôle

• 11h00 - Islam Boussaada (L2S, CentraleSupélec, Univ. Paris Saclay)
  Title: "Fonctions hypergéométriques confluentes et le placement partiel des pôles de systèmes de dimension infinie"
  Abstract: Récemment, dans le cadre de l’étude de la stabilité exponentielle des systèmes gouvernés par des équations différentielles fonctionnelles, un nouveau lien entre les fonctions hypergéométriques confluentes et la distribution des zéros de la fonction caractéristique associée aux équations différentielles linéaires à retard a été mis en évidence. Cela a permis la caractérisation d’une propriété des systèmes à retard connue sous le nom de "la dominance induite par la multiplicité", ce qui a ouvert une nouvelle direction dans la conception de commande de faible complexité non seulement pour les systèmes à retard mais aussi pour certaines classes d’équations aux dérivées partielles en utilisant une idée de placement partiel des pôles. Dans cet exposé, après avoir rappelé quelques pré-requis, les fondements d’une méthodologie de placement de pôles seront présentés, puis des questions ouvertes seront abordées. Certaines applications telles que le contrôle actif des vibrations intervenant dans les structures flexibles et la modélisation de l’action du système nerveux central sur l’équilibre humain mettront l’accent sur les bénéfices de la stratégie de contrôle proposée. Enfin, des fonctionnalités d’un nouveau logiciel dédié appelé "P3δ" (https://cutt.ly/p3delta) seront présentées.
  Cet exposé reprend essentiellement des résultats de travaux méthodologiques en commun avec Silviu Niculescu (L2S, Université Paris-Saclay), Guilherme Mazanti (L2S, Université Paris-Saclay) et Wim Michiels (NUMA, KU Leuven) et des résultats de travaux applicatifs en commun avec Sami Tliba (L2S, Université Paris-Saclay), Tamas Insperger (MTA-BME, Budapest University of Technology and Economics) et Tomas Vyhlidal (Czech Technical University in Prague).
• 11h45 - Sami Tliba (L2S, CentraleSupélec, Univ. Paris Saclay)
  Title: "Contrôle actif des vibrations dans des structures mécaniques minces instrumentées de transducteurs piézoélectriques"
  Abstract: Dans cette présentation, nous commencerons d'abord par décrire la manière d'obtenir un modèle dynamique de dimension finie pour des systèmes intrinsèquement régis par des équations aux dérivées partielles, les structures mécaniques minces soumises à un environnement vibratoire sévère. Les vibrations affectent les équipements à forte valeur ajoutée qui sont embarqués dans les véhicules en mouvement. Le contrôle actif des vibrations s'avère nécessaire pour préserver l'intégrité et le fonctionnement de tels équipements. Les capteurs et actionneurs piézoélectriques se sont montrés remarquablement adaptés à la problématique et au contexte, mais nécessite l'emploi d'une modélisation par éléments-finis pour bien restituer les interactions électromécaniques en régime dynamique. L'emploi de correcteurs de type H-infini, robustes aux dynamiques négligées, a permis de répondre à la problématique, notamment de manière expérimentale. Dans une volonté de trouver d'autres structures de commande également efficaces, nous nous sommes penchés sur l'opportunité d'utiliser des lois de commande combinant des actions proportionneles et retardées afin d'évaluer leurs possibilités. Des travaux récents sur les systèmes à retard ont vu l'émergence d'une nouvelle structure de commande basées sur des actions retardées, incluant un terme auto-régressif portant sur la variable de commande, dans le but de réaliser un placement partiel des pôles en boucle fermée pour les systèmes linéaires invariants dans le temps et de dimension finie. Les correcteurs qui en résultent, appelés Correcteurs Quasi-Polynomiaux, notés QPB, correspondent à des lois de commande par rétroaction de la sortie mesurée avec des paramètres constants. Cette particularité présente un nombre trop faible de degrés de liberté, limitant les performances potentielles en boucle fermée. Pour surmonter ce problème, le correcteur original basé sur l'utilisation de quasipolynômes est amélioré en utilisant des "paramètres dynamiques", permettant d'augmenter le nombre de degrés de liberté disponibles pour la conception du correcteur. Il s’avère que l’utilisation de paramètres dynamiques dans le formalisme des fonctions de transfert correspond à des termes filtrés linéairement dans la loi de commande originale. Pour souligner les avantages apportés par un tel correcteur, le problème de l'amortissement actif des vibrations est abordé pour une structure mécanique flexible équipée d'une paire de capteur et d'actionneur piézoélectriques colocalisés.

• Mercredi 3 avril 2024 - Cours doctoral - 11h00 à 13h00
  Kaïs Ammari (Laboratoire Analysis and Control of PDEs, University of Monastir) 
  Title: "A unified approach to solving some inverse problems for evolution equations by using observability inequalities"
  Abstract : The goal of this course is to provide an unified approach to solve various types of evolution equations. The inverse problems we consider consist in determining unknown coefficients from boundary measurements by varying initial conditions. Based on observability inequalities, and a special choice of initial conditions we provide uniqueness and stability estimates for the recovery of volume and boundary lower order coefficients in wave and heat equations. 
• Mardi 2 avril 2024 - 11h30
  Jalal Fadili (ENSICAEN, Normandie Université, CNRS, GREYC)
  Title: "Convergence and Recovery Guarantees of Generative Neural Networks for Inverse Problems"
  Abstract: Neural networks have become a prominent approach to solve inverse problems in recent years. While a plethora of data-driven methods was developed to solve inverse problems empirically, we are still lacking clear theoretical guarantees of these methods. On the other hand, many works have outlined the role of overparametrization to show convergence to optimal solutions of neural networks training. In this work we investigate how to bridge these two worlds and we provide deterministic convergence and recovery guarantees for a class of neural networks optimized to solve inverse problems. In the random setting, we also derive overparametrization bounds under which a two-layer Deep Inverse Prior network with smooth activation function will benefit from our guarantees. It is thus a first step towards the theoretical understanding of neural networks in the inverse problem setting.

• Mardi 19 mars 2024 - 11h30
  Kaïs Ammari (Laboratoire Analysis and Control of PDEs, University of Monastir)
  Title: "Well-posedness and stability of abstract thermoelastic delayed systems"
  Abstract : In this talk, we consider a stabilization problem of a generalized thermoelastic system (the so-called $\alpha-\beta$ system) with delay in a part of the coupled system. For each case, we prove the well-posedness of the corresponding system using semigroup approach, then under some sufficient conditions we establish some results of exponential and polynomial stability of the system through a frequency-domain approach. The results are applied to concrete examples in thermoelasticity.

• Mardi 20 février 2024 - 11h30
  Wei LU (LMI, INSA Rouen Normandie)
  Title: "Online Estimation of the Inverse Hessian for Stochastic Optimization with Application to Universal Stochastic Newton Algorithms"
  Abstract : This work addresses second-order stochastic optimization for estimating the minimizer of a convex function written as an expectation. A direct recursive estimation technique for the inverse Hessian matrix using a Robbins-Monro procedure is introduced. This approach enables to drastically reduces computational complexity. Above all, it allows to develop universal stochastic Newton methods and investigate the asymptotic efficiency of the proposed approach.

•  Mardi 6 février 2024 - Journée Thématique "ANR -COSS"
  • 11h00 - Fabio Camilli (Univ. Sapienza - Rome 1)
    Title: "Continuous dependence estimates for viscous Hamilton-Jacobi equations on networks with applications"
    Abstract: We present a continuous dependence estimate for viscous Hamilton-Jacobi equations defined on networks. Given two Hamilton-Jacobi equations, we prove an estimate on the C2-norm of the difference between the corresponding solutions in terms of the  distance between the coefficients. Then, we  provide two applications of the previous estimate: the first one is an existence and uniqueness result for a quasi-stationary Mean Field Games system defined on a network; the second one is an estimate of the rate of convergence for
    homogenization of viscous Hamilton-Jacobi equations defined on a periodic lattice, when the size of the cells vanishes and the limit problem is defined in the whole Euclidean space.
  • 11h45 - Emmanuel Chasseigne (Univ. Tours) 
    Title: "Problèmes ergodiques pour des équations de Hamilton-Jacobi visqueuses avec dérive" 
    Abstract: On s'intéresse ici aux propriétés de constantes ergodiques apparaissant dans des équations de Hamilton-Jacobi. On utilise trois approches différentes : un problème d'évolution, un problème stationnaire et un problème d'optimisation stochastique. L'exposé se veut assez généraliste, présentant une compilation de plusieurs travaux réalisés en collaboration avec N. Ichihara (Tokyo) et ne rentre donc pas dans les détails techniques.

• Mardi 23 janvier 2024 - 11h30
  Philippe Moireau (INRIA & Ecole Polytechnique)
  Title: "Optimal filtering for PDEs and with PDEs"
  Abstract : Optimal filtering approaches in data assimilation are an old theory that is theoretically attractive but computationally prohibitive because of the curse of dimensionality in numerical implementation. In this talk, we propose to completely rethink this theory for two different problems. First, using parabolic PDEs, we show that additional regularity results imply that the Riccati operator belongs to the class of Hilbert-Schmidt operators and hence associated with kernels. This regularity allows us to perform the numerical analysis of the space-time discretization of the Kalman estimator and justifies the implementation of a numerically effective Kalman algorithm thanks to the use of H-matrices originally developed for the discretization of integral equations. The second problem concerns nonlinear finite dimensional problems, where this time the optimal filter can be computed from a solution of a Hamilton-Jacobi-Bellman (HJB) equation defined in the state space. After choosing a particular splitting time scheme for this HJB equation, we recognize inf-convolutions and proximal operators, which are now popular in optimal transport and optimization. Through the use of the softmax approximation, this allows us to limit the burden of the resulting algorithm and paves the way for the use of optimal filters for nonlinear PDEs when combined with model reduction strategies.

• Mardi 21 novembre 2023 - 11h30
  Mounir Haddou (IRMAR - Insa Rennes)
  "Interior point methods for solving Pareto eigenvalue complementarity problems"
  Abstract: We propose to solve Pareto eigenvalue complementarity problems by using interior-point methods. Precisely, we focus the study on an adaptation of the Mehrotra Predictor Corrector Method (MPCM) and a Non-Parametric Interior Point Method (NPIPM).  We compare these two methods with two alternative methods, namely the Lattice Projection Method(LPM) and the Soft Max Method (SM).  On a set of data generated from the Matrix Market, the performance profiles highlight the efficiency of MPCM and NPIPM for solving eigenvalue complementarity problems.  We also consider an application to a concrete and large size situation corresponding to a geomechanical fracture problem. Finally, we discuss the extension of MPCMand NPIPM methods to solve quadratic pencil eigenvalue problems under conic constraints. (This is a joint work with Samir Adly and Le Manh Hung from Univ. of Limoges.)

• Mardi 14 novembre 2023 - 11h30
  Samia Ainouz (LITIS - Insa Rouen)
  "Formalisme Mathématique de la polarisation : théorie et application"
  Abstract : L’imagerie non conventionnelle de polarisation est un outil très performant pour percevoir des détails de la scène qui ne sont pas perceptibles avec une caméra classique. Longtemps réservée à l'astronomie et à la biologie, l’imagerie de polarisation commence à gagner du terrain dans le domaine de la robotique et du véhicule autonome. Récemment, elle a été utilisée pour une analyse fine de la scène routière afin de prendre le relai là où les systèmes de vision échouent. Néanmoins, l’analyse automatique d'une scène routière, requiert de la détection, de la classification, du calcul de similarité et donc de la distance. Or, de par sa construction, le formalisme de polarisation n’a aucune structure mathématique. Il est basé sur la réflexion et de ce fait deux points proches en terme de distance euclidienne ne le sont pas forcément en terme "optique", c'est à dire, n'appartiennent pas forcément au même matériau. La raison vient du fait que tout le formalisme de polarisation est basé sur la propagation des ondes lumineuses. Ces ondes électromagnétiques planes sont modélisées par des vecteur 4x1; les vecteurs de Stokes. La somme de deux vecteurs de Stokes ne reflète pas forcément la somme de deux ondes planes même quand elles sont de polarisations identiques. Dans cet exposé, je présenterai cette problématique dans sa globalité ainsi que quelques applications. Je présenterai également quelques pistes envisagées pour définir une structure mathématique autour du formalisme de la polarisation.

• Mardi 17 octobre 2023 - 11h30
  Wim van Ackooij (EDF R&D, Scaly)
  "Accounting for uncertainty through probability functions"
  Abstract : Motivated by practice wherein one is keen on accounting for uncertainty in decision making, probability functions offer an intuitive framework. It turns out that the theoretical study of these objects offers many interesting perspectives. In this talk we will discuss some recent insights in the study of probability functions. Notably we will discuss issues as convexity and differentiability. We will also try to show how these insights can be put to work in practice.

• Mardi 4 juillet 2023 - 11h30
  Fabien Pierre (INRIA, Equipe Tangram, LORIA)
  "Couplage de méthode variationnelle avec des CNN pour la colorisation d'image"
  Résumé : Nos travaux visent à combiner la prédiction puissante des réseaux de neurones convolutionnels (CNN) avec la précision au pixel près des méthodes variationnelles. Les limites des approches de colorisation d'images basées sur les CNN seront décrites. Nous nous concentrons ensuite sur un CNN capable de calculer une distribution statistique des couleurs pour chaque pixel de l'image à partir d'un processus d'apprentissage sur une grande base de données d'images couleur. Après avoir décrit sa limitation, une méthode variationnelle sera rappelée. Cette méthode sélectionne une couleur à partir d'un ensemble donné tout en régularisant le résultat. En combinant cette approche avec un CNN, nous avons conçu une approche de colorisation d'image entièrement automatique qui améliore la précision par rapport au CNN seul. Une extension incluant des deep image priors est également proposée pour conserver des structures fines de l'image. Quelques expériences numériques montrent la précision apportée par notre méthode. 

• Mardi 27 juin 2023 - 11h30
  Lionel Riou-Durand (University of Warwick, UK)
  "Metropolis Adjusted Langevin Trajectories, a robust alternative to Hamiltonian Monte Carlo"
  Résumé :  Hamiltonian Monte Carlo (HMC) is a widely used sampler, known for its efficiency on high dimensional distributions. Yet HMC remains quite sensitive to the choice of integration time. Randomizing the length of Hamiltonian trajectories (RHMC) has been suggested to smooth the Auto-Correlation Functions (ACF), ensuring robustness of tuning. We present the Langevin diffusion as an alternative to control these ACFs by inducing randomness in Hamiltonian trajectories through a continuous refreshment of the velocities. We connect and compare the two processes in terms of quantitative mixing rates for the 2-Wasserstein and L2 distances. The Langevin diffusion is presented as a limit of RHMC achieving the fastest mixing rate for strongly log-concave targets. We introduce a robust alternative to HMC built upon these dynamics, named Metropolis Adjusted Langevin Trajectories (MALT). Studying the scaling limit of MALT, we obtain optimal tuning guidelines similar to HMC, and recover the same scaling with respect to the dimension without additional assumptions. We illustrate numerically the efficiency of MALT compared to HMC and RHMC. 

• Mardi 11 avril 2023 - 11h30
  Averil Prost (LMI, INSA)
  "Quadratic is the new smooth - A notion of viscosity for control problems in the Wasserstein space over R^d"
  Abstract. The generalization of viscosity theory to control problems over Wasserstein space is an active topic. This talk will focus on some advances in the direction of test functions. We introduce the Hamilton-Jacobi approach to control problems in a general context in order to highlight the intuition behind it, then decline it in the Wasserstein context. We discuss how to overcome two of the arising difficulties by adapting the notion of viscosity. This allows us to obtain some results of comparison and uniqueness of the solution of a suitable HJ equation. 

• Jeudi et Vendredi 16&17 mars  2023 
  Journées ANR COSS (cliquer ici) 

• Mardi 14 février 2023 - 11h30
  Sourour Elloumi (ENSTA Paris, IPP)
  "Mathematical programming formulations for discrete location problems"
  Abstract. Given a set of facilities and a set of clients, discrete location problems aim to open a subset of facilities and assign each client to an open facility in such a way that a given cost is optimized. This class of problems has a wide range of applications and is much studied. We discuss different formulations of some of these problems by Mixed Integer Linear Programming (MILP) and point out characteristics of these formulations, namely the size and the quality of the linear programming relaxation bound. Our objective will be to illustrate how the choice of a formulation may have an important influence on the running time needed to compute an optimal solution.
 

• Jeudi 9 février 2023 - 11h30  - Salle LMRS
  Juan Peypouquet (University of Groningen)
  "Inertial algorithms for monotone inclusions and fixed point problems"
  Abstract. We present an overview of the dynamical aspects of old and new first-order methods used in optimization and variational analysis, and how inertial features and relaxation can help improve their performance. Special attention will be paid to inertial and overrelaxed primal-dual methods, as an illustration. 
• Mardi, 24 janvier 2023 - 11h30  
  Imad El Bouchairi (LMI)
  "Nonlocal continuum limits of p-Laplacian problems on graphs"
  Abstract. The nonlocal p-Laplacian operator, the associated evolution equation and boundary value problem, governed by a given kernel, have applications in various areas of science and engineering. In particular, they have become modern tools for massive data processing (including signals, images, and geometry), and machine learning tasks such as semi-supervised learning. In practice, these models are executed in discrete form (in space and time, or in space for the boundary value problem) as a numerical approximation to a continuous problem, where the kernel is replaced by an adjacency matrix of a graph. In this work, we first focus on the study of numerical approximations of these models. Combining tools from graph theory, convex analysis, Γ-convergence, nonlinear semigroup theory, and evolution equations, we give a rigorous interpretation to the nonlocal continuous limit of the discrete nonlocal p-Laplacian evolution and boundary value problems on sparse graphs. Along the way, we provide consistency/error bounds. These results lead us to derive the rate of convergence of solutions for the discrete models on K-random sparse graphs to the solution of the corresponding nonlocal problems on the continuum, as the number of vertices grows to infinity, and we highlight the influence of p, the sparsity of the graphon, and the regularity of initial/boundary data on the convergence rate. 
   
• Mardi, 6 décembre 2022 - 11h30  
  Riccardo Bonalli (L2S & CNRS)
  "On Learning- and Optimization-based Methods for Risk-Averse Control of Autonomous Systems"
  Abstract: From energy networks to space systems: complex Autonomous Systems (AS) have become pervasive in our society. In this context, the design of increasingly sophisticated methods for the modeling and control of AS is of utmost relevance, given that they regularly operate in uncertain and dynamic circumstances. On the one hand, to mitigate hazardous and possibly catastrophic uncertain perturbations during the decision-making (or planning) process, one is led to reliably infuse Learning-based Models (LM) in the control pipeline. LM offer numerous advantages, including accurate representations of sophisticated systems which accomplish complex tasks. Nevertheless, due to the high degree of uncertainty in which AS operate, one must devise LM capable of offering guarantees of reliability. On the other hand, beneficially leveraging the aforementioned LM for safe-against-uncertainty deployment of AS may come only under specific optimal planning and control processes. In particular, the best trade-off is offered by risk-averse Stochastic Optimal Control Problems (SOCP), providing controls which optimize sophisticated stochastic worst-case-averse costs known as risk measures.
  This talk aims at introducing two promising techniques which start bridging the aforementioned gaps. Specifically, the first part of the talk will show how general, i.e., non-linear stochastic differential equations may be estimated through appropriate sampling- and RKHS-based LM, offering high-order error bounds in law. The second part of the talk will address the design of conditions for optimality which can then be leveraged to solve general, i.e., non-smooth risk-averse SOCP through efficient numerical computations. 

• Mardi, 22 novembre 2022 - 11h30  
  Idriss Mazari (Ceremade, Université Dauphine)
  "Optimisation de formes & contrôle optimal: contrôle bilinéaire versus contrôle linéaire"
  Résumé: Le contrôle optimal d’équations elliptiques ou paraboliques est un sujet classique et important de la théorie des équations aux dérivées partielles. Dans cet exposé, je présenterai quelques résultats sur une question qualitative qui apparaît dans de nombreuses applications, notamment en biologie: supposons que l’on se donne un opérateur, elliptique ou parabolique, noté $L$, une non-linéarité $f=f(t,x,u)$, abrégée en $f(u)$, et un couplage $\phi(y,u)$ entre le contrôle $y$ et l’état $u$. L’équation d’état est donnée par
  L u= f(u)+\phi(y,u).
  On se donne une fonctionnelle de coût de la forme 
  J(y)=\int j(u)
  où l’intégrale est en espace, ou en espace et en temps, et où $j$ peut également dépendre de $x$ et $t$. La classe de contrôles admissibles Y est définie par une contrainte $L^\infty$ et une contrainte $L^1$. Enfin, le problème de contrôle optimal est 
  \[ \max_{y\in Y}J(y).\]
  Une question naturelle est alors de savoir si les contrôle d’optimaux $y^*$ sont bang-bang, c’est-à-dire s’ils valent 0 ou 1 presque sûrement, ou si, au contraire, ils peuvent comporter des zones “anormales”, où ils prennent des valeurs entre (0;1). D’un point de vue théorique aussi bien que numérique, cette question a son importance. Je parlerai de deux classes de résultats:
  1) D’abord, pour les contrôles bilinéaires, c’est-à-dire avec $\phi(y,u)=yu$, je présenterai des travaux en collaboration avec G. Nadin et Y. Privat, qui indiquent que, si la fonctionnelle $J$ est croissante (y\leq y’ implique J(y)\leq J(y’)), alors la propriété bang-bang est satisfaite, indépendamment des propriétés de concavité ou convexité de la non-linéarité $f$. Ces résultats constituent un analogue “contrôle” du théorème de Buttazzo-DalMaso.
  >2) Ensuite, pour les contrôles linéaires, c’est-à-dire avec $\phi(y,u)=y$, je présenterai des résultats obtenus avec G. Nadin et A. Toledo-Marrero qui montrent que la concavité de la non-linéarité $f$ devient critique. J’expliquerai comment des développements multi-échelles nous permettent alors d’obtenir des informations plus fines sur le comportement des optimiseurs sur la zone anormale. 

• Mardi, 8 novembre 2022 - 11h30  
  Piero Visconti (LMI)
  " Optimality conditions for parabolic stochastic optimal control problems with boundary controls"
  Abstract.  Optimality conditions are provided for a class of control problems driven by a Wiener process, which amounts to a stochastic maximum principle in differential form. The control is considered to act on the drift and the volatility, both of which may be unbounded operators, which allows us to consider SPDEs with control and/or noise on the boundary. By the factorization method, a regularizing property is established for the state equation which is then employed to prove, by duality, a similar result for the backward time costate equation. The costate equation is understood in the sense of transposition. Finally, the cost is shown to be Gateaux differentiable and its derivative is represented in terms of the costate, the optimality condition is deduced using the results of set-valued analysis. 

• Mardi, 4 octobre 2022 - 11h30  
  Athena Picarelli (Università di Verona)
  "A semi-Lagrangian scheme for a Hamilton-Jacobi-Bellman equation arising in stochastic exit time control problems" Abstract. We study the numerical approximation of parabolic, possibly degenerate, Hamilton-Jacobi-Bellman (HJB) equations in bounded domains. It is well known that convergence of the numerical approximation to the exact solution of the equation (considered here in the viscosity sense) is achieved under the assumptions of monotonicity, consistency, and stability of the scheme. While standard finite difference schemes are in general non-monotone, the so-called semi-Lagrangian (SL) schemes are monotone by construction. These schemes make use of a wide stencil and, when the equation is set in a bounded domain, this typically causes an overstepping of the boundary. We discuss here a suitable modification of this scheme adapted to the treatment of boundary problems.  

• Mardi, 24 mai 2022 - 11h30  (Reporté)
  Abderrahim El Moataz Billah (Université de Caen)
  "Équations aux Derivées partielles sur Graphes et applications en Science des données"
  Résumé. Les Équations aux Dérivées Partielles (EDP) non-linéaires sur des graphes  connaissent actuellement  un intérêt croissant du fait qu’elles apparaissent naturellement dans beaucoup d’applications en mathématique, en physique, en biologie, en économie ou en science des données ( réseaux internet ou routier, réseaux sociaux, traitement d’image, apprentissage automatique, erc...).Dans cette présentation , je donnerais une revue rapide de certaines équations de type p-laplacien, infini Laplacien , game p-laplacien ou de type Hamilton Jacobi sur graphes.Je présenterais différentes applications en traitement d'images et en apprentissage utilisant ces EDPs en se focalisant sur l'imagerie médicale et la valorisation du patrimoine culturel

• Mardi, 26 avril 2022 - 11h30 
  Guillaume Cantin (Laboratoire des Sciences du Numériques de Nantes)
  "Synchronisation et contrôle dans des réseaux complexes de systèmes dynamiques "
  Résumé. Dans cet exposé, nous étudions quelques propriétés de réseaux de systèmes dynamiques continus, d ́eterminés par des équations différentielles ordinaires ou par des équations de réaction-diffusion. Après avoir présenté la construction du ré seau et le problème d’évolution associé, nous montrons quelles conditions garantissent l’existence et l’unicité de solutions globales. Puis, nous nous intéressons au phénomène de synchronisation des dynamiques locales dans le réseau. La première partie de l’exposé est consacrée à la synchronisation dans des réseaux de systèmes de réaction- diffusion ; nous démontrons en particulier qu’un état de synchronisation peut être atteint asymptotiquement dans des attracteurs non triviaux. La deuxième partie est consacrée aux réseaux d’équations différentielles ordinaires, pour lesquels nous recherchons des conditions permettant d’atteindre l'état de synchronisation par contrôle optimal de la topologie du réseau. Plusieurs applications sont envisagées, avec notamment un modèle de panique et un modèle proie-prédateur en habitat fragmenté.

• Mardi, 1er mars 2022 - 11h30 
  Carole Le Guyader (LMI)
  "Représentation multiéchelle d'une déformation"
  Abstract: Motivated by Tadmor's work dedicated to multiscale image representation using hierarchical (BV,L^2) decompositions, we propose transposing their approach to the case of registration, a task which consists in determining a smooth deformation aligning the salient constituents visible in an image into their counterpart in another. The underlying goal is to obtain a hierarchical decomposition of the deformation in the form of a composition of intermediate deformations: the coarser one, computed from versions of the two images capturing the essential features, encodes the main structural/geometrical deformation while iterating the procedure and refining the versions of the two images yields more accurate deformations that map faithfully small-scale features. The proposed model falls within the framework of variational methods and hyperelasticity by viewing the shapes to be matched as Ogden materials. The material behaviour is described by means of a specifically tailored strain energy density function, complemented by L^∞ penalisations ensuring that the computed deformation is a bi-Lipschitz homeomorphism. Theoretical results emphasizing the mathematical soundness of the model are provided, among which the existence of minimizers, a Γ-convergence result, and analysis of a suitable numerical algorithm, along with numerical simulations demonstrating the ability of the model to produce accurate hierarchical representations of deformations.

• Mardi, 1er février 2022 - 11h30 
  Cristopher Hermosilla (Universidad Técnica Frederico Santa María, Chile),
  "Optimal control of the Sweeping Process with a non-smooth moving set
  Abstract: In this talk, we present a fully nonsmooth Pontryagin Maximum Principle for optimal control problems driven by a sweeping process with drift. The setting we study is an optimal control problem of the Mayer type in which the optimization procedure is carried out by choosing a control function from a class of admissible controls. The choice of the control modifies the drift and the related solution to the perturbed sweeping process. Here, for the first time, we are able to prove a Pontryagin Maximum Principle in the case in which the moving set is both nonsmooth and non-convex by using novel approximation techniques which is able to exploit the controllability properties of the dynamics.

• Mardi, 18 janvier 2022 - 11h30    (SALLE 210)
  Timothée Schmoderer  (LMI),
  "Planification de trajectoires par la méthode de continuation régularisée"
  Résumé : Pour un système de contrôle, il est possible de décrire l'ensemble des points accessibles à partir d'un état initial à l'aide de l'ensemble des commandes disponibles. En revanche, pour un état final accessible donné, il est en général hors de portée de donner une commande qui réalise le transfert de l'état initial vers cette état final ; c'est le problème de planification de trajectoires.  Dans cet exposé, nous présenterons la méthode de continuation introduite (dans ce cadre) par Sussmann et développée par Chitour. Cette méthode introduit une suite de problème qui sous certaines conditions converge vers une commande réalisant la trajectoire souhaitée. Ces conditions impliquent que la méthode évite la variété singulière de l'application entrée-sortie associée au système.  La description de ces singularités est un problème encore ouvert aujourd'hui, nous proposerons alors une régularisation de la méthode de continuation. Nous donnerons une condition nécessaire à la convergence de la solution régularisée vers une solution du problème original. Nous illustrerons le potentiel de cette méthode à travers quelques exemples numériques.

• Mardi, 7 décembre 2021 - 11h30 
  Othmane Jerhaoui (UMA, ENSTA Paris), 
  "Deterministic optimal control on Riemannian manifolds under probability knowledge of the  initial condition"
  Abstract: In this talk, we study an optimal control problem on a compact Riemannian manifold with imperfect information on the initial state of the system. The lack of information is modeled by a Borel probability measure along which the initial state is distributed. The main result is that the value function of the problem is the unique viscosity solution to an HJB equation defined on The Wasserstein space. The notion of viscosity is defined by exploiting the Riemannian-like structure on Wasserstein spaces

• Mardi, 23 novembre 2021 - 11h30 
  Conrad Gstoettner (Université de Linz, Austria),
  "Structurally Flat Triangular Forms on Basis of the Extended Chained Form and Systems Linearizable by a Two-Fold Prolongation
  Abstract: The extended chained form is a well-known structurally flat triangular form. Easily verifiable geometric conditions which characterize the extended chained form have been derived. Augmenting the extended chained form by integrator chains turned out to yield structurally flat triangular forms which cover a broad variety of practical and academic flat two-input systems. In one of these triangular forms, equally lengthened integrator chains are attached to the inputs of a system in extended chained form. Furthermore, the case of integrator chains which differ in length by one integrator has been characterized. In this talk, the relation of these two triangular forms to the class of two-input systems which are linearizable by a two-fold prolongation of a suitably chosen input is discussed.

• Mardi, 09 novembre 2021 - 11h30 
  Arnaud Knippel (LMI), "Laplacien de graphe et applications"
  Résumé : Pour un graphe simple non orienté, on définit le Laplacien comme la différence entre la matrice diagonale des degrés des sommets et la matrice d’adjacence. Cet opérateur matriciel est une version discrète de l’opérateur Laplacian de l’équation d’onde (ou équation de la chaleur), et intervient dans de nombreux domaines où l’on étudie de façon dynamique des flots de quantités soumises à une loi de conservation. 
  L’exposé comporte une première partie abordant les propriétés des Laplaciens de graphe et de leurs spectres. Nous présentons des résultats sur des transformations de graphes permettant des calculs exacts de valeurs propres et vecteurs propres. Nous caractérisons grâce à ces outils les graphes qui admettent des vecteurs propres composés uniquement des valeurs 0, 1 et -1. Ces graphes ont des propriétés de stabilité pour des systèmes dynamiques étudiés en physique théorique. Nous abordons aussi l’étude de graphes composés de chaînes et de cliques, qui correspondent à des modèles simples de protéines. Le Laplacien de graphe intervient aussi pour des applications dans le domaine électrique : nous proposons un modèle simplifié de loadflow pour les réseaux de transmission, et proposons une approche d’optimisation basée sur les vecteurs propres du Laplacien de graphe.

• Mardi, 26 octobre 2021 - 11h30 
  Witold Respondek (LMI), "Les entrés plates : la théorie et des applications"
  Résumé : Un système avec m commandes est dit plat si nous pouvons exprimer tous ses états et commandes en utilisant m fonctions bien choisies (de l'état, de la commande et de ses dérivées par rapport au temps) qui sont appelées sorties plates. Dans notre exposé, nous présenterons une théorie du concept dual, à savoir celui des entrées plates. Étant donné un système dynamique observé (sans contrôles), le problème des entrées plates est d'ajouter des contrôles au système de telle sorte que le nouveau système devienne plat, les observations d'origine étant ses sorties plates, c'est-à-dire le problème de placer des actuateurs. On rappellera la notion de platitude, définirons les entrées plates, puis discuterons une solution dans le cas observable (cas déjà résolu), et enfin proposerons une solution dans le cas inobservable. Nous illustrerons nos résultats en les appliquant au problème de la communication sécurisée.

• Mardi 2 juillet 2024 - 11h30 
  Nicolas Maignan (INRIA, Project Team "Tangram")
  Title: "Studies and challenges in legacy video colorization"
  Abstract: Video colorization gives a new look to archival documents, making them more attractive among new generations. This work not only requires in-depth research to ensure historical accuracy, but is also time-consuming due to the processing of the thousands of images making up a video sequence. Current methods aimed at streamlining this process remain inefficient, with significant variations in hue over time, incomplete results for automatic methods, and artifacts appearing during frame-by-frame colorization. Despite reduced computation times, these shortcomings persist, forcing professionals to rework sequences manually, even after using algorithms guided by already colorized frames. Moreover, there is no database of old videos in color, so the ground truth is not available to train a classical big data model.
  The aim of this thesis is to develop colorization methods that are more stable over time, enabling experts to produce results with the desired hues and saturations and low data consuming. The first method we propose is based on a neural network using spatial and temporal convolution kernels to diffuse the colors from a few frames to the rest of the video. This first approach is fully unsupervised and does not require any database. The aim of this approach is to guarantee consistent colorization faithful to the user's style. In a second step, we studied the limitations of the well-known DeOldify method to check if this approach is accurate with a few amounts of data and with Technicolor movie, aiming to use similarly contrasted video.
  • 19 au 21 juin 2024
    Workshop "On the Road to New Horizons: A Lighthearted Conference on Control Theory, Celebrating Witold Respondek's (Partial) Retirement!".
    Cliquer ici pour plus d'information

Plan de Relance - Préservation de l'emploi R&D (2021-2024)

CORIA : Simulation numérique pour l’énergie éolienne au niveau :
- des charges aéroélastiques sur les rotors et sur les pales
- des charges et performances sur les fermes éoliennes placées en ferme en mer
Ceci avec un objectif ambitieux afin de changer d’échelle sur les développements des méthodes avancées (LES, DES) dans un objectif de remplacement des méthodes classiques (semi empiriques) utilisées depuis plus de 20 ans en particulier pour :
- les scenarii de charges hautement instationnaires clefs pour les dimensionnements des turbines avec des pales de plus de 108 mètres d’envergure
- d’optimisation des effets de sillage et interaction avec les charges spécifiques sur les rotors. Cet objectif est clef pour améliorer le dimensionnement des fermes et leurs fondations et gagner en compétitivité de la filière.

AAPG 2021 - Projet MEDISEG

BOUM SMAI
Projet  LMI INSA Rouen / INRIA MAKUTU
 

Partenaires :
              

Voici le programme du Mercredi 29 Juin - Amphi Tillion - INSA Rouen:

• 9h - 9h30 : Nicolas Victorion (MAKUTU, Pau), Méthodes Différences Finies et Machine Learning pour réduire la dispersion numérique dans le cadre de la résolution de l'équation des ondes.
• 9h30 - 10h :  Vinduja Vasanthan (MAKUTU, Pau), Couches absorbantes parfaitement adaptées (PML) et méthodes Trefftz-DG pour la propagation des ondes acoustiques en temps.
• 10h - 10h30 : Antoine Tonnoir (LMI, Rouen), La méthode des demi-plans raccordés pour simuler des problèmes de diffraction dans des milieux anisotropes.
• Pause de 30min pour discussions et autres
• 11h - 11h30 : Arjeta Heta (MAKUTU, Pau), Schémas numériques avancés pour comprendre les effets sismo-électriques et améliorer la caractérisation des réservoirs géologiques.
• 11h30 - 12h : Julien Besset (MAKUTU, Pau), Développement d’un environnement de calcul optimisé intégrant la sismique dans le suivi de stockage et de monitoring du CO2.

3D printing / Additive manufacturing

FabLab @ LMI EA 3226, INSA Rouen

 Contact: C. Gout

2022/2024 :

• Student project / Projet étudiants GM4 [M. Kamoun, L. Padé, H. Hiddar] <pdf>
• Project :  Lidar 3D - Polycam 3D scanner Lidar [by Polycam Inc. for Iphone 13/14] [C. Gout, G. Khayretdinova, N. Forcadel]

From previous works of Schmidt et al. [MPS1, MPS2], MP shows the process ot the topology optimization by fixing the letters and applying rotational forces on the perimeter of the disc using codes from [MPS1], leading to all these (nice!) curved fibers which follow the stress lines...

Guzel Khayretdinova working on the 3D software to create the file to be printed

 Last step for Guzel...

The designs were automatically generated using Topology Optimization algorithms.

In recent years, the field of additive manufacturing (AM), often referred to as 3D printing, has seen tremendous growth and radically changed the way we describe valid 3D models for fabrication. While not free of constraints, AM offers an unprecedented level of freedom in geometrical complexity for manufacturable feasible designs. One example of such design freedom is the creation of intricate, robust, and lightweight internal structures. Our approach builds upon and extends the recent works on topology optimization for the so-called infill structures. In order to have more design control over these infill structures, we present a new formulation allowing the generation of mixed design patterns containing bulk and porous regions using a guiding constraint parameterized by non-uniform constraining fields. Secondly, we demonstrate multiple methods of generating such non-uniform fields to leverage the present formulation and analyze their effect on the geometrical and physical properties of the obtained designs.

Major reference:

[MPS1] M.P. Schmidt, C. Pedersen, C. Gout, On structural topology optimization using graded porosity control, Structural and Multidisciplinary Optimization (60 - 4), pp. 1437--1453, 2019.

and

[MPS2]  M.-P. Schmidt, L. Couret, C. Gout, C. B.W. Pedersen, Structural Topology Optimization with Anisotropic Materials for Continuous Fiber Designs, Structural and Multidisciplinary Optimization 62, pp. 3105–3126, 2020.

Christian Gout - Fev. 2023

BOUM SMAI
INRIA MAKUTU - LMI INSA Rouen
 

Partenaires :
        

Voici le programme

Jeudi 29 juin matin

• 10h-10h30 : Lola Chabat (Makutu INRIA) : ”Effects of Cowling approximation on solar oscillations in radial symmetry”
• 10h30-11h : Ibrahima Djiba (Makutu INRIA) : ”Méthode de décomposition de domaine basée sur une formulation de Trefftz pour l’acoustique hétérogène anisotrope”
• 11h-11h30 : Augustin Leclerc (LMI INSA Rouen / Makutu INRIA) : ”Modal computation for an open EM eigenvalue problem”
• 11h30-12h : Discussions diverses - Théorie et applications de l'étude de la propagation des ondes.

Jeudi 29 juin aprés-midi

• 14h30-15h : Theau Cousin (LMI INSA Rouen / CEREMA Rouen) : ”Tomographie électromagnétique pour le génie civil”
• 15h-15h30 : Arjeta Heta (Makutu INRIA) : ”Approximate Coupling Terms in Seismoelectric Theory : From Frequency Domain to Time Domain”
• Pause
• 15h45-16h15 : Nicolas Victorion (Makutu INRIA) : ”Optimized Finite Differences methods and Machine Learning to reduce numerical dispersion for the wave equation”
• 16h15-16h45 : Julien Besset (Makutu INRIA) : ”Full Waveform Inversion of the Acoustic Wave Equation in GEOSX multiphysics simulator: Implementation through PyGEOSX and Proper Orthogonal Decomposition”
• 16h45-17h45 : Discussions diverses/Table ronde -  Approximation de données, théorie et applications de l'étude de la propagation des ondes, énergies renouvelables (éolien, solaire, géothermie...).

Vendredi 30 juin matin

• 9h30-10h : Maëlys Ruello (ONERA Toulouse) : ”Méthodes de propagation de type One-Way pour les équations de Navier-Stokes”
• 10h-10h30 : Roxane Delville-Atchekzai (LJLL Sorbonne Université/CEA Cesta) : ”Parallélisation d’une méthode OSM non locale pour l’électromagnétisme”
• Pause
• 10h30-11h : Matthias Rivet (Makutu INRIA) : ”Méthode des Différences Spectrales pour les problèmes de propagation harmonique : analyse d’erreur a priori 1D”
• 11h15-11h45 : Nathan Rouxelin (LMI INSA Rouen) : ”Schémas de post-processing pour les méthodes mixtes super-convergentes”
• 11h45-12h : Discussions diverses 
  puis repas.
• 14h : Fin de la manifestation.

Projets collaboratifs i-DEMO régionalisés (2024-2028)
Scale Op
    

Réunions et autres activités

• 15 Janvier 2025: Abstract pour la conférence WESC 2025.
• 10 Janvier 2025 : achat équipements pour le bureau Scale Op (BO.B.R1.06, INSA Rouen).
• 5 décembre 2024: Présentation de Théau COUSIN au Workshop/Conference 8th Rouen Math Modelling and Numerical Simulations / 8ièmes Journées  Modélisation Mathématique et Simulation Numérique pour le traitement d'image, l'énergie, le développement durable et la morphodynamique côtière.
  
• 09 octobre 2024 : Réunion Rouen LMI-SGRE [11h, salle 201 LMI - bât. Bougainville]
  
• 12 septembre 2024 : Réunion LMI-SGRE [N. Warncke (SGRE), C. Gout, C. Le Guyader, N. Rouxelin, I. Ciotir, A. Tonnoir]
  
• 17-19 juillet : séjour à La Hague de T. Cousin.
• 14 juin 2024 : visite du parc éolien de Fécamp (T. Cousin, C. Gout pour le LMI).
  
• 6 juin 2024 : Lancement du projet - Réunion organisée par SGRE avec tous les participants [N. Rouxelin représente le LMI]
  
• 27 mai 2024 : Réunion LMI-SGRE [N. Warncke (SGRE), C. Gout, N. Rouxelin, I. Ciotir, A. Tonnoir]
• Mai 2024 : recrutement de Théau COUSIN au LMI

Projets collaboratifs i-DEMO régionalisés (2024-2028)
Scale Op
    

Présentation de la seconde année pour l'année 2023-2024

Fichier de Présentation

Parcours M2 MAM - Mathématiques Appliquées et Modélisation

La seconde année du Master recherche MAM permet aux étudiants d'acquérir les compétences théoriques et des compétences en applications des mathématiques et la modélisation, nécessaires à la recherche et l'enseignement en mathématiques dans le supérieur.

La formation est assurée principalement par les chercheurs du Laboratoire de Mathématiques Raphaël Salem (LMRS) de l'Université de Rouen (spécialisés en probabilités, statistiques, équations aux dérivées partielles), du Laboratoire de Mathématiques de l'INSA (LMI) de Rouen (spécialisés en analyse numérique, modélisation stochastique, automatique et contrôle, optimisation et recherche opérationnelle).
La formation est co-habilitée avec l'INSA de Rouen.
Les enseignements sont organisés à cheval sur l'Université de Rouen et l'INSA de Rouen.

Journée d'accueil

07 septembre 2023

Réunion d'information

07 septembre à 15h00. Salle des séminaires M.0.1, Département de Mathématiques

Début des cours

11 septembre 2023

Architecture de la seconde année

La seconde année du Master comprend des cours de base, des cours d'option et un mémoire de recherche. Il comprend également des cours non mathématiques obligatoires (anglais et outils informatiques pour la recherche).
Au cours de l'année, l'étudiant doit valider quatre cours de base et quatre cours d'option.

Listes des enseignements (UE)

Le nombre de crédits pour chaque unité d'enseignement (UE) est donné entre parenthèses.

Pour guider le choix de cours, les différentes UE ont été classées en fonction de leur dominante : analyse [A] ; probabilités [P ]et statistiques [S] pour les cours fondamentaux, et par filières pour les options.

L'étudiant choisit  librement ses cours. Ce choix devra néanmoins être approuvé par la commission pédagogique, ce qui garantira la cohérence du parcours ainsi constitué et sa pertinence en fonction de la filière choisie et des objectifs de recherche.

► Cours obligatoires (les élèves de GM (INSA) sont dispensés de ces cours) :

• Anglais (2 ECTS) ,
• Pré-professionalisation (1 ECTS)

► Cours fondamentaux :  (obligatoires  pour les étudiants inscrits à l'Université, les élèves de GM (INSA) doivent choisir 3 cours parmi les 4)

• [P] Chaînes et processus de Markov, (URN, 4 crédits),  Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
• [A] Méthodes avancées en EDP, (URN, 4 crédits), Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser. et Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
• [S] Statistique asymptotique,  (URN, 4 crédits), Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
• [A] Optimisation et Analyse non lisse, (INSA, 4 crédits) Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.

► Litste des Options : (les étudiants inscrits à l'Université peuvent valider au maximmum un cours dans la liste des cours GM, les élèves de l'INSA peuvent valider jusqu'à deux cours GM)

- Filière Analyse, Modélisation et Simulation :

• Option UA1 :  Introduction à la géométrie des sous-variétés de l'espace euclidien (URN, 4 ECTS), Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
• Option IA1 : Modélisation et simulation numérique (INSA, 4 ECTS), Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
• Option IA2 : EDP non-linéaires et homogénéisation (INSA, 4 ECTS), N. Forcadel
• Option IA3 : Contrôle des EDP et problèmes inverses (INSA, 4 crédits) Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
• Option GM5 (INSA, 4 crédits) (voir la liste ci-dessous)

- Filière Probabilités et Statistiques :

• Option UPS1 Entropie et théorie ergodique - Marches aléatoires (URN, 4 crédits), Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser. et Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
• Option UPS2 (URN, 4 ECTS) Statistique séquentielle et statistique des processus, (URN, 4 crédits), Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser. et Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
• Option UPS3 (URN, 4 ECTS),
   
• Option GM5 (INSA, 4 crédits) (voir la liste ci-dessous)

► Liste des cours mutualisés, de l'année GM5 :

- Filière Analyse, Modélisation et Simulation :

• Contrôle optimal et applications, Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser., (Période T1,  les mardis PM , entre 12/09 et 16/12)
• Méthodes numériques pour la propagation de fronts, Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.i,  Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
• Optimisation en grande dimension,  Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser. (Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.)
• Méthodes numériques avancées pour l’équation des ondes, A. Tonnoir
• Méthodes variationnelles pur le traitement d'images, C. Le Guyader

(les deux derniers cours, de 15h chacun, forment une seule unité)

- Filière Probabilités et Statistiques :

• Contrôle optimal stochastique et applications en finance,  Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.et Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser., (Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.)

► Memoire ou stage (22 ECTS)

► Reading group et outils numériques (3 ECTS)

Inscriptions

Pour pouvoir accéder à la formation, les étudiants doivent justifier d'une première année de master de mathématiques ou d'un diplôme équivalent (Bac + 4). Les titulaires du Master 1 de Mathématiques fondamentales et appliquées de l'Université de Rouen et les titulaires de l'agrégation (partie théorique) sont admis de plein droit.

1. Si vous possédez un INE (étudiants français ou étrangers) : vous devez vous préinscrire sur le site de l’Université de Rouen (http://www.univ-rouen.fr/ -> Se préinscrire à l'Université de Rouen ou https://webap.univ-

rouen.fr/scripts/etudiant/opiweb/menu.php). A l'issue de votre pré-inscription vous pourrez télécharger le dossier de validation des études et le déposer ou le retourner par voie postale au service de la Scolarité de l'UFR des Sciences et des Techniques.                                                                                                        

2. Si vous êtes étudiant étranger (hors Union Européenne), résidant dans votre pays d’origine et votre pays a adhéré au dispositif Campus France : vous devez vous connecter à l’espace Campus France (http://www.(nomdupays).campusfrance.org). Pour plus de renseignements, consulter le document suivant ou contacter le Service Culturel Français de votre pays.

3. Dans tous les autres cas d’étudiants étrangers (étudiants résidants en France, étudiants dont le pays n’a pas encore adhéré au dispositif Campus France, étudiants ressortissants de l’UE-EEE, etc.) : vous devez demander le dossier de validation d’études par Téléphone, par mail ou par courrier auprès du service de scolarité du Madrillet. http://www.univ-rouen.fr/46619381/0/fiche_UFS__pagelibre/ Le dossier doit être déposé ou retourné par voie postale au service de Scolarité de l'UFR des Sciences et des Techniques.

La commission s'assurera principalement que les étudiants ont les connaissances suffisantes pour pouvoir suivre efficacement le Master. Elle se réunira en juin (1ère vague) et début septembre (2ème vague).

Tous les étudiants dont la demande d'inscription a été acceptée, recevront un dossier d'inscription pédagogique du service de la scolarité de la faculté des Sciences de l'Université de Rouen ou de l'INSA de Rouen.

Les demandes de bourses ainsi que les demandes de logement en résidence universitaire doivent être effectuées auprès du CROUS de Haute-Normandie.

Coordonnées

Responsables et commission pédagogique

Les responsables de la formation et les directeurs des laboratoires associés (LMRS et LMI) constituent la commission pédagogique. Celle-ci est chargée de l'organisation de la formation.

Responsables pédagogiques du Master 2 MAM : 

• Mustapha Mourragui (Université)
• Hasnaa Zidani  (INSA)

Président du jury du Master 2 MAM : Mustapha Mourragui

Secrétariat :  Sandrine Halé  Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.

La graduate school MINMACS

Présentation du Master mention Mathématiques et Applications -  2ème année

Il s’agit d’un Master d’excellence en mathématiques fondamentales et appliquées à la modélisation, ayant pour débouchés une insertion professionnelle (enseignement, industries, sociétés de services) ou un doctorat en mathématiques appliquées.

Le LMI intervient notamment dans la 2eme année du master, dans le parcours MAM :

• Mathématiques Appliquées et Modélisation (M2 MAM) : Ce parcours propose une initiation à la recherche en mathématiques appliquées. Son obtention permet la préparation d'un doctorat ou l'insertion professionnelle dans l'ingénierie mathématique. Ce parcours est co-habilitée avec l'INSA de Rouen Normandie. Cette formation permet également de compléter la formation théorique des étudiants se destinant à l'enseignement secondaire ou aux élèves ingénieurs. Elle est notamment ouverte aux étudiants GM5 de l'INSA de Rouen.
• Les parcours de recherche et ingénierie (M1 MA et M2 MAM) sont cohabilités avec les universités de Augsburg (Allemagne), Naples (Italie), Séville (Espagne) et Tomsk (Russie), et offrent la possibilité d'une double diplomation. Pour obtenir le double diplôme, l'étudiant devra passer au moins un semestre (au maximum un an) dans une autre université partenaire, la réussite à ce Master sera alors sanctionnée par un double diplôme (celui de l'université d'inscription, et de l'université visitée pendant un semestre).

Il fait partie de l'École Doctorale Sciences Mathématiques et Physiques pour l'Ingénieur.

Procédure d'inscription 202* (scolarité - INSA de Rouen)

GM : INSCRIPTION EN M2 A l'INSA ROUEN

Cela concerne notamment les étudiants GM5 souhaitant faire ce Master Recherche.
Contacter Hasnaa ZIDANI pour obtenir les informations

  Présentation

La seconde année du Master MAM permet aux étudiants d'acquérir les compétences théoriques nécessaires à la recherche et l'enseignement en mathématiques dans le supérieur.

La formation est assurée principalement par les chercheurs du Laboratoire de Mathématiques Raphaël Salem (LMRS) de l'Université de Rouen (spécialisés en probabilités, statistiques, équations aux dérivées partielles), du Laboratoire de Mathématiques de l'INSA (LMI) de Rouen (spécialisés en modélisation et simulation numérique, analyse numérique, imagerie, EDP, approximation, contrôle optimal, théorie du contrôle, optimisation).

Architecture de la seconde année - MAM2

Journée d'accueil

Début septembre 202*

Fichier de présentation

Début des cours

12 septembre 2022

Architecture de la seconde année

La seconde année du Master comprend des cours de base, des cours d'option et un mémoire de recherche. Il comprend également des cours non mathématiques obligatoires (anglais et outils informatiques pour la recherche).

Au cours de l'année,  l'étudiant doit valider trois cours de base et trois cours d'option.

Listes des enseignements (UE)

Le nombre de crédits pour chaque unité d'enseignement (UE) est donné entre parenthèses.

Pour guider le choix de cours, les différentes UE ont été classées en fonction de leur dominante : analyse [A] ; probabilités [P ]et statistiques [S]. L'étudiant choisit  librement ses cours. Ce choix devra néanmoins être approuvé par la commission pédagogique, ce qui garantira la cohérence du parcours ainsi constitué et sa pertinence en fonction des objectifs de recherche.

Le nombre de crédits pour chaque unité d'enseignement (UE) est donné entre parenthèses.

► Semestre 1

Cours obligatoires (30 ECTS)

• Anglais (2 ECTS) ,
• Pré-professionalisation (1 ECTS)
• Analyse fonctionnelle (7 ECTS)
• Introduction aux équations aux dérivées partielles (5 ECTS)
• Probabilités et analyse stochastique (5 ECTS)
• Statistique inférentielle (5 ECTS)
• Equations différentielles et Géométrie différentielle (5 ECTS)

► Semestre 2 : 

Cours obigatoires (5 ECTS)

• Anglais (2 ECTS)
• Initiation à la recherche mathématiques (3 ECTS)

Cours optionnels : 5 cours à choisir parmi 6 (25 ECTS)

• Distributions et opérateurs (5 ECTS)
• Méthodes numériques et calcul scientifique (5 ECTS)
• Martingales et chaînes de Markov (5 ECTS)
• Statistique inférentielle et apprentissage (5 ECTS)
• Algèbre (5 ECTS)
• Modélisation (5 ECTS)

 Il est également possible de choisir un module (maximum) dit mutualisé, de l'année GM5 (se renseigner auprès d'Hasnaa Zidani).

Archives

MFA 2020

Cours obligatoires (5 crédits)

• Outils informatiques pour la recherche, A. Blouza, I. Lamitte. 
• Anglais,
• Pré-professionalisation

Cours fondamentaux (3 choix parmi  5) (2019/20)

• [P] Chaînes et processus de Markov, (5 crédits), P. Calka et D. Volny 
• [A] Espaces de Sobolev, (5 crédits), P. Donato et O. Guibé
• [S] Statistique asymptotique,  (5 crédits), D. Fourdrinier
• [A] Equations différentielles ordinaires, (5 crédits), W. Respondek

Cours d'option  (3 choix parmi)

• [P] Géomètrie aléatoire et théorie érgodique, (5 crédits), P. Calka et El H. El Abdalaoui
• [A]  Méthodes numériques appliquées et calcul parallèle, (5 crédits), I. Danaila et F. Luddens
• [S] Statistique non asymptotiques, (5 crédits), D. Fourdrinier et S. Pergamenchtchikov
• [A] Modélisation et simulation numérique, (5 crédits), C. Gout
• [A] Contrôle et géomètrie, (5 crédits), W. Respondek
• [A] Introduction aux EDP non linéaires, (5 crédits), N. Forcadel

Stage obligatoire   : Mémoire de recherche (25 crédits),

 Il est également possible de choisir un module (maximum) dit mutualisé, de l'année GM5, à choisir parmi :

• Contrôle optimal et synthèse numérique, (5 crédits), R. El Assoudi
• Applications des perturbations, (5 crédits), J.-G. Caputo
• Analyse non linéaire et problèmes inverses, (5 crédits), J.-G. Caputo
• Calcul stochastique et finance, (5 crédits), I. Ciotir
• Équations de Hamiton-Jacobi, (5 crédits),  N. Forcadel
• Calcul formel et modélisation géométrique, (5 crédits),  B. Gleyse
• Approximation et machine learning : applications au traitement d'images, (5 crédits), C. Gout
• Méthodes variationnelles pour le traitement d'images (5 crédits), C. Le Guyader
• Optimisation en grande dimension (5 crédits), A. Knippel

Contacts INSA : W. Respondek (M2), N. Forcadel (LMI)

Procédure d'inscription 2018 (scolarité INSA de Rouen)
Cela concerne notamment les étudiants GM5 souhaitant faire ce Master Recherche.

Les dates limites

Date limite d'envoi du dossier (1ère vague) : 30 juin 2018
Date limite d'envoi du dossier (2ème vague) : 11 septembre  2018

Département de Mathématiques (Labo. de Math. de l’Université, LMRS, Madrillet) salle (M 03).

Nous vous résumons ci-dessous la procédure d'inscription au Master MFA (Master recherche Mathématiques Fondamentales et Appliquées, co-habilité INSA de Rouen - Université de Rouen)

1) L'étudiant souhaitant s'inscrire au Master MFA remplit le dossier de pré-inscription (le demander à C. Gout). En général début juin.

2) Une fois complété et signé, l'étudiant  fait signer ce dossier au Directeur GM puis le retourne  à Rachel Maeght (DRV, INSA de Rouen) accompagné d'une lettre de motivation et des relevés de notes du cycle ingénieur (GM4...). (Rq : lettre de recommandation d'un enseignant-chercheur GM facultative). Merci également de mettre en copie le Labo. de Math. de l'INSA (LMI, N. Forcadel) pour un suivi de vos candidatures lorsque vous envoyez votre dossier à Rachel Maeght (attendre que le dossier soit  complet avant de l'envoyer!).

3)  Dès réception du dossier, la DRV l'envoie aux responsables du master MFA (M. Mourragui & W. Respondek et au Secrétariat du Master MFA: Sandrine Pichard).

4) Le responsable du Master émet un avis, et le communique à la DRV - INSA de Rouen.

5)  La DRV transmet la décision aux étudiants.

6)  Si l'avis est favorable : Rachel Maeght (DRV)  adresse une "autorisation à l'inscription administrative" à l'étudiant concerné.

7) L'étudiant va s'inscrire (frais de scolarité etc..) auprès de la DFVE INSA de ROUEN - Service "pédagogie" (Mme Carole Gauquelin)

Responsable du Master : Paul Lescot - L. Glangetas

Responsables pédagogiques du Master 2 MFA :  W. Respondek  (INSA), M. Mourragui et  Paul Lescot (Université)

Secrétariat :  Sandrine Pichard

*******************

Programme 2018/19

Réunion d'information : 19 septembre à 16h 30 en salle M.03

Département de Mathématiques (Madrillet) salle (M 03).
Début des cours : mi septembre

Cours obligatoires (6 crédits)

• Outils informatiques pour la recherche, A. Blouza, I. Lamitte. S1 et S2
• Anglais,  S2
  Les étudiants INSA en double inscription (avec GM) sont dispensés de ces deux cours.
  

Cours fondamentaux (3 choix parmi  5)

• [P] Chaînes et processus de Markov, (5 crédits), P. Calka et D. Volny
• [A] Espaces de Sobolev, (5 crédits), P. Donato et O. Guibé
• [S] Statistique asymptotique,  (5 crédits), D. Fourdrinier
• [A] Equations différentielles ordinaires, (5 crédits), W. Respondek

Cours d'option  (3 choix parmi)

• [P] Géomètrie aléatoire et théorie érgodique, (5 crédits), P. Calka et El H. El Abdalaoui
• [A]  Méthodes numériques appliquées et calcul parallèle, (5 crédits), I. Danaila et F. Luddens
• [S] Statistique non asymptotiques, (5 crédits), D. Fourdrinier et S. Pergamenchtchikov
• [A] Modélisation et simulation numérique, (5 crédits), C. Gout
• [A] Contrôle et géomètrie, (5 crédits), W. Respondek
• [A] Introduction aux EDP non linéaires, (5 crédits), N. Forcadel

Stage obligatoire   : Mémoire de recherche (25 crédits),

Il est également possible de choisir un module (maximum) dit mutualisé, de l'année GM5, à choisir parmi :

• Contrôle optimal et synthèse numérique, (5 crédits), R. El Assoudi
• Systèmes dynamiques en temps discret, (5 crédits),  R. El Assoudi
• Applications des perturbations, (5 crédits), J.-G. Caputo
• Analyse non linéaire et problèmes inverses, (5 crédits), J.-G. Caputo
• Calcul stochastique et finance, (5 crédits), I. Ciotir
• Équations de Hamiton-Jacobi, (5 crédits),  N. Forcadel
• Calcul formel et modélisation géométrique, (5 crédits),  B. Gleyse
• Approximation et machine learning : applications au traitement d'images et big data, (5 crédits), C. Gout
• Optimisation en grande dimension, (5 crédits), A. Knippel
• Régression non linéaire, (5 crédits), B. Portier
• Méthodes itératives et algorithmes stochastiques pour le traitement en ligne de données, (5 crédits), B. Portier

Remarque : vous ne pouvez pas faire valider deux cours d'options/cours mutualisés  avec le même enseignant.

Enseignements du second semestre (30 crédits)

Cours obligatoire (18 crédits)

UE 39 (18) Mémoire de recherche [E, P, S]

Remarques :

• Les étudiants peuvent suivre plusieurs options ou cours. Dans ce cas, seules les six meilleures notes sont prises en compte, en respectant les règles ci-dessus.
• Les inscrits de l'INSA sont dispensés de l'UV Anglais-Informatique.
• Possibilité de prendre en compte un cours mutualisé INSA parmi les 6 cours retenus au final.

Lire la suite : ZAYDAN Mamdouh

Lire la suite : DEBROUX Noémie

Lire la suite : WALHA Sonda

Lire la suite : KHAMES Imene

Lire la suite : CITRAIN Aurélien

Lire la suite : SCHMIDT Martin-Pierre

Lire la suite : CHEN Yahao

Lire la suite : FAYAD Rim

Lire la suite : LAMBERT Zoé

Lire la suite : GUILLOTEAU Claire

Supported in parts by : M2NUM project

Wind/Marine current velocity field approximation from sparse data:
Modelling and visualization on real dataset

~
Approximation de champ de vent à partir
de gros volumes de données ponctuelles issues de station météo

LMI -  INSA Rouen Normandie

C. Gout - G. Khayretdinova - C. Le Guyader - B. Jobard (Pau)

Sélection de la zone d'étude : Nord ouest (incluant la Normandie)

Ci-dessous les stations météos disponibles (Météo France)

From 8          stations (left), we get the wind velocity field on all the studied area (right)

We take into account the topography of the studied area:

In order to show this method on more complicated datasets, we have considered the wind conditions during 3 days : we have the value of the wind vector field in each Meteo France stations every 3 hours (total of 24 datasets).

File: 42Mo
If it doesn't work, please donwload the file!

 
En collaboration avec B. Jobard (LIUPPA, Pau)

 Marine current approximation visualization
click on the images to see the movie (thanks to B. Jobard)

Christian Gout, 2017/18

CG*2017/18

 La 10ème journée d'Automne organisée par le groupe de travail
d'Optimisation des Réseaux
du GDR Recherche Opérationnelle
avec la participation du LMI (INSA Rouen) et de l'UMR SAMOVAR (CNRS et Mines-Telecom)
aura lieu à l'INSA de Rouen
le 17 Novembre 2017.

Lieu : Amphi CURIE INSA ROUEN - - Bât. Dumont-d'Urville (accès INSA)

Programme prévisionnel :

Inscription : ICI

Lire la suite : REMADNA Ahmed

Lire la suite : BOUZARKOUNA Imen

Lire la suite : BENHIDA Soufia

Lire la suite : SCHMODERER Timothée

Lire la suite : MACE de GASTINES Etienne

Lire la suite : Daniel Cervantes

Lire la suite : TAIN Cyril

Lire la suite : LECLERC Augustin

Lire la suite : LU Wei

Lire la suite : TERNON Thibault

Lire la suite : ROUXELIN Nathan

Lire la suite : DAO Manh Khang

Lire la suite : BADAOUI Mohamed

Lire la suite : RIGA Océane

Lire la suite : JERHAOUI Othmane

Lire la suite : EL BOUCHAIRI Imad

Lire la suite : ZOUGAR Eya

Lire la suite : MIRANDA Carlos

Les mentions légales

Lire la suite : NICOLAU Florentina

Lire la suite : ALES Zacharie

Lire la suite : BRAZEY Denis

avec LOFIMS

Lire la suite : MIYAURA Edson Haruo

Lire la suite : ZIBO Edouard Irigo

Thèse avec INRIA Magique 3D, Pau

Lire la suite : CHAUMONT-FRELET Théophile

Lire la suite : OZERÉ Solène

Lire la suite : SALAZAR Wilfredo

Lire la suite : ZAKHAROVA Anastasia

  02 32 95 99 13

Lire la suite : KAZAKOVA Maria

Lire la suite : Elena Iosifova

  02 32 95 66 33

Lire la suite : FORTIER Natalie

  02 32 95 65 37 HDR

Lire la suite : FOURATI Sonia

Le LMI fait partie de la Fédération Normandie Mathématiques (CRNS 3335) qui rassemble 200 membres environ.
Les membres EC du LMI sont rattachés aux sections CNU 25 (Mathématiques Pures) ou CNU 26 (Mathématiques Appliquées) sauf précision contraire.
Les adresses e-mail sont de la forme Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser..
Voilà la liste des  membres :

PRAG associé

• DUVAL Guillaume, 02.32.95.66.92

Référents DSI (Direction des Systèmes d'Information)

• Reynald Morel

Collaborateurs externes associés au LMI - UR3226

• Cyrille Fauchard (HDR, CEREMA)
• Guzel Khayretdinova (CNRS, Paris Normandie)
• Carlos Miranda (Buawei, Lille)
• Régis Monneau
• Florentina Nicolau
• Martin Pierre Schmidt
• Elodie Tillier

Secrétariat

• Brigitte Diarra 02 32 95 98 84

Anciens membres (PR, MCF, ATER, postdocs, ingénieur...)

• Thibault Ternon (Interwind, Siemens Gamesa Renewable Energy)
• Océane Riga (SG Paris)
• Natalie Fortier (Retr. 2024)
• Mohamed Badaoui 
• Manh Khang Dao
• Himad El Bouchairi
• Rim Fayad
• Eya Zougar
• Claire Guilloteau (ATER 2021/22, puis MCF ULCO)
• Maria Kazakova (mutation à Chambery en 2021)
• Mohamed Akil (ATER, 2020/21)
• Anastasia Zakharova (mutation MCF à La Rochelle en sep. 2018)
• Fabien Bonardi (IR M2NUM devenu MCF Paris Evry, avec C. Le Guyader)
• Sonia Fourati (retr. 2020)
• Zoé Lambert (Ingénieur de Recherche 2018/19, M2SiNum)
• Imene Khames (postdoc 2018/19, M2NUM)
• Antoine Godichon (ater 2017/18, LMI-LITIS) devenu MCF CNU 26 Paris Sorbonne (2018)
• Adriano Festa (postdoc 2016/17) devenu chercheur senior à Politecnico di Torino
• Lorette Noiret (ater 2016/17, LMI-LITIS) devenue MCF CNU 26 Paris VI (2017)
• Jade Ludjet (stage Juin-Septembre 2016, M2NUM, C. Gout/M. Bardet)

Doctorats récemment soutenus 

• LECLERC Augustin
• KHAYRETDINOVA Guzel
• LU Wei
• COUSIN Théau
• TAIN Cyril
• MACE de GASTINES Etienne
• LAMBERT Zoé
• JERHAOUI Othmane
• SCHMODERER Timothée
• ZIBO Edouard
• BOUZARKOUNA Imen
• FAYAD Rim
• SCHMIDT Martin-Pierre
• CITRAIN Aurélien
• CHEN Yahao
• BENHIDA Soufia
• WALHA Sonda
• DEBROUX Noémie (puis Cambridge University, from 2018, puis MCF Clermont)
• ZAYDAN Mamdouh
• SALAZAR Wilfredo
• MIYAURA Edson Haruo
• CERVANTES CABRERA Daniel (@UNAM Mexico, DGSCA, P. Gonzalez Casanova et C. Gout)
• MIYAURA Edson Haruo avec LOFIMS
• LU Qinglin (A. Zakharova, Cifre, Le2I, @Univ. Bourgogne)
• SALAZAR Wilfredo
• CHAUMONT-FRELET Théophile avec INRIA Magique 3D, Pau
• OZERÉ Solène
• NICOLAU Florentina
• Carl-Erik Gauthier (I. Ciotir, avec M. Benaïm, Neuchatel, Suisse).
• HAJEJ Ahmed (N. Forcadel, et Paris Dauphine)
• BRAZEY Denis
• ALES Zacharie
• MAHFOUDI Imed
• DERFOUL Ratiba
• PHAM Viet Nga
• SARELS Benoît
• ABBAS Lamia
• TA Anh Son
• NGUYEN Duc Manh
• Mamadou Thiao
• DAHAMNA Khaled
• SADIK Mohamed
• HELBLING Marc
• BOUALLAGUI Sara
• NIU Yi Shuai
• MAPAGHA Saul
• LI Shun Ji

Ce pôle, interne à l'INSA de Rouen, a pour objectif de dynamiser les projets transversaux entre les divers laboratoires de l'INSA de ROUEN. Dans ce cadre, le LMI a déjà eu des collaborations avec le CORIA (postdoc de Yi Shuai Niu), avec le LITIS (allocation MESR de Z. Alès), et avec le LOFIMS (allocation MESR de E. Miyaura).

PRIMOSS est moteur en ce qui concerne les projets collaboratifs intra-INSA.

Workshop "Modelling and Numerical Simulation/HPC"
@ CORIA [Numerical simulation and modeling of turbulent combustion]

(dans le cadre des Projets @Olin du Labex AMIES et M2NUM du GRR LMN
et du projet de Maison du Numérique de Normandie)

Jeudi 19 Février 2015 - Rouen (Campus du Madrillet) - Amphi @ CORIA (St Etienne du Rouvray)
Chairwoman : Carole Le Guyader
14h15 :  Violaine Louvet (ICJ et CNRS, Lyon)
14h45 :  Vincent Moureau (CNRS et Coria, Rouen)
15h15 - 15h45 : pause
15h45 : Théophile Chaumont-Frelet (INRIA Bordeaux Sud Ouest et LMI, Rouen)
16h15 : Dimitri Komatitsch (CNRS et LMA, Aix Marseille)

 Titles and abstracts / Titres et résumés des présentations:

• Vincent Moureau (CNRS et Coria, Rouen): Load balancing and mesh adaptation techniques for the simulation of flame propagation on unstructured meshes
  The modeling of premixed combustion is a computational challenge because complex diffusion and reaction processes often occur in very thin layers. The interaction of these processes with turbulence determines the main properties of the flame brush, such as its burning velocity or its thickness. The mesh resolution in the mixing and reaction zones is therefore of tremendous importance to reduce the turbulent combustion modeling effort. In the framework of finite-rate chemistry modeling at low-Mach number, mesh adaptation has to be supplemented by operator splitting and stiff integration algorithms in order to alleviate the time step restriction due to the chemical time scales. These algorithms introduce a large load unbalance when running on massively parallel super-computers. However, task sharing and dynamic scheduling approaches enable to recover a linear scaling on a large number of cores. All these techniques have been implemented in the YALES2 CFD solver, developed at CORIA and used in several laboratories of the scientific group SUCCESS (http://success.coria-cfd.fr), and are demonstrated in the simulation of flame propagation on unstructured meshes.

• Théophile Chaumont-Frelet (INRIA Bordeaux Sud Ouest et LMI, Rouen): Analysis of the Pollution Effect in Finite Element Discretization of Highly Heterogeneous Helmholtz Problems
  Time harmonic waves, modeled by the Helmholtz equation, are used in several engineering processes including, for instance, radar and seismic imaging. In the context of seismic imaging, waves propagate through the earth, which can be represented (in the simplest case) as an heterogeneous acoustic medium. Depending on the application, the
  simulation of high-frequency waves can be required, especially for high-resolution imaging. Numerical approximation of high-frequency waves is a challenging problem, even in homogeneous media. Indeed, numerical approximations suffer from the so-called pollution effect: if the number of discretization points per wave length is kept constant, the numerical solution diverges from the best approximation the scheme is capable of when the frequency is increasing. As a result, drastic conditions are imposed on the mesh at high frequency: the number of points per wave length must be increased when the frequency increases. In the case of homogeneous media, it has been shown (and observed numerically) that high order methods are able to reduce the pollution effect, making them cheaper than low order methods to solve for high-frequency. However, the application of high order methods to highly heterogeneous media is not trivial. It turns out that high order methods are build on coarser meshes, so that they do not capture fine scale variations of the propagation medium if the parameters are taken to be constant in each cell. The aim of this work is the study of a multiscale medium approximation strategy for high order methods. We propose a theoretical analysis of the pollution effect in the context of multiscale medium approximation when using polynomial shape functions and we present numerical experiments (including geophysical benchmarks).

• Dimitri Komatitsch (CNRS et LMA, Aix Marseille): Modélisation de formes d'onde complètes dans le domaine temporel en acoustique sous marine : aller au-delà des approximations usuelles pour la surveillance du milieu marin et de l'environnement  [Dimitri Komatitsch, Paul Cristini and Alexis Bottero]
  Accurate numerical simulation of acoustic wave propagation at large propagation distances is important in the context of acoustic wave monitoring. Classical techniques often resort to widely-used approaches such as the parabolic approximation, which are very efficient because they result in inexpensive or moderately expensive calculations. However, when very accurate results are needed limitations arise from the underlying physical approximations made.
  In this work we will therefore describe time-domain full wave SOFAR channel numerical simulations based on the spectral-element method and that go beyond these usual approximations (however at larger cost). We will describe a 2.5D and then a 3D time-domain Legendre spectral element method (SEM) for full-wave simulation of regional ocean acoustic wave propagation, taking into account the shear modulus contribution in ocean sediments. The technique can handle range-dependent and/or depth-dependent wave speed and density, as well as steep sediment topography. It exhibits very good accuracy properties and is also very well suited to calculation on large clusters of computers based on parallel programming.
  In order to save computational time, in the fluid parts of the model we formulate our SEM based on the scalar second-order displacement potential form implemented in the framework of an explicit time scheme. For semi-infinite domain truncation i.e. for absorbing conditions we resort to Perfectly Matched Layers (PMLs).
  
  
• Violaine Louvet (ICJ et CNRS, Lyon): Estimation de paramètres pour des modèles de croissance tumorale
  La modélisation de la croissance de certaines tumeurs cérébrales conduit à des systèmes d'EDP de type réaction-diffusion potentiellement très coûteux à évaluer. La nécessité d'identifier les paramètres du modèle pour chacun des patients suivis rend cette contrainte rédhibitoire. En outre, les données disponibles sont très peu nombreuses. Ces spécificités nous ont amenés à développer une méthodologie basée sur des algorithmes à effets mixtes avec une résolution de type SAEM couplée à des stratégies de pré-calcul nous permettant d'espérer des coûts calcul raisonnables pour l'identification des paramètres des modèles étudiés.

Vendredi 20 Février 2015 - Rouen (Campus du Madrillet) - LMI 201
9h-12h : Approximation d'un champ de vent : modélisation et simulation
[E@lin: P. Alexandre (Montpellier), D. Apprato (Biarritz), B. Jobard (Pau)]

 Org. : C. Gout & V. Moureau
This workshop is supported by M2NUM project (GRR LMN - Haute Normandie) and e@lin project (Labex AMIES)
En lien avec les thématiques des GT SMAI-SIGMA et SMAI-MAIRCI.

Journée Traitement d'Images
(dans le cadre du Projet M2NUM du GRR LMN)
Organisation: J. Fadili (GREYC, ENSICAEN), C. Le Guyader (LMI, INSA Rouen)
et S. Ruan/C. Petitjean (LITIS, U. Rouen)

Jeudi 9 Avril 2015 - INSA Rouen (Campus du Madrillet) - Amphithéâtre Dumont d'Urville - B.RJ.02

Inscription

L'inscription est gratuite mais obligatoire. Pour procéder à l'inscription, veuillez vous identifier via la fédération d'identités en sélectionnant votre établissement puis en vous authentifiant via ce lien. Si votre établissement ne figure pas dans la fédération d'identités, inscrivez-vous directement via ce lien en saisissant manuellement vos nom, prénom et email. La liste des participants sera mise à jour ultérieurement.

Programme

9h :                  Accueil.

9h15-10h :        Vincent Duval (INRIA, Rocquencourt)
                            Titre : Déconvolution avec a priori de parcimonie sur des grilles fines.

10h-10h30 :      François Lozes (GREYC, Université de Caen)
                            Titre : Traitements d'images sur surfaces et variétés.

10h30-11h :      Pause, échanges entre participants. 

11h-11h30 :      Solène Ozeré (LMI, INSA Rouen) 
                            Titre : Un modèle de segmentation/registration basé sur la variation totale pondérée et l’élasticité non                                       linéaire.

11h30-12h :      David Tschumperlé (GREYC, CNRS)
                            Titre : Blending Methods and Other Improvements for Exemplar-based Image Inpainting Techniques.
                                       

12h-14h :         Pause déjeuner

14h-14h45 :      Etienne Mémin (INRIA, Rennes) 
                            Titre : Analyse d'écoulements fluides à partir de séquences d'images.

14h45-15h15 :   Caroline Petitjean (LITIS, Université de Rouen)
                              Titre : Image segmentation with statistical shape prior.

15h15-15h45 :   Pause, échanges entre participants. 

15h45-16h15 :   Julien Rabin (GREYC, Université de Caen)
                              Titre :  Co-segmentation non-supervisée d'images par les distances de Sinkhorn.

                          
16h15-16h45 :   Jérôme Lapuyade-Lahorgue (LITIS, Université de Rouen) 
                              Titre : Techniques d'inférence bayésienne en segmentation statistique d'images. Application à la
                                       fusion d'images TEP multi-traceur.

 Titles and abstracts / Titres et résumés des présentations:

• Vincent Duval (INRIA, Rocquencourt) : Déconvolution avec a priori de parcimonie sur des grilles fines.
  
  Le problème de déconvolution consiste à retrouver un signal à partir de ses basses fréquences et d'un a priori sur le type de signal recherché.
  Introduites en Géophysique pour la reconstruction de signaux concentrés sur quelques pics (des sommes de masses de Dirac), les techniques de déconvolution avec régularisation de type $\ell^1$ ont connu leur essor à la suite notamment des travaux de Donoho (Basis Pursuit) d'une part et Tibshirani (LASSO) d'autre part.
  Il existe de nombreux travaux sur les propriétés de robustesse et de stabilité du support pour le LASSO, mais on montrera dans cet exposé que dans le cas particulier de la déconvolution sur des grilles fines, les critères proposés ne sont pas valides. Le support n’est pas stable, et le LASSO identifie en fait deux fois plus de masses de Diracs que celles présentes dans le signal original.
  On fera le lien entre les propriétés du LASSO sur des grilles fines et un problème récent, étudié notamment par Candès et Fernandez-Granda, pour la reconstruction de mesures de Radon dans un cadre continu.
  
  
  
• François Lozes (GREYC, Université de Caen) : Traitements d'images sur surfaces et variétés.
  
  

  De plus en plus de données sont quotidiennement récoltées sous forme de nuages de points 3D ou nD ou de fonctions sur ces nuages de points. Les exemples de domaines d'applications sont nombreux : imagerie 3D, classification de données, etc. Dans cet exposé, je commencerai par présenter un cadre général très simple pour transposer et résoudre des Équations aux dérivées partielles (EDP) ou des méthodes variationnelles sur surfaces ou nuages de points. Ce cadre est basé sur la représentation d'un nuage de points par des graphes pondérés et sur l'utilisation des Équations aux différences Partielles (EdPs). Cette approche permet naturellement d'étendre des EDPs sous une formulation non-locale. Pour illustrer l'approche, différents exemples utilisant les EDPs sur nuages de points seront montrés tels que la restauration, l'interpolation de données et le calcul de distances géodésiques.

  
  
  
• Solène Ozeré (LMI, INSA Rouen) : Un modèle de segmentation/registration basé sur la variation totale pondérée et l’élasticité non linéaire. 
  
  L'objectif de cette méthode est de construire un modèle conjoint de registration et segmentation permettant de traiter de larges déformations.
  Nous introduisons un modèle variationnel combinant un terme d'attache aux données basé sur la variation totale pondérée et une terme de régularisation basée sur la densité d'énergie du matériau de Saint-Venant Kirchhoff.
  Le terme de variation totale pondérée permet ainsi d'aligner les bords des objets même si les modalités des images sont différentes.
  Cependant, la densité d'énergie introduite n'est pas quasiconvexe, cela induit un problème de nature théorique, puisqu'on ne peut pas établir la semi-continuité inférieure faible de la fonctionnelle et donc l'existence de minimiseurs.
  L'idée consiste alors en la formulation du problème relaxé associé et plus précisément en la détermination de l'expression explicite de l'enveloppe quasiconvexe.
  Plusieurs résultats théoriques ont été obtenus: existence de solutions généralisées, résultat de \Gamma-convergence pour le problème étudié numériquement.
  Des résultats numériques ont été obtenus sur des images synthétiques ainsi que sur des images biologiques (cerveau, coeur).
  
  
  
  
• David Tschumperlé (GREYC, CNRS) : Blending Methods and Other Improvements for Exemplar-based Image Inpainting Techniques.
  
  
  
  
  
  
• Etienne Mémin (INRIA, Rennes) : Analyse d'écoulements fluides à partir de séquences d'images.
  
  Dans cet exposé nous passerons en revue un certain nombre d’outils permettant, à partir d'une séquence d'images, d'extraire les vitesses d'un écoulement fluide ou de suivre dans le temps des quantités transportées par l’écoulement. Nous décrirons dans un premier temps comment définir un estimateur de mouvement dédié aux écoulements fluides. Nous montrerons ensuite comment ce problème d'estimation du mouvement peut être étendu de façon à inclure un modèle dynamique de l’écoulement. La coopération entre le modèle dynamique et les observations extraites des images est ici exprimée soit dans un cadre de filtrage stochastique soit par le biais d’une technique de contrôle optimal. Nous montrerons également comment les techniques d'assimilation peuvent être utilisées afin d'estimer un modèle dynamique empirique de l’écoulement ou de variables géométriques de l'image.
  
  
  
  
• Caroline Petitjean (LITIS, Université de Rouen) :  Image segmentation with statistical shape prior.
  
  In many segmentation applications, the shape of the object to be segmented is known a priori, up to a few variabilities. Automatic segmentation can benefit from the use of information regarding shape and/or gray levels, to increase its robustness against noise and occlusions. In particular, the shape knowledge may be incorporated by first constructing a shape space from training cases, and then constraining the segmentation results to be within the learned shape space. The shape space can be constructed with statistical analysis, e.g. with tools such as PCA. The main assumption of PCA is that the shape is a linear space, which might not hold for real world shape set. Thus non linear techniques have developed (such as Laplacian eigenmaps and diffusion maps) and a framework for image segmentation based on non linear shape modeling has been proposed recently. Statistical models can be integrated in any variational approaches for segmentation (active contour, Markov Random field…), still some challenges remain. In this talk we will present a graph cut based approach, with a non linear statistical model used to encode the shape variation. We will show some results on a medical imaging application.
  
  
  
  
• Julien Rabin (GREYC, Université de Caen): Co-segmentation non-supervisée d'images par les distances de Sinkhorn.
  
  Nous proposons une formulation convexe et robuste du problème de co-segmentation de paire d'images non supervisé. Ce modèle définit l'adéquation statistique des régions segmentées dans le cadre du transport optimal,     en mesurant le coût de transport entre les histogrammes de descripteurs (ici la couleur).
  Afin de réduire la complexité de mise en oeuvre de ce modèle, le coût de transport optimal est approximé par les   distances de Sinkhorn, qui sont formulées comme la régularisation entropique du transport optimal. Un algorithme itératif exploitant la formulation primale-duale du problème est utilisé pour résoudre le problème de manière efficace et exacte.              

• Jérôme Lapuyade-Lahorgue (LITIS, Université de Rouen) : Techniques d'inférence bayésienne en segmentation statistique d'images. Application à la fusion d'images TEP multi-traceur.
  
  Dans cet exposé, je présenterai dans un premier lieu l'inférence bayésienne en toute généralité ainsi que les différents domaines d'application de l'inférence bayésienne. Dans cette première partie essentiellement mathématique, je parlerai des différents modèles statistiques utilisés ainsi que des estimateurs des modèles associés. J'introduirai la notion de copule et son lien avec les mesures scalaires de dépendance telles que les corrélations de Pearson, de Spearman et de Kendall. J'aborderai différentes familles de copules telles que les copules elliptiques dont la copule gaussienne fait partie, les copules archimédiennes ainsi que des copules issues de modèles de régression non linéaires. Je présenterai également la théorie bayésienne de l'information ainsi que son application en tests statistiques du type "Neyman-Pearson". Dans un second temps, nous nous focaliserons sur l'application de l'inférence bayésienne en imagerie TEP multi- traceurs. L'inférence bayésienne est essentiellement utilisée pour la détection des volumes tumoraux en estimant pour chaque voxel la valeur binaire d'appartenance à la tumeur. Cette valeur booléenne d'appartenance constitue l'état caché du modèle bayésien. Je présenterai les travaux effectués sur l'utilisation des copules pour la fusion d'images TEP issues de différents traceurs (FDG, FLT, FMISO) ainsi que les problématiques futures à savoir : le choix automatique du modèle statistique à copules, la détection de tumeur résiduelle en utilisant des tests de Neyman-Pearson et l'historique avant et pendant traitement et l'utilisation des copules pour corriger les effets de volume partiel.

 This workshop is supported by M2NUM project (GRR LMN - Haute Normandie)
and Normandie Mathématiques (FR CNRS 3335)
and 'Axe Image' de NormaStic (FR CNRS 3638)
and GDR CNRS 2286 Mathématiques de l'Imagerie et de ses Application.
En lien avec les thématiques du GT SMAI-SIGMA

 Rencontres SMAI Mathématiques - Industrie

[ENERGIE]
Vendredi 17 Juin 2016

Contact : C. Gout et I. Ciotir

avec le support de :

La 20ème Rencontre SMAI Mathématiques-Industrie ont eu lieu le Vendredi 17 Juin à l'INSA Rouen :
de 9h30 à 17h (Dumont d'Urville, Amphi Curie, B-RJ-02-CURIE).

COMPTE RENDU DE LA JOURNEE >>>

 Intervenants prévus:

Paul Deglaire Norbert Warncke Vincent Moureau (CORIA)	Philippe Alexandre Christian Gout (LMI)
Ange Caruso	Jacques Segre Andrea Zoia Samuel Kokh
Eric Rouland Ionut Danaila (LMRS)	Sylvain Delacroix Arnaud Fur E. Rivoalen (LOFIMS)
Marie-Sophie Cabot Patrick Bousquet-Melou

Programme

A partir de 9h15 : Accueil café-viennoiseries
10h : P. Alexandre LCV, C. Gout (LMI)
10h45 : P. Deglaire ADWEN, N. Warncke ADWEN, V. Moureau (CORIA)
11h30 : A. Caruso, EDF.

12h15 : Déjeuner offert pour les participants : Novotel Rouen Sud

14h : A. Zoia, J. Segré, S. Kokh CEA
14h45 : S. Delacroix, A. Fur, IFREEMER - EEL ENERGY, E. Rivoalen (LOFIMS)
15h30 : E. Rouland AREELIS, I. Danaila (LMRS)
16h : Marie-Sophie Cabot et Patrick Bousquet-Melou (CRIANN)
16h15  : TBA.
Fin

Résumés

Development of a numerical wind tunnel for wind turbines under realistic conditions par Norbert Warncke et Paul Deglaire ADWEN 76800 Et Etienne du Rouvray

Abstract : The aim of the INWIT project partly funded by the Normandy region is the development of a toolbox  for the simulation of a wind turbine under realistic, unsteady conditions. For the flow solver, we rely on the  Boundary Element Method (BEM) as a compromise between simpler, steady-state models and the more accurate, but  also computationally more costly CFD tools. Both detailed (CFD) and wind-turbine scale simulations (BEM) require a lot of computational power with different concurrency levels. Within the Large-Eddy Simulation framework, CFD necessitates to solve large linear systems using thousands of threads in parallel.
Parallel and sequential efficiency are equally important. Inversely, BEM methods require a high sequential computational efficiency, getting closer to real time, in order to enable the computation of thousands of operating conditions for the certification of wind turbines. For both approaches, it is important to leverage the computational power of future computing architectures (GPU, Many-core architectures). Furthermore, our presentation will address some of the issues that we have encountered in the development process in more details:
- Going beyond the collocation point method : fulfilling the boundary conditions pointwise only (at the  collocation points) allows the use of fast analytical formulas for the surface integrals of the boundary element method, but does have disadvantages in terms of convergence and the numerical properties of the matrix of the LSE to solve. On the contrary, the Galerkin solution of the von Neumann problem provides a positive definite and symmetric matrix, but at the cost of more expensive numerical integration. We present the ideas that have been used in the literature and our tests and findings.
- Reducing the computational time of the simulations ie going below O(N^2) : to reduce the most computationally costly part of the flow solver, we work together with a group from Coria to implement a Fast Multipole Method for the self-induction of the wake. Our aim is to reduce the complexity, while preserving all properties of an incompressible fluid flow model
- Reduced order models, coupled structural mechanics and control : a positive definite and symmetric matrix  allows to create a reduced order model of the flow solver, something that might further reduce the  computational time needed. Deriving a LSE for the structural part, both can be solved simultaneously. Finally, linearising both the flow solver and the structural dynamics is required for the design and optimisation of the controller. These are three ideas for the future, but we would like to make use of the opportunity to discuss them with the audience.

Des mathématiques appliquées dans l’éolien et le solaire par Philippe Alexandre La Compagnie du Vent - Groupe ENGIE Le Triade II - 215 rue Samuel Morse - CS 20756 34967 Montpellier cedex 2

Résumé : La loi sur la transition énergétique adopté courant 2015 repose sur des objectifs ambitieux notamment sur la part des énergies renouvelables (32%) dans le mix énergétique d’ici à 2030. Elle prévoit en particulier un nouveau mécanisme de rémunération appelé à progressivement tendre vers la vente sur le marché, comme toute énergie conventionnelle et mature. Cette situation crée alors des exigences en terme de maîtrise du caractère intermittent et fatal de ces énergies, et accentue l’intérêt de creuser des problématiques liées à la prédiction court terme, au stockage de l’énergie, à l’évaluation de la performance des centrales, à la gestion SmartGrid de l’électricité ou encore à l’au-consommation… Autant de sujets annonçant un fort développement numérique et logiciel, reposant inévitablement sur des algorithmes complexes donc sur de la recherche en mathématiques. Petit tour d’horizon (non exhaustif) sur les maths appli dans les EnR.

Quelques défis de la simulation Monte Carlo pour la physique des réacteurs par Andrea Zoia CEA Saclay

Résumé : Nous allons détailler deux des défis des méthodes de Monte Carlo pour la simulation du transport des neutrons dans les cœurs des réacteurs nucléaires.

En conditions stationnaires, la simulation Monte Carlo des systèmes critiques se base sur le suivi des chaines de fission, dans le cadre de l'algorithme de « l'itération de la puissance » (power iteration). La phase de convergence des neutrons vers l'équilibre (le mode

fondamental) et ensuite les fluctuations de la population neutronique autour de l'équilibre sont affectées par l'effet des corrélations spatiales induites par les événements de fission, et des phénomènes parasites (« clustering ») viennent contaminer l'échantillonnage du mode fondamental et l'estimation de sa variance.

Pour les problèmes non-stationnaires, le suivi des trajectoires des neutrons dans l'espace des phases élargi, comprenant position, vitesse et temps, nécessite la prise en compte d'un deuxième type de particules (dites « précurseurs »), dont le temps de vie est largement supérieur (d'un facteur 10⁵) à celui des neutrons : la simulation Monte Carlo de ces systèmes « à deux échelles de temps » demande donc le développent de techniques de biaisage adaptées au transport cinétique.

Applications des matériaux à changements de phase par Eric Rouland AREELIS 675 Rue Isaac Newton, 76800 St Etienne du Rouvray

Résumé : La présentation va démarrer avec une présentation de la société, et des liens avec l'Université de Rouen.
On focalisera ensuite  sur l'utilisation des Matériaux à Changement de Phase (MCP) pour le refroidissement de composant/système électronique embarqué  en insistant sur :
- la technologie,
- les applications,
- le développement des MCP et le besoin en modélisation, en lien avec le projet M2NUM (collaboration avec  I. Danaila).
Un intérêt particulier sera porté sur l'utilité pour l'entreprise de la modélisation des phénomènes mis en jeu (matériau, changement de phase, thermique, intégration industrielle,...).

Caractérisation du fonctionnement d’une hydrolienne à membrane ondulante par Sylvain Delacroix & Arnaud Fur Eel Energy 60 rue de Folkestone 62200 Boulogne sur Mer

Résumé : Une première partie sera constituée par une présentation des travaux de R&D (développements de modèles analytique/expérimentaux/numériques) liés à la technologie  Eel Energy.
Un focus particulier concernera des travaux en cours de développement d'un code d'interaction fluide/structure dédié.

Enjeux de modélisation et de simulation à EDF pour la production d'électricité par Ange Caruso EDF R&D – EDF Lab Paris-Saclay Délégation Technologies et Systèmes d'Information, Bur O3C.14A 7, Boulevard Gaspard Monge, 91120 Palaiseau

Résumé : Un industriel comme EDF a besoin de maitriser le comportement de ses infrastructures de production d’énergie (nucléaire, thermique, ENR,...), des réseaux électriques, mais également le management de l’énergie. L’objectif est d’améliorer la sureté, la performance, la durée de vie des systèmes, mais également d’optimiser les process. Pour atteindre ces objectifs, il est nécessaire de mieux comprendre les différents phénomènes physiques rencontrés dans les infrastructures, par exemple : les composants de production nucléaire (enceinte de confinement, cuve de réacteur, générateur de vapeur, assemblage combustible), les réseaux électriques (optimisation) ou management d’énergie (qualité de l’électricité). Il s’agit donc de gagner des marges (de sureté, de fonctionnement, d’optimisation). Les études sont réalisées via différents codes de calcul développés en propre à EDF R&D. L’usage de la simulation, notamment intensive via le HPC, permet de nouvelles approches et de nouvelles perspectives. On montrera quelques exemples d’applications illustrant les enjeux liés à l’énergie. 

Présentation du Centre Régional Informatique et d'Applications Numériques de Normandie par Marie Sophie Cabot et Patrick Bousquet-Melou CRIANN 76800 St Etienne du Rouvray

Résumé :
Mésocentre de calcul pour la Normandie, le CRIANN propose une plateforme de calcul intensif qui constitue un outil mutualisé pour les chercheurs des laboratoires publics de la ComUE Normandie Université. Il assure en outre la découverte, la formation et la prise en main du calcul intensif à l’échelle régionale et s'articule ainsi avec les moyens de calcul nationaux et européens.
L’ensemble des moyens pour le calcul intensif (matériels, logiciels, service d’assistance aux utilisateurs) constitue le Pôle Régional de Modélisation Numérique (PRMN) qui est cofinancé par la Région Normandie, l’État et l’Union Européenne. Le CRIANN est en particulier l’un des centres de calcul régionaux du projet Equip@meso (Investissements d’Avenir 2011) coordonné par GENCI.
La principale ressource de calcul du CRIANN est actuellement constituée d’un super-calculateur nommé ‘Antares’ de type grappe x86-64, de la gamme IBM iDataPlex. Sa mise en production a commencé en fin d’année 2010, et elle comporte actuellement 3048 coeurs de calcul, auxquels s’ajoutent 624 cœurs appartenant à l’Ecole Centrale de Nantes. Son renouvellement est prévu prochainement.
Le service d’assistance scientifique forme et accompagne les chercheurs pour une utilisation optimale des ressources de calcul, en particulier dans l’optimisation de leurs codes sur architecture parallèle.
L’accès aux ressources est gratuit pour les laboratoires académiques français sous condition de déposer un dossier à l’appel à projet scientifique réalisé deux fois par an. Un service payant est accessible aux industriels.
Sur les 17 M.heures de calcul produites annuellement sur le calculateur Antares, une bonne part concerne des applications qui peuvent être directement reliées à l’énergie, puisque la mécanique des fluides (écoulements réactifs ou non) constitue généralement de l’ordre de 70-80% de ce volume. En matériaux, certaines applications sont également liées à l’énergie, comme par exemple mise au point de nouveaux matériaux conducteurs d’électricité (laboratoire GPM).
Enfin, le CRIANN est le porteur de l’une des 7 plateformes régionales retenues pour le volet «Accompagnement de proximité et sur mesure» du projet SiMSEO, coordonné au plan national par Teratec et GENCI. SiMSEO a pour objectif de faciliter l’accès des PME/TPE/ETI françaises à la simulation numérique et au calcul intensif.

Mis à jour le 17/06/2016

 Org. : C. Gout et I. Ciotir (LMI, Rouen) et V. Moureau (CORIA, Rouen),
avec le soutien d'Annalisa Ambroso (SMAI),
Stéphane Cordier et Richard Fontanges (Labex AMIES),
This workshop is supported by
SMAI (Société des Mathématiques Appliquées et Industrielles),
Labex AMIES,
FR CNRS 3335 Normandie Mathématique,
& le projet M2NUM (GRR LMN - Normandie, FEDER).

 Etablissement : INSA ROUEN -  Localisation : Saint Etienne du Rouvray - Poste MCF CNU 26 - 2016

Remarque : il n'y aura pas de séminaire organisé avec des candidats potentiels.

L’INSA  de Rouen est un établissement public à caractère scientifique, culturel et professionnel (EPSCP) qui dépend du Ministère de l’Enseignement supérieur et de la Recherche scientifique.

L'INSA de Rouen a pour missions: la formation initiale et continue d'ingénieurs, la recherche d'excellence et la diffusion de la culture scientifique.

Le département STPI est une structure interne à l’INSA ayant pour mission la formation initiale et continue d'ingénieur-e-s généralistes.

Le LMI est un laboratoire de recherche reconnu par le Ministère de l’Enseignement Supérieur et Recherche, placé sous la tutelle de l’INSA, ayant pour mission la création, la diffusion et le transfert de connaissances.

 Mots clefs pour publication sur GALAXIE (en français) : [ Modélisation par EDP, Calcul scientifique, Analyse mathématique (analyse numérique), Analyse mathématique (équations aux dérivées partielles)]
Analyse et simulation numériques, EDP, schémas numériques, HPC.

Mots clefs pour publication sur GALAXIE (en anglais) : Numerical analysis and simulation, PDE, numerical schemes, HPC.

PROFIL ENSEIGNEMENT : [Rattachement principal : STPI, rattachement secondaire: GM]

            Le/la MCF assurera des enseignements de mathématiques au département STPI de l'INSA. Le département STPI est responsable des deux premières années de tronc commun de la formation d’ingénieur en cinq ans à l’INSA. Il encadre environ 600 étudiants. De manière plus précise, le/la MCF recruté(e) interviendra en Analyse en 1^ère année et en 2^ème année.

            La personne recrutée complètera son service par des enseignements dans le département Génie Mathématique de l’INSA de Rouen, notamment en lien avec l’INSA Euro-Méditerranée, par exemple sur des aspects numériques (analyse et schémas numériques, calcul haute performance…).

 Pour la partie enseignement en premier cycle, il s'agit de faire environ 2/3 de service (Analyse: fonction d'une variable, suites réelles , équations différentielles et fonctions de plusieurs variables en première année ), le complément de service étant à définir avec le département Génie Mathématique.

Contact : Jean-Marc Cabanial, Directeur du département STPI

PROFIL RECHERCHE : [Laboratoire de Mathématiques de l'INSA Rouen - LMI]

            L'objectif est de recruter un-e enseignant-e-chercheur-se de haut niveau pouvant s'intégrer naturellement dans les thématiques prioritaires du laboratoire, et de favoriser le développement de projets d'envergure au LMI, sur des aspects de modélisation mathématique et de simulation numérique (par exemple en lien avec le centre de calcul du CRIANN sur les aspects de calcul parallèle). Ces aspects applicatifs pourront également être valorisés en liens avec des entreprises.

            D’un point de vue stratégique, ce poste permettra également de lier les thématiques du laboratoire avec des axes forts de l’INSA de Rouen et plus généralement de Normandie Université : modélisation mathématique (EDP…) et simulation numérique (calcul haute performance, fusion de données en imagerie…), énergies (éolien…), imagerie mathématique (et applications en médecine et géosciences, systèmes embarqués…), ou encore dans le cadre d’applications vers la physique (mécanique, problèmes inverses…), autant de thèmes forts et identifiés du laboratoire.

            La personne recrutée contribuera également à développer des collaborations scientifiques au sein de la fédération CNRS Normandie Mathématique, du LMI, du réseau INSA et plus particulièrement du nouvel INSA Euro-Méditerranée (en formation et recherche), et avec leurs partenaires au sein de l'INSA de Rouen à travers ses grands projets structurants et en renforçant ses interactions avec son environnement interne et externe (région, filières et pôles).

Contact : Christian Gout, Directeur du laboratoire LMI

2016 - Open position - Associate professor (MCF) at INSA ROUEN in applied mathematics.

The aim is to recruit a high level assistant professor (Maître de Conférences) to be integrated in the priority research topics of the laboratory (LMI), and promote major projects of the laboratory, especially on mathematical modeling and numerical simulations (eg in connection with the CRIANN, the computer center of Normandie, France).

The assistant professor will have to teach at level Licence L1 and L2 (STPI department of INSA Rouen) and in the ‘Génie Mathématique’ department (level Master).

From a strategic point of view, this position will also link the laboratory subjects to strong regional research fields on the following topics: mathematical modeling (PDE ...) and simulation (high performance computing with applications to image processing ...), energy (wind power energy...), mathematical imaging (and applications to medicine and geosciences...), or in connection with applications to physics.

 Projet M2NUM

Premières journées de la

Maison Normande des Sciences du Numérique (MNSN)

INSA ROUEN NORMANDIE

Organisation :
M. S. Cabot (CRIANN),
I. Danaila (LMRS et FR 3335, M2NUM, correspondant mesocentre du Labex AMIES),
C. Gout (LMI et FR 3335, M2NUM, correspondant du réseau MSO du Labex AMIES pour la MNSN)
N. Forcadel, C. Le Guyader (LMI et FR 3335, M2NUM)
V. Moureau (CORIA, CNRS et M2NUM)

avec le support de :

La MNSN est une action de coordination inter-établissements vise à structurer et consolider, à l’échelle de
Normandie Université, un écosystème normand du calcul intensif (HPC), de la simulation numérique avancée
et de l’ingénierie des données numériques.
Le CRIANN a une mission de deux ans, soutenue par la Région Normandie et l’Union
Européenne, afin d'initier le démarrage de la MNSN avec l’appui scientifique des établissements
et des équipes de recherche impliquées dans le projet, en liens avec le tissu industriel.

La MNSN fait partie du réseau Modélisation-Simulation-Optimisation du Labex AMIES depuis mars 2017.
 

Journée du 8 novembre 2017

Journée du 5 octobre 2017

Une partie des 40 participants

C. Gout (M2NUM/LMI, INSA Rouen)

M.S. Cabot (CRIANN)

P. Bénard (CORIA)

L. Dumas (UVSQ)

S. Le Masson (Orange Labs)

Mis à jour le 09/11/2017

 Contact : C. Gout  (LMI, Rouen).
This workshop is supported by
Laboratoire de Mathématiques de l'INSA Rouen (LMI - EA3226),
Labex AMIES,
FR CNRS 3335 Normandie Mathématique,
& le projet M2NUM (RIN Normandie Digitale - RégionNormandie, FEDER).

9th International Conference on
CURVES AND SURFACES

ARCACHON - june 28 to july 4, 2018
website

Mini Symposium Applications in energy industry July 2, 2018 - 16h15 to 18h30 Org./Chair : Christian Gout & Zoé Lambert M2NUM, LMI, INSA Rouen Normandie Coordinator ENERGY of the Labex

Competitiveness cluster :  AVENIA Jean Baccou On the construction of adaptive design of experiments for the approximation of complex computer code behaviors Henri Calandra Recent advances in numerical methods for solving the wave equation in the context of seismic depth imaging   David Bonner Wind Turbine Optimization   Ange Caruso Modeling and simulation issues at EDF enabling energy challenges   Norbert Warncke Exact and efficient computations for Galerkin Boundary Element Methods

Mis à jour le 19 juillet 2018
Contact : Christian Gout  (LMI, Rouen).
"M2NUM is co-financed by the European Union with the European regional development fund
(ERDF, HN0002137) and by the Normandie Regional Council."
 

Boundary Element Method for Wind Turbine Simulations

* General informations

Contact:     Antoine Tonnoir, LMI - INSA Rouen Normandie Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.

Internship from october 2018: 
“Boundary Element Method for wind turbine simulations" 6  months
 INSA Rouen Normandie
 (approximately 1200 euros per month)

Collaboration:     Ioana Ciotir, Antoine Tonnoir, Christian Gout,  LMI EA 3226 - INSA Rouen Normandie

Keywords: Numerical simulation, Numerica Analysis, Finite elements and Galerkin method...
C and/or C++ and/or Fortran and/or Python and/or Matlab

* Description of the subject

Introduction

This internship takes place in the general context of the development offshore wind energy in Normandie. Numerical simulation tools are an essential part of the design process and are used to analyze and validate designs of wind turbines. In this context, the goal of this internship is to study the efficiency of a BEM method for numerical simulations.

The project will be supervised by LMI. This topic has been proposed by ADWEN offshore through a subcontracting agreement between the LMI and ADWEN. ADWEN is a subsidiary of Siemens Gamesa Renewable Energy which is a world leader in the field of offshore wind turbine.

Description of the subject

We are interested in the numerical simulation of air flow around wind turbine blade. In order to consider realistic effects (like non-uniform incident wind), we cannot use “classical” approaches like Blade Element Momentum Theory or the methods of Computational Fluid Dynamics. Indeed, these methods are either too inaccurate or too costly. Recently, there has been a renewed interest in Boundary Element Method [3] since they enable to take into account realistic effects for reasonable computational costs.

To discretize the integral equation involved in BEM, we can consider three approaches:

1. Collocation method: this method is easy to implement but it is in general very dependent on the choice of the collocation points and the convergence is not ensured. 

2. Galerkin method: this second approach is more difficult to implement but has the strong advantage to ensure stability and convergence. Moreover, to exactly compute the integral term and avoid numerical quadrature we would like to use the recent method proposed by M. Lenoir and N. Salles [1,2]. 

3. Fast Multipole Method: this third approach consists in developing the kernel involved in integral equation as a series expansion [4], yielding an approximate solution that converges quickly in the far field. This method is interesting since it avoids the complexity of integral computation and it considerably reduces the computational cost of an iterative resolution. 


Goals for the internship

The purposes for the internship are the following:

• Implementation of the Fast Multipole or Galerkin Method as a prototype in Matlab. 

• Evaluation of the implemented method and comparison with the existing Collocation point method (uncertainties, convergence rates, computational costs) 

• If time permits, implement a parallelized version of the method or implement a prototype for the remaining method 


 Bibliography

• [1]  Lenoir M. Influence coefficients for variational integral equations. Comptes Rendus Mathematique, 343(8), 561-564. (2006) 

• [2]  Lenoir M. & Salles N. Evaluation of 3-d singular and nearly singular integrals in Galerkin BEM for thin layers. SIAM Journal on Scientific Computing, 34(6), A3057-A3078. (2012) 

• [3]  Sauter S. A. & Schwab C. Boundary element methods. In Boundary Element Methods (pp. 183-287). Springer Berlin Heidelberg. (2010) 

• [4]  Rokhlin V. Rapid Solution of Integral Equations of Classic Potential Theory. Computational Physics, Vol. 60, pp. 187–207. (1985) 


* Application : Internship from Master of applied mathematics or School of Engineers.

SEND your CV with a motivation letter to Antoine Tonnoir <Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.>  before september 04, 2018.

M2NUM day on September 21,  2018

M2NUM project organization

M2NUM is co-financed by the European Union with the European regional development fund (ERDF) and by the Normandie Regional Council.

Linked to :

ECOS Nord project M15M01 [C. Gout - Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.]
M2NUM (Région Normandie et Europe, N. Forcadel) & EPI MAGIQUE3D (A. Citrain, PhD student, Pau-Rouen)

• Invited speaker : Michael Kuhn (Cornell University, USA), N. Debroux (Cambridge Univ., UK), L. Rada (Bahçeşehir Üniversitesi, Turkey).
• M2NUM DAY on September 21 organized by Nicolas Forcadel : M2NUM, with A. Tonnoir, N. Warncke, C. Gout, V. Moureau, C. Le Guyader, C. Petitjean...
  
• Program :
  10h30-11h15:  Michael Kuhn (Cornell Univ., USA)
  

  11h15-12h: Lavdie Rada (Bahçeşehir Üniversitesi, Istanbul, Turkey)
  

   

  12h-13h45: repas

   

  13h45-14h15: Caroline Petitjean (LITIS)

  14h15-14h45: Norbert Warncke (ADWEN)
  

  14h45-15h15: Redouane Khemmar (IRSEEM ESIGELEC)
  

  15h15 - 15h30: pause

  15h30- 16h: Noemie Debroux (Cambridge univ., UK)
  

  16h-16h30: Cyrille Fauchard (CEREMA)
  

  16h30-17h: Ionut Danaila (LMRS)
  

  17h FIN
  
  
• Location: Rouen INSA - Bât. Bougainville
  

Michael Kuhn

Lavdie Rada

Norbert Warncke

Noémie Debroux

Redouane Khemmar

Ionut Danaila

 Projet M2NUM

Premières journées de la

Maison Normande des Sciences du Numérique (MNSN)

INSA ROUEN NORMANDIE

Organisation :
M. S. Cabot (CRIANN),
I. Danaila (LMRS et FR 3335, M2NUM, correspondant mesocentre du Labex AMIES),
C. Gout (LMI et FR 3335, M2NUM, correspondant du réseau MSO du Labex AMIES pour la MNSN)
N. Forcadel, C. Le Guyader (LMI et FR 3335, M2NUM)
V. Moureau (CORIA, CNRS et M2NUM)

avec le support de :

La MNSN est une action de coordination inter-établissements vise à structurer et consolider, à l’échelle de
Normandie Université, un écosystème normand du calcul intensif (HPC), de la simulation numérique avancée
et de l’ingénierie des données numériques.
Le CRIANN a une mission de deux ans, soutenue par la Région Normandie et l’Union
Européenne, afin d'initier le démarrage de la MNSN avec l’appui scientifique des établissements
et des équipes de recherche impliquées dans le projet, en liens avec le tissu industriel.

La MNSN fait partie du réseau Modélisation-Simulation-Optimisation du Labex AMIES depuis mars 2017.
 

Journée du 8 novembre 2017

Journée du 5 octobre 2017

Une partie des 40 participants

C. Gout (M2NUM/LMI, INSA Rouen)

M.S. Cabot (CRIANN)

P. Bénard (CORIA)

L. Dumas (UVSQ)

S. Le Masson (Orange Labs)

Mis à jour le 09/11/2017

 Contact : C. Gout  (LMI, Rouen).
This workshop is supported by
Laboratoire de Mathématiques de l'INSA Rouen (LMI - EA3226),
Labex AMIES,
FR CNRS 3335 Normandie Mathématique,
& le projet M2NUM (RIN Normandie Digitale - RégionNormandie, FEDER).

Journée Math - Entreprises

 en liens avec la

Maison Normande des Sciences du Numérique (MNSN)

Lieu : UNIVERSITE DE ROUEN NORMANDIE -

Organisation :
M. S. Cabot (CRIANN), I. Danaila (LMRS et FR 3335, M2NUM, correspondant mesocentre du Labex AMIES),
C. Gout (LMI et FR 3335, M2NUM, correspondant MNSN du réseau MSO du Labex AMIES), F. Luddens (LMRS et FR 3335 et M2NUM)

avec le support de :

La MNSN est une action de coordination inter-établissements vise à structurer et consolider, à l’échelle de
Normandie Université, un écosystème normand du calcul intensif (HPC), de la simulation numérique avancée
et de l’ingénierie des données numériques.
Le CRIANN a une mission de deux ans, soutenue par la Région Normandie et l’Union
Européenne, afin d'initier le démarrage de la MNSN avec l’appui scientifique des établissements
et des équipes de recherche impliquées dans le projet, en liens avec le tissu industriel.

La MNSN fait partie du réseau Modélisation-Simulation-Optimisation du Labex AMIES depuis mars 2017.
 

Premières Journées de la MNSN en 2017 >>>

Mis à jour le 03/10/2018

 C. Gout  (LMI, Rouen).

Modelling & Numerical Simulation
Workshop@LMI

November 21-22, 2019

Supported by:
  

Linked to M2SiNum project

M2SINUM is co-financed by the European Union
with the European regional development fund (ERDF)
and by the Normandie Regional Council.

Organization :

Maria Kazakova and Christian Gout (LMI)

• Program :
   
  

  Nov. 21 - Morning:
  Scientific council meeting - M2SiNuM
  

   

  Nov. 21 - Afternoon:

  15h - 15h30 : Lavdie Rada (Bahçeşehir Üniversitesi, Istanbul, Turkey, invited at LMI by FR CNRS 3335)
  Image Segmentation for Intensity Inhomogeneity in Presence of High Noise
  

  15h30 - 16h :  Antoine Tonnoir  (LMI, M2SiNum) 
  Pymeri : a python code for solving problems from topography to inverse problem
  16h-16h30 : Pierre Benard  (CORIA, M2SiNum) 
  Actuator line method applied to grid turbulence generation for large-Eddy simulations
  16h30 - 17h : Pause
  

  17h - 17h30 : Martin Pierre Schmidt (LMI, M2SiNum)
  On structural topology optimization enforcing graded porosity control.
  17h30 - 18h : Renata Troian (LMN, M2SiNum)
  Shape optimization under vibroacoustic criteria
  

   

  Nov. 22
  Scientific meeting M2SINUM (WP 1, 2, 3 and 4).

  14h30 : Meeting with L.Rada, C. Le Guyader and C. Gout (WP - image processing).
  

  16h00 : Talk : G. Khayretdinova, A survey of Image segmentation under geometrical constraints in medical image processing.
  
  
• Location: Rouen INSA - Bât. Bougainville - Salle 201
  

Résumés/Abstracts

 Maria Kazakova / Christian Gout - Novembre 2019

Modelling & Numerical Simulation
Workshop@Rouen

December 18, 2019

Supported by:
  

Linked to M2SiNum project

M2SINUM is co-financed by the European Union
with the European regional development fund (ERDF)
and by the Normandie Regional Council.

Coordonnateur & org. : Antoine Tonnoir (LMI)

• Program :
   

  - 14h30 - 15h : Alexandre Imperiale (CEA)  

  Titre : Numerical modelling of wave propagation in anisotropic viscounts-elastic laminated materials in transient regime. Application to modelling ultrasonic testing of composite structures. 

   

  Résumé : Composite laminate structures remain an important family of materials used in cutting-edge industrial areas. Building efficient numerical modeling tools for  high-frequency wave propagation in order to represent ultrasonic testing experiments of these materials remains a major challenge. In particular, incorporating attenuation phenomena within anisotropic plies, and thin intermediate isotropic layers between the plies often represent significant obstacles for standard numerical approaches. In our work, we address both issues by proposing a systematic study of the fully discrete propagators associated to the Kelvin-Voigt, Maxwell and Zener models, and by incorporating effective transmission conditions between plies using the mortar element method. We illustrate the soundness of our approach by proposing intermediate 1D and 2D numerical evidence, and we apply it to a more realistic configuration of a curved laminate composite structure in a 3D setting.

   

   

  - 15h - 15h30 : Timothée Schmoderer (LMI)

  Titre : MRI reconstruction with dictionary learned motion compensation.

   

  Résumé : In this talk, I will discuss the ill-posed problem of MRI reconstruction. The problem is to produce high quality images from under-sampled k-space data. Recently new hybrid methods with motion compensation were introduced and achieved state of the art. I will present these new methods and how they provide a challenging numerical problem. Finally I will introduce a new algorithm for the motion compensation, constructed by a dictionary learned approach. 

   

  - 15h30 - 16h : Pause café 

   

  - 16h - 16h30 : Raphaël Antoine (CEREMA) 

  Titre : Télédétection et imagerie géophysique de subsurface pour les risques naturels.

   

  Résumé : Nous présentons ici les résultats de plusieurs études menées dans le cadre des missions du Cerema dans les domaines des risques naturels (cavités, retrait du trait de cote, etc...).

  Nous développons dans ce cadre de nouvelles méthodologies en télédétection multi-spectrale par drone (visible + infrarouge thermique) et en imagerie géophysique 3D (notamment électrique), que nous combinons afin d'obtenir des modèles intégrés surface/subsurface. Ces outils permettent d'une part d'améliorer l'interprétation des mesures effectuées et d'autre part de faciliter la visualisation des observations 3D pour les gestionnaires. 

  
  

   

  - 16h30 - 17h : Norbert Warncke (Siemens Gamesa)

  Titre : Machine learning for the detection of blade defects and Boundary Element Methods for numerical flow solvers.

   

  Résumé : The R&D Center of Siemens Gamesa at INSA Rouen works on several topics ranging from Numerical Aerodynamics and Wakes to Turbine Control and Machine Learning. In our talk, we want to give a short overview of two of these research topics: Machine Learning for the detection of blade defects, and Boundary Element Methods for numerical flow solvers.

   

  Detecting blade defects (cracks in the composite material) early and reliably is essential to offshore wind turbine operations, as it allows repair and maintenance operations before a total failure occurs. The challenge is to do that based on the available sensors in the turbine. To detect small changes in resonance frequencies, Maximum Mean Discrepancy is used, a kernel based two sample test method. This method can be used to detect changes in the industrial automatized processes by detecting problems that are statistically formulated in the form of hypothesis tests.

   

  Boundary Element Methods are an efficient way to compute the flow around a wind turbine, less costly to compute than typical CFD methods, but capable of modelling instationary flows at a coarse scale. Our aim is to find closed-form expressions for the Galerkin BEM integrals that are computed inside our in-house aerodynamic flow solver Ardema3D. We use the decomposition method of Lennoir&Salles for surfaces approximated by flat triangular meshes, and try to replace complex terms in this decomposition by simpler and more efficient ones.

  
  

   
• Location: Rouen INSA - salle B0 A RC 02
  

Antoine Tonnoir / Christian Gout - Novembre 2019

Groupe de Travail d'EDP et Calcul Scientifique

Contact LMI : Ioana Ciotir

Le Groupe de travail commun LMI-LMRS  a lieu (sauf précision contraire)
le mardi de 11h30 à 12h30 (lien LMRS)
Salle de séminaire du LMRS (et parfois en visio...)

Le programme 2021/2022

• Mardi, 11 Janvier 2022 - 11h30 
  Francesco Russo  (ENSTA-ParisTech, Institut Polytechnique de Paris, France)
  "Fokker-Planck equations with terminal condition and related McKean probabilistic representation" 
  
  Abstract : Stochastic differential equations (SDEs) in the sense of McKean are stochastic differential equations, whose coefficients do not only depend on time and on the position of the solution process, but also on its marginal laws. Often they constitute probabilistic representation of conservative PDEs, called Fokker-Planck equations; 
  In general Fokker-Planck PDEs are well-posed if the initial condition is specified. Here, alternatively, we consider the inverse problem which consists in prescribing the final data: in particular we give sufficient conditions for existence and uniqueness.
  We also provide a probabilistic representation of those PDEs in the form a solution of a McKean type equation corresponding to the time-reversal dynamics of a diffusion process.
  The research is motivated by some application consisting in representing some semilinear PDEs (typically Hamilton-Jacobi-Bellman in stochastic control) fully backwardly.

  This work is based on a collaboration with L. Izydorczyk (ENSTA), N. Oudhane (EDF), G. Tes-
  sitore (Milano Bicocca).

• Mardi, 14 Décembre 2021 - 11h30 - dans la salle de séminaire du LMRS.
  Adina Ciomaga (Laboratoire Jacques Louis Lions Université de Paris - Diderot, France et Octav Mayer Institute of Mathematics, Romanian Academy, Iasi branch, Romania)  
  "Homogenisation periodique pour des equations HJB nonlocales"  
  
  Abstract : Je vais présenter quelques résultats en homogenization périodique pour des équations nonlocales Hamilton-Jacobi-Bellman (HJB) associées aux opérateurs intégro-différentiells de type Levy-Itô. Une équation typique est l’équation de diffusion fractionnaire couplé avec un terme transport, ou les deux termes sont du meme ordre, mais la diffusion s’avere faiblement elliptique. Comme attendu, un role important va être joué par la régularité (fine!) des solutions, ce qu’on montre dans un premier temps et par un principe (faible) de comparaison, qu’on va montrer dans un deuxième temps. Ceci est un résultat recent avec Erwin Topp et Daria Ghilli, qui continue une séries de travaux de la communauté viscosité (Barles, Imbert, Chasseigne, Bardi, Cessaroni etc).
  
  
  
• Mardi, 30 Novembre 2021 - 11h30 - dans la salle de séminaire du LMRS. 
  Youcef Mammeri (Université de Picardie Jules Verne LAMFA CNRS UMR 7352 France) 
  "Du phloème au paysage : quelques problèmes de modélisation continue des interactions plantes-ravageurs"
  
  Abstract : Je présenterai quelques résultats concernant la modélisation du développement des plantes dans leur environnement.En partant d'un nouveau modèle de distribution de sucrose dans les arbres, nous arriverons à la propagation de ravageurs (végétales ou animales) dans des paysages agricoles. Mon propos sera centré sur des systèmes continus de type advection-réaction-diffusion.
  
  
  
• Mardi, 12 Octobre 2021 - 11h30 (zoom)
  Dan Goreac (School of Mathematics and Statistics, Shandong Univ., Weihai, China and Lama UMR 8050, Univ. Gustave Eiffel, France), 
  "Optimal control of SIR models with ICU (and target) constraints"
  
  Abstract :This talk will focus on the simple SIR model in which the contact rate can be controlled (via, say, confinement). For this model, we consider an objective (running cost) function under state constraints (linked to infections being upper-bounded due to intensive care unit capabilities). Using viability tools, we explain the safe or green zone (where no control intervention is needed) and the admissible or yellow zone (in which ICU constraints can be achieved albeit the need for intervention). Then, we proceed with identifying the types of costs for which greedy policies (act only when “saturated”) are optimal until hitting the green zone. We will only talk about Hamilton-Jacobi verification (eluding the arguments on Pontryagin extremals). If the time allows it, we will also present dual programming algorithms intended for more complex (and less regular) costs. This latter part is based on occupation measures and linear programming. 
  The talk is (partially) based on several papers either submitted or on-going co-authored with F. Avram (Pau), G. Bianchin (Padova), E. Dallanese (Colorado), L. Freddi (Udine), J. Li (Weihai), B. Xu (Weihai).
  
  
  
• Mardi, 14 Septembre 2021 - 11:30
  Ionut Munteanu (Al. I. Cuza University, Faculty of Mathematics, Roumanie)
  "Boundary stabilization of parabolic type equations"
  
  Abstract : In this talk we are going to discuss about the problem of asymptotic exponential stabilization of parabolic type equations, i.e., evolution equations governed by a linear operator which generates a C0−semigroup. We shall present two methods to design stabilizing controllers. Namely, we shall introduce the direct- proportional feedback control design method and the backstepping technique, respectively. These two methods share lots of common features, but conceptually are totally different. More exactly, in both cases, the stabilizing control is linear, given in an explicit integral form involving a kernel, thus, easy to manipulate from the computational point of view. But, while the kernel corresponding to the direct- proportional controller is given a-priori and involves the spectrum of the linear leading operator, in the backstepping case, the kernel is deduced by solving a PDE of hyperbolic type. We shall compare the two techniques but also we shall present an example where we combine them. Also, we shall talk about other examples and open research subjects.
  
  

Le programme 2020/2021

• Mardi, 15 Juin 2021 - 11:30
  Lucie Baudouin (LAAS - CNRS) Enregistrement Zoom
  Algorithme de reconstruction de paramètre dans l'équation des ondes
  
  
• Mardi, 18 Mai 2021 - 11:30
  Hasnaa Zidani (LMI, INSA Rouen) Enregistrement Zoom
  Equations HJB pour des problèmes de contrôle optimal avec contraintes sur l'état
  
  
• Mardi, 4 Mai 2021 - 11:30
  Frank Boyer (IMT, Toulouse)
  Contrôlabilité et condensation spectrale
  
  
• Mardi, 20 Avril 2021 - 11:30
  Nicola Abatangelo (University of Zurich)  Enregistrement Zoom
  Laplaciens fractionnaires d'ordre supérieur: Un aperçu
  
  
• Mardi, 6 Avril 2021 - 11:30
  Pauline Lafitte (Centrale Supélec)
  Comportement asymptotique d’un schéma numérique hypocoercif pour l’équation de Fokker-Planck : construction et analyse

Le programme 2019/2020

• Mardi, 28 avril 2020 - 11:30
  Ahmad El Hajj
  
  
• Mardi, 7 avril 2020 - 11:30
  Andrea Mantile 

• Mardi, 17 mars 2020 - 11:30
  Reika Fukuizumi 
  
  
• Mardi, 10 mars 2020 - 11:30
  Gisella Croce

  Sur l'inégalité isopérimétrique quantitative dans le plan

• Mardi, 18 février 2020 - 11:30
  Ulrich Razafison

  Analyse du problème extérieur de Navier-Stokes dans des espaces de Sobolev à poids

• Mardi, 11 février 2020 - 11:30
  Yavar Kian

  Problème inverse  pour des équations de diffusion à partir d'une seule mesure

• Mardi, 4 février 2020 - 11:30
  François Vigneron

  En coulisses avec l'ensemble de Mandelbrot

• Mardi, 28 janvier 2020 - 11:30
  Dorian Le Peutrec

  Asymptotiques spectrales précises pour des diffusions métastables non réversibles

• Mardi, 21 janvier 2020 - 11:30
  Nabile Boussaïd

  La stabilité linéaire dans le modèle de Soler

• Mardi, 3 décembre 2019 - 11:30
  Laurent Boudin

  Modèles diffusifs de mélanges gazeux, dérivation à partir de la théorie cinétique

• Mardi, 12 novembre 2019 - 11:30
  Maria Kazakova

  Conditions aux limites transparentes pour équations de Green-Naghdi linéarisées

• Jeudi, 6 juin 2019 - 11:30
  Frédéric Charve

  Asymptotiques précisées pour un système de type Boussinesq mal préparé

• Jeudi, 21 mars 2019 - 11:30
  Francescantonio Oliva

  Existence and uniqueness for singular elliptic equations

• Jeudi, 7 mars 2019 - 11:30
  Stefanella Boatto

  Modelling epidemics dynamics with time dependent infectivity parameters. The examples of dengue in Rio de Janeiro & Sao Paulo

• Jeudi, 7 février 2019 - 11:30
  Guillaume Cantin

  Dynamique asymptotique et contrôle optimal pour des réseaux complexes de systèmes de réaction-diffusion

• Jeudi, 27 septembre 2018 - 11:30
  Manuel Luna-Laynez

  Decomposition of the pressure of a fluid in a thin domain and applications: Asymptotic behavior of fluids and elasticity problems.

• Jeudi, 17 mai 2018 - 10:15
  Stefano Scrobogna

  Zero entropic relaxation time for a ferromagnetic fluid system

• Jeudi, 23 novembre 2017 - 10:30
  Jiang Xu

  Optimal time-decay estimates for the compressible Navier-Stokes equations in the critical Lp

 Le LMI est partenaire du projet I-CARE 

I-CARE : des alumnis INSA à la conquête des débris spatiaux

Christian Gout a souhaité soutenir des anciens élèves : Clara Moriceau (INSA Rouen Normandie, Génie Mathématique 2019), Anthony De La Llave (INSA Rouen Normandie, Génie Mathématique 2016) ainsi que Manuel Amouroux (INSA Lyon, Informatique 2019) qui sont trois ingénieurs récemment diplômés du Groupe INSA. Ils poursuivent actuellement leurs études en mastère spécialisé « Space systems engineering » (TAS ASTRO) à l’ISAE-Supaero de Toulouse et ont remporté l’une des trois places du concours « Parabole » organisé par le Centre National d’Études Spatiales (CNES) grâce à leur système de capture, « I CARE ». Ils sont accompagnés de trois autres étudiants : Emma Baltide, Florian Roselli et Thibault Lemattre.
Des orbites encombrées 135 millions d’objets de 1mm ou plus1 : c’est le nombre vertigineux de débris qui errent dans l’espace. Situés majoritairement en orbite basse (entre 700 et 1000 km d’altitude) et en orbite géostationnaire (à 36 000 km d’altitude), les débris spatiaux mettent en péril les engins actifs. En raison de la vitesse à laquelle ils se déplacent, mêmes les plus petits sont capables de faire exploser un satellite en mission, générant à leur tour de nouveaux débris. Une réaction en chaîne dangereuse pour les engins actifs en orbite, pour les stations abritant des astronautes et à fortiori, pour certaines zones de la terre qui voient retomber les débris qui n’auraient pas été désintégrés lors de leur retour dans l’atmosphère. « La problématique de l’encombrement spatial ne date pas d’hier. Elle existe depuis que l’homme envoie des satellites dans l’espace. Cependant, elle s’est accentuée avec la prolifération de nano satellites, appelés CubeSats. Ces engins miniatures, simples et peu coûteux à fabriquer, permettent de tester des instruments, réaliser des expériences scientifiques, développer des initiatives commerciales ou des projets éducatifs. Mais une fois inopérants, ils continuent d’envahir l’espace, menaçant la sécurité et la viabilité d’autres missions spatiales. L’enjeu des outils de capture est d’anticiper les déplacements de ces débris errants à une vitesse allant jusqu’à 28 000 km à l’heure puis de les attraper », explique Manuel Amouroux.   Identifier et capturer Pour faire le grand ménage dans l’espace, des solutions sont développées par les experts : filets de capture, harpons magnétiques, satellites autodestructibles, etc. Cependant, ces systèmes visent généralement les débris de grande taille. Dans le cadre du concours organisé par le CNES, Manuel, Clara, Anthony et leur équipe ont concentré leurs efforts sur la capture des CubeSats gravitant en orbite basse. « Notre projet se matérialise par un bras robotisé muni de deux systèmes de captures interchangeables : une pince ou un électro-aimant. « I CARE », dont le nom signifie Identification & Capture for Active debris Removal Experiment, devra être complémentaire aux autres solutions déjà existantes comme la capture par filet par exemple, tout en s’intégrant aux plateformes standards déjà existantes. Notre prototype nettoyeur nous met face à deux défis : celui de designer un système capable de capturer des petits débris et celui de développer un algorithme d’intelligence artificielle qui sera entraîné à identifier le mouvement et anticiper les déplacements de l’objet », poursuit Clara Moriceau.   Apprivoiser l’apesanteur Dans le cadre du concours organisé par le CNES, les étudiants ont été sélectionnés pour tester leur prototype à bord du véhicule de la filiale Novespace, l’avion Zéro G. « Nous avons présenté un rapport technique de notre prototype qui a séduit le jury du CNES. La prochaine étape visera à améliorer la fiabilité de l’engin en vue du vol à bord de l’avion Zéro G. C’est un véhicule qui permet de reproduire l’absence de pesanteur en décrivant des trajectoires paraboliques. En chute libre, l’apesanteur est sensiblement la même que dans l’espace (0.02g), comme le vivent les astronautes à bord de l’ISS, la Station Spatiale Internationale. Tester notre prototype dans ces conditions nous permettra d’entraîner l’algorithme à identifier le mouvement et la vitesse d’un CubeSat et vérifier la robustesse de nos pinces. Rendez-vous en octobre 2020 sur le tarmac de Bordeaux-Mérignac pour la suite ! », conclut Anthony De La Llave. [texte INSA Lyon]

Interview/Vidéo

<video>

Vol zéro G - Octobre 2020
(source Linkedin - I CARE)

INTERVIEW

Clara Moriceau (GM 2019) et Anthony De la Llave (GM 2016)