Siga este enlace para ver otros tipos de publicaciones sobre el tema: Programmation mixte en nombre entiers.

Tesis sobre el tema "Programmation mixte en nombre entiers"

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 34 mejores tesis para su investigación sobre el tema "Programmation mixte en nombre entiers".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Preda, Dorin Noailles Joseph. "Intégration d'une contrainte logique dans les problèmes de contrôle optimal et résolution par la programmation mixte." Toulouse : INP Toulouse, 2005. http://ethesis.inp-toulouse.fr/archive/00000047.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Feng, Jianguang. "Modélisation et optimisation des Hoist Scheduling Problems." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLC043/document.

Texto completo
Resumen
Dans cette thèse, nous étudions des Hoist Scheduling Problems (HSP) qui se posent fréquemment dans des lignes automatiques de traitement de surface. Dans ces lignes, des ponts roulants sont utilisés pour transporter les pièces entre les bains. Ainsi, les ponts roulants jouent un rôle essentiel dans la performance de ces lignes ; et un ordonnancement optimal de leurs mouvements est un facteur déterminant pour garantir la qualité des produits et maximiser la productivité. Les lignes que nous étudions comportent un seul pont roulant mais peuvent être des lignes de base ou des lignes étendues (où
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Preda, Dorin. "Intégration d'une contrainte logique dans les problèmes de contrôle optimal et résolution par la programmation mixte." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2004. http://tel.archives-ouvertes.fr/tel-00008881.

Texto completo
Resumen
On se propose d'intégrer un type particulier de contrainte logique dans les problèmes de contrôle optimal à coût quadratique. Une approche numérique directe par collocation conduit à des problèmes de programmation mathématique en variables mixtes. S'intéressant d'abord au cas des systèmes à dynamique linéaire, on propose une variante de la Décomposition de Benders qui nous permet de résoudre des problèmes mixtes de taille importante (au delà de mille variables binaires). Ces résultats sont obtenus grâce aux propriétés induites par la contrainte logique. Dans le cas des problèmes mixtes issus d
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Ioan, Daniel. "Safe Navigation Strategies within Cluttered Environment." Electronic Thesis or Diss., université Paris-Saclay, 2021. http://www.theses.fr/2021UPASG047.

Texto completo
Resumen
Cette thèse se rapporte à la navigation et le contrôle par optimisation dans des environnements multi-obstacles. Le problème de conception est généralement énoncé dans la littérature en termes de problème d'optimisation sous contrainte sur un domaine non convexe. Ainsi, en s'appuyant sur la combinaison du contrôle prédictif de modèle et des concepts de la théorie des ensembles, on a développe des méthodes constructives basées sur l'interprétation géométrique. Dans sa première partie, la thèse se concentre sur la représentation de l'environnement multi-obstacles, basée sur une analyse approfond
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Aloui, Aymen. "Contribution à la conception des réseaux logistiques durables et résilients : Modélisation, évaluation de performances et optimisation." Electronic Thesis or Diss., Amiens, 2022. http://www.theses.fr/2022AMIE0088.

Texto completo
Resumen
Dans cette thèse, nous étudions le problème de gestion intégrée des réseaux logistiques dans une perspective à la fois durable et résiliente. Dans un premier temps, nous réalisons une analyse systématique de la littérature existante sur la logistique collaborative. Dans un deuxième temps, un modèle intégré, combinant les décisions de localisation, d'inventaire et de routage avec des objectifs économiques et environnementaux, est proposé. Celui-ci est appliqué pour quantifier les avantages économiques et environnementaux de la collaboration logistique dans la planification intégrée des décision
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Angilella, Vincent. "Design optimal des réseaux Fiber To The Home." Thesis, Evry, Institut national des télécommunications, 2018. http://www.theses.fr/2018TELE0004/document.

Texto completo
Resumen
Pour les opérateurs, les réseaux FTTH représentent à la fois la solution de référence pour répondre à la demande croissante de trafic fixe, et un investissement considérable dû à leur mise en place. Le but de ces travaux est d'assurer le déploiement de réseaux de qualité à moindre coût. Nous commençons à présenter les différents aspects de la planification de ces réseaux qui en font un problème complexe. La littérature concernée est abordée afin d'exhiber les nouveaux défis que nous relevons. Puis nous élaborons des stratégies permettant de trouver la meilleure solution dans différents context
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Sahraoui, Youcef. "Short-term hydropower production scheduling : feasibility and modeling." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLX025/document.

Texto completo
Resumen
Dans le secteur électrique et chez EDF, l'optimisation mathématique est utilisée pour modéliser et résoudre des problèmes de gestion de la production d'électricité.Citons quelques applications : la modélisation des problèmes d'équilibre des marchés, la gestion des risques d'épuisement des barrages, la programmation des arrêts de tranches nucléaires.Plus particulièrement l'hydroélectricté est une énergie renouvelable, peu chère, flexible mais limitée.Exploiter l'hydraulique constitue donc un enjeu important.Nous nous intéressons à des problèmes d'optimisation de Programmation Non Linéaire en No
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Angilella, Vincent. "Design optimal des réseaux Fiber To The Home." Electronic Thesis or Diss., Evry, Institut national des télécommunications, 2018. http://www.theses.fr/2018TELE0004.

Texto completo
Resumen
Pour les opérateurs, les réseaux FTTH représentent à la fois la solution de référence pour répondre à la demande croissante de trafic fixe, et un investissement considérable dû à leur mise en place. Le but de ces travaux est d'assurer le déploiement de réseaux de qualité à moindre coût. Nous commençons à présenter les différents aspects de la planification de ces réseaux qui en font un problème complexe. La littérature concernée est abordée afin d'exhiber les nouveaux défis que nous relevons. Puis nous élaborons des stratégies permettant de trouver la meilleure solution dans différents context
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Hannachi, Marwa. "Placement des tâches matérielles de tailles variables sur des architectures reconfigurables dynamiquement et partiellement." Thesis, Université de Lorraine, 2017. http://www.theses.fr/2017LORR0297/document.

Texto completo
Resumen
Les systèmes adaptatifs basés sur les architectures FPGA (Field-Programmable Gate Arrays) peuvent bénéficier grandement de la grande flexibilité offerte par la reconfiguration partielle dynamique (DPR). Grâce au DPR, les tâches matérielles composant un système adaptatif peuvent être allouées et re-allouées à la demande ou en fonction de l'environnement dynamique. Les flots de conceptions disponibles et les outils commerciaux ont évolué pour répondre aux exigences des architectures reconfigurables qui sont toutefois limitées dans leurs fonctionnalités. Ces outils ne permettent pas un placement
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Hannachi, Marwa. "Placement des tâches matérielles de tailles variables sur des architectures reconfigurables dynamiquement et partiellement." Electronic Thesis or Diss., Université de Lorraine, 2017. http://www.theses.fr/2017LORR0297.

Texto completo
Resumen
Les systèmes adaptatifs basés sur les architectures FPGA (Field-Programmable Gate Arrays) peuvent bénéficier grandement de la grande flexibilité offerte par la reconfiguration partielle dynamique (DPR). Grâce au DPR, les tâches matérielles composant un système adaptatif peuvent être allouées et re-allouées à la demande ou en fonction de l'environnement dynamique. Les flots de conceptions disponibles et les outils commerciaux ont évolué pour répondre aux exigences des architectures reconfigurables qui sont toutefois limitées dans leurs fonctionnalités. Ces outils ne permettent pas un placement
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Karnib, Nour. "Application of Optimization in Regional Distribution Network Reconfiguration." Electronic Thesis or Diss., Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique, 2025. http://www.theses.fr/2025ESMA0001.

Texto completo
Resumen
Dans le domaine de la recherche opérationnelle, le sujet de cette thèse consiste à optimiser les réseaux électriques (en particulier les réseaux de distribution) en termes de pertes de puissance. Le principal problème abordé est le problème de la reconfiguration des réseaux de distribution (DNR) et plusieurs variations de ce problème. Le problème DNR est largement étudié dans la littérature et constitue une approche efficace pour les gestionnaires de réseaux de distribution (DSO) afin d’optimiser leurs réseaux en termes de perte de puissance due à la chaleur Joule. Avec la forte intégration de
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Bonami, Pierre. "Etude et mise en œuvre d'approches polyédriques pour la résolution de programmes en nombres entiers ou mixtes généraux." Paris 6, 2003. http://www.theses.fr/2003PA066362.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Barjhoux, Pierre-Jean. "Towards efficient solutions for large scale structural optimization problems with categorical and continuous mixed design variables." Thesis, Toulouse, ISAE, 2020. http://depozit.isae.fr/theses/2020/2020_Barjhoux_Pierre-Jean.pdf.

Texto completo
Resumen
Dans l’industrie aéronautique, les problèmes d’optimisation de structurepeuvent impliquer des changements de matériaux, de types de raidisseurs, et detailles d’éléments. Dans ce travail, il est ainsi proposé de résoudre des problèmes degrande taille (minimisation de masse) par rapport à des variables catégorielles et continues,sujets à des contraintes de stress et de déplacements. Trois algorithmes sontprésentés, discutés dans le manuscrit au regard de cas tests de plus en plus complexes.En tout premier lieu, un algorithme basé sur le "branch and bound" a été mis en place.Une formulation d’un
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Glorieux, Antoine. "Optimizing the imbalances in a graph." Electronic Thesis or Diss., Evry, Institut national des télécommunications, 2017. http://www.theses.fr/2017TELE0011.

Texto completo
Resumen
Le déséquilibre d'un sommet dans un graphe orienté est la valeur absolue de la différence entre son degré sortant et son degré entrant. Nous étudions le problème de trouver une orientation des arêtes du graphe telle que l'image du vecteur dont les composantes sont les déséquilibres des sommets par une fonction objectif f est maximisée. Le premier cas considéré est le problème de maximiser le minimum des déséquilibres sur toutes les orientations possibles. Nous caractérisons les graphes dont la valeur objective optimale est nulle. Ensuite nous donnons plusieurs résultats concernant la complexit
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Ouzia, Hacène. "Hiérarchies de relaxations semi-algébriques pour des programmes linéaires mixtes 0-1 : théorie et applications." Paris 6, 2008. http://www.theses.fr/2008PA066349.

Texto completo
Resumen
Dans cette thèse, nous abordons les liens entre diverses hiérarchies de relaxations semi-algébriques pour des programmes linéaires mixtes 0-1. Parmi celles-ci, citons la hiérarchie de Sherali-Adams (S&A) et la hiérarchie Lift-and-Project (L&P). Tout d’abord, nous montrons que la hiérarchie L&P est semi-algébrique. Puis, nous introduisons une nouvelle hiérarchie de relaxations semi-algébriques, dite SRL*, intermédiaire entre les hiérarchies S&A et L&P. Nous examinons les liens entre les hiérarchies L&P et SRL*. Nous aborderons comment renforcer la description linéaire d’une relaxation L&P pour
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Wang, Deyun. "Integrated Scheduling of Production and Transportation Operations with Stage-dependent Inventory Costs and Due Dates Considerations." Phd thesis, Université de Technologie de Belfort-Montbeliard, 2012. http://tel.archives-ouvertes.fr/tel-00720660.

Texto completo
Resumen
Increasing global competition in the business world and heightened expectations of customers have forced companies to consider not only the pricing or product quality, but reliability and timeliness of the deliveries as well. In manufacturing-centric industries such as automotive and electronics, distribution and inventory costs constitute the second and third largest cost components following the production costs. Therefore, industrial and logistics companies need to continuously search for ways to lower the inventory level and distribution cost. This trend has created a closer interaction be
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Lei, Weidong. "Cyclic Hoist Scheduling Problems in Classical and Sustainabl." Thesis, Belfort-Montbéliard, 2014. http://www.theses.fr/2014BELF0244/document.

Texto completo
Resumen
Les ateliers de traitement de surface automatisés, qui utilisent des robots de manutention commandés par ordinateur pour le transport de la pièce, ont été largement mis en place dans différents types d'entreprises industrielles, en raison de ses nombreux avantages par rapport à un mode de production manuel, tels que : une plus grande productivité, une meilleure qualité des produits, et l’impact sur les rythmes de travail. Notre recherche porte sur trois types de problèmes d'ordonnancement associés à ces systèmes, appelés Hoist Scheduling Problems, caractérisés par des contraintes de fenêtres d
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Esqueda, Merino Donovan Manuel. "Contrôle/Commande avancé pour l'optimisation du confort thermique d'un véhicule électrifié." Phd thesis, Supélec, 2013. http://tel.archives-ouvertes.fr/tel-00969132.

Texto completo
Resumen
Dans cette thèse nous développons des structures de supervision permettant de définir des consignes optimales pour des actionneurs thermiques, ainsi que des stratégies de commande appropriées pour le pilotage d'une pompe à chaleur (PAC). Pour répondre à ces objectifs, plusieurs étapes ont été réalisées :- Modélisation orientée commande d'une PAC réversible, des thermistances, et de l'environnement permettant de les lier à l'intérieur de l'habitacle. Des modèles physiques ont été définis et intégrés dans une plateforme du type Model-in-the-Loop pour permettre a posteriori la validation des stra
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Dujardin, Yann. "Régulation adaptative multi-objectif et multi-mode aux carrefours à feux." Phd thesis, Université Paris Dauphine - Paris IX, 2013. http://tel.archives-ouvertes.fr/tel-00904781.

Texto completo
Resumen
Afin de répondre à la problématique de la régulation multi-objectif et multi-mode des carrefours à feux, nous proposons trois modèles de programmation linéaire mixte en nombres entiers constituant les moteurs d'un système de régulation pleinement adaptatif, ainsi que deux procédures interactives d'optimisation multi-objectif permettant d'adapter itérativement une "politique de régulation" à la situation de trafic. Les critères pris en compte, tous à minimiser, sont le temps d'attente et le nombre d'arrêts des véhicules particuliers, et un critère dédié aux transports en commun permettant de fi
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Rahmouni, Mouna. "Optimisation combinée des approvisionnements et du transport dans une chaine logistique." Thesis, Aix-Marseille, 2015. http://www.theses.fr/2015AIXM4329.

Texto completo
Resumen
Le problème d’approvisionnement conjoint (JDP) proposé est un problème de planification des tournées de livraisons sur un horizon de temps décomposé en périodes élémentaires, l’horizon de temps étant la période commune de livraison de tous les produits,. La donnée de ces paramètres permet d’obtenir une formulation linéaire du problème, avec des variables de décision binaires. Le modèle intègre aussi des contraintes de satisfaction de la demande à partir des stocks et des quantités livrées, des contraintes sur les capacités de stockage et de transport.Afin de résoudre aussi le problème de choix
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Glorieux, Antoine. "Optimizing the imbalances in a graph." Thesis, Evry, Institut national des télécommunications, 2017. http://www.theses.fr/2017TELE0011/document.

Texto completo
Resumen
Le déséquilibre d'un sommet dans un graphe orienté est la valeur absolue de la différence entre son degré sortant et son degré entrant. Nous étudions le problème de trouver une orientation des arêtes du graphe telle que l'image du vecteur dont les composantes sont les déséquilibres des sommets par une fonction objectif f est maximisée. Le premier cas considéré est le problème de maximiser le minimum des déséquilibres sur toutes les orientations possibles. Nous caractérisons les graphes dont la valeur objective optimale est nulle. Ensuite nous donnons plusieurs résultats concernant la complexit
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Essafi, Mohamed. "Conception et optimisation d'allocation de ressources dans les lignes d'usinage reconfigurables." Phd thesis, Ecole Nationale Supérieure des Mines de Saint-Etienne, 2010. http://tel.archives-ouvertes.fr/tel-00669980.

Texto completo
Resumen
Les travaux de cette thèse concernent la conception et l'optimisation de lignes de transfert reconfigurables. L'objectif principal est de concevoir une ligne d'usinage à moindre coût tout en respectant les contraintes techniques, technologiques et économiques du problème. Le problème d'optimisation correspondant est un problème d'équilibrage de lignes d'usinage sujet à des contraintes spécifiques. Il consiste à affecter les opérations aux stations de travail en minimisant les coûts d'installation. En plus des contraintes habituelles de ce type de problème, à savoir, les contraintes de précéden
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Ibanez, Aurélien. "Emergence of complex behaviors from coordinated predictive control in humanoid robotics." Thesis, Paris 6, 2015. http://www.theses.fr/2015PA066325/document.

Texto completo
Resumen
Le problème de commande motrice de systèmes exécutant des activités multi-objectifs et fortement contraintes est à résoudre pour permettre l’émergence de comportements performants et robustes ; l’élaboration de stratégies complexes de coordination motrice est critique pour en assurer les performances, faisabilité et sécurité.Bien que les approches de commande prédictive multi-objectifs permettent la définition de stratégies complexes et sous contraintes coordonnant l’activité motrice du système, leur coût de calcul est un inconvénient critique à leur application.Le travail présenté dans ce man
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Keita, Kaba. "Décomposition de Benders pour la gestion opérationnelle du trafic ferroviaire." Thesis, Ecole centrale de Lille, 2017. http://www.theses.fr/2017ECLI0023/document.

Texto completo
Resumen
Dans plusieurs pays européens, la capacité de l’infrastructure est complètement exploitée aux heures de pointe et aux points critiques : une grande quantité de trains traversent ces points critiques dans un laps de temps très réduit. Dans cette situation le retard d’un train provoqué par un conflit de circulation peut se propager dans tout le réseau. Le problème de la gestion opérationnelle du trafic ferroviaire consiste à trouver les modifications des itinéraires et des ordonnancements des trains qui minimisent la propagation des retards. Dans cette thèse, nous proposons une approche de décom
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Koné, Oumar. "Nouvelles approches pour la résolution du problème d'ordonnancement de projet à moyens limités." Toulouse 3, 2009. http://thesesups.ups-tlse.fr/681/.

Texto completo
Resumen
Dans ce travail de thèse, nous avons étudié deux types de problèmes d'ordonnancement. La majeure partie concerne le problème d'ordonnancement de projet à moyens limités (RCPSP). Le problème d'ordonnancement des opérations de manutention dans un entrepôt de transbordement ("crossdocking") est également traité avec une moindre importance. Dans une première partie (la plus étendue), nous abordons le RCPSP. À partir de modélisations utilisant la programmation linéaire en nombres entiers, nous avons proposé deux nouvelles formulations de ce problème, utilisant des variables indicées par des événeme
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Makhlouf, Yosra. "Hybrid flow shop scheduling for a surgery planning problem." Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0178.

Texto completo
Resumen
Dans cette thèse, nous étudions un problème d’ordonnancement de type flow shop hybride à deux étages avec une contrainte sans attente et flexibilité inter-étage pour minimiser le makespan. Le problème est inspiré du contexte hospitalier pour la planification des opérations chirurgicales. La variante du problème abordée a récemment été introduite dans la littérature et démontrée NP-diffcile au sens fort. Le problème est particulièrement dur en raison des multiples ressources impliquées et des restrictions sur les temps d'attente et sur les périodes d'inactivité des ressources. Au mieux de nos c
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Nduwayo, Placide. "Formulations mathématiques et algorithmes pour le problème d'affectation des quais du cross-dock." Thesis, Valenciennes, Université Polytechnique Hauts-de-France, 2020. http://www.theses.fr/2020UPHF0013.

Texto completo
Resumen
Le cross-docking est une stratégie utilisée pour optimiser les opérations à l’intérieur de l’entrepôtdans le cadre de l’optimisation de la chaine logistique . Comme pour les entrepôts traditionnels,les produits sont collectés depuis plusieurs origines de production tels que les fournisseurs,les usines, les fabricants, etc., par des camions, puis ils sont acheminés vers des plateformes appeléescross-docks. Arrivés au cross-dock, les produits sont d’abord déchargés sur des quais d’entréedu cross-dock. Ils sont ensuite triés selon leurs destinations et sont immédiatement transférés,à l’aide des m
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Boulos, Karen. "BBU-RRH Association Optimization in Cloud-Radio Access Networks." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLS209/document.

Texto completo
Resumen
De nos jours, la demande en trafic mobile a considérablement augmenté. Face à cette croissance, plusieurs propositions font l'objet d'étude pour remédier à un tel défi. L’architecture des réseaux d’accès de type Cloud (C-RAN) est l’une des propositions pour faire face à cette demande croissante, et constitue une solution candidate potentielle pour les réseaux futurs 5G. L'architecture C-RAN dissocie deux éléments principaux de la station de base: La BBU ou ``Baseband Unit", qui constitue une unité intelligente pour le traitement des données en bande de base, et le RRH ou ``Remote Radio Head",
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Agha, Kassab Fadi. "Co-optimisation of the sizing and control of an urban microgrid." Electronic Thesis or Diss., Compiègne, 2024. http://www.theses.fr/2024COMP2822.

Texto completo
Resumen
La modernisation du réseau électrique (RE) par la mise en œuvre de micro-réseaux offre un potentiel significatif pour améliorer la résilience énergétique, la durabilité et l'efficacité. Cependant, cette transition implique de naviguer dans un ensemble complexe de défis techniques, économiques et environnementaux. Les micro-réseaux nécessitent une planification et une optimisation méticuleuses pour équilibrer la génération, le stockage et la consommation d'énergie tout en minimisant les coûts et les émissions de carbone. Atteindre cet équilibre nécessite des stratégies d'optimisation avancées c
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Pelletier, Christine. "Application des techniques d'aide à la décision à la planification sanitaire régionale." Phd thesis, Université Joseph Fourier (Grenoble), 1999. http://tel.archives-ouvertes.fr/tel-00004845.

Texto completo
Resumen
La planification sanitaire régionale consiste à répartir dans l'espace régional les ressources sanitaires rares (équipement lourd, personnel, ...) entre différentes structures sanitaires existantes ou non, afin d'"optimiser" la réponse aux besoins en soins de la population régionale. Cette répartition s'effectue dans un contexte décisionnel multidimensionnel, dont les dimensions médicale, économique et celles relatives à l'aménagement du territoire. Depuis une quarantaine d'années, la recherche de méthodes rationnelles applicables à la planification sanitaire a permis l'investigation de nombre
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Nour, Karim. "Programmation en lambda-calcul pur et typé." Habilitation à diriger des recherches, 2000. http://tel.archives-ouvertes.fr/tel-00415534.

Texto completo
Resumen
Mes travaux de recherche portent sur la théorie de la démonstration, le lambda-calcul et l'informatique théorique, dans la ligne de la correspondance de Curry-Howard entre les preuves et les programmes.<br /><br />Dans ma thèse de doctorat, j'ai étudié les opérateurs de mise en mémoire pour les types de données. Ces notions, qui sont introduites par Krivine, permettent de programmer en appel par valeur tout en utilisant la stratégie de la réduction de tête pour exécuter les $\lambda$-termes. Pour cette étude, j'ai introduit avec David une extension du $\lambda$-calcul avec substitutions explic
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Dan, Teodora. "Algorithmic contributions to bilevel location problems with queueing and user equilibrium : exact and semi-exact approaches." Thèse, 2018. http://hdl.handle.net/1866/21587.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Saadaoui, Yousra. "The berth allocation problem at port terminals : a column generation framework." Thèse, 2015. http://hdl.handle.net/1866/13410.

Texto completo
Resumen
Le problème d'allocation de postes d'amarrage (PAPA) est l'un des principaux problèmes de décision aux terminaux portuaires qui a été largement étudié. Dans des recherches antérieures, le PAPA a été reformulé comme étant un problème de partitionnement généralisé (PPG) et résolu en utilisant un solveur standard. Les affectations (colonnes) ont été générées a priori de manière statique et fournies comme entrée au modèle %d'optimisation. Cette méthode est capable de fournir une solution optimale au problème pour des instances de tailles moyennes. Cependant, son inconvénient principal est l'ex
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Mathlouthi, Ines. "Méthodes de résolution exactes et heuristiques pour un problème de tournées de techniciens." Thèse, 2017. http://hdl.handle.net/1866/20484.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!