To see the other types of publications on this topic, follow the link: Résolution de problèmes mathématiques.
Dissertations / Theses on the topic 'Résolution de problèmes mathématiques'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Résolution de problèmes mathématiques.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Radford, Luis. "Sur la résolution de problèmes dans la classe de mathématiques." Institut franco-ontarien Université Laurentienne, 1996. https://zone.biblio.laurentian.ca/dspace/handle/10219/223.
Full text
2
Tardif-Couture, Roxanne. "Résolution de problèmes en mathématiques chez les élèves allophones du primaire." Master's thesis, Université Laval, 2016. http://hdl.handle.net/20.500.11794/27352.
Full textAbstract:
Dans cette recherche, nous avons cherché à mieux comprendre la manière dont les élèves allophones résolvent des problèmes mathématiques et la cause des difficultés qu'ils rencontrent dans ce type de tâche. Pour atteindre notre objectif, nous avons effectué des entretiens individuels avec 16 élèves allophones de 2e, 3e ou 4e année du primaire. Ces entretiens nous ont permis d'obtenir les verbalisations et les traces écrites de ces élèves pour les problèmes qu'ils ont résolus. L'analyse de nos données a mené aux 3 profils de solutionneurs que nous avons présentés avec 4 cas. Ces profils facilitent la compréhension des éléments qui ont eu un impact sur la résolution des problèmes chez les participants de notre étude. Nous avons d'ailleurs profité de la présentation des profils pour souligner le lien entre l'hésitation et la réussite des problèmes chez les élèves allophones. D'autre part, nous avons ajouté notre contribution au modèle de Berger (2015) qui explique l'interaction entre la langue et les mathématiques en résolution de problème en langue étrangère. Nous y avons notamment ajouté des éléments qui prennent en compte le type de problème présenté aux élèves, les indices qui peuvent les induire en erreur, les propositions qui peuvent rendre plus difficile le problème de même qu'une typologie des erreurs. En outre, le protocole que nous avons développé dans notre recherche, qui permet de déterminer si c'est la compréhension du français langue d'enseignement ou celles des structures mathématiques qui est la principale cause de difficultés des élèves allophones, est opérationnel pour les professionnels de l'éducation. Notre étude peut être le point de départ pour des enseignants afin d'amorcer une réflexion concernant le soutien qui répond réellement aux besoins en mathématiques des élèves allophones.
3
Pincet, Mailly Gaëlle. "Explosion des solutions de problèmes paraboliques sous conditions au bord dynamiques." Littoral, 2001. http://www.theses.fr/2001DUNK0062.
Full textAbstract:
Cette thèse traite du phénomène d'explosion de solutions de problèmes paraboliques dans un domaine borné, satisfaisant une condition dynamique dissipative sur le bord latéral temporel. Ce sujet est abordé à travers divers problèmes allant de l'équation de réaction-diffusion classique à des problèmes dégénérés. L'objectif principal de ce travail consiste à établir l'existence de l'explosion de la solution des différents problèmes considérés. Pour cela nous nous intéressons à différents aspects. La comparaison des solutions vérifiant une condition dynamique dissipative avec celles satisfaisant les conditions de Neumann ou de Dirichlet positive au bord met en évidence la monotonie du temps d'explosion en fonction de la condition dynamique ainsi que l'effet d'amortissement provoqué par cette dernière sur les solutions. Grâce à des méthodes basées sur les techniques comparatives, l'exploitation de l'énergie liée à diverses normes et la comparaison spectrale, nous établissons plusieurs minorations et majorations des temps d'explosion, ces dernières fournissant des conditions suffisantes d'explosion en temps fini. D'autre part, nous étudions le comportement asymptotique des solutions de certains problèmes non-dégénérésen précisant l'ordre de croissance des solutions, puis nous caractérisons l'ensemble d'explosion en prouvant qu'en dimension un il consiste au plus en un singletonThis thesis deals with blow up phenomena for parabolic problems in a bounded domain under a dissipative dynamical boundary condition. Several problems are studied as well as reaction-diffusion equations and degenerate equations. The aim of this work is to establish the occurence of finite time blow up. So we are interested in various aspects. The comparison of solutions satisfying different boundary conditions as dynamical, Neumann and Dirichlet conditions underscores the monotonically dependance of the blow up time on the dynamical boundary condition and the damping of solutions. Thanks to comparison techniques, energy methods and spectral comparison, we obtain some lower and upper bounds of the blow up time, and sufficient conditions of finite time blow up. On the other hand, we study the asymptotic behaviour of solutions of some non-degenerate problems : we specify the growth order when approaching the blow up time. Then we caracterize the blow up set and we prove that it consists at most of a single point in the one-dimensional case
4
Abdelmoula, Amine. "Résolution de problèmes inverses en géodésie physique." Phd thesis, Université Rennes 1, 2013. http://tel.archives-ouvertes.fr/tel-00990849.
Full textAbstract:
Ce travail traite de deux problèmes de grande importances en géodésie physique. Le premier porte sur la détermination du géoïde sur une zone terrestre donnée. Si la terre était une sphère homogène, la gravitation en un point, serait entièrement déterminée à partir de sa distance au centre de la terre, ou de manière équivalente, en fonction de son altitude. Comme la terre n'est ni sphérique ni homogène, il faut calculer en tout point la gravitation. A partir d'un ellipsoïde de référence, on cherche la correction à apporter à une première approximation du champ de gravitation afin d'obtenir un géoïde, c'est-à-dire une surface sur laquelle la gravitation est constante. En fait, la méthode utilisée est la méthode de collocation par moindres carrés qui sert à résoudre des grands problèmes aux moindres carrés généralisés. Le seconde partie de cette thèse concerne un problème inverse géodésique qui consiste à trouver une répartition de masses ponctuelles (caractérisées par leurs intensités et positions), de sorte que le potentiel généré par eux, se rapproche au maximum d'un potentiel donné. Sur la terre entière une fonction potentielle est généralement exprimée en termes d'harmoniques sphériques qui sont des fonctions de base à support global la sphère. L'identification du potentiel cherché se fait en résolvant un problème aux moindres carrés. Lorsque seulement une zone limitée de la Terre est étudiée, l'estimation des paramètres des points masses à l'aide des harmoniques sphériques est sujette à l'erreur, car ces fonctions de base ne sont plus orthogonales sur un domaine partiel de la sphère. Le problème de la détermination des points masses sur une zone limitée est traitée par la construction d'une base de Slepian qui est orthogonale sur le domaine limité spécifié de la sphère. Nous proposons un algorithme itératif pour la résolution numérique du problème local de détermination des masses ponctuelles et nous donnons quelques résultats sur la robustesse de ce processus de reconstruction. Nous étudions également la stabilité de ce problème relativement au bruit ajouté. Nous présentons quelques résultats numériques ainsi que leurs interprétations.
5
Maheux, Dominique. "Résolution par sous-domaines de problèmes linéaires par la méthode optimisée de Schwarz." Thesis, Université Laval, 2012. http://www.theses.ulaval.ca/2012/29499/29499.pdf.
Full text
6
Bourgeois, Emmanuel. "Mécanique des milieux poreux en transormation finie : Formulation des problèmes et métjodes de résolution." Marne-la-vallée, ENPC, 1997. https://pastel.archives-ouvertes.fr/tel-00529407.
Full textAbstract:
Ce travail est consacré à la formulation et à la résolution des problèmes de mécanique des milieux poreux dans la situation, courante dans le domaine pétrolier, et susceptible de se produire en génie civil et en géotechnique, dans laquelle le squelette subit une transformation géométrique finie. Comme pour les milieux continus monophasiques (ou secs), la prise en compte des transformations finies nécessite d'utiliser un formalisme plus complexe que celui employé dans le cadre familier des petites perturbations. Sur le plan théorique, la principale difficulté réside dans la formulation du comportement, abordée ici en s'appuyant sur l'étude de la thermodynamique du milieu. On présente d'abord (chapitre 1) la modélisation mécanique des milieux poreux due à Biot, et le cadre thermodynamique mis en place par cosy pour l'étude des milieux continus ouverts. On étudie dans le chapitre 2 la formulation du comportement pyroclastique, en portant une attention particulière aux milieux dont le constituant solide est incompressible. Le chapitre 3 compare, pour l'étude de la consolidation et de la compaction unidimensionnelles en photoélasticité les résultats obtenus en transformation finie avec les résultats d'une modélisation en transformation infinitésimale. Le chapitre 4 est consacré à la formulation du comportement poroelastoplastique en transformation finie. On propose notamment un modèle qui généralise le modèle Cam Clay aux milieux poreux en transformation finie. Le chapitre 5 présente les principes des méthodes de résolution numérique en poroelastoplasticite finie, et la résolution d'un problème académique simple. En pratique, l'étude des problèmes abordes dans ce travail montre que la prise en compte complète des transformations finies permet d'éviter de commettre des erreurs significatives sans augmenter sensiblement la difficulté de la résolution des problèmes.
7
Thomas-Moinet, Mireille. "Descriptions non cartésiennes et résolution de problèmes géométriques sous contraintes." Châtenay-Malabry, Ecole centrale de Paris, 2008. http://www.theses.fr/2008ECAP1100.
Full textAbstract:
Cette thèse se propose de présenter une méthode efficace pour décrire et résoudre de façon déclarative des problèmes géométriques sous contraintes. Cette méthode de description est omniprésente en CAO pour définir la forme des objets. Pour ce faire, nous nous sommes appuyés sur des travaux déjà réalisés dans ce domaine, notamment sur des approches non-cartésiennes. Le premier chapitre fait la synthèse de l'état de l'art en matière de modélisation déclarative d'un objet géométrique. Le second chapitre aborde la modélisation retenue : une approche non-cartésienne basée sur la perturbation d'un certain tenseur métrique. Une mise en équation et une méthode de résolution originales sont détaillées et les algorithmes correspondants implémentés. Des exemples numériques illustrent les résultats obtenus par le prototype développé. Le troisième chapitre propose d'enrichir l'approche précédente en utilisant des multivecteurs. De nouvelles spécifications pour l'utilisateur sont disponibles et en contrepartie de nouveaux types d'équation doivent être générés. Des applications numériques de cette modélisation multi-vectorielle sont apportées. Enfin, dans le dernier chapitre, on se propose de généraliser le modèle tensoriel vers un modèle basé sur l'algèbre géométrique. Ce nouvel outil et une solution permettant de représenter les objets et les contraintes avec ce langage, sont présentésThis thesis an effective method to describe and solve in a declarative way geometrical problems defined by constraints. This method of description is omnipresent in CAD to define the shape of objects. To do it, we relied on works already realized in this domain, especially using non-Cartesian approaches. The first chapter makes the synthesis of the state of the art in declarative modelling of a geometric object. The second chapter deals with the chosen modelling : a non-cartesian approach based on a certain metric tensor perturbation. A format equation and an original resolution method are detailed as well as the algorithms implemented. Numerical examples illustrate the performance of the prototype developed. The third chapter proposes to enrich the previous approach using multivectors. New specifications for the user are available and in return, new types of equations must be a generated. Numerical applications of this multi-vectoriel modelling are done. Finally, in the last chapter, it is proposed to extend the tensor model to a model based on geometric algebra. This new tool and a solution allowing to represent objects and constraints with this language, are presented
8
Djebali, Karima. "Modélisation et résolution de problèmes d'optimisation combinatoire par la programmation mathématique en variables mixtes." Paris, CNAM, 2003. http://www.theses.fr/2003CNAM0470.
Full textAbstract:
De nombreux problèmes d'optimisation combinatoires NP-difficiles peuvent se formuler en utilisant le modèle général de la programmation mathématique en variables mixtes (PMVM). Les logiciels de programmation linéaire en variables mixtes et de programmation quadratique convexe en variables mixtes sont de plus en plus performants mais leur efficacité dépend fortement de la formulation retenue pour le problème considéré. Le but de cette de thèse est de montrer ce que peut apporter la PMVM à la résolution de problèmes d'optimisation combinatoire difficiles par rapport à des algorithmes spécialement conçus pour ces problèmes et d'essayer de dégager des idées générales pour obtenir de bonnes formulations. Nous avons ainsi choisi quatre problème de nature différente: trois dont la formulation naturelle est non linéaire avec des fonctions économiques de type min max, quadratique convexe ou hyperbolique et un problème dont la formulation naturelle est linéaire. Nous montrons que la résolution de ces quatre problèmes par des logiciels standards de programmation mathématique est une approche particulièrement efficace par rapport aux algorithmes spécifiques dont la mise en œuvre est souvent complexe.
9
Le, Maître Olivier P. "Contribution numérique à la résolution de problèmes d'interaction fluide-structure non linéaires." Le Havre, 1998. http://www.theses.fr/1998LEHA0007.
Full textAbstract:
Dans cette thèse, on s'intéresse à la résolution numérique de problèmes d'interaction fluide-structure avec grands déplacements des interfaces. Deux cas pratiques sont abordés : la dynamique d'une voile flexible dans un écoulement instationnaire, les déformations d'une capsule dans un écoulement très visqueux. Le document se compose de trois parties distinctes qui traitent d'aspects différents selon les applications : partie I : on y développe un modèle en grands déplacements d'une structure élastique mince idéalement flexible. Une approximation par réseaux de fils du comportement du tissu est utilisée. La méthode est appliquée à la détermination de la géométrie des voiles sous l'action du vent. Partie II : pour simuler la dynamique d'une voile en interaction avec le vent, une formulation globale, basée sur des considérations énergétiques est développée dans le cas 2D. La solution du problème non linéaire peut alors être estimée grâce à une approximation particulière de l'écoulement et un modèle simplifié de structure (membrane en grands déplacement). Plusieurs cas de calculs sont présentés pour des conditions aux limites déterministes ou stochastiques. Partie III : la dernière partie du mémoire utilise une représentation intégrale de l'écoulement de stokes, couplée à un modèle de structure élastique non-linéaire pour estimer les déformations d'une capsule dans un écoulement extensionnel. Une méthode d'éléments de frontière 3D est développée en utilisant un filtrage par sélection de modes de Fourier des déformations de l'enveloppe de la capsule. Une méthode stochastique est proposée pour désingulariser le calcul des intégrales du problème fluide. La validation se fait par comparaison avec des solutions axisymétriques et plusieurs cas 3D sont traités.
10
Skalka, Jean-Michel. "Système interactif d'aide au choix de méthodes pour la résolution de problèmes." Paris 9, 1986. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1986PA090035.
Full textAbstract:
Dans un contexte de système interactif d'aide à la décision sur micro-ordinateur, l'objectif principal de ce travail est d'aider l'utilisateur à choisir une méthode qu'il mettra ensuite en œuvre pour traiter son problème de décision. Le système d'aide au choix, conçu comme une structure d'accueil de l'information, à deux modes d'utilisation : - le mode "expert" permet de prendre en compte l'information décrivant les méthodes. Les experts gèrent un ensemble de caractéristiques et de modalités et apprécient les méthodes qu'ils connaissent du point de vue de ces caractéristiques. - le mode "utilisateur" permet d'évaluer des problèmes sur ces mêmes caractéristiques et d'obtenir la ou les méthodes les mieux adaptées a chaque problème. Pour chaque couple (problème, méthode), le système calcule trois indicateurs exprimant l'adéquation de la méthode au problème. L'objectif second du système est de favoriser l'apprentissage de l'utilisateur en l'invitant à structurer l'information qu'il possède sur son problème de décision. Du fait qu'il constitue une interface entre les experts et les utilisateurs en assurant le transfert d'une certaine forme de connaissance, son emploi peut être étendu a toute une classe de problèmes. Sa mise en œuvre se justifie à chaque fois qu'il s'agit de comparer entre eux des objets évalués de façon floue sur un ensemble de points de vue dotes de modalités. Cette classe de problèmes s'étend à de très nombreux domaines d'activité.
11
Morin, Émélie. "La construction des relations sémantiques en résolution de problèmes mathématiques au deuxième cycle du primaire." Thesis, Université Laval, 2011. http://www.theses.ulaval.ca/2011/27800/27800.pdf.
Full text
12
Archimbaud, Emma. "Influences de collectifs d'enseignants sur les pratiques individuelles : la résolution de problèmes mathématiques à l'école." Electronic Thesis or Diss., Université Paris Cité, 2024. http://www.theses.fr/2024UNIP7041.
Full textAbstract:
L'institution scolaire n'a de cesse que d'inciter au travail collectif des enseignants, notamment à des fins de développement tout au long de la carrière, et au-delà de la seule transmission d'un héritage culturel professionnel. En témoignent les dispositifs de formation continue en « constellations » inspirés des lesson studies et récemment mis en place dans les écoles, ou les nouvelles responsabilités des directeurs d'école, tenus de coordonner et de gérer les « équipes » éducatives. En se concentrant sur l'enseignement de la résolution de problèmes mathématiques à l'école, cette recherche vise à documenter les effets possibles des activités d'enseignants au sein de collectifs sur le développement de leur pratique. En appui sur un cadre théorique empruntant à la didactique des mathématiques (Robert & Rogalski, 2002) et à la didactique professionnelle (Pastré, 2011), les pratiques des enseignants sont analysées pour leurs composantes cognitives et médiatives desquelles découle la construction des connaissances mathématiques des élèves, mais aussi pour leurs dimensions sociale, institutionnelle et personnelle qui sous-tendent l'exercice du métier. Trois collectifs ont fait l'objet d'un suivi longitudinal conduisant à documenter les processus d'influence sur la pratique de leurs membres : un collectif affinitaire composé de professeures débutantes ; un collectif constitué pour une année scolaire à l'occasion d'une formation continue en constellation ; et un collectif formé dans le cadre d'un « lieu d'éducation associé », dispositif inspiré des recherches collaboratives. Une analyse approfondie des pratiques de trois enseignants par collectif a été conduite. La complexité de l'activité de résolution de problèmes mathématiques et l'absence de consensus quant à son enseignement ont entraîné de riches échanges au sein des collectifs. Les enregistrements audio et vidéo des rencontres entre les membres et de séances d'enseignement en classe constituent, avec les entretiens d'auto-confrontation et semi-directifs réalisés, le corpus de cette recherche. Les analyses des pratiques d'enseignement qui ont été conduites convoquent la notion de « vigilance didactique » développée en didactique des mathématiques (Butlen et al., 2010) et conduisent à l'interroger par sa mise en relation avec le modèle de « double régulation de l'activité » (Leplat, 1997 ; Rogalski, 2008). Ces analyses contribuent également à la mise au jour de concepts organisateurs des pratiques, tels que développés en didactique professionnelle (Pastré, 2011). Les résultats obtenus montrent que les spécificités de chaque collectif - leur origine, leur durée, les modalités d'organisation, etc. - conduisent à une variabilité inter-collectifs des influences sur les pratiques. Des contrastes intra-collectif apparaissent aussi selon les parcours des enseignants, leur rapport aux mathématiques, leur conception de l'enseignement de cette discipline, etc. Nos résultats mettent également au jour des évolutions similaires concernant, par exemple, le recours à différents registres sémiotiques pour soutenir la compréhension des problèmes par les élèves, en particulier un usage accru de la schématisationSchools are constantly encouraging teachers to work together, particularly for the purpose of career-long development, beyond the mere transmission of a professional cultural heritage. This is illustrated by the "constellation" in-service training schemes inspired by lesson studies that have recently been introduced in schools, and the new responsibilities of school headmasters, who are required to coordinate and manage educational "teams". By focusing on the teaching of mathematical problem solving in schools, this research aims to document the possible effects of teachers' activities within collectives on the development of their practice. Based on a theoretical framework borrowing from the didactics of mathematics (Robert & Rogalski, 2002) and professional didactics (Pastré, 2011), teachers' practices are analysed for their cognitive and mediative components, from which the construction of pupils' mathematical knowledge stems, but also for their social, institutional and personal dimensions, which underpin the practise of the profession. Three groups were monitored longitudinally in order to document the processes influencing their member's practice : an affinity group made up of beginner teachers ; a group formed for one school year as part of "constellation" in-service training ; and a group formed as part of an "lieu d'éducation associé", a system inspired by collaborative research. An in-depth analysis of the practices of three teachers per group was carried out. The complexity of the mathematical problem-solving activity and the lack of consensus about how it should be taught led to rich exchanges within the groups. The audio and video recordings of meetings between the members and of classroom teaching sessions, together with the self-confrontation and semi-structured interviews conducted, form the corpus of this research. The analyses of teaching practices that have been carried out call upon the notion of "didactic vigilance" developed in mathematics didactics (Butlen et al., 2010) and lead us to question it by relating it to the model of "double regulation of activity" (Leplat, 1997; Rogalski, 2008). These analyses also contribute to uncovering concepts that organise practices, as developed in professional didactics (Pastré, 2011). The results show that the specific features of each collective - its origin, duration, organisational arrangements, etc. - lead to inter-groups variability regarding how practices were influenced. Intra-group contrasts also emerge depending on the teachers' backgrounds, their relationship with mathematics, their conception of the teaching of this subject, etc. Our results also reveal similar trends concerning, for example, the use of different semiotic registers to support pupils' understanding of problems, in particular the increased use of schematisation
13
Weinberg, Benjamin. "Analyse et résolution approchée de problèmes d'optimisation combinatoire : application au problème de coloration de graphe." Lille 1, 2004. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2004/50376-2004-Weinberg.pdf.
Full textAbstract:
Nous avons exploré plusieurs aspects théoriques et expérimentaux de l'optimisation combinatoire. Premièrement, nous avons défini une notion de structure permettant de s'échapper du résultat du théorème du No Free Lunch. Deuxièmement nous avons formalisé la symétrie de l'espace de recherche des problèmes de partitionnements. A l'aide de cette formalisation, nous pûmes concevoir des outils travaillant efficacement sur cette espace. Plus précisément nous avons développé un test d'égalité, une mesure de distance et un nouvel opérateur de Cross over. Nous avons utilisé ces résultats pour classifier les benchmarks classique de la coloration de graphe. Pour finir, nous avons développe pour ce problème une métaheuristique parallèle qui équilibre l'intensification et la diversification pendant la recherche.
14
Cherfi, Nawal. "Méthodes de résolution hybrides pour les problèmes de type knapsack." Paris 1, 2008. http://www.theses.fr/2008PA010056.
Full textAbstract:
Dans cette thèse, nous nous intéressons aux problèmes du knapsack multidimensionnel à choix multiple. Ils interviennent essentiellement en télécommunication. Nous proposons de nouvelles méthodes hybrides de résolution exacte et approchée. Dans un premier temps, nous proposons des méthodes heuristiques en se basant sur les techniques de génération de colonnes et d’arrondi. Ensuite, nous abordons une méthode de recherche locale, dite méthode de branchement local, où des contraintes linéaires sont introduites pour intensifier et diversifier la recherche. Cette méthode est ensuite hybridée avec la génération de colonnes et une technique d’arrondi. Concernant la résolution exacte, nous nous basons sur une méthode de « branch and cut ». Nous commençons par proposer de nouvelles contraintes valides pour le problème. Ensuite, nous les associons à des contraintes de couverture locales et globales.
15
Mancel, Catherine. "Modélisation et résolution de problèmes d'optimisation combinatoire issus d'applications spatiales." Toulouse, INSA, 2004. http://www.theses.fr/2004ISAT0011.
Full textAbstract:
Nos travaux portent sur la modélisation et la résolution de problèmes d'optimisation combinatoire émergeant dans le cadre de la planification de missions spatiales. Ces problèmes de grande taille présentent des caractéristiques communes en termes de types de données, de contraintes et de critères à optimiser. Nous nous focalisons sur l'apport de la programmation linéaire pour ces problèmes, associée à des méthodes de simplification de l'espace de recherche, par décomposition ou grâce à des techniques de propagation de contraintes. Nous avons plus particulièrement étudié deux problèmes. Le premier concerne la planification de communications sonde/satellite et d'expériences dans un projet d'exploration martienne. Une décomposition de ce problème permet de le formuler comme deux problèmes indépendants : un problème de planification des communications que nous modélisons par un programme linéaire en nombres entiers et que nous résolvons de façon exacte par un algorithme classique, et un problème d'aide à la décision pour la planification des expériences, pour lequel nous établissons des courbes d'évaluation de la charge des ressources, déduites de l'application de techniques de propagation de contraintes basées sur un raisonnement énergétique. Le second problème étudié est celui de la planifiacation de prises de vue d'un satellite d'observation de la Terre. Nous proposons un modèle linéaire en variables mixtes et nous développons une approche de résolution par génération de colonnes, qui est une adaptation de la programmation linéaire au traitement de problèmes de grande taille, faisant appel à certaines techniques de décomposition des modèlesIn this work we are concerned with combinatorial optimization problems stemming from space missions planning. These huge problems have some common features concerning the type of data, constraints and criteria to be optimized. We focus on linear programming for modeling and solving these problems, associated to methods for search space simplification, using decomposition or some constraint propagation techniques. We more particularly address two problems. The first one concerns a mission which aims at a scientific investigation of Mars. It consists in planning both communication slots between martian probes and a satellite, and experiments on probes. We use linear integer programming to model and solve to optimality the sub-problem of communication slots planning, and we develop an decision-aid oriented method using constraint propagation for experiments planning. The second problem occurs in the context of the french program of Earth observing with satellites. It consists in selecting and scheduling images taken by one satellite in order to maximize a quality criterion. We give a linear model and we propose a column generation approach, based on the Dantzig-Wolfe decomposition of the model, to calculate upper bounds for this problem and in order to solve it
16
Larroze-Marracq, Hervé. "Approche socio-cognitive de la résolution de problèmes mathématiques : le rôle du contexte didactique dans les représentations de l'activité et les stratégies de résolution." Bordeaux 2, 1995. http://www.theses.fr/1995BOR21016.
Full textAbstract:
Les travaux de psychologie cognitive négligent le plus souvent le contexte social dans lequel est proposée la tâche. Il convient au contraire d'étudier l'activité cognitive en considérant les paramètres contextuels comme des facteurs constitutifs des conduites. La thèse présentée développe une approche socio-cognitive qui tient compte du système didactique : maître-élève-savoir et des dimensions socio-communicatives, institutionnelles, socioculturelles de la situation scolaire. Une recherche sur le terrain réalisée au niveau du cm2 a permis de spécifier des contextes didactiques en résolution de problèmes mathématiques, sur la base d'entretiens avec les maitres et d'observations en classe. Le rôle que jouent ces contextes dans les conceptions des élèves et dans les conduites adoptées en situation expérimentale de résolution est analysé à l'aide de comparaisons interclasses des types de réponses et d'une analyse factorielle des correspondances. Les résultats attestent d'un effet important du contexte didactique dans lesquels les élèves travaillent habituellement. Certaines stratégies de résolution montrent que les élèves reconduisent la signification de la situation expérimentale aux règles du "contrat didactique" en œuvre dans la classe et tentent, à travers les réponses écrites adressées à l'expérimentateur, de satisfaire les attentes supposées de leur enseignant. Ces élèves proposent une "solution de compromis" qui tient compte d'un traitement privé de la tâche et de la recevabilité de la réponseMost cognitive psychology studies do not take into account the social context in with the task is given. Nevertheless, it appears necessary to study cognitive activity regarding contextual parameters as constituent factors of attitude. The present thesis develops a socio cognitive approach that focuses on the didactic system : teacher-pupil-knowledge, and on the socio-communicative, institutional and sociocultural background of school situation. Through interviews with teachers and class observations, a research program carried out among the ten to eleven year age group in primary schools, has made it possible to specify didactic contexts as regard the solving of mathematical problems. The role of these contexts concerning pupils' conceptions and their attitude in experimental situations is studied by comparing the types of answers produced by several classes and by a factor analysis of correspondences. The results emphasize the importance of the didactic context in which pupils usually work. Some solving strategies show that pupils transfer the meaning from the experimental situation to the rules of the class "didactic contract". Thus they try to satisfy their teachers' expectations through written answers to the experimenter. These pupils propose a "compromise solution" that takes into account both a personal processing of the task and the admissibility of the answer
17
Krzesaj, Michel. "Modélisation et résolution de problèmes d'optimisation non linéaire de grande taille." Lille 1, 1985. http://www.theses.fr/1985LIL10070.
Full textAbstract:
Dans le cadre d'une convention de recherche avec USINOR, les modèles d'optimisation des enfournements de la fonderie ont conduit à résoudre le problème de leur modélisation et de leur résolution numérique. Ces modèles constamment actualisés exigent à chaque simulation une réécriture du modèle mathématique. Seule une automatisation de la modélisation et de la résolution numérique de ces problèmes d'optimisation pouvait garantir à l'entreprise des résultats rapides et fiables. Le travail effectué dans cette thèse aboutit à la construction d'un ensemble de programmes répondant aux problèmes que posent aux industriels l'optimisation de leurs modèles. Il comprend un traducteur et un code d'optimisation non linéaire de grande taille. Le traducteur réalise l'interfaçage informatique entre le modèle industriel écrit dans le langage de l'utilisateur et le code de programmation. En particulier, il construit le simulateur, c'est-à-dire le programme FORTRAN permettant le calcul des valeurs des contraintes et leurs dérivées partielles en un point. Le code de programmation non linéaire de grande taille sans exiger la donnée d'un point réalisable, construit sous les hypothèses classiques un point de fonctionnement vérifiant les conditions de stationnarité du premier ordre.
18
Dang, Duc-Cuong. "Méthodes d'extraction pour la résolution de problèmes d'optimisation combinatoire." Compiègne, 2011. http://www.theses.fr/2011COMP1985.
Full textAbstract:
Dans cette thèse, nous nous sommes intéressés à la résolution approchée de problèmes d'optimisation difficiles. Notre idée centrale pour procéder à l'élaboration d'heuristiques et métaheuristiques efficaces est d'exploiter les sous-structures du problème à traiter pour lesquelles la résolution est plus facile. Nous avons introduit une approche de résolution basée sur une méthode d'extraction. Nous avons ainsi traité efficacement un problème particulier de tournées avec profits (TOP) grâce à une propriété de dominance des tournées saturées. Une approche similaire a permis de traiter le problème de la clique maximum en utilisant des métaheuristiques avancées avec des schémas heuristiques hybrides. Nous avons également montré l'utilité et l'efficacité des méthodes développées comme l'heuristique de destruction/construction dans un contexte industriel. Il s'agit de la planification des visites pour relever les compteurs d'eau avec l'introduction du radio-relevéIn this thesis, we focused on the development of heuristic solutions for solving NP-Hard combinatorial optimization problems. Our main idea is to exploit substructures of the problems for which the resolution is polynomial. We introduced a new resolution approach, called extraction method. Based this method and on a dominance property of saturated tours, we proposed two effective algorithms for solving the Team Orienteering Problem (TOP). Using the same principle, we proposed an advanced hybrid metaheuristic for the Maximum Clique Problem. We have also shown the effectiveness of the developed methods such as destruction/ construction heuristic with an industrial application. The application consists of optimizing the process of organizing water meter readings during the transition to the automatic reading technology
19
Boutin, Sylvie. "Vers l'apprentissage progressif d'un modèle et de stratégies de résolution de problèmes en mathématiques au primaire." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/mq25283.pdf.
Full text
20
Bemmouna, Benyounes. "Étude des conduites métacognitives d'élèves marocains du secondaire en relation avec la résolution de problèmes mathématiques." Doctoral thesis, Université Laval, 1987. http://hdl.handle.net/20.500.11794/29230.
Full text
21
Escaig, Yves. "Décomposition de domaines multiniveaux et traitements distribués pour la résolution de problèmes de grande taille." Compiègne, 1992. http://www.theses.fr/1992COMPD539.
Full textAbstract:
Aujourd'hui, les ordinateurs multiprocesseurs apportent une solution au besoin des modélisations numériques en puissance de calcul. Néanmoins, leur utilisation nécessite le développement de nouvelles méthodes, comme les méthodes de décomposition de domaines. Le travail réalisé au cours de cette thèse s'articule autour de quatre points : - l'écriture du cahier des charges d'un système interactif et convivial de décomposition de domaines en éléments finis ; - le développement d'une méthode de décomposition de domaines multiniveaux basée sur la méthode multifrontale ; - la conception d'une structure de données s'appuyant sur des concepts objets ; la parallélisation de ce système pour des machines multiprocesseurs à mémoire partagée ou distribuée. Les premiers résultats confirment l'adaptation des méthodes de décomposition de domaines aux ordinateurs multiprocesseurs. Ils montrent également l'intérêt des méthodes de décomposition multiniveaux face aux méthodes sans décomposition, ainsi que leur facilité d'utilisation.
22
Rachelson, Emmanuel. "Problèmes décisionnels de Markov temporels : formalisation et résolution." Toulouse, ISAE, 2009. http://www.theses.fr/2009ESAE0014.
Full textAbstract:
Cette thèse traite de planification dans l'incertain en environnement instationnaire. Nous cherchons à construire un agent logiciel autonome, capable de se coordonner avec l'évolution de son environnement. Cet environnement est constitué d'autres agents communiquant leurs intentions ou de processus concurrents non-contrôlables pour lesquels un modèle est disponible. Nous explorons plusieurs approches de modélisation d'une dépendance continue au temps dans le cadre des Processus Décisionnels de Markov (MDP), aboutissant à la définition des Problèmes Décisionnels de Markov Temporels. Puis, nous nous intéressons à deux paradigmes distincts. En premier lieu, nous considérons des modèles à événements implicites et les écrivons comme des MDP dépendants du temps (TMDP). Nous étendons l'équation d'optimalité classique et présentons un algorithme d'Itération de la Valeur utilisant des représentations polynômiales par morceaux que nous testons sur deux problèmes de planification pour drones. Ces conclusions permettent alors une discussion plus générale au sujet des actions paramétriques pour les MDP à temps observable. Dans un second temps, nous modélisons séparément les contributions concurrentes d'événements exogènes au système. Cette approche de modélisation à événements explicites mène aux Processus Décisionnels Semi-Markoviens Généralisés (GSMDP). Nous établissons un lien entre la théorie de Spécification des Systèmes à Evénements Discrets (DEVS) et le formalisme GSMDP, permettant ainsi la définition de simulateurs cohérents. Puis nous adoptons une approche d'Itération de la Politique fondée sur la simulation que nous testons sur un problème de contrôle d'un réseau de métro.
23
Goudjo, Aurélien. "Singularités d'arêtes en thermique et résolution de quelques problèmes hyperboliques." Nice, 1990. http://www.theses.fr/1990NICE4362.
Full textAbstract:
La thèse comporte deux parties. La première est consacrée à l'équation de la chaleur en régime stationnaire dans un domaine tridimensionnel ayant une arête non convexe. Dans un premier temps on s'est intéressé à la description et à l'approximation numérique de la solution lorsque le domaine est un cylindre droit à base polygonale, avec une condition de Dirichlet ou de Neumann sur la paroi latérale. L’approche numérique préconisée prend en compte la fonction singulière décrivant le comportement de la solution au voisinage de l'arête. Le deuxième volet de cette partie décrit le comportement de l'équation de Poisson au voisinage de l'arête, dans le cas ou le domaine est axisymétrique avec des conditions de Dirichlet aux bords. Dans la deuxième partie, on a essentiellement procédé à des constructions de schémas d'intégration de problèmes hyperboliques du premier ordre, en vue de leur application aux équations d’Euler. On y trouve trois études. Dans la première étude, on a construit et analysé des schémas à faible dispersion, destinés au calcul de phénomènes instationnaires. La deuxième étude présente la construction d'un schéma de volumes finis adapté à la résolution des équations d’Euler tridimensionnelles en axisymétrique. La dernière étude est consacrée particulièrement à des phénomènes stationnaires, et on y propose quelques algorithmes multiniveaux d'accélération de convergence, faciles à mettre en œuvre en comparaison aux méthodes multigrilles habituelles
24
Monclar, François-Régis. "Résolution coopérative de problèmes : ELICO et son application à la supervision des réseaux électriques." Montpellier 2, 1998. http://www.theses.fr/1998MON20036.
Full textAbstract:
Cette these aborde le theme des systemes cooperatifs, c'est a dire d'applications informatiques permettant une resolution de problemes en cooperation avec un utilisateur humain. Nous tentons dans un premier temps de lever un certain flou regnant sur la notion de cooperation, afin de mettre en evidence les particularites de la cooperation homme-machine. A travers une analyse bibliographique de plusieurs applications reelles, nous presentons differents besoins introduits par les systemes cooperatifs. Nous proposons un cadre conceptuel permettant de specifier la cooperation homme-machine, en modelisant l'activite sous la forme de problemes et sous-problemes. L'originalite du modele que nous introduisons est de prendre en compte, pour la resolution de chaque probleme, non seulement les capacites des agents (le systeme et l'utilisateur) mais egalement leurs roles, c'est a dire les responsabilites qu'ils engagent face au probleme a resoudre. Cette derniere dimension est primordiale en situation de supervision de processus industriel par exemple. Ce modele a ete implemente sous la forme d'un environnement de developpement de systemes cooperatifs appele elico possedant une architecture reflexive de meta-controle. Cette reflexivite offre l'interet de repartir de la meme maniere les activites sur le domaine d'expertise et les activite relatives a la conduite de la resolution. Elico a ete utilise pour le developpement d'une application appelee australi, effectuant de la reprise de service des reseaux de distribution electrique. La reprise de service consiste, lors de la rupture d'alimentation d'une partie du reseau, a construire et appliquer des plans de secours permettant de restaurer les portions encore saines. Dans les cas simples, la reprise peut etre effectuee de maniere relativement automatisee, confiant la plupart des responsabilites au systeme. Toutefois, si la situation est plus complexe que prevue, ou si des evenements inattendus surviennent, l'introduction graduelle de l'utilisateur dans la boucle de decision peut etre necessaire.
25
Lasalle, Francis. "Une métaheuristique de résolution de problèmes stochastiques de localisation-transport." Thesis, Université Laval, 2009. http://www.theses.ulaval.ca/2009/26159/26159.pdf.
Full textAbstract:
Ce mémoire étudie un problème de localisation et de tournées de véhicules multi-périodes considérant un univers stochastique, plus connu sous l’intitulé « Problèmes Stochastiques de Localisation-Transport » (PSLT). Il est caractérisé par plusieurs modes de transport et plusieurs périodes de demandes générées par un processus stochastique et stationnaire. Nous voulons déterminer le nombre d’entrepôts requis afin de satisfaire aux demandes d’un ensemble de clients et leur localisation. De plus, la mission des entrepôts en termes du sous-ensemble de clients à servir, doit être précisée. Le problème est formulé comme un programme stochastique avec recours, et une approche heuristique et hiérarchique de résolution est proposée. Cette approche comprend une procédure de recherche Tabou, une formule approximant la longueur des routes et une procédure Clarke et Wright modifiée. Trois stratégies d’exploration dans le voisinage sont proposées et comparées entre elles sur de nombreux problèmes réalistes faisant partie d’un large plan d’expérience.This thesis studies a Stochastic Location-Transportation Problem (SLTP) characterized by multiple transportation options, multiple demand periods and a stochastic stationary demand. We consider the determination of the number and location of the depots required to satisfy a set of customer’s demands, and the mission of these depots in terms of the subset of customers they must supply. The problem is formulated as a stochastic program with recourse, and a hierarchical heuristic solution approach is proposed. It incorporates a Tabu search procedure, an approximate route length formula, and a modified Clarke and Wright procedure. Three neighbourhood exploration strategies are proposed and compared with extensive experiments based on realistic problems.
26
Jarray, Fethi. "Résolution de problèmes de tomographie discrète : application à la planification du personnel." Paris, CNAM, 2004. http://www.theses.fr/2004CNAM0481.
Full textAbstract:
Ce travail de thèse est une contribution à l'étude des problèmes de tomographie discrète. Ces contributions sont à la fois théoriques et pratiques, illustrées par des applications à la planification de personnel et à la reconstruction d'images discrètes. - Au niveau théorique, nous avons déterminé la complexité et proposé des algorithmes polynomiaux pour résoudre des cas assez généraux pour les problèmes suivants : Packing et pavage par des dominos et des barres. Reconstruction de matrices binaires avec contraintes d'adjacence. Reconstruction de matrices alternées périodiques. Reconstruction de tableaux colorés. Au niveau pratique : nous avons proposé une approche originale pour le problème de planification de personnel avec 2-3 ou 3-4 jours de repos consécutifs par semaine. Nous avons proposé une heuristique pour aider à la reconstruction des images avec niveaux de gris. Nous ouvrons aussi de nouvelles perspectives pour l'étude des problèmes de tomographie discrèteThis thesis consists in developing the study of discrete tomography problems. My contributions have both theoretic and experimental aspects which are illustrated by applications in workforce scheduling and in image reconstructing. - Theoric contributions. We have determined the complexity and proposed polynomial algorithms to solve general cases of the following problems : Tiling with dominoes and bars. Reconstructing binary matrices under adjacency constraints. Reconstructing binary matrices under alternate periodicity constraints. Reconstructing colored tables. - Experimental contributions. We have proposed an original approach to solve the problem of days-off scheduling with 2-3 or 3-4 consecutive days off per week. . We have proposed an heuristic to help in reconstructing grey-scale images. Finally, we open some theoretic perspectives to study other discrete tomography problems
27
Chevenet, François. "Un environnement coopératif de résolution de problèmes pour l'analyse statistique en écologie." Lyon 1, 1994. http://www.theses.fr/1994LYO10074.
Full textAbstract:
En ecologie, les problemes d'analyse statistique des relations especes-environnement augmentent en quantite et en qualite (complexite). Malgre une diffusion importante de nombreux programmes, il persiste un desequilibre entre d'une part un flot intense et un niveau de complexite eleve des problemes biometriques, et d'autre part la productivite creative d'un corps limite d'experts en statistiques. Pour tenter de reduire ce desequilibre, nous abordons la gestion et l'exploitation des strategies statistiques, c'est-a-dire la modelisation des connaissances methodologiques dans les processus d'analyse statistique. Nous apprecions ce probleme a la lumiere du concept d'environnement cooperatif de resolution de problemes. D'une part il s'agit d'integrer de multiples composantes specialisees, complementaires et inter-communicantes. D'autre part il s'agit d'integrer des capacites de cooperation homme-ordinateur afin de permettre l'exploration des nuances entre le tout automatique et le tout manuel. Nous proposons un environnement, denomme carol, integrant trois composantes : (i) coleoptera, une base de connaissances relatives au domaine d'application. Elle est implantee en shirka. Nous presentons un modele de representation des strategies ecologiques des coleopteres aquatiques de france (ii) slot, une base de connaissances relatives aux methodes factorielles de la statistique descriptive. Cette composante est une interface intelligente entre l'utilisateur et des programmes externes. Implantes en scarp, elle utilise un modele de taches et les methodes du dialogue a initiative mixte dans l'exploitation d'une bibliotheque organisee des methodes statistiques ou dans son utilisation comme plate-forme de programmation (iii) digit, un logiciel qui aborde l'aspect graphique de la modelisation en couplant des methodes du graphisme dynamique a ces bases de connaissances. L'environnement carol, participe a l'effort de definition d'un dictionnaire virtuel des pratiques statistiques en ecologie
28
Matalliotaki, Eirini. "Les pratiques graphiques à l'école maternelle dans un contexte de résolution de problèmes." Paris 5, 2007. http://www.theses.fr/2007PA05H107.
Full textAbstract:
La recherche s’intéresse aux fonctions cognitives que peuvent assurer les représentations graphiques dans des contextes de résolution de problèmes par de jeunes enfants (5 à 6,5 ans). L’analyse de 23 exercices de mathématiques accompagnés de dessins dans des ouvrages destinés aux enfants en Grande Section de l’école Maternelle, montre que la fonction inférentielle est peu exploitée contrairement à la fonction référentielle. Deux épreuves ont été proposées à 55 enfants de Grande et Moyenne Sections Maternelles : une épreuve qui évalue la capacité des enfants à se servir de notations de quantités produites à la demande pour faire des calculs (Dénoréco) et une épreuve d’inférence de quantités par division quotitive à partir d’informations quantitatives représentées verbalement et ensuite graphiquement. Les résultats montrent que beaucoup d’enfants sont capables d’utiliser efficacement les représentations graphiques qu’on leur propose. Ces représentations externes leur permettent notamment d’expliciter avec des gestes des techniques de résolution, alors qu’ils ne sont pas capables de le faire lorsqu’ils ne disposent que d’une information orale. L’ensemble de la thèse apporte des arguments en faveur de l’utilisation précoce de représentations externes dans le cadre de l’enseignement préscolaireThe reported research focuses on the functions of graphical representations in a context of problem solving by young children (5 to 6,6 yrs old). A study based on 23 mathematical exercises utilising drawings, taken from books for chiidren ofupper kindergarten-age, shows that the inferential function of drawjngs was very littie exploited, contrary to the referential one. Two studies have been carried out with 55 children of medium and upper kindergartenage; One that evaluates the children’s capacity to utilise quantitative notations after being requested to make a calculation (Dénoréco), and another that examines the inference of quantities by the use of quotitive division when initial quantity information is presented verbally and subsequently graphically. The results show that a great part of the chiidren were capable ofutilising efficiently the external graphical representations provided to them, When the exercises were represented graphically, the chiidren were able to demonstrate resolution techniques with gestures, contrary to the verbal representation case, where very few resolution strategies could be clarified. This thesis on its whole provides arguments supporting the early use of external graphical representation within the school-learning frame
29
Lagoutière, Frédéric. "Modélisation mathématique et résolution numérique de problèmes de fluides à plusieurs constituants." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2000. http://tel.archives-ouvertes.fr/tel-00001385.
Full textAbstract:
Ce travail concerne les fluides eulériens compressibles constitués de plusieurs espèces, qui peuvent être mélangées ou séparées par des interfaces. Le mémoire est composé de trois parties. La première partie est consacrée à la résolution numérique de problèmes modèles : équation d'advection, équation de Burgers, équations d'Euler, en dimensions un et deux. L'accent est mis sur la précision des méthodes (en particulier pour des données initiales discontinues), et des algorithmes non dissipatifs sont développés. Ils sont basés sur un décentrage aval des flux (de type volumes finis) sous des contraintes de stabilité. La seconde partie traite de la modélisation mathématique des mélanges de fluides. Nous y construisons et analysons une classe de modèles entropiques, symétrisables, hyperboliques, non forcément conservatifs. Ce sont des modèles à plusieurs températures et plusieurs pressions. Dans la troisième partie, nous utilisons les idées introduites dans la première partie (décentrage aval et schémas non dissipatifs) pour la résolution numérique des problèmes aux dérivées partielles construits dans la deuxième partie. Nous présentons des résultats numériques en dimensions un et deux.
30
Guillot, Jérémy. "Résolution exacte de problèmes de couverture par arborescences sous contraintes de capacité." Thesis, Bordeaux, 2018. http://www.theses.fr/2018BORD0395/document.
Full textAbstract:
Dans ce document, nous étudions deux problèmes de sectorisation et proposons plusieurs méthodes de résolution exactes basées sur la décomposition de Dantzig-Wolfe et la génération de colonnes. Nous proposons deux modélisations en fonction de la manière d’appréhender l’objectif du problème qui consiste à obtenir des secteurs compacts. Pour chacune des modélisations, nous comparons des approches de résolution exactes basées sur des formulations compactes ou sur des formulations étendues obtenues par la décomposition de Dantzig-Wolfe. Le premier type de modèles proposé définit la fonction objectif à la manière d’un problème de p-median. Concernant les méthodes de résolution pour ce type de modèle, l’accent est mis sur l’accélération de la convergence de l’algorithme de génération de colonnes en mettant en place des techniques d’agrégation de contraintes afin de réduire la dégénérescence de l’algorithme du simplexe. Les expérimentations numériques montrent que la méthode d’agrégation de contraintes proposée permet effectivement de réduire le nombre d’itérations dégénérées. Cependant, elle ne suffit pas à accélérer l’algorithme de branch-and-price. Le choix d’utilisation de la formulation compacte ou de la formulation étendue dépend du type d’instances résolu. Le second type de modèles formule l’objectif d’une manière assez proche de celui des problèmes de p-centre. L’utilisation d’un tel objectif complexifie la résolution des sous-problèmes de génération de colonnes. L’accent est donc mis sur la conception d’algorithmes de branch-and-bound et de programmation dynamique pour les résoudre efficacement. Les expériences montrent que l’algorithme de branch-and-price surpasse les approches de résolution utilisant une formulation compacte du problèmeIn this document, we study two districting problems and propose several exact methods, based on Dantzig-Wolfe decomposition and column generation, to solve them. For each model, we compare exact approaches based either on compact formulations or on extended formulations obtained using Dantzig-Wolfe decomposition. The first type of model that we propose defines the objective function in a p-median problem fashion. Regarding the methods used to solve that kind of model, we emphasize accelerating the convergence of the column generation algorithm by designing constraint aggregation techniques in order to reduce the degeneracy in the simplex algorithm. Numerical experiments show that this constraint aggregation method indeed reduces the proportion of degenerated iterations. However, it is not enough to speed up the branch-and-price algorithm. Choosing to tackle the problem through either a compact formulation or an extended formulation depends on the structure of the instances to solve. The second type of model formulates the objective function in a way quite similar to that of p-centre problems. Using such an objective function induces complex column generation subproblems. We focus on designing branch-and-bound and dynamic programming algorithms in order to solve them efficiently. Experiments show that the branch-and-price approach surpasses any proposed method based on compact formulations of the problem
31
Freitas-Santos, Alfranci. "Extension de la méthode des perturbations singulières forcées aux problèmes d'optimisation de trajectoires avec multiclassement : résolution de problèmes aux conditions finales sur les variables rapides." Toulouse, ENSAE, 1985. http://www.theses.fr/1985ESAE0015.
Full textAbstract:
Les possibilités, l'intérêt, les difficultés et les limitations de l'utilisation de la méthode des perturbations singulières forcées (MPSF) dans la recherche d'une solution sous optimale pour le problème d'optimisation en temps réel de trajectoires de systèmes non linéaires sont ici rappelés et synthétisés. La prise en compte du caractère évolutif de la séparation dynamique entre les variables d'état conduit à l'introduction d'un nouveau concept basé sur la notion d'horizon dynamique d'une variable d'état. L'existence de problèmes multiclassements apparaît dès lors comme conséquence naturelle du fait que, la hiérachisation des variables d'état dans une structure à échelles de temps multiples étant basée sur leurs séparations dynamiques, une classification en ligne peut s'avérer nécessaire. La notion de trajectoire externe-modifiée rend possible la résolution de problèmes multiclassements avec des conditions finales sur des variables rapides qui n'avaient pas jusqu'à présent de solution dans la MPSF.
32
Del, Moral Pierre. "Résolution particulaire des problèmes d'estimation et d'optimisation non-linéaires." Toulouse 3, 1994. http://www.theses.fr/1994TOU30075.
Full textAbstract:
Les problemes d'estimation et d'optimisation consistent a determiner au mieux un processus x a partir de son observation bruitee ou d'une consigne de reference y. La premiere approche consiste a considerer les perturbations des modeles sous-jacents comme des variables aleatoires sur un espace probabilise. L'estimateur s'illustre alors par une projection hilbertienne. Immergee dans la theorie des semimartingales, l'equation generale du filtrage est alors explicitee par une approche projective et par un changement de probabilite. La seconde approche consiste a considerer ces perturbations comme des elements d'un espace fonctionnel et optimiser un critere de performance sur ces derniers. Utilisant les mesures idempotentes de maslov, une theorie des performances analogue a la theorie des probabilites est developpee. L'auteur explicite notamment les notions d'independance, d'esperance conditionnelle, les martingales de changement de mesure et les semimartingales d'optimisation. Cette approche met aussi en evidence que les processus regis par le principe d'optimalite de bellman s'identifient aux processus regis par le principe de causalite de markov dans cette nouvelle theorie. Grace a la presentation de divers morphismes entre ces deux theories, ont ete developpees des approximations particulaires a realisation finie convergeant en probabilite, uniformement dans le temps, vers l'estimateur optimal sous jacent au probleme de filtrate ou de regulation non lineaire. Ces methodes s'appuient sur l'exploration de l'espace de probabilite par des particules aleatoires independantes, sous conditionnelles ou couplees. Les conditions suffisantes que doivent verifier les coefficients du probleme d'estimation ou d'optimisation sont explicitees en terme de detectabilite stochastique entre la variable d'exploration et celle a estimer et de regularite de l'energie libre
33
Martinon, Pierre. "Résolution numérique de problèmes de contrôle optimal par une méthode homotopique simpliciale." Phd thesis, Toulouse, INPT, 2005. https://hal.science/tel-04595502.
Full textAbstract:
On s'intéresse ici à la résolution numérique de problèmes de contrôle optimal peu réguliers. On utilise à la base les méthodes dites indirectes, à la fois précises et rapides, mais en pratique très sensibles à l'initialisation. Cette difficulté nous amène à utiliser une démarche homotopique, dans laquelle on part d'un problème apparenté plus facile à résoudre. Le "suivi de chemin" de l'homotopie connectant les deux problèmes est ici réalisé par un algorithme de type simplicial. On s'intéresse en premier lieu à un problème de transfert orbital avec maximisation de la masse utile, puis à deux problèmes d'arcs singuliers. Les perspectives futures liées à ces travaux comprennent en particulier l'étude de problèmes à contraintes d'état, également délicats à résoudre par les méthodes indirectes. Par ailleurs, on souhaite comparer cette approche avec les méthodes directes, qui impliquent la discrétisation totale ou partielle du problèmeWe study deals with the numerical resolution of optimal control problems with a low regularity. We primarily use indirect methods, which are both fast and accurate, but suffer from a great sensitiveness to the initialization. This difficulty leads us to introduce a continuation approach, in which we start from a related, but easier to solve problem. The "path following" between the two problems is here implemented with a simplicial method. We first study an orbital transfer problem with payload maximization, then two singular arcs problems. The future perspectives related to this work include in particular the study of state constraints problems, which are difficult to solve with indirect methods. Also, we would like to compare this approach with direct methods, which imply total or partial discretization of the problem
34
Martinon, Pierre. "Résolution numérique de problèmes de contrôle optimal par une méthode homotopique simpliciale." Phd thesis, Toulouse, INPT, 2005. http://oatao.univ-toulouse.fr/7406/1/martinon.pdf.
Full textAbstract:
On s'intéresse ici à la résolution numérique de problèmes de contrôle optimal peu réguliers. On utilise à la base les méthodes dites indirectes, à la fois précises et rapides, mais en pratique parfois très sensibles à l'initialisation. Cette difficulté nous amène à utiliser une démarche homotopique, dans laquelle on part d'un problème apparenté plus facile à résoudre. Le "suivi de chemin" de l'homotopie connectant les deux problèmes, est ici réalisé par un algorithme de type simplicial. On s'intéresse en premier lieu à un problème de transfert orbital avec maximisation de la masse utile, puis à deux problèmes présentant des arcs singuliers. Les perspectives futures liées à ces travaux comprennent en particulier l'étude de problèmes à contraintes d'état, également délicats à résoudre par les méthodes indirectes. Par ailleurs, on souhaite comparer cette approche avec les méthodes directes, qui impliquent la discrétisation totale ou partielle du problème.
35
Boukebab, Kaouthar. "Etude et résolution de problèmes d'ordonnancement d'opérations d'évacuation." Thesis, Tours, 2015. http://www.theses.fr/2015TOUR4023/document.
Full textAbstract:
Les travaux présentés dans cette thèse, qui s’inscrivent dans le cadre du projet franco-allemand DSS_Evac_Logistic, visent à proposer des méthodes permettant de calculer des plans d’évacuation macroscopiques d’une ville lors d’une catastrophe majeure. Deux problèmes d’évacuations sont considérés dans cette thèse : le problème d’évacuation par bus et le problème d’évacuation par bus et voitures. Le problème d’évacuation par bus a pour objectif de définir un plan d’évacuation afin de mettre à l’abri les évacués. Dans cette thèse, nous nous sommes intéressés à l’étude de trois versions du problème d’évacuation par bus. La première version est monocritère où nous cherchons à minimiser la date de fin d’évacuation. Puis, dans le second problème et afin d’assurer la sécurité des évacués, nous avons considéré une version bicritère qui généralise le cas monocritère, en incluant le risque encouru lors de l’évacuation des personnes. Les deux critères à minimiser sont la date de fin d’évacuation et le risque. La troisième version est une version robuste bicritère qui permet d’appréhender l’incertitude sur les données. Le but est de minimiser à la fois la date de fin d’évacuation et les modifications apportées sur une solution, de sorte qu’elle soit réalisable pour n’importe quel scénario de données. Pour résoudre ces problèmes d’évacuation par bus, nous avons proposé des méthodes exactes et des méthodes heuristiquesThe work presented in this thesis, which is a part of the Franco-German project DSS_Evac_Logistic, aims at proposing methods to calculate macroscopic evacuation plans for mid-size towns after a tremendous disaster. Two evacuation problems have been tackled in this thesis : the bus evacuation problem and bus-and-vehicle evacuation problem. The bus evacuation problem aims at calculating an evacuation plan to relocate evacuees outside the endangered area. In this thesis, we consider three versions of the bus evacuation problem. The first one is a monocriterion problem, where the objective is to minimize the maximum evacuation time. In order to guarantee the safety of evacuees, we have considered a bicriteria problem, which is a generalization of the monocriterion version, in which we take into consideration the risk exposure of the evacuees. Consequently, the bicriteria problem is solved by minimizing the total evacuation time and the risk. The third version is a bicriteria robust version because most of the planning data is subject to uncertainty. The goal is to minimize both the evacuation time and the vulnerability of the schedule that is subject to different evacuation circumstances. To solve all the versions of the bus evacuation problem, we have developed exact solutions based on mathematical formulation to address small instances and heuristic solutions to deal with larger instances
36
Cocquebert, Cédric. "Méthodes de type "Waveform-FAC" pour la résolution numérique de problèmes paraboliques." Aix-Marseille 1, 1997. http://www.theses.fr/1997AIX11032.
Full textAbstract:
Le but de ce travail est de proposer une extension de la methode f. A. C. Pour un probleme parabolique. Les systemes differentiels obtenus sont resolus numeriquement par une methode de type waveform relaxation. L'utilisation de ces deux methodes permet un raffinement localise en espace et en temps et suggere une version simplifiee de moving mesh. L'aspect theorique de la methode est traite de deux manieres :. Dans la version totalement discretisee, en se ramenant a un resultat de la methode f. A. C. Dans le cas elliptique. . Dans la version continue en temps, en utilisant une technique de perturbation. Cette etude theorique est completee par de nombreuses verifications numeriques. L'ensemble des possibilites de la methode est alors exploite pour resoudre numeriquement des problemes non-lineaires de propagation de front (issues de la chimie). Enfin, l'introduction de techniques de waveform relaxation permet une parallelisation de l'algorithme.
37
El, Khoukhi Fatima. "Métaheuristiques hybrides pour la résolution de problèmes d'ordonnancement de type Job Shop." Le Havre, 2009. http://www.theses.fr/2009LEHA0023.
Full textAbstract:
Améliorer la coordination et la planification de la production vis-à-vis des activités logistiques des ateliers de production réel (à savoir les ressources : machines et engins de transport) est devenu une grande nécessité pour la diminution des coûts et la réduction des délais de livraison. La présente thèse est scindée en quatre parties. La première partie est un tour d’horizon des problèmes d’ordonnancement, l’accent est mis essentiellement sur les environnements Job Shop. Dans la deuxième partie, nous présentons une étude plus détaillée de ces environnements :problématique, état de l’art, modélisation et méthodes de résolution. Dans le cadre de la logistique interne des ateliers de production de type Job Shop, nous étudions dans la troisième partie, deux problématiques, le Job Shop avec transport dans un environnement ‘’juste à temps’’ et le Job Shop à flexibilité partielle avec maintenance préventive. La dernière partie est consacrée au problème d’atterrissage d’avions multipistes que nous avons modélisé sous forme de problème de Job Shop. Dans les différents cas d’études présentés, notre travail s’articule autour d’une étude systématique à base de trois fondamentaux, une formulation mathématique et/ou graphique du problème puis une résolution par une approche d'optimisation à base de métaheuristiques hybrides et enfin une validation des résultats par des simulations numériques. Notre objectif était de développer des systèmes d’ordonnancement dynamique d’aide à la décision capables de supporter la nature NP-complet des problèmes étudiésIn most real shop floor, improving the coordination and the planning of the production with respect to the logistic activities, namely resources : machines and material handling equipments, became a great necessity for the lowering of costs and reducing of lead-times delivery. The present thesis is split into four parts. The first one is a survey of the scheduling problems ; the emphasis is on the Job Shop environments. In the second part, we provide a more detailed study of these environments : problematic, state of the art, modelling and methods of resolution. As part of the internal logistics of the production facilities in Job Shop Scheduling Problem, the third part is devoted to showing two problems, the Job Shop Scheduling Problem with transportationfor just-in-time production as well as the flexible Job Shop Scheduling problem with machines availability constraints. Finally, the last part addresses the aircraft landing problem that we formulated as a Job Shop problem. In the various study cases previously cited, our work revolves around a systematic study based on three fundamental processes, a mathematical and/or graphical formulations, and then an approach for resolution optimization based on hybrid metaheuristics, finally a validation of the results by numerical simulations. The objective is to develop dynamic scheduling systems to resolve these NP-hard problems
38
Lefèvre, Frédéric. "Résolution de problèmes inverses : estimation de sources de chaleur non uniformément réparties." Aix-Marseille 1, 2001. http://www.theses.fr/2001AIX11063.
Full textAbstract:
Nous présentons, dans ce mémoire, une méthode originale d'estimation de la position et de l'intensité de plusieurs sources ponctuelles dans un solide homogène. Les cas bidimensionnels et tridimensionnels sont présentés en régime stationnaire et instationnaire. La procédure d'estimation de l'intensité est basée sur la méthode des éléments de frontière. Un algorithme itératif de minimisation d'une norme quadratique est utilisé pour résoudre le problème inverse d'estimation de la position des sources. En stationnaire, une approche "estimation de paramètres" nous permet d'estimer l'incertitude sur la position et l'intensité des sources. En instationnaire, deux cas sont présentés, celui de l'estimation de la position et de l'intensité de plusieurs sources fixes et celui de l'estimation de la trajectoire et de l'intensité d"une source mobile. Une application utilisant des données expérimentales est proposée pour un système diffusif 2D pour les cas stationnaire et instationnaire. Cette application met en jeu essentiellement des mesures surfaciques obtenues par thermographie infrarouge.
39
Nguala, Jean. "Multiprésentation de problèmes comme dispositif de ré-apprentissage au cycle 3 de l'école primaire : mise en place, portée et limites." Paris 7, 2009. http://www.theses.fr/2009PA070042.
Full textAbstract:
La question globale que nous nous posons est celle des aides pour les élèves qui restent en situation d'échecs répétés après les cours du maître en résolution de problèmes sur les structures multiplicatives. Il s'agit de réfléchir à un enseignement complémentaire qui ne se contente pas de reprendre celui qui a déjà été proposé. Pour cela, nous avons mis en oeuvre des dispositifs nécessitant trois expérimentations. Dans un premier temps, nous avons voulu tester la pertinence locale de la multiprésentation de problèmes, un dispositif d'aide de Julo (1995) proposé au collège, au niveau du cycle 3 de l'école primaire. Puis, dans un deuxième temps, nous nous sommes intéressés à l'intégration de cette multiprésentation sur une période plus longue (d'abord avec un échantillon relativement grand d'élèves en échec scolaire, ensuite, avec un nombre d'élèves très limité, en l'accompagnant d'entretiens individuels). Nous nous appuyons aussi sur la Théorie des Situations Didactiques de Brousseau (1986), sur la structuration du milieu selon Margolinas (1993) et sur les travaux de VergnaudOur global question is that of helping elementary school students who still have difficulties in problem solving on multiplicative structures after the teacher's instruction. It implies a reflection on a possible additional teaching which would not just be of the same kind as the previous one. In order to fulfil our purpose, we designed and brought into play alternative devices making three experiments necessary. In the first one we wanted to test, with eldest students of elementary school, the local relevance of the multipresentation of problems, a helping device originally designed and experimented by Julo (1995) at junior high school level. Then we got an interest in integrating multi-presentation in a longer period with a rather big sample of student, making use of complementary individual interviews. Our theoretical framework also includes Brousseau 's Theory of Didactical Situations, Margolinas ' structuration of the milieu as well as Vergnaud's works
40
Cadet, Élysée Robert. "La résolution de problèmes arithmétiques verbaux au primaire : microanalyse de la dialectique sujet/matériel." Thèse, Université d'Ottawa / University of Ottawa, 2014. http://hdl.handle.net/10393/30915.
Full textAbstract:
La résolution de problèmes arithmétiques verbaux demeure très problématique pour l’élève du primaire. Les recherches dans ce domaine privilégient la compréhension de l’énoncé des problèmes. Une recension critique des écrits a confirmé une meilleure réussite avec un matériel disponible par rapport à une condition sans matériel sans pour autant expliciter avec finesse la genèse de cette différence. Dans cette recherche doctorale, six élèves d’une classe régulière de troisième année du primaire ont réalisé trois activités de résolution de problèmes arithmétiques verbaux de type additif dans un environnement familier avec des jetons disponibles comme matériel de manipulation. Une analyse de la réalisation de ces activités selon le prisme de la dialectique sujet/matériel a indiqué un rapport pictural ou symbolique de ces élèves avec un matériel autre que les jetons. Une microanalyse de ces activités a mis en relief l’évolution d’un matériel d’une forme plutôt personnelle à une forme plutôt conventionnelle dans la représentation de ces élèves. Cette évolution, souvent non consciente, présente un comportement de ces élèves dans cette activité qualifié d’être en mathématiques. Pourtant, la conscience de cette évolution peut mener à la réussite de la résolution de ces problèmes.
41
Al, Mikdad Mazen. "Statique et dynamique des poutres en grande rotation et résolution des problèmes d'instabilité non linéaire." Compiègne, 1998. http://www.theses.fr/1998COMP1112.
Full textAbstract:
Ce travail concerne le développement de modèles éléments finis de type poutre pour l'analyse non linéaire géométrique des structures flexibles. Ces modèles considèrent une représentation complète des effets dus aux grandes rotations 3D. Mis à part la cinématique de structures minces, aucune hypothèse restrictive n'est adoptée dans la formulation du problème en efforts résultants. La première partie du document est consacrée à l'étude des problèmes de déformation statique et dynamique et à leur résolution par la méthode des éléments finis. Trois éléments finis basés sur différentes paramétrisations des grandes rotations sont construits et implantes, et le schéma d'intégration temporelle de Newmark est adapté à chacun de ces éléments. Dans la deuxième partie, nous exploitons ces modèles dans l'étude de l'instabilité non linéaire des structures constituées de poutres : - une méthode de calcul des charges critiques par la procédure itérative de newton est considérée afin d'éviter la limitation de la méthode du flambement linéaire au cas des petites rotations. - une approche de post-flambement dynamique est présentée dans le but de simuler le claquement des structures minces qui apparait au delà d'un point critique.
42
Letournel, Marc. "Approches duales dans la résolution de problèmes stochastiques." Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00938751.
Full textAbstract:
Le travail général de cette thèse consiste à étendre les outils analytiques et algébriques usuellement employés dans la résolution de problèmes combinatoires déterministes à un cadre combinatoire stochastique. Deux cadres distincts sont étudiés : les problèmes combinatoires stochastiques discrets et les problèmes stochastiques continus. Le cadre discret est abordé à travers le problème de la forêt couvrante de poids maximal dans une formulation Two-Stage à multi-scénarios. La version déterministe très connue de ce problème établit des liens entre la fonction de rang dans un matroïde et la formulation duale, via l'algorithme glouton. La formulation stochastique discrète du problème de la forêt maximale couvrante est transformée en un problème déterministe équivalent, mais du fait de la multiplicité des scénarios, le dual associé est en quelque sorte incomplet. Le travail réalisé ici consiste à comprendre en quelles circonstances la formulation duale atteint néanmoins un minimum égal au problème primal intégral. D'ordinaire, une approche combinatoire classique des problèmes de graphes pondérés consiste à rechercher des configurations particulières au sein des graphes, comme les circuits, et à explorer d'éventuelles recombinaisons. Pour donner une illustration simple, si on change d'une manière infinitésimale les valeurs de poids des arêtes d'un graphe, il est possible que la forêt couvrante de poids maximal se réorganise complètement. Ceci est vu comme un obstacle dans une approche purement combinatoire. Pourtant, certaines grandeurs analytiques vont varier de manière continue en fonction de ces variations infinitésimales, comme la somme des poids des arêtes choisies. Nous introduisons des fonctions qui rendent compte de ces variations continues, et nous examinons dans quels cas les formulations duales atteignent la même valeur que les formulations primales intégrales. Nous proposons une méthode d'approximation dans le cas contraire et nous statuons sur la NP complétude de ce type de problème.Les problèmes stochastiques continus sont abordés via le problème de sac à dos avec contrainte stochastique. La formulation est de type ''chance constraint'', et la dualisation par variable lagrangienne est adaptée à une situation où la probabilité de respecter la contrainte doit rester proche de $1$. Le modèle étudié est celui d'un sac à dos où les objets ont une valeur et un poids déterminés par des distributions normales. Dans notre approche, nous nous attachons à appliquer des méthodes de gradient directement sur la formulation en espérance de la fonction objectif et de la contrainte. Nous délaissons donc une possible reformulation classique du problème sous forme géométrique pour détailler les conditions de convergence de la méthode du gradient stochastique. Cette partie est illustrée par des tests numériques de comparaison avec la méthode SOCP sur des instances combinatoires avec méthode de Branch and Bound, et sur des instances relaxées.
43
Chabot, Thomas. "Résolution des problèmes de tournées de véhicules pour le transport des échantillons biomédicaux au Québec." Master's thesis, Université Laval, 2015. http://hdl.handle.net/20.500.11794/26365.
Full textAbstract:
Afin d’offrir un service de diagnostic fiable à l’ensemble de la communauté, les spécialistes de la santé doivent user d’un réseau de centres de prélèvement et de laboratoires d’analyse biomédical. Les laboratoires ont des équipements de pointe servant à fournir aux spécialistes les informations sur les diagnostics. Ce travail présente un riche problème de planification de tournées de véhicules dans le contexte du réseau des laboratoires du Québec. Les centres de prélèvement sont soumis à un ensemble de contraintes techniques qui en font un problème difficile à résoudre. En effet, nous verrons qu’un ensemble d’exigences doit être respecté de la part des transporteurs afin d’éviter certaines sources de gaspillage. Dans le cadre d’une démarche d’optimisation des opérations du réseau des laboratoires et de l’offre de service aux patients, le Ministère de la Santé et des Services Sociaux (MSSS) a mandaté l’Université Laval et notre équipe pour le développement d’une méthode de planification du transport. Nous présentons d’abord une description en profondeur du contexte étudié et de la problématique de transport, qui par notre revue de littérature, semble encore un problème peu exploré. Deux modèles d’optimisation mathématiques sont proposés ainsi que des méthodes heuristiques afin d’identifier des plans de transport qui minimisent les coûts de transport. Les performances de ces diverses méthodes sont discutées et analysées en détail.
44
Perron, Sébastien. "Résolution avec la méthode des volumes finis dirigés de l'équation de la chaleur pour des problèmes diphasiques en 1D et 2D." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/mq33790.pdf.
Full text
45
Delfini, Pierre. "Méthodes finitaires appliquées à la résolution de certains problèmes d'évolution." Nice, 1990. http://www.theses.fr/1990NICE4369.
Full textAbstract:
Le nouveau langage introduit par l'analyse non standard permettant notamment l'utilisation des infinitésimaux est utilisé pour l'étude de problèmes physiques d'évolution en dimension un : diffusion de la chaleur dans une barre métallique, vibration d'une corde fixée en ses deux extrémités, contrôle de cette même corde. Dans le cadre de l'analyse classique, ces problèmes se traduisent par des équations aux dérivées partielles dans des espaces fonctionnels, dont la résolution fait intervenir les notions de limites faibles, distributions, etc. … La modélisation finitaire consistant à discrétiser la variable d'espace suivant un pas idéalement infiniment petit s'avère plus riche de renseignements que le modèle continu, tout en étant conceptuellement plus simple. On travaille dans des espaces de dimension finie bien qu'infiniment grande et des concepts typiquement non standard tels que pointillés, ombre, moyennisée se révèlent d'une grande richesse dans l'interprétation de résultats dû à de l'algèbre linéaire simple dans des espaces hyperfinis
46
Haouari, Mohamed. "Les problèmes de tournées avec fenêtres de temps, modélisation et algorithmes de résolution exacte et heuristique." Châtenay-Malabry, Ecole centrale de Paris, 1991. http://www.theses.fr/1991ECAP0183.
Full textAbstract:
Cette thèse présente une nouvelle heuristique en deux phases pour le PTVFT. Des tests empiriques montrent que cdette heuristique est très efficace. De même, plusieurs variantes du PTVFT sont résolues d'une manière exacte grâce à l'approche de génération de colonnes. La taille et la complexité des problèmes résolus dépasse nettement celle des algorithmes déjà publié dans la littérature scientifique.
47
Garaix, Thierry. "Etude et résolution exacte de problèmes de transport à la demande avec qualité de service." Avignon, 2007. http://tel.archives-ouvertes.fr/docs/00/53/48/94/PDF/thesegaraix.pdf.
Full textAbstract:
Nous étudions dans cette thèse un problème de construction de tournées de véhicules pour le transport de personnes à la demande (TAD) qui, combinant la souplesse des taxis à la capacité de regroupement des transports en commun, est une voie pour repenser nos pratiques en terme de mobilité. Après avoir défini puis classé plusieurs critères de qualité de service, nous en sélectionnons trois pour leur repésentativité : la minimisation de la distance totale parcourue, la maximisation du taux de remplissage des véhicules et la minimisation du temps perdu en transport. La méthode d'optimisation utilisée est basée sur une approche par décomposition appelée génération de colonnes. Nous nous plaçons dans le cas statique où toutes les demandes sont connues par avance. L'adaptation de cette méthode exacte aux trois critères choisis induit des développements originaux, comme la modélisation du réseau par un p-graphe ou l'optimisation d'une fonction objectif fractionnaire. Cette étude est intégrée à un projet pluridisciplinaire piloté par des géographes qui a pour sujet d'expérimentation la mise en place d'un TAD opérationnel dans le Pays du Doubs central (France). Un algorithme de résolution heuristique spécifique a été développé pour cette application. L'intégration des résultats des deux algorithmes à un Système d'Information Géographique permet une analyse des critères de qualité de service et de leurs interactions avec le teritoire d'un point de vue géomatique. Il en découle une étude sur la forme des tournées et plus particulièrement sur différentes mesures de leur sinuositéIn this thesis, we address routing problems deriving from on-demand transport systems (ODT). Such systems, combining taxi flexibility with public transport system advantages (grouping, price) seem well suited to the new mobility needs. We define and classify a large set of quality of service criteria. We select three of them among the most representative : the total distance travelled, the vehicle occupancy rate and the passenger wasted-time. We propose branch-and-price solution schemes for the three cases, under the assumption that demands are known in advance. The original quality of service objectives introduce non-standard features into the vehicle routing model, namely a multigraph and a fractional objective function, therefore inducing non-standard algorithms. This work is part of a multidisciplinary project managed by geographers. The implementation of an operational ODT in the Doubs Central area (France) is used as a testing ground for experimentations. For the practical use of this system, we propose an insertion heuristic in addition to the branch-and-price algorithm. A geomatic analysis of the interactions between quality of service criteria and the geographical area is carried out with a Geographic Information System, with a special focus on route shapes and route sinuosity measures
48
El, Maliki Abderrahman. "Résolution de problèmes aux limites à l'aide de méthodes itératives hiérarchiques à préconditionneur variable." Thesis, Université Laval, 2007. http://www.theses.ulaval.ca/2007/24692/24692.pdf.
Full text
49
Bouallagui, Sarra. "Techniques d'optimisation déterministe et stochastique pour la résolution de problèmes difficiles en cryptologie." Phd thesis, INSA de Rouen, 2010. http://tel.archives-ouvertes.fr/tel-00557912.
Full textAbstract:
Cette thèse s'articule autour des fonctions booléennes liées à la cryptographie et la cryptanalyse de certains schémas d'identification. Les fonctions booléennes possèdent des propriétés algébriques fréquemment utilisées en cryptographie pour constituer des S-Boxes (tables de substitution).Nous nous intéressons, en particulier, à la construction de deux types de fonctions : les fonctions courbes et les fonctions équilibrées de haut degré de non-linéarité.Concernant la cryptanalyse, nous nous focalisons sur les techniques d'identification basées sur les problèmes de perceptron et de perceptron permuté. Nous réalisons une nouvelle attaque sur le schéma afin de décider de sa faisabilité.Nous développons ici des nouvelles méthodes combinant l'approche déterministe DCA (Difference of Convex functions Algorithm) et heuristique (recuit simulé, entropie croisée, algorithmes génétiques...). Cette approche hybride, utilisée dans toute cette thèse, est motivée par les résultats intéressants de la programmation DC.
50
Martin, Bruno. "Diagnostic comportemental et cognitif des erreurs dans la résolution de problèmes arithmétiques." Thesis, Paris 8, 2016. http://www.theses.fr/2016PA080084/document.
Full textAbstract:
La recherche sur les Environnements Informatiques pour l’Apprentissage Humain (EIAH) et la psychologie convergent dans leur intérêt d’une meilleure compréhension du sujet et plus particulièrement dans sa modélisation, ouvrant des perspectives en éducation. La thèse, fondamentalement interdisciplinaire, vise à resserrer le lien entre la psychologie expérimentale et les EIAH dans le domaine des Problèmes Arithmétiques à Enoncés Verbaux (PAEV), tout en abordant la question plus générale d’intégration de modèles cognitifs dans les EIAH. Dans une première partie, un module de diagnostic comportemental est mis en place accompagnée d’une méthodologie de tests et d’autoévaluation pour pouvoir être employé en psychologie expérimentale. Mieux comprendre, et surtout modéliser les comportements est une étape nécessaire préalable à la mise en place du module de diagnostic épistémique. C’est l’objet de la deuxième partie, où un travail de modélisation cognitive a été effectué, qui montre par la construction de modèles exécutables que les productions des sujets peuvent être mises en lien avec des stratégies, conscientes ou non, de résolution de problèmes, telles que la réinterprétation de phrases et l’usage de mots-clefs. Dans la troisième partie, afin de répondre à la problématique du diagnostic individuel par la modélisation cognitive, une mesure adaptée à ces modèles a été mise place. Un logiciel a aussi été développé pour construire des versions simples de modèles cognitifs et les tester sur les données issues d’un EIAH. Ce logiciel et cette mesure ont ensuite été mis en application dans le cadre d’une nouvelle expérimentation sur les PAEVResearch in psychology and in Intelligent Learning Environment (ILE) share the goal of a better understanding of the subject, more precisely in its modeling with strong educative perspectives. This Ph.D. Thesis, intrinsically interdisciplinary, aims to strengthen the link between experimental psychology and ILEs, especially in the domain of arithmetical word problem solving (WP) while addressing the more general issue of the integration of cognitive models in the ILEs. In the first part, a behavioral diagnostic module is presented, with a test-based methodology to assess its relevance in the context of experimental psychology studies. A better understanding of word problem solving behavior is a prerequisite of the development of any cognitive diagnostic module. This is the core of the second part, which presents the cognitive models put in place and compare their productions with human data. It has been shown that a large part of WP solving behavior can be explained via the light of keyword-based strategy and the alteration of the meaning of textual propositions. In the last part, in order to address the issue of individual cognitive diagnosis, a metric quantifying the fit of the diagnosis has been developed. A software has also been developed, allowing to build and test simple cognitive models over data coming from ILEs. This metric and this software have been used concretely within the context of an experimentation involving word problem solving