• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 101
  • 50
  • 14
  • Tagged with
  • 167
  • 167
  • 83
  • 73
  • 56
  • 43
  • 39
  • 38
  • 36
  • 35
  • 34
  • 30
  • 29
  • 27
  • 26
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
41

Sur la stabilité locale de systèmes linéaires avec saturation des commandes

GOMES DA SILVA, Joâo Manoel 01 October 1997 (has links) (PDF)
Cette thèse a pour but l'étude de la stabilité asymptotique locale des systèmes linéaires à temps discret dont les commandes sont soumises à des saturations. L'étude est développée à partir de deux représentations du système saturé en boucle fermée : par régions de saturation et par modèle polytopique. L'analyse de la stabilité du système saturé en boucle fermée ainsi que la synthèse de la loi de commande saturante avec l'objectif de garantir la stabilité d'un domaine d'états admissibles, sont basées sur le concept d'ensembles contractifs. Dans ce contexte, des résultats sont obtenus en considérant deux approches distinctes. La première approche considère des ensembles polyédraux. Des conditions pour la contractivité des trajectoires du système en boucle fermée dans un polyèdre sont étudiées : d'une part, des conditions nécessaires et suffisantes sont établies à partir de la représentation par régions de saturation et, d'autre part, des conditions suffisantes sont obtenues à partir de la représentation par modèle polytopique. Ces conditions permettent de formuler des algorithmes, basés sur des schémas de programmation linéaire, ayant pour objectif la détermination de régions polyédrales où la stabilité asymptotique locale du système en boucle fermée est garantie même si la commande sature. La deuxième approche considère des ensembles ellipsoïdaux et la représentation polytopique du système saturé. Des conditions suffisantes pour la contractivité d'ellipsoïdes par rapport au système saturé sont établies sous la forme d'inégalités matricielles linéaires (LMIs). A partir de ces conditions, un algorithme basé sur des schémas d'optimisation convexe est proposé pour la détermination d'approximations de la région d'attraction de l'origine à travers des ellipsoïdes contractifs. D'autre part, pour un ensemble donné de conditions initiales X0, des conditions sont formulées, également sous la forme de L MIs, pour permettre la détermination d'une loi de commande saturante garantissant la stabilité asymptotique vers l'origine de toutes les trajectoires initialisées dans X0.
42

Modélisation et apprentissage des préférences appliqués à la recommandation dans les systèmes d'impression

Labbé, Vincent 22 September 2009 (has links) (PDF)
Cette thèse porte sur la modélisation et l'apprentissage automatique des préférences, dans le contexte industriel de l'impression en grand format. En particulier, nous nous intéressons à l'automatisation de la configuration d'impression. De par la palette des comportements possibles, cette fonctionnalité n'est triviale, ni à concevoir, ni à utiliser. Nous proposons une nouvelle approche pour en améliorer les deux aspect complémentaires : évolutivité et utilisabilité. Notre réalisation principale est un système de recommandation adaptatif, basé sur trois contributions originales : une modélisation de la configuration d'impression grand format à partir d'un modèle de préférence, sous la forme de problèmes d'optimisation sous contraintes, un modèle des préférences de l'imprimeur, sous la forme de fonctions d'utilité additive linéaires par morceaux, basée sur une famille d'attributs adaptée, un algorithme d'apprentissage automatique d'ordonnancements à partir de données comparatives. Basé sur l'algorithme rankSVM (noyau linéaire), notre méthode d'apprentissage permet d'adapter la complexité de l'espace de description des données, tout en conservant la linéarité
43

Programmation mathématique en tomographie discrète

Tlig, Ghassen 13 November 2013 (has links) (PDF)
La tomographie est un ensemble de techniques visant à reconstruirel'intérieur d'un objet sans toucher l'objet lui même comme dans le casd'un scanner. Les principes théoriques de la tomographie ont été énoncéspar Radon en 1917. On peut assimiler l'objet à reconstruire à une image,matrice, etc.Le problème de reconstruction tomographique consiste à estimer l'objet àpartir d'un ensemble de projections obtenues par mesures expérimentalesautour de l'objet à reconstruire. La tomographie discrète étudie le cas où lenombre de projections est limité et l'objet est défini de façon discrète. Leschamps d'applications de la tomographie discrète sont nombreux et variés.Citons par exemple les applications de type non destructif comme l'imageriemédicale. Il existe d'autres applications de la tomographie discrète, commeles problèmes d'emplois du temps.La tomographie discrète peut être considérée comme un problème d'optimisationcombinatoire car le domaine de reconstruction est discret et le nombrede projections est fini. La programmation mathématique en nombres entiersconstitue un outil pour traiter les problèmes d'optimisation combinatoire.L'objectif de cette thèse est d'étudier et d'utiliser les techniques d'optimisationcombinatoire pour résoudre les problèmes de tomographie.
44

Algorithmique du Network Calculus

