Formalisation et exploration partielle de problèmes de satisfaction de contraintes en conception préliminaire - Ecole Centrale de Nantes Accéder directement au contenu
Thèse Année : 2023

Modeling and partial design space exploration applied in preliminary design

Formalisation et exploration partielle de problèmes de satisfaction de contraintes en conception préliminaire

Résumé

Decisions made during the preliminary design of complex systems such as electric vehicles play a crucial role in their final performance. The preliminary design relies on a coarse-grained mathematical modeling of the system to study the feasibility of viable alternatives. The formalization and resolution of these models are critical steps in the decisionmaking process. The first part of this thesis proposes a progressive approach to constructing a mathematical model in a design context. The objective is to obtain a model that aligns with the initial requirements and that the designer has the ability to use effectively in decision-making. To solve the obtained models, we propose to consider them from the perspective of Constraint Satisfaction Problems (CSP) and a diversified partial exploration approach. The aim is to obtain a sample of welldistributed solutions in the search space. The developed algorithmic framework is based on a search tree algorithm using division, reduction, and selection operators. This framework is applied to design applications such as electric vehicle batteries to highlight its strengths and limitations as a decision support tool.
Les décisions prises pendant la conception préliminaire de systèmes complexes comme la voiture électrique jouent un rôle crucial sur ses performances finales. La conception préliminaire repose sur une modélisation mathématique gros grains du système pour étudier la faisabilité des alternatives réalisables. La formalisation et la résolution de ces modèles sont des étapes critiques pour la prise de décision. La première partie de cette thèse propose une démarche progressive pour construire un modèle mathématique dans un contexte de conception. L’objectif est d’obtenir un modèle en adéquation avec le besoin initial et dont le concepteur maîtrise la capacité à aider la prise de décision. Pour résoudre les modèles obtenus, nous proposons de les considérer sous l’angle des Problèmes de Satisfaction de Contraintes (CSP) et d’explorer intelligemment leur espace de recherche dans une approche d’exploration partielle diversifiée. Il s’agit d’obtenir un échantillon de solutions bien réparties dans l’espace de recherche pour représenter fidèlement l’ensemble des alternatives de conception avec un nombre raisonnable de solutions. Le cadre algorithme développé repose sur le calcul ensembliste et le parcours d’un arbre de recherche avec des opérateurs de division, réduction et sélection. Les stratégies d’exploration introduites montrent des performances intéressantes vis-à-vis de l’existant. Ce cadre est ensuite appliqué à des cas d’application en conception comme la batterie de véhicule électrique pour mettre en évidence ses intérêts et ses limites comme outil d’aide à la décision.
Fichier principal
Vignette du fichier
RICHARDDELATOUR.pdf (6.38 Mo) Télécharger le fichier
Origine Version validée par le jury (STAR)

Dates et versions

tel-04612444 , version 1 (14-06-2024)

Identifiants

  • HAL Id : tel-04612444 , version 1

Citer

Thomas Richard de Latour. Formalisation et exploration partielle de problèmes de satisfaction de contraintes en conception préliminaire. Algorithme et structure de données [cs.DS]. Nantes Université, 2023. Français. ⟨NNT : 2023NANU4047⟩. ⟨tel-04612444⟩
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More