• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 380
  • 167
  • 50
  • 1
  • Tagged with
  • 593
  • 239
  • 177
  • 174
  • 119
  • 111
  • 101
  • 92
  • 91
  • 88
  • 86
  • 84
  • 83
  • 74
  • 71
  • 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.
561

Architecture distribuée à base d’agents pour optimiser la prise en charge des patients dans les services d’urgence en milieu hospitalier / Distributed agent based architecture to optimize the management of patients at the emergency department in hospitals

Daknou, Amani 06 July 2011 (has links)
Les établissements de santé sont confrontés à de nouveaux défis tels que le vieillissement de la population, la hausse des coûts des soins et les progrès rapides des technologies médicales. Les nouvelles politiques de contrôle du budget des soins ont été introduites pour augmenter l'efficacité, réduire les déchets et remodeler le système de santé.Ces établissements cibles présentent des réseaux complexes incluant de ressources humaines,financières, structurelles et technologiques visant à garantir les meilleurs soins. Ces enjeux concernent d’autant plus les services d’urgence engorgés par l’afflux massif des passages, qui doivent fournir des décisions rapides et assurer le dimensionnement de ses ressources afin de réduire les délais d’attente des patients sans compromettre la qualité de soin.L’objectif de cette thèse est de proposer des solutions appropriées aux services d’urgences permettant d’améliorer la prise en charge des patients en termes de temps d’attente. Nous avons commencé par analyser les problématiques de la filière des urgences afin d’engager une démarche d’amélioration. Par la suite, nous avons modélisé le processus de prise en charge des patients au service d’accueil des urgences à l’aide d’un système multi-agent ouvert et dynamique. Le système proposé permet de fournir une aide à la décision sur la planification de l’activité médicale et l’affectation des ressources humaines dans une unité où on se trouve souvent face à une situation d’urgence nécessitant une prise en charge rapide et efficace. Dans ce contexte, nous abordons le problème réactif d’optimisation de l’ordonnancement des opérations de soin et le problème de coordination du personnel médical. Nous nous intéressons au dimensionnement des ressources humaines au SU en adoptant une approche de prise en compte des compétences maîtrisées dans le but de trouver une adéquation avec celles requises par l’activité médicale afin avant tout d’accroitre la qualité, réduire les délais d’attente et permettre de dégager des gains de gestion / Health-care organizations are facing new challenges such as the aging population, the rise of health care costs and the rapid progress of medical technologies. New policies of health care budget control have been introduced to increase efficiency, reduce waste and reshape the entire health care system. Targeted organizations are complex networks of human,financial, structural and technological resources aiming at guarantying best public health care.These issues concern all the more Emergency Departments (ED) congested by the massive influx of passages and which must provide quick decisions and ensure the sizing of its resources to reduce waiting times for patients with out compromising quality of care.The objective of this thesis is to propose appropriate solutions to ED to improve carefor patients in terms of waiting time. We began by analyzing the problems of the emergency department in order to initiate a process of improvement. Subsequently, we modeled the process of care for patients at ED by using an open and dynamic multi-agent system. The proposed system can provide decision support on business planning and allocation of medical resources in a unit where one is often faced with an emergency situation requiring rapid and effective response. In this context, we study the reactive problem for optimizing scheduling of operations care and the coordination problem of medical staff. We take into account the skills mastered by human resources at ED in order to find a match with those required by the medical activity. This approach aims to increase quality, reduce time of expectation and provide pointers gains management
562

Ordonnancement des trains dans une gare complexe et à forte densité de circulation / Train platforming problem in busy and complex railway stations

