A polynomial time algorithm for makespan minimization on one machine with forbidden start and completion times

International audienceWe consider the problem of scheduling independent jobs on a single resource under a special unavailability constraint: a set of forbidden instants is given, where no job is allowed to start or complete. We show that a schedule without idle time always exists if the number of forbidden instants is less than the number of distinct processing times appearing in the instance. We derive quite a fast algorithm to find such a schedule, based on an hybridization between a list algorithm and local exchange. As a corollary minimizing the makespan for a fixed number of forbidden instants is polynomia

Minimisation des conflits aériens par des modulations de vitesse

Afin de pouvoir subvenir aux futurs besoins en matière de transport aérien il est nécessaire d'augmenter la capacité de l'espace aérien. Les contrôleurs aériens, qui occupent une place centrale dans la gestion du trafic, doivent quotidiennement faire face à des situations conflictuelles (conflits) lors desquelles deux vols risquent de violer les normes de séparation en vigueur si aucune modification de trajectoire n'est envisagée. La détection et la résolution des conflits potentiels contribuent à augmenter la charge de travail des contrôleurs et peuvent potentiellement les conduire à diriger les vols vers des zones moins denses de l'espace aérien, induisant a posteriori un retard pour les vols. Le problème de la capacité de l'espace aérien peut donc être abordé en régulant les flux de trafic de façon réduire la quantité de conflits aériens. L'objectif de cette thèse est de mettre au point une méthodologie destinée à minimiser les risques de conflits aériens en modifiant légèrement les vitesses des appareils. Cette approche est principalement motivée par les conclusions du projet ERASMUS portant sur la régulation de vitesse subliminale. Ce type de régulation a été conçu de façon à ne pas perturber les contrôleurs aériens dans leur tâche. En utilisant de faibles modulations de vitesse, imperceptibles par les contrôleurs aériens, les trajectoires des vols peuvent être modifiées pour minimiser la quantité totale de conflits et ainsi faciliter l'écoulement du trafic dans le réseau aérien. La méthode retenue pour mettre en œuvre ce type de régulation est l'optimisation sous contrainte. Dans cette thèse, nous développons un modèle d'optimisation déterministe pour traiter les conflits à deux avions. Ce modèle est par la suite adapté à la résolution de grandes instances de trafic en formulant le modèle comme un Programme Linéaire en Nombres Entiers. Pour reproduire des conditions de trafic réalistes, nous introduisons une perturbation sur la vitesse des vols, destinée à représenter l'impact de l'incertitude en prévision de trajectoire dans la gestion du trafic aérien. Pour valider notre approche, nous utilisons un outil de simulation capable de rejouer des journées entières de trafic au dessus de l'espace aérien européen. Les principaux résultats de ce travail démontrent les performances du modèle de détection et de résolution de conflits et soulignent la robustesse de la formulation face à l'incertitude en prévision de trajectoire. Enfin, l'impact de notre approche est évalué à travers divers indicateurs propres à la gestion du trafic aérien et valide la méthodologie développée.As global air traffic volume is continuously increasing, it has become a priority to improve air traffic control in order to deal with future air traffic demand. One of the current challenges regarding air traffic management is the airspace capacity problem, which is acknowledged to be correlated to air traffic controllers' workload. Air traffic controllers stand at the core of the traffic monitoring system and one of their main objective is to ensure the separation of aircraft by anticipating potential conflicts. Conflict detection and resolution are likely to increase workload and may lead them to reroute aircrafts to less dense areas, triggering off flight delay. The airspace capacity problem can hence be tackled by regulating air traffic flow in order to reduce the global conflict quantity. The objective of this thesis is to develop a methodology aiming at minimizing potential conflicts quantity by slightly adjusting aircraft speeds in real time. This approach is mainly motivated by conclusions of the ERASMUS project on subliminal speed control, which was designed to keep air traffic controllers unaware of the ongoing regulation process. By focusing on low magnitude speed modulations, aircraft trajectories can be modified to reduce the quantity of conflicts and smoothen air traffic flow in the airspace network. The method used to carry out this type of regulation is constraint optimization. In this thesis, we develop a deterministic optimization model for two-aircraft conflicts which is then adapted to large scale instances using Mixed-Integer Linear Programming. In order to reproduce realistic navigation conditions, uncertainty on aircraft speeds is introduced with the goal of modeling the impact of trajectory prediction uncertainty in air traffic management. To validate our approach, a simulation device capable of simulating real air traffic data over the European airspace is used. Main results of this work reveal a significant conflict quantity reduction and demonstrate the robustness of the developed model to the uncertainty in trajectory prediction. Finally, the impact of our model on air traffic flow is measured through several air traffic management indicators and validates the proposed methodology.SAVOIE-SCD - Bib.électronique (730659901) / SudocGRENOBLE1/INP-Bib.électronique (384210012) / SudocGRENOBLE2/3-Bib.électronique (384219901) / SudocSudocFranceF

