Thème 1 : Spécification et Vérification des Produits

(Équipe animée par C.M. Souzani)

Ce thème concerne d'une part la formalisation d’exigences ‘multi-physiques’: Opérateurs, Opérations, Entités, Incertitudes

Approches et outils utilisés :

➢ Opérateur de Laplace-Beltrami
(descripteurs multi-échelles, échantillonnage dans l’espace des formes, méta-opérateur pour le GPS)

➢ Algèbres géométriques
(éléments de situation: ToLiP, généralisation des SATT: Muti-ToLiP)

➢ Approches polyhédriques
(calcul numérique ‘exact’, logiciel libre)

Il s'agit d'autre part de progresser dans la génération semi-automatique de spécifications pour le tolérancement (approche cycle de vie)

➢ Formalisation des connaissances (ontologies, théorie des catégories)

➢ Tolérancement Intégré (Generative Design sous incertitudes, Optimisation Fonctionnelle)

➢ Apprentissage (Graph Neural, ChatGPS)

 

Et enfin il s'agit de s'intéresser au traitement numérique des données de mesure pour la reconstruction et l’identification de formes/entités/produits

➢ Filtrage par composition et décomposition (déformation de contours/formes, correlation d’images/volumes (VIC/VVC), spectres d’opérateurs, Physics
Informed Machine Learning)

➢ Fusion mono/multi-capteurs muti-échelles (algorithmes de référence, étalons logiciels, IA explicative)

➢ Couplage données/modèles pour la reconstruction (mise à jour de JN pièce et assemblage, reconstruction sémantique, formalisation de l’opération de reconstruction – norme ISO GPS)