Cette thèse présente une méthodologie d’ordonnancement cyclique robuste appliquée à la gestion des conteneurs dans les ports maritimes de taille moyenne. Ces derniers sont sujet constamment à des variations des conditions des terminaux, la visibilité réduite sur des évènements futurs ne permet pas de proposer une planification précise des tâches à accomplir. L’ordonnancement cyclique robuste peut jouer un rôle primordial. Il permettra non seulement de proposer un ordonnancement prédictif pour le transport des conteneurs, mais aussi, il proposera également une planification robuste permettant d’éliminer les perturbations éventuelles en temps réel. Dans ce travail nous utilisons les Véhicules Intelligents Automatisés (AIV) pour transporter les conteneurs et nous modélisons les procédures de transit de ces derniers par des graphes d’évènements P-temporels fortement connexes (PTSCEG). Avant l’arrivée d’un porte conteneur au port, un plan (planning) de transport des conteneurs est proposé en un temps court par la programmation linéaire mixte (MIP). Des algorithmes polynomiaux de calcul de robustesse permettent de calculer sur les différents nœuds du système les marges de robustesse. Une fois le navire à quai, l’ordonnancement cyclique robuste est appliqué. Lorsqu’une perturbation est observée (localisée) dans le système, une comparaison avec la marge de robustesse connue est effectuée. Si cette perturbation est incluse dans la marge de robustesse, l’algorithme robuste est utilisé pour éliminer ces perturbations en quelques cycles. Dans le cas où la perturbation est trop importante, la méthode MIP est utilisée pour calculer un nouvel ordonnancement cyclique en un temps réduit / This PhD thesis is dedicated to propose a robust cyclic scheduling methodology applied to container management of medium sized seaport which faces ever changing terminal conditions and the limited predictability of future events and their timing. The robust cyclic scheduling can be seen not just a predictable scheduling to compute a container transportation schedule, but also a reactive scheduling to eliminate the disturbances in real time. In this work, the automated intelligent vehicles (AIV) are used to transport the containers, and the P-time strongly connected event graph (PTSCEG) is used as a graphical tool to model the container transit procedures. Before the arrival of the container vessel, a cyclic container transit schedule can be given by the mixed integer programming (MIP) method in short time. The robustness margins on the nodes of the system can be computed by robustness algorithms in polynomial computing time. After the stevedoring begins, this robust cyclic schedule is used. When a disturbance is observed in system, it should be compared with the known robustness margin. If the disturbance belongs to the robustness margin, the robustness algorithm is used to eliminate the disturbance in a few cycle times. If not, the MIP method is used to compute a new cyclic schedule in short time

Over the last decades, there has been considerable attention in the accurate mathematical modeling and numerical simulations of free surface wave propagation in near-shore environments. A physical correct description of the large scale phenomena, which take place in the shallow water region, must account for strong nonlinear and dispersive effects, along with the interaction with complex topographies. First, a study on the behavior in nonlinear regime of different Boussinesq-type models is proposed, showing the advantage of using fully-nonlinear models with respect to weakly-nonlinear and weakly dispersive models (commonly employed). Secondly, a new flexible strategy for solving the fully-nonlinear and weakly-dispersive Green-Naghdi equations is presented, which allows to enhance an existing shallow water code by simply adding an algebraic term to the momentum balance and is particularly adapted for the use of hybrid techniques for wave breaking. Moreover, the first discretization of the Green-Naghdi equations on unstructured meshes is proposed via hybrid finite volume/ finite element schemes. Finally, the models and the methods developed in the thesis are deployed to study the physical problem of bore formation in convergent alluvial estuary, providing the first characterization of natural estuaries in terms of bore inception. / Ces dernières décennies, une attention particulière a été portée sur la modélisation mathématique et la simulation numérique de la propagation de vagues en environnements côtiers. Une description physiquement correcte des phénomènes à grande échelle, qui apparaissent dans les régions d'eau peu profonde, doit prendre en compte de forts effets non-linéaires et dispersifs, ainsi que l'interaction avec des bathymétries complexes. Dans un premier temps, une étude du comportement en régime non linéaire de différents modèles de type Boussinesq est proposée, démontrant l'avantage d'utiliser des modèles fortement non-linéaires par rapport à des modèles faiblement non-linéaires et faiblement dispersifs (couramment utilisés). Ensuite, une nouvelle approche flexible pour résoudre les équations fortement non-linéaires et faiblement dispersives de Green-Naghdi est présentée. Cette stratégie permet d'améliorer un code "shallow water" existant par le simple ajout d'un terme algébrique dans l'équation du moment et est particulièrement adapté à l'utilisation de techniques hybrides pour le déferlement des vagues. De plus, la première discrétisation des équations de Green-Naghdi sur maillage non structuré est proposée via des schémas hybrides Volume Fini/Élément Fini. Finalement, les modèles et méthodes développés dans la thèse sont appliqués à l'étude du problème physique de la formation du mascaret dans des estuaires convergents et alluviaux. Cela a amené à la première caractérisation d'estuaire naturel en terme d'apparition de mascaret.

No description available.

Le concept de théorie effective, en tant que modèle s'appliquant dans une certaine gamme d'énergie et/ou pour un régime restreint de paramètres, s'est enrichi des idées du groupe de renormalisation qui peut relier deux modèles a priori bien distincts par un changement continu d'échelle. L'intuition physique resurgit, même pour des problèmes d'apparence formelle, où il s'agit bien souvent de deviner les briques élémentaire, les quasiparticules, qui vont façonner le comportement physique, par exemple à basse énergie. Dans cet exposé, je soulignerai la récurrence de ce concept dans mes recherches en atomes froids et en physique mésoscopique de ces cinq dernières années. Je débuterai par une introduction aux problèmes à trois et quatre corps dans les gaz d'atomes froids où des propriétés universelles émergent lorsque les interactions entre atomes deviennent résonantes. Je parlerai ensuite des gaz de fermions fortement déséquilibrés, étudiés par exemple dans le groupe de Christophe Salomon et Frédéric Chevy au LKB, et de la pertinence de la notion de gaz de Fermi de polarons pour décrire les profils de densités observés. Je présenterai pour poursuivre les expériences de transport dans les nanotubes de carbone, comme celles réalisées au LPA dans le groupe de Takis Kontos, et le modèle Kondo pour le couplage d'une impureté aux électrons des électrodes. Je profiterai de cette occasion pour introduire l'approche de liquide de Fermi de ce problème initiée par Nozières. Je finirai mon exposé par une discussion du circuit RC quantique, un sujet auquel je me suis beaucoup intéressé ces dernières années en lien avec une expérience remarquable réalisée au LPA dans le groupe de physique mésoscopique. Je montrerai comment le concept de liquide de Fermi permet de comprendre l'apparition de résistances universelles quantifiées pour ce circuit quantique.