Nantilus
Formalisation et exploration partielle de problèmes de satisfaction de contraintes en conception préliminaire
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éali...
Enregistré dans:
| Auteurs principaux : | , , , , , |
|---|---|
| Collectivités auteurs : | , , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Formalisation et exploration partielle de problèmes de satisfaction de contraintes en conception préliminaire / Thomas Richard de Latour; sous la direction de Laurent Grandvilliers et de Raphaël Chenouard |
| Publié : |
2023 |
| Accès en ligne : |
Accès Nantes Université
|
| Note sur l'URL : | Accès au texte intégral |
| Note de thèse : | Thèse de doctorat : Informatique : Nantes Université : 2023 |
| Sujets : |
| LEADER | 05967nlm a2200661 4500 | ||
|---|---|---|---|
| 001 | PPN278879101 | ||
| 003 | http://www.sudoc.fr/278879101 | ||
| 005 | 20240617055800.0 | ||
| 029 | |a FR |b 2023NANU4047 | ||
| 033 | |a http://www.theses.fr/2023NANU4047 | ||
| 035 | |a (OCoLC)1439220996 | ||
| 035 | |a STAR209265 | ||
| 100 | |a 20240614d2023 k y0frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a ||||ma 00|yy | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Formalisation et exploration partielle de problèmes de satisfaction de contraintes en conception préliminaire |f Thomas Richard de Latour |g sous la direction de Laurent Grandvilliers et de Raphaël Chenouard | |
| 214 | 1 | |d 2023 | |
| 230 | |a Données textuelles | ||
| 304 | |a Titre provenant de l'écran-titre | ||
| 314 | |a Ecole(s) Doctorale(s) : École doctorale Mathématiques et Sciences et Technologies du numérique, de l Information et de la Communication (Nantes ; 2022-....) | ||
| 314 | |a Partenaire(s) de recherche : Laboratoire des Sciences du Numérique de Nantes (Laboratoire) | ||
| 314 | |a Autre(s) contribution(s) : Pierre-Alain Yvars (Président du jury) ; Elise Vareilles, Bertrand Neveu (Rapporteur(s)) | ||
| 328 | 0 | |b Thèse de doctorat |c Informatique |e Nantes Université |d 2023 | |
| 330 | |a 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. | ||
| 330 | |a 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. | ||
| 337 | |a Configuration requise : un logiciel capable de lire un fichier au format : PDF | ||
| 541 | | | |a Modeling and partial design space exploration applied in preliminary design |z eng | |
| 606 | |3 PPN027351572 |a Simulation par ordinateur |2 rameau | ||
| 606 | |3 PPN027741036 |a Prise de décision |x Modèles mathématiques |2 rameau | ||
| 608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
| 610 | 0 | |a Problèmes de Satisfaction de Contraintes | |
| 610 | 0 | |a Modélisation | |
| 610 | 0 | |a Conception préliminaire | |
| 610 | 0 | |a CSP | |
| 686 | |a 004 |2 TEF | ||
| 700 | 1 | |3 PPN278877796 |a Richard de Latour |b Thomas |f 1994-.... |4 070 | |
| 701 | 1 | |3 PPN145527522 |a Grandvilliers |b Laurent |f 19..-.... |4 727 | |
| 701 | 1 | |3 PPN127369139 |a Chenouard |b Raphaël |f 1981-... |4 727 | |
| 701 | 1 | |3 PPN138127247 |a Yvars |b Pierre-Alain |4 956 | |
| 701 | 1 | |3 PPN090408829 |a Vareilles |b Elise |f 1978-.... |4 958 | |
| 701 | 1 | |3 PPN236040634 |a Neveu |b Bertrand |f 19..-.... |4 958 | |
| 711 | 0 | 2 | |3 PPN258086599 |a Nantes Université |c 2022-.... |4 295 |
| 711 | 0 | 2 | |3 PPN268274525 |a École doctorale Mathématiques et Sciences et Technologies du numérique, de l Information et de la Communication |c Nantes |c 2022-.... |4 996 |
| 711 | 0 | 2 | |3 PPN203637585 |a Laboratoire des Sciences du Numérique de Nantes |4 981 |
| 801 | 3 | |a FR |b Abes |c 20240614 |g AFNOR | |
| 856 | 4 | |q PDF |s 6694379 |u http://www.theses.fr/2023NANU4047/document |z Accès au texte intégral | |
| 856 | 4 | |u http://www.theses.fr/2023NANU4047/abes | |
| 856 | 4 | |u https://theses.hal.science/tel-04612444 | |
| 930 | |5 441099901:82445314X |b 441099901 |j g | ||
| 991 | |5 441099901:82445314X |a exemplaire créé automatiquement par STAR | ||
| 998 | |a 972235 | ||