Assas Recherche | Modélisation et rejeu basés sur des règles

Modélisation et rejeu basés sur des règles (Document en Français, Anglais, Anglais, Anglais)

Accès au(x) document(s)

Accéder au(x) document(s) :

Ce document est protégé en vertu du Code de la Propriété Intellectuelle.

Modalités de diffusion de la thèse :

Thèse consultable sur internet, en texte intégral.

Informations sur les contributeurs

Auteur : Gaide (Gaide), Maxime

Gaide (Gaide), Maxime

Nom

Gaide

Nom de naissance

Gaide

Prénom

Maxime

Nationalité

Français

Date de soutenance : 11-12-2024

Directeur(s) de thèse : Jean Stéphane

Jean, Stéphane

Nom

Jean

Prénom

Stéphane

- Marcheix David

Marcheix, David

Nom

Marcheix

Prénom

David

- Skapin Xavier

Skapin, Xavier

Nom

Skapin

Prénom

Xavier

Etablissement de soutenance : Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Nom

Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Laboratoire : Laboratoire d'informatique et d'automatique pour les systèmes / LIAS [Poitiers]

Laboratoire d'informatique et d'automatique pour les systèmes / LIAS [Poitiers]

Nom

Laboratoire d'informatique et d'automatique pour les systèmes / LIAS [Poitiers]

Ecole doctorale : École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges ; 2018-2022)

École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges ; 2018-2022)

Nom

École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges ; 2018-2022)

Informations générales

Discipline : Informatique et applications
Classification : Informatique

Mots-clés libres : Nomination persistante, Détection de changements topologiques, Cartes généralisées
Mots-clés :

Graphes topologiques, Théorie des
Modélisation tridimensionnelle
Optimisation topologique
Réévaluation (mathématiques)
Conception de systèmes informatiques
Transformation de graphes
Topologie combinatoire
Réécriture, Systèmes de (informatique)

Résumé : La construction d’un objet complexe est un processus fastidieux, impliquant des cycles successifs d’essais et de corrections. Pour alléger la difficulté de la conception, les systèmes de modélisation paramétrique actuels proposent une fonctionnalité de rejeu permettant de regénérer un objet grâce à l’édition de ses paramètres. Cependant, ce processus nécessite soit une détection des changements topologiques basée sur une analyse complète de l’objet modifié, ce qui est coûteux ; soit ces changements sont codés explicitement dans les opérations, ce qui peut être source d’erreurs. Pour répondre à ces limites, nos travaux se concentrent sur le développement d’un système de modélisation basé sur des règles, permettant de rejouer un processus constructif, notamment avec l’ajout, la suppression et le déplacement d’opérations. Nous considérons des opérations formalisées par des règles de transformation de graphe Jerboa. Notre première contribution est une analyse syntaxique des opérations permettant de détecter les changements topologiques (création, scission, fusion, etc.). Cette analyse des règles est statique et indépendante des objets auxquels celles-ci sont appliquées. Ainsi, les changements topologiques peuvent être détectés et suivis automatiquement. Dans certains cas définis, une analyse localisée au sein de l’objet permet de confirmer ou non les changements détectés. La seconde contribution s’appuie sur notre approche de détection des changements topologiques pour proposer un mécanisme de rejeu. Un processus constructif est une suite d’opérations appliquées sur des entités topologiques spécifiques. Rejouer un processus constructif nécessite de résoudre le problème classique de la nomination persistante des entités topologiques dans un modèle géométrique. Pour répondre à ce problème, nous proposons une reconstitution de l’historique des entités topologiques référencées dans le processus constructif. Chaque entité possède une histoire unique qui l’identifie. Grâce à ce mécanisme, nous proposons un référencement robuste des entités topologiques lors du rejeu. Notre troisième contribution vise à étendre notre mécanisme de rejeu aux scripts de règles qui permettent de construire des opérations complexes à l’aide de structures de contrôles. Nous proposons pour cela d’utiliser les scripts Jerboa avec des structures de contrôles classiques telles que les itérations et les alternatives. Nous proposons une extension de notre mécanisme de rejeu pour inclure ces structures de contrôle, offrant ainsi une plus grande flexibilité dans la modélisation et la gestion des opérations complexes.

Informations techniques

Type de contenu : Text, Text, Text, Text
Format : PDF

Informations complémentaires

Entrepôt d'origine :

STAR : dépôt national des thèses électroniques françaises

Identifiant : 2024ESMA0026
Type de ressource : Thèse

Fiche descriptive