Algorithmes d'approximation pour la gestion de stock

Nous considérons des problèmes de gestion des stocks multi-échelon à temps périodique avec des demandes non stationnaires. Ces hypothèses sur la demande apparaissent notamment lorsque des prévisions sur la demande sont utilisées dynamiquement (de nouvelles prévisions sont fournies à chaque période). La structure des coûts comprend des coûts fixes et variables d approvisionnement, des coûts de stockage et des coûts de mise en attente des demandes. Le délai d approvisionnement est supposé constant. Le problème consistant à déterminer la politique optimale qui minimise les coûts sur un horizon fini peut être formulé grâce à un programme dynamique. Dans le cadre déterministe, les problèmes auxquels nous nous intéressons sont le plus souvent NP-difficiles, ce qui fait rapidement exploser l espace d état. Il devient alors nécessaire de recourir à des heuristiques. Nous nous orientons vers la recherche d'algorithmes d'approximation combinatoires pour le problème One Warehouse Multi Retailers et plus généralement pour des systèmes de distribution divergents. Nous nous intéresserons dans un premier temps à des systèmes de distribution à deux étages avec un entrepôt central et des entrepôts secondaires qui voient la demande finale. Dans un deuxième temps, des structures logistiques plus complexes pourront être considérées. L objectif sera de proposer des heuristiques originales, basées sur des techniques de répartition des coûts, de les comparer numériquement à la politique optimale sur de petites instances et, si possible, d établir des garanties de performance.Inventory management has always been a major component of the field of operations research and numerous models derived from the industry aroused the interest of both the researchers and the practitioners. Within this framework, our work focuses on several classical inventory problems, for which no tractable method is known to compute an optimal solution. Specifically, we study deterministic models, in which the demands of the customers are known in advance, and we propose approximation techniques for each of the corresponding problems that build feasible approximate solutions while remaining computationally tractable. We first consider continuous-time models with a single facility when demand and holding costs are time-dependent. We present a simple technique that balances the different costs incurred by the system and we use this concept to build approximation methods for a large class of such problems. The second part of our work focuses on a discrete time model, in which a central warehouse supplies several retailers facing the final customers demands. This problem is known to be NP-hard, thus finding an optimal solution in polynomial time is unrealistic unless P=NP. We introduce a new decomposition of the system into simple subproblems and a method to recombine the solutions to these subproblems into a feasible solution to the original problem. The resulting algorithm has a constant performance guarantee and can be extended to several generalizations of the system, including more general cost structures and problems with backlogging or lost-sales.SAVOIE-SCD - Bib.électronique (730659901) / SudocGRENOBLE1/INP-Bib.électronique (384210012) / SudocGRENOBLE2/3-Bib.électronique (384219901) / SudocSudocFranceF

Seismological structure of the 1.8 Ga Trans-Hudson Orogen of North America

Precambrian tectonic processes are debated: what was the nature and scale of orogenic events on the younger, hotter, and more ductile Earth? Northern Hudson Bay records the Paleoproterozoic collision between the Western Churchill and Superior plates—the ∼1.8 Ga Trans-Hudson Orogeny (THO)—and is an ideal locality to study Precambrian tectonic structure. Integrated field, geochronological, and thermobarometric studies suggest that the THO was comparable to the present-day Himalayan-Karakoram-Tibet Orogen (HKTO). However, detailed understanding of the deep crustal architecture of the THO, and how it compares to that of the evolving HKTO, is lacking. The joint inversion of receiver functions and surface wave data provides new Moho depth estimates and shear velocity models for the crust and uppermost mantle of the THO. Most of the Archean crust is relatively thin (∼39 km) and structurally simple, with a sharp Moho; upper-crustal wave speed variations are attributed to postformation events. However, the Quebec-Baffin segment of the THO has a deeper Moho (∼45 km) and a more complex crustal structure. Observations show some similarity to recent models, computed using the same methods, of the HKTO crust. Based on Moho character, present-day crustal thickness, and metamorphic grade, we support the view that southern Baffin Island experienced thickening during the THO of a similar magnitude and width to present-day Tibet. Fast seismic velocities at >10 km below southern Baffin Island may be the result of partial eclogitization of the lower crust during the THO, as is currently thought to be happening in Tibet