Bai, Lijie 28 August 2015 (has links)
Cette thèse porte sur l'ordonnancement des trains dans les gares complexes en forte densité de circulation. L'objet se situe à la réalisation d'un outil pour aider les managers de la gare à générer un tableau des horaires sans-conflits dans un journée. Le management des circulations ferroviaires dans la gare demande l'ordonnancement soigneux pour adapter les ressources limités, en évitant les conflits entre les trains et satisfaisant l'objectif et les politiques économiques et de la sécurité en même temps. D'après les méthodes appliquées en recherche opérationnelle et les expériences professionnelles, une modèle mathématique applicable aux gares différentes est construit pour formaliser le problème de l'ordonnancement des trains contenant la topologie de la gare, activités des trains, contraintes de planification et objectives. Comme un problème à grande échelle, l'ordonnancement des trains dans un journée est décomposé en sous-problèmes traitables dans l'ordre du temps par sliding window algorithme accumulé. Chaque sous-problème est résolu par branch-and-bound de CPLEX. Afin d'accélérer le calcul des sous-problèmes, tri-level optimisation méthode est construit pour offrir une solution optimale locale dans un temps de calcul assez court. Cette solution est donnée à branch-and-bound comme une solution initiale.Ce système consiste à vérifier la faisabilité des horaires donnés à la gare. Les trains avec les conflits insolvables sont retournés à l'origine de ces trains avec les modifications des heures proposées. Déviations des trains commerciaux sont minimisées pour diminuer la propagation du délai dans le réseau ferroviaire. / This thesis focuses on the trains platforming problem within busy and complex railway stations and aims to develop a computerized dispatching support tool for railway station dispatchers to generate a full-day conflict-free timetable. The management of rail traffic in stations requires careful scheduling to fit to the existing infrastructure, while avoiding conflicts between large numbers of trains and satisfying safety or business policy and objectives. Based on operations research techniques and professional railway expertise, we design a generalized mathematical model to formalize the trains platforming problem including topology of railway station, trains' activities, dispatching constraints and objectives. As a large-scale problem, full-day platforming problem is decomposed into tractable sub-problems in time order by cumulative sliding window algorithm. Each sub-problem is solved by branch-and-bound algorithm implemented in CPLEX. To accelerate calculation process of sub-problems, tri-level optimization model is designed to provide a local optimal solution in a rather short time. This local optimum is provided to branch-and bound algorithm as an initial solution.This system is able to verify the feasibility of tentative timetable given to railway station. Trains with unsolvable conflicts will return to their original activity managers with suggestions for the modification of arrival and departure times. Time deviations of commercial trains' activities are minimized to reduce the delay propagation within the whole railway networks.
563

Efficient optimal multiprocessor scheduling algorithms for real-time systems

Nelissen, Geoffrey 08 January 2013 (has links)
Real-time systems are composed of a set of tasks that must respect some deadlines. We find them in applications as diversified as the telecommunications, medical devices, cars, planes, satellites, military applications, etc. Missing deadlines in a real-time system may cause various results such as a diminution of the quality of service provided by the system, the complete stop of the application or even the death of people. Being able to prove the correct operation of such systems is therefore primordial. This is the goal of the real-time scheduling theory.<p><p>These last years, we have witnessed a paradigm shift in the computing platform architectures. Uniprocessor platforms have given place to multiprocessor architectures. While the real-time scheduling theory can be considered as being mature for uniprocessor systems, it is still an evolving research field for multiprocessor architectures. One of the main difficulties with multiprocessor platforms, is to provide an optimal scheduling algorithm (i.e. scheduling algorithm that constructs a schedule respecting all the task deadlines for any task set for which a solution exists). Although optimal multiprocessor real-time scheduling algorithms exist, they usually cause an excessive number of task preemptions and migrations during the schedule. These preemptions and migrations cause overheads that must be added to the task execution times. Therefore, task sets that would have been schedulable if preemptions and migrations had no cost, become unschedulable in practice. An efficient scheduling algorithm is therefore an algorithm that either minimize the number of preemptions and migrations, or reduce their cost.<p><p>In this dissertation, we expose the following results:<p>- We show that reducing the "fairness" in the schedule, advantageously impacts the number of preemptions and migrations. Hence, all the scheduling algorithms that will be proposed in this thesis, tend to reduce or even suppress the fairness in the computed schedule.<p><p>- We propose three new online scheduling algorithms. One of them --- namely, BF2 --- is optimal for the scheduling of sporadic tasks in discrete-time environments, and reduces the number of task preemptions and migrations in comparison with the state-of-the-art in discrete-time systems. The second one is optimal for the scheduling of periodic tasks in a continuous-time environment. Because this second algorithm is based on a semi-partitioned scheme, it should favorably impact the preemption overheads. The third algorithm --- named U-EDF --- is optimal for the scheduling of sporadic and dynamic task sets in a continuous-time environment. It is the first real-time scheduling algorithm which is not based on the notion of "fairness" and nevertheless remains optimal for the scheduling of sporadic (and dynamic) systems. This important result was achieved by extending the uniprocessor algorithm EDF to the multiprocessor scheduling problem. <p><p>- Because the coding techniques are also evolving as the degree of parallelism increases in computing platforms, we provide solutions enabling the scheduling of parallel tasks with the currently existing scheduling algorithms, which were initially designed for the scheduling of sequential independent tasks. / Doctorat en Sciences de l'ingénieur / info:eu-repo/semantics/nonPublished
564