Jouhet, Laurent 07 November 2012 (has links) (PDF)
Le Network Calculus est une théorie visant à calculer des bornes pire-cas sur les performances des réseaux de communication. Le réseau est modélisé par un graphe orienté où les noeuds représentent des serveurs, et les flux traversant le réseau doivent suivre les arcs. S'ajoutent à cela des contraintes sur les courbes de trafic (la quantité de données passées par un point depuis la mise en route du réseau) et sur les courbes de service (la quantité de travail fournie par chaque serveur). Pour borner les performances pire-cas, comme la charge en différents points ou les délais de bout en bout, ces enveloppes sont combinées à l'aide d'opérateurs issus notamment des algèbres tropicales : min, +, convolution-(min, +)... Cette thèse est centrée sur l'algorithmique du Network Calculus, à savoir comment rendre effectif ce formalisme. Ce travail nous a amené d'abord à comparer les variations présentes dans la littérature sur les modèles utilisés, révélant des équivalences d'expressivité comme entre le Real-Time Calculus et le Network Calculus. Dans un deuxième temps, nous avons proposé un nouvel opérateur (min, +) pour traiter le calcul de performances en présence d'agrégation de flux, et nous avons étudié le cas des réseaux sans dépendances cycliques sur les flux et avec politique de service quelconque. Nous avons montré la difficulté algorithmique d'obtenir précisément les pires cas, mais nous avons aussi fourni une nouvelle heuristique pour les calculer. Elle s'avère de complexité polynomiale dans des cas intéressants.
45

Allocation optimale des ressources pour les applications et services de grille de calcul

Abdelhanine, Filali January 2008 (has links)
Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal
46

Analyse d'intervalles pour l'ordonnancement d'activités

Briand, Cyril 07 December 2009 (has links) (PDF)
Ce travail s'attache à décrire l'intérêt de l'analyse d'intervalles en ordonnancement. L'analyse d'intervalles considère les relations d'ordres existantes (algèbre de Allen) entres certains intervalles caractéristiques des tâches à ordonnancer. On montre comment, pour certains problèmes particuliers, elle permet de définir des conditions de dominance ou des conditions suffisantes d'optimalité, caractérisant des ensembles remarquables de solutions. Dans le cas de certains problèmes à une machine réputés difficiles, nous montrons comment de telles conditions peuvent être utiles pour déduire des nouvelles formulations de programmation linéaire en nombres entiers très efficaces. De plus, les conditions étant relativement indépendantes des valeurs numériques du problème, on montre aussi leur intérêt pour la caractérisation d'ensembles flexibles et robustes de solutions. D'autres travaux seront également évoqués dans lesquels la notion d'intervalle est centrale.
47

Approche hybride d'optimisation pour la gestion d'énergie dans le bâtiment

De oliveira, Gregory 15 February 2013 (has links) (PDF)
Cette thèse concerne à la gestion globale à base de modèle des flux énergétiques dans le bâtiment. L'objectif des systèmes de gestion de l'énergie proposés est d'aider les occupants à gérer leur système bâtiment en planifiant la consommation/production des différents équipements présents en fonction des tarifs, de la disponibilité de l'énergie et des usages de l'occupant. L'objectif de cette thèse est de proposer une approche de résolution multi-solveurs s'appuyant sur le paradigme multi-agent.Pour y parvenir, nous avons développé, dans un premier temps, un service multi-phase, qui représente plusieurs phases flexibles avec des niveaux de consommation différents, offrant un niveau de précision supérieure pour des équipements comme une machine à laver. Dans un second temps, notre travail a consisté à proposer une nouvelle approche d'optimisation combinant différents solveurs embarqués dans des agents logiciels. Le résultat est une approche d'optimisation hybride à base d'agents, s'appuyant sur des algorithmes PLNE et des méta-heuristiques.
48

Planification stratégique d'une Supply chain sous contraintes d'incertitude : affectation de la production et dimensionnement des ressources

Pernot, Pierre-Alban 18 December 2013 (has links) (PDF)
Ce doctorat a porté, pour partie, sur une problématique dérivée du cas de la Supply Chain Tourisme Camionnette Europe de la société Michelin. Celle-ci a été formulée comme un problème d'Affectation Stratégique des Productions et de Dimensionnement des Ressources ainsi que de la Flexibilité (ASPDRF) du système de production d'une Supply Chain dans un contexte incertain. Ce problème ASPDRF présentant un certain nombre de spécificités rendant impossible le recours à des méthodes existantes ; un modèle linéaire dédié ainsi qu'une métaheuristique de type " Greedy Randomized Adaptative Search Procedure " (GRAPS) ont été construits. Cette dernière a permis l'obtention de résultats de bonnes qualités et industriellement exploitables et, ce, même dans le cas d'instances de très grandes tailles ; instances ne pouvant être résolues par le recours à la programmation linéaire. Ceci constitue, en plus de l'originalité de certaines contraintes considérées, l'un des apports de ces travaux de doctorat vis-à-vis de la thématique du Supply Chain Network Design à laquelle ils se rattachent. Au-delà de la résolution du problème ASPDRF, ces travaux de doctorat ont également portés sur la réalisation d'un environnement intégré de planification couvrant les horizons stratégique, tactiques et opérationnels ainsi que les différentes boucles de rétroaction associées. Celui-ci a pour vocation d'apporter une aide au manager lors des différentes étapes de prises de décisions associées à ces horizons de planification. Cet environnement, constitué du GRASP proposé ainsi que de modèles de flot et de modèles linéaires spécifiques, présente lui aussi la particularité de pouvoir adresser des problèmes de grandes tailles.
49