Surface wave tomography across Afar, Ethiopia: crustal structure at a rift triple-junction zone

The Afar Depression in northeast Africa contains the rift triple-junction between the Nubia, Arabia and Somalia plates. We analyze Rayleigh wave group velocity from 250 regional earthquakes recorded by 40 broadband stations to study the crustal structure across Afar and adjacent plateau regions in northern Ethiopia. The dispersion velocities are inverted to obtain surface wave tomographic maps for periods between 5 and 25 seconds, sensitive to approximately the top 30 km of the lithosphere. The tomographic maps show a significant low dispersion velocity anomaly (>20%) within the upper crust, below the site of recent dyke intrusions (2005–present) in the Dabbahu and Manda-Hararo magmatic segments. Similar low velocity regions are imaged where magma intrusion in the Afar crust has been inferred over the last decade from seismicity or volcanic eruptions. We invert two group velocity curves to compare the S-wave velocity structure of the crust within an active magmatic segment with that of adjacent areas; the active region has a low velocity zone (Vs ∼ 3.2 km/s), between about 6–12 km, which we infer to be due to the presence of partial melt within the lower crust

Adaptive and Hybrid Algorithms: classification and illustration on triangular system solving

International audienceWe propose in this article a classification of the different notions of hybridization and a generic framework for the automatic hybridization of algorithms. Then, we detail the results of this generic framework on the example of the parallel solution of multiple linear systems

Les habitats carolingiens de Montours et La Chapelle-Saint-Aubert (Ille-et-Vilaine)

Quatre sites ruraux du haut Moyen Âge ont été fouillés dans la région de Fougères lors des opérations d’archéologie préventive conduites de 1995 à 1997 sur le tracé de l’autoroute des Estuaires (A84). La contemporanéité de ces gisements a conduit, d’emblée, à harmoniser les problématiques et à accorder une part importante à l’approche paléoenvironnementale ainsi qu’à l’analyse du mobilier céramique. L’étude des trois ensembles d’habitats et d’un gué carolingiens laisse entrevoir une gestion organisée et dynamique des terroirs environnants (parcellaire, réseaux fossoyés, chemins, aménagement d’un fond de vallon tourbeux...) qui ont été structurés et exploités entre le XIIe et le Xe s. Parallèlement à la contribution que cette synthèse apporte à la connaissance de l’habitat et du mode de vie dans les campagnes bretonnes au haut Moyen Âge, domaine encore peu abordé par l’archéologie, les données bioarchéologiques précisent l’impact des activités agro-pastorales sur l’évolution du milieu végétal et du paysage.From 1995 to 1997, four early medieval sites were excavated in the Fougères region as part of archaeological research work carried out prior to the construction of the A84 motarway. As the sites all date from the same period, a comprehensive research plan was implemented from the outset, with special emphasis on paleo-environmental analysis and examination of pottery finds. Examination of the three Carolingian settlement sites, as well as a ford from the same period, reveals an organised, interactive approach to environmental management of the surrounding lands (land division, ditch Systems. tracks, development of a peatcovered valley floor), which were developed and systematically exploited from the 7th to 10th century. The present volume provides a significant contribution to our understanding of early medieval rural settlements in Brittany, an area of study which has hitherto received little attention from archaeologists The research is enhanced by an analysis of bio-archaeological data from the sites, showing the impact of agro-pastoral activities on the landscape and vegetation in nearby areas

About the lithospheric structure of central Tibet based on seismic data from the INDEPTH III profile

Signals from 11 shots and 8 earthquakes, and numerous teleseismic events were recorded along the 400-km seismic line INDEPTH III in central Tibet and interpreted together with previous seismic and tectonic data. The abnormal behavior of various mantle phases reveals a complex Moho-transition zone, especially in the northern part of the line, in the Changtang Block, where the lower crust and the mantle show unusually low velocities, a shingled appearance of Pn and no low-velocity layer in the upper crust. The strong east-west anisotropy in the Changtang Block is related to an easterly escape movement of the whole lithosphere, facilitated by the warm and weak layers in the lower crust and the upper mantle, bounded apparently by two prominent west-east running fault zones