A framework for efficient execution on GPU and CPU+GPU systems / Framework pour une exécution efficace sur systèmes GPU et CPU+GPU

Dollinger, Jean-François 01 July 2015 (has links)
Les verrous technologiques rencontrés par les fabricants de semi-conducteurs au début des années deux-mille ont abrogé la flambée des performances des unités de calculs séquentielles. La tendance actuelle est à la multiplication du nombre de cœurs de processeur par socket et à l'utilisation progressive des cartes GPU pour des calculs hautement parallèles. La complexité des architectures récentes rend difficile l'estimation statique des performances d'un programme. Nous décrivons une méthode fiable et précise de prédiction du temps d'exécution de nids de boucles parallèles sur GPU basée sur trois étapes : la génération de code, le profilage offline et la prédiction online. En outre, nous présentons deux techniques pour exploiter l'ensemble des ressources disponibles d'un système pour la performance. La première consiste en l'utilisation conjointe des CPUs et GPUs pour l'exécution d'un code. Afin de préserver les performances il est nécessaire de considérer la répartition de charge, notamment en prédisant les temps d'exécution. Le runtime utilise les résultats du profilage et un ordonnanceur calcule des temps d'exécution et ajuste la charge distribuée aux processeurs. La seconde technique présentée met le CPU et le GPU en compétition : des instances du code cible sont exécutées simultanément sur CPU et GPU. Le vainqueur de la compétition notifie sa complétion à l'autre instance, impliquant son arrêt. / Technological limitations faced by the semi-conductor manufacturers in the early 2000's restricted the increase in performance of the sequential computation units. Nowadays, the trend is to increase the number of processor cores per socket and to progressively use the GPU cards for highly parallel computations. Complexity of the recent architectures makes it difficult to statically predict the performance of a program. We describe a reliable and accurate parallel loop nests execution time prediction method on GPUs based on three stages: static code generation, offline profiling, and online prediction. In addition, we present two techniques to fully exploit the computing resources at disposal on a system. The first technique consists in jointly using CPU and GPU for executing a code. In order to achieve higher performance, it is mandatory to consider load balance, in particular by predicting execution time. The runtime uses the profiling results and the scheduler computes the execution times and adjusts the load distributed to the processors. The second technique, puts CPU and GPU in a competition: instances of the considered code are simultaneously executed on CPU and GPU. The winner of the competition notifies its completion to the other instance, implying the termination of the latter.
565

Etat et Nation dans le constitutionnalisme africain : étude thématique / State and nation in African constitutionalism : thematic study