Prise en compte des incertitudes de prédiction dans la gestion des flux d'énergie dans l'habitat

Le, Minh Hoang 06 October 2011 (has links) (PDF)
Le travail présenté dans ce mémoire de thèse concerne la gestion de la consommation et de la production d'énergie électrique dans les bâtiments. Le problème de gestion d'énergie est modélisé sous forme de programme linéaire mixte. Le travail présenté dans ce mémoire propose des outils qui permettent de prendre en compte les incertitudes dans l'optimisation des flux d'énergie dans l'habitat. Dans un premier temps les incertitudes à prendre en compte sont étudiées. Nous distinguons 2 types d'incertitudes : les incertitudes paramétriques qui concernent le caractère imprécis des coefficients du modèle (prévisions météorologiques, paramètres des modèles, demande prévisionnelle d'énergie...) et les incertitudes d'occurrence qui sont liées aux actions directes de l'usager sur sa consommation d'énergie. Une approche d'optimisation robuste s'appuyant sur une formulation présentée par Bertsimas et Sim pour la programmation linéaire robuste est proposée pour prendre en compte les incertitudes paramétriques. Une procédure d'optimisation en deux étapes, basée sur la programmation stochastique, est proposée pour anticiper les possibilités de démarrage des services pilotés par l'usager. Cette procédure apporte une réponse aux incertitudes d'occurrence en permettant de prendre en compte les consommations d'énergie qui ne sont pas pilotées par le système d'optimisation. Différents exemples d'appartements sont utilisés pour illustrer la validité des méthodes proposées. Différents scénarios de tarification de l'énergie sont également étudiés.
50

Contribution à l’élaboration d’un guide alimentaire béninois : approche par la programmation linéaire et validation sur le terrain

Levesque, Sarah 02 1900 (has links)
Contexte: Le Bénin est atteint par le double fardeau nutritionnel : dans le même pays, et parfois dans le même ménage, il y a des personnes malnutries et d’autres aux prises avec des maladies chroniques. Ces conditions, au moins pour partie, peuvent être prévenues si la population est sensibilisée à de bonnes habitudes alimentaires. Pour ce faire, les professionnels de la santé ont besoin d’outils comme un guide alimentaire (GA) pour faciliter l’apprentissage de bonnes pratiques alimentaires. Ce dernier nécessite plusieurs étapes à son élaboration, dont la définition des groupes alimentaires, la présentation visuelle et la quantification des portions d'aliments. Objectif : Ce travail a eu pour but de proposer et d’homologuer des portions quotidiennes d’aliments dans chaque groupe alimentaire pour différents groupes d’âge de Béninois. Méthode : Elle consiste à : 1) Caractériser la consommation alimentaire locale; 2) Optimiser le profil moyen de consommation alimentaire quotidienne à l’aide de la programmation linéaire (PL); 3) Traduire les résultats en termes de nombre et taille de portions d’aliments de chaque groupe à consommer quotidiennement; 4) Illustrer les recommandations au moyen d’exemples de menus journaliers; 5) Homologuer le prototype du GA avec des experts béninois. La PL a permis de déterminer les choix d’aliments et quantités optimales à recommander à partir des enquêtes transversales récentes et des recommandations nutritionnelles de l’OMS. Résultats : Les quantités et portions d'aliments recommandées à la consommation ont été déterminées. Les résultats ont été partagés avec les personnes-ressources en nutrition au Bénin. Le premier prototype du GA a été développé pour restitution subséquente aux autorités du Bénin. / Context: Benin is affected by a double burden of malnutrition: undernourishment and over-nutrition. In the same country and sometimes in the same household, undernourished individuals and individuals living with diseases related to over-nutrition can be found. This malnutrition burden can be prevented, at least in part, if the population is made aware of proper eating habits. To this end, local health professionals need educational tools like a food guide to teach proper dietary practices. The elaboration of a guide is a stepwise process: 1)Definition of food groups;2) Identification of a visual representation for the food guide and 3) Quantification of food serving size to recommend. Objective: To determine the daily number of servings per food group and serving sizes of foods to be recommended for different age and sex groups in Benin. Methods: 1) Characterization of local dietary patterns with data from two recent cross-sectional studies; 2) Optimisation of average local diet with linear programming (LP) and WHO recommended nutrient intakes; 3) Translation of the results of LP in terms of number and size of daily servings per food group; 4) Illustrating the recommendations with examples of daily menus; 5) Validation of the food guide prototype with local decision makers in nutrition. Results: The number and size of servings per food group to recommend was determined using LP. Results were shared with local experts in Benin. The first food guide prototype was developed for subsequent restitution to local authorities.

Page generated in 0.1106 seconds