Ngando Sandje, Rodrigue 17 June 2013 (has links)
Seul l’État disposait d’une personnalité juridique au sortir de la Révolution de 1789. Déduite de la formule « [l]’État est la personnification juridique d’une nation », la personnalité sus-évoquée dote le premier (l’État), au détriment de la seconde (la nation), de droits subjectifs. Qu’en est-il après la Révolution démocratique de 1989, c'est-à-dire quelque deux siècles plus tard ? La présente étude tente de démontrer la revanche de la nation dans la théorie du droit à partir d’un contexte où elle a été particulièrement brimée. D’une part, la nation bénéficie d’une double représentation médiate et immédiate du fait qu’elle participe, par un pouvoir normatif initial, à la formation de la volonté générale. On sait aussi que le renouveau démocratique a imposé la question de la légitimité par laquelle la nation peut contrôler, médiatement (par l’intermédiation du juge constitutionnel) ou immédiatement (par référendum), l’action des autres organes y compris le pouvoir constituant dont l’ensemble des compétences est encadré par la constitution. L’investissement des organes supranationaux qu’on découvre de plus en plus dans le commerce juridique national rend cette question de la légitimité plus efficiente dès lors que la nation, mais aussi ses différentes composantes (par la capacité de saisir les instances régionales, communautaires ou même internationales), peut requérir la condamnation de l’État pour manquement à une obligation juridique. L’idée de légitimité suppose ainsi, pour la nation, la possibilité d’évaluer l’action des organes classique de l’État à partir d’un vaste ordre juridique.D’autre part, la reconnaissance constitutionnelle de la diversité nationale et mieux encore sa prise en compte dans la gestion publique de l’État a profondément reconfiguré le principe d’une souveraineté (nationale) une et indivisible entretenu par le droit constitutionnel révolutionnaire. À partir des principes de personnalité et de territorialité, le contexte africain apporte l’évidence de ce que la nation et les communautés infranationales sont désormais titulaires de droits (politiques, socioculturels) subjectifs ; ce qui modifie le paysage de l’État moderne. On parle de plurijuridisme pour caractériser un agencement politique pluriel. Il suit que la nation (pas seulement elle, mais toutes les composantes sociologiques de l’État) jouit d’une double personnalité juridique (nationale et internationale) qui s’oppose à celle de l’État. Celui-ci reste à la quête d’une nouvelle identité qui traduira la somme des compétences infra et supra nationales des acteurs du système juridique ; laquelle identité devrait par ailleurs indiquer le sens définitif de la théorie postmoderne de la personnalité juridique de l’État. / Only the State had a legal personality at the end of the 1789 Revolution. Derived from the phrase "[t] he State is the legal personification of a nation", the above-mentioned personality endows the first (state), to the detriment of the second (the nation), subjective rights. What about after the democratic revolution of 1989, that is to say, some two centuries later? This study attempts to show the revanche of the nation in legal theory from a context in which it was particularly bullied. On the one hand, the nation has a double mediate and immediate representation of the fact that it participates, with an initial legislative power, the formation of the general Will. We also know that the democratic renewal imposed the issue of legitimacy which the nation can control mediately (by the intermediation of the constitutional Court) or immediately (by referendum), the action of other organs including the constituent whose power skill set is framed by the constitution. Investment supranational bodies we discover more and more into the national legal trade makes the question of legitimacy more efficient when the nation, but also its various components (the ability to capture the regional, community or even international Instances), may require the condemnation of the State for breach of legal obligations. The idea of legitimacy is thus assumed for the nation, the opportunity to evaluate the work of state bodies from a large legal system. On the other hand, the constitutional recognition of national diversity and even taking into account the governance of the State profoundly reconfigured the principle of (national) sovereignty maintained by the revolutionary constitutional Law. Based on the principles of personality and territoriality, the African context provides evidence that the nation and sub-national communities are now holders of rights (political, socio-cultural) subjective, which changes the landscape of the modern State. We talk about plural juridical ways to characterize a plural political arrangement. It follows that the nation (not only her but all the sociological components of the State) has a dual legal personality (national and international) that opposes that of the State. The State remains in search of a new identity that will reflect the sum of the sub skills and supranational actors in the legal system which identity should also indicate the final direction of the postmodern theory of the legal personality of the State.
566

Optimisation physique et logique de systèmes de production / Physical and logical optimization of production systems

Bernate Lara, Andres Felipe 04 April 2014 (has links)
Les travaux de cette thèse sont articulés autour du problème d’ordonnancement de tâches dans un type d’atelier de structure complexe peu étudié dans la littérature. Cet atelier est de composition hybride : chaque étage de l’atelier a une ou plusieurs machines. Les principales contraintes considérées sont le traitement par lots et la minimisation du retard total. Les méthodes de résolution de ce problème sont intégrées dans les systèmes d’aide à la décision du programme de recherche du Groupe SouffletEtant donné la structure complexe du type d’atelier considéré, nous avons décomposé ce dernier afin d’étudier plus particulièrement le problème d’ordonnancement sur machines parallèles identiques. Différentes méthodes de résolution sont testées. Les résultats sont analysés afin de proposer une classification d’instances et de méthodes de résolution. Les problèmes étudiés sont résolus de manière exacte et approchée. Différentes méthodes ont été testées : des recherches itératives, des algorithmes tabous, des méthodes évolutionnaires. Les conclusions de la résolution du problème d’ordonnancement des machines parallèles sont utilisées pour construire des méthodes à deux niveaux pour le problème complexe d’ordonnancement. Les résultats montrent que les algorithmes trouvent des solutions de bonne qualité pour le problème traité. De la même manière, de problématiques industrielles similaires sont traitées, dans l’objectif d’optimiser le fonctionnement du centre de recherche / This thesis considers a complex workshop scheduling problem, which is rarely studied to our knowledge. This workshop has a hybrid composition : one or several machines are available at each stage. Main considered constraints are batch processing and total tardiness minimization. Solution methods are embedded on the information system of research program of Soufflet Group. Given the complex structure of the workshop, it has been split in order to study the parallel machines scheduling problem individually. Different solution methods are developed. Obtained results are used to build a classification of instances and solution methods. To solve described problems, exact and approach solution methods are proposed. We have adapted iterated search, tabu search, genetic algorithms, … Findings from solving parallel machines scheduling problem are employed to develop a two levels solution method for the described flow shop problem. Results show the performance of developed algorithms to find good quality solutions for described scheduling problem. Similarly, industrial problems are considered, in order to optimize operational behavior of research center
567

Ordonnancement de rendez-vous en tête à tête / One-to-one meeting scheduling

Le roux, Agnès 24 October 2014 (has links)
Les problèmes d’ordonnancement de rendez-vous en tête-à-tête sont des problèmes dans lesquels des personnes souhaitent se rencontrer par deux lors de courts rendez-vous qui se déroulent lors d’une session unique. Dans cette thèse, nous référençons plusieurs applications de ce type de problèmes et proposons des notations qui généralisent les notations standards de problèmes d’ordonnancement α|β|γ. Nous nous intéressons en particulier à un cas dans lequel deux populations distinctes se rencontrent, des participants peuvent arriver en retard et des rencontres sont interdites. L’objectif est de minimiser le nombre maximal d’attentes des participants. Nous étudions dans un premier temps la complexité de ces problèmes : nous démontrons que plusieurs cas sans rencontre interdite sont polynomiaux et que le cas général est NP-complet au sens fort. Nous proposons ensuite des bornes inférieures. Puis nous développons plusieurs méthodes de résolution. Des modèles de programmation linéaire en nombres entiers et un modèle de programmation par contraintes sont tout d’abord proposés. Des règles de dominance permettant de limiter les symétries sont intégrées à ces modèles dans le but de limiter l’espace des solutions. Enfin, nous proposons une recherche à divergence limitée (limited discrepancy search) qui est une méthode approchée basée sur l’exploration d’un arbre de recherche tronqué. Dans cette méthode, nous exploitons le plus possible les propriétés de symétrie du problème pour faciliter la convergence vers une bonne solution. Toutes ces méthodes sont testées et comparées sur un ensemble de 300 instances générées aléatoirement d’après des paramètres réalistes. / One-to-one meeting scheduling problems are problems where a population of actors want to meet each other during short time slots that take place in a single session. In this thesis, we reference several applications of this type of problems found in the literature and introduce a notation extending the well-known scheduling notation α|β|γ. We are particularly interested in a case in which two distinct populations meet, participants may arrive late and some meetings are forbidden. The objective is to minimize the maximum number of participants waiting slots. First, we study the complexity of these problems: we show that several cases with no forbidden meeting are polynomial and that the general case is NP-complete in the strong sense. We then propose lower bounds. After that, we develop several resolution methods. Integer linear programming models and a constraint programming model are developed. To limit the solution space, we add dominance rules based on symmetries to these methods. Finally, we present a limited discrepancy search (i.e. an approximate method based on the exploration of a truncated tree search). In this method, we use as much as possible the symmetry properties of the problem to facilitate the convergence to a good solution. All these methods are tested and compared on a set of 300 randomly generated instances from realistic parameters.
568

Towards more scalability and flexibility for distributed storage systems / Vers un meilleur passage à l'échelle et une plus grande flexibilité pour les systèmes de stockage distribué

Ruty, Guillaume 15 February 2019 (has links)
Les besoins en terme de stockage, en augmentation exponentielle, sont difficilement satisfaits par les systèmes de stockage distribué traditionnels. Alors que les performances des disques ont ratrappé celles des cartes réseau en terme d'ordre de grandeur, leur capacité ne croit pas à la même vitesse que l'ensemble des données requérant d'êtres stockées, notamment à cause de l'avènement des applications de big data. Par ailleurs, l'équilibre de performances entre disques, cartes réseau et processeurs a changé et les états de fait sur lesquels se basent la plupart des systèmes de stockage distribué actuels ne sont plus vrais. Cette dissertation explique de quelle manière certains aspects de tels systèmes de stockages peuvent être modifiés et repensés pour faire une utilisation plus efficace des ressources qui les composent. Elle présente une architecture de stockage nouvelle qui se base sur une couche de métadonnées distribuée afin de fournir du stockage d'objet de manière flexible tout en passant à l'échelle. Elle détaille ensuite un algorithme d'ordonnancement des requêtes permettant a un système de stockage générique de traiter les requêtes de clients en parallèle de manière plus équitable. Enfin, elle décrit comment améliorer le cache générique du système de fichier dans le contexte de systèmes de stockage distribué basés sur des codes correcteurs avant de présenter des contributions effectuées dans le cadre de courts projets de recherche. / The exponentially growing demand for storage puts a huge stress on traditionnal distributed storage systems. While storage devices' performance have caught up with network devices in the last decade, their capacity do not grow as fast as the rate of data growth, especially with the rise of cloud big data applications. Furthermore, the performance balance between storage, network and compute devices has shifted and the assumptions that are the foundation for most distributed storage systems are not true anymore. This dissertation explains how several aspects of such storage systems can be modified and rethought to make a more efficient use of the resource at their disposal. It presents an original architecture that uses a distributed layer of metadata to provide flexible and scalable object-level storage, then proposes a scheduling algorithm improving how a generic storage system handles concurrent requests. Finally, it describes how to improve legacy filesystem-level caching for erasure-code-based distributed storage systems, before presenting a few other contributions made in the context of short research projects.
569

Coordination et planification de systèmes multi-agents dans un environnement manufacturier / Coordination and motion planning of multi-agent systems in manufacturing environment

Demesure, Guillaume 08 December 2016 (has links)
Cette thèse porte sur la navigation d'agents dans un environnement manufacturier. Le cadre général du travail relève de la navigation d'AGVs (véhicules autoguidés), transportant librement et intelligemment leur produit. L'objectif est de proposer des outils permettant la navigation autonome et coopérative d’une flotte d’AGVs dans des systèmes de production manufacturiers où les contraintes temporelles sont importantes. Après la présentation d'un état de l'art sur chaque domaine (systèmes manufacturiers et navigation d'agents), les impacts de la mutualisation entre ceux-ci sont présentés. Ensuite, deux problématiques, liées à la navigation d'agents mobiles dans des environnements manufacturiers, sont étudiées. La première problématique est centrée sur la planification de trajectoire décentralisée où une fonction d'ordonnancement est combinée au planificateur pour chaque agent. Cette fonction permet de choisir une ressource lors de la navigation afin d'achever l'opération du produit transporté le plus tôt possible. La première solution consiste en une architecture hétérarchique où les AGVs doivent planifier (ou mettre à jour) leur trajectoire, ordonnancer leur produit pour l'opération en cours et résoudre leurs propres conflits avec les agents à portée de communication. Pour la seconde approche, une architecture hybride à l'aide d'un superviseur, permettant d'assister les agents durant leur navigation, est proposée. L'algorithme de planification de trajectoire se fait en deux étapes. La première étape utilise des informations globales fournies par le superviseur pour anticiper les collisions. La seconde étape, plus locale, utilise les données par rapport aux AGVs à portée de communication afin d'assurer l'évitement de collisions. Afin de réduire les temps de calcul des trajectoires, une optimisation par essaims particulaires est introduite. La seconde problématique se focalise sur la commande coopérative permettant un rendez-vous d'agents non holonomes à une configuration spécifique. Ce rendez-vous doit être atteint en un temps donné par un cahier des charges, fourni par le haut-niveau de contrôle. Pour résoudre ce problème de rendez-vous, nous proposons une loi de commande à temps fixe (i.e. indépendant des conditions initiales) par commutation permettant de faire converger l’état des AGVs vers une resource. Des résultats numériques et expérimentaux sont fournis afin de montrer la faisabilité des solutions proposées. / This thesis is focused on agent navigation in a manufacturing environment. The proposed framework deals with the navigation of AGVs (Automated Guided Vehicles), which freely and smartly transport their product. The objective is to propose some tools allowing the autonomous and cooperative navigation of AGV fleets in manufacturing systems for which temporal constraints are important. After presenting the state of the art of each field (manufacturing systems and agent navigation), the impacts of the cross-fertilization between these two fields are presented. Then, two issues, related to the navigation of mobile agents in manufacturing systems, are studied. The first issue focuses on decentralized motion planning where a scheduling function is combined with the planner for each agent. This function allows choosing a resource during the navigation to complete the ongoing operation of the transported product at the soonest date. The first proposed approach consists in a heterarchical architecture where the AGVs have to plan (or update) their trajectory, schedule their product and solve their own conflict with communicating agents. For the second approach, hybrid architecture with a supervisor, which assists agents during the navigation, is proposed. The motion planning scheme is divided into two steps. The first step uses global information provided by the supervisor to anticipate the future collisions. The second step is local and uses information from communicating agents to ensure the collision avoidance. In order to reduce the computational times, a particle swarm optimization is introduced. The second issue is focused on the cooperative control, allowing a rendezvous of nonholomic agents at a specific configuration. This rendezvous must be achieved in a prescribed time, provided by the higher level of control. To solve this rendezvous, a fixed time (i.e. independent of initial conditions) switching control law is proposed, allowing the convergence of agent states towards a resource configuration. Some numerical and experimental results are provided to show the feasibility of the proposed methods.
570

Programmation stochastique à deux étapes pour l’ordonnancement des arrivées d’avions sous incertitude

Khassiba, Ahmed 01 1900 (has links)
Cotutelle avec l'Université de Toulouse 3 - Paul Sabatier, France. Laboratoire d'accueil: Laboratoire de recherche de l'École Nationale de l'Aviation Civile (ENAC), équipe OPTIM, Toulouse, France. / Dans le contexte d'une augmentation soutenue du trafic aérien et d'une faible marge d'expansion des capacités aéroportuaires, la pression s'accroît sur les aéroports les plus fréquentés pour une utilisation optimale de leur infrastructure, telle que les pistes, reconnues comme le goulot d'étranglement des opérations aériennes. De ce besoin opérationnel est né le problème d'ordonnancement des atterrissages d'avions, consistant à trouver pour les avions se présentant à un aéroport la séquence et les heures d'atterrissage optimales par rapport à certains critères (utilisation des pistes, coût total des retards, etc) tout en respectant des contraintes opérationnelles et de sécurité. En réponse à ce besoin également, depuis les années 1990 aux États-Unis et en Europe, des outils d'aide à la décision ont été mis à la disposition des contrôleurs aériens, afin de les assister dans leur tâche d'assurer la sécurité et surtout la performance des flux d'arrivée. Un certain nombre de travaux de recherche se sont focalisés sur le cas déterministe et statique du problème d'atterrissage d'avions. Cependant, le problème plus réaliste, de nature stochastique et dynamique, a reçu une attention moindre dans la littérature. De plus, dans le cadre du projet européen de modernisation des systèmes de gestion de trafic aérien, il a été proposé d’étendre l’horizon opérationnel des outils d’aide à la décision de manière à prendre en compte les avions plus loin de l'aéroport de destination. Cette extension de l'horizon opérationnel promet une meilleure gestion des flux d'arrivées via un ordonnancement précoce plus efficient. Néanmoins, elle est inévitablement accompagnée d'une détérioration de la qualité des données d'entrée, rendant indispensable la prise en compte de leur stochasticité. L’objectif de cette thèse est l’ordonnancement des arrivées d’avions, dans le cadre d'un horizon opérationnel étendu, où les heures effectives d'arrivée des avions sont incertaines. Plus précisément, nous proposons une approche basée sur la programmation stochastique à deux étapes. En première étape, les avions sont pris en considération à 2-3 heures de leur atterrissage prévu à l'aéroport de destination. Il s'agit de les ordonnancer à un point de l'espace aérien aéroportuaire, appelé IAF (Initial Approach Fix). Les heures effectives de passage à ce point sont supposées suivre des distributions de probabilité connues. En pratique, cette incertitude peut engendrer un risque à la bonne séparation des avions nécessitant l'intervention des contrôleurs. Afin de limiter la charge de contrôle conséquente, nous introduisons des contraintes en probabilité traduisant le niveau de tolérance aux risques de sécurité à l'IAF après révélation de l'incertitude. La deuxième étape correspond au passage effectif des avions considérés à l'IAF. Comme l'incertitude est révélée, une décision de recours est prise afin d'ordonnancer les avions au seuil de piste en minimisant un critère de deuxième étape (charge de travail des contrôleurs, coût du retard, etc). La démonstration de faisabilité et une étude numérique de ce problème d'ordonnancement des arrivées d'avions en présence d'incertitude constituent la première contribution de la thèse. La modélisation de ce problème sous la forme d’un problème de programmation stochastique à deux étapes et sa résolution par décomposition de Benders constituent la deuxième contribution. Finalement, la troisième contribution étend le modèle proposé au cas opérationnel, plus réaliste où nous considérons plusieurs points d’approche initiale. / Airport operations are well known to be a bottleneck in the air traffic system, which puts more and more pressure on the world busiest airports to optimally schedule landings, in particular, and also – but to a smaller extent – departures. The Aircraft Landing Problem (ALP) has arisen from this operational need. ALP consists in finding for aircraft heading to a given airport a landing sequence and landing times so as to optimize some given criteria (optimizing runway utilization, minimizing delays, etc) while satisfying operational constraints (safety constraints mainly). As a reply to this operational need, decision support tools have been designed and put on service for air traffic controllers since the early nineties in the US as well as in Europe. A considerable number of publications dealing with ALP focus on the deterministic and static case. However, the aircraft landing problem arising in practice has a dynamic nature riddled with uncertainties. In addition, operational horizon of current decision support tools are to be extended so that aircraft are captured at larger distances from the airport to hopefully start the scheduling process earlier. Such a horizon extension affects the quality of input data which enlarges the uncertainty effect. In this thesis, we aim at scheduling aircraft arrivals under uncertainty. For that purpose, we propose an approach based on two-stage stochastic programming. In the first stage, aircraft are captured at a large distance from the destination airport. They are to be scheduled on the same initial approach fix (IAF), a reference point in the near-to-airport area where aircraft start their approach phase preparing for landing. Actual IAF arrival times are assumed to be random variables with known probability distributions. In practice, such an uncertainty may cause loss of safety separations between aircraft. In such situations, air traffic controllers are expected to intervene to ensure air traffic safety. In order to alleviate the consequent air traffic control workload, chance constraints are introduced so that the safety risks around the IAF are limited to an acceptable level once the uncertainty is revealed. The second stage corresponds to the situation where aircraft are actually close to the IAF. In this stage, the uncertainty is revealed and a recourse decision is made in order to schedule aircraft on the runway threshold so that a second-stage cost function is minimized (e.g., air traffic control workload, delay cost, etc). Our first contribution is a proof of concept of the extended aircraft arrival management under uncertainty and a computational study on optimization parameters and problem characteristics. Modeling this problem as a two-stage stochastic programming model and solving it by a Benders decomposition is our second contribution. Finally, our third contribution focuses on extending our model to the more realistic case, where aircraft in the first stage are scheduled on several IAFs.

Page generated in 0.0937 seconds