Dans cette thèse, on étudie les écoulements oscillatoires en milieux poreux (non saturés ou partiellement saturés) dus à des oscillations tidales des niveaux d'eau dans des milieux ouverts adjacents aux milieux poreux. L'étude est centrée sur le cas des plages de sable en hydrodynamique côtière, mais les applications concernent, potentiellement et plus généralement, les problèmes d'oscillation et de variation temporelle des niveaux d'eau dans des systèmes couplés, lorsque ceux-ci mettent en jeu des interactions entre les écoulements de sub-surface (milieux poreux) et les eaux de surface (milieux ouverts) : plages naturelles et artificielles; digues portuaires; barrages en terre; berges de fleuves; estuaires. Le forçage tidal des écoulements souterrains est représenté et modélisé ici, tant expérimentalement que numériquement, par une oscillation quasi-statique du niveau d'eau dans un réservoir externe ouvert, connecté au domaine poreux. On s'intéresse plus particulièrement aux écoulements verticaux forcés par une pression oscillatoire imposée au bas d'une colonne de sol. Sur le plan expérimental, ce type de forçage est obtenu par une machine à marée équipée d'un arbre rotatif. Au total, on utilise dans ce travail trois types d'approches (expérimentale, numérique, analytique), l'objectif étant d'étudier le mouvement vertical de la surface "libre" et l'écoulement non saturé sus-jacent, de façon à prendre en compte aussi bien les pertes de charge dans la zone saturée que les gradients de pression capillaire dans la zone non saturée. […] / In this thesis, we study hydrodynamic oscillations in porous bodies (unsaturated or partially saturated), due to tidal oscillations of water levels in adjacent open water bodies. The focus is on beach hydrodynamics, but potential applications concern, more generally, time varying and oscillating water levels in coupled systems involving subsurface / open water interactions (natural and artificial beaches, harbor dykes, earth dams, river banks, estuaries). The tidal forcing of groundwater is represented and modeled (both experimentally and numerically) by quasi-static oscillations of water levels in an open water reservoir connected to the porous medium. Specifically, we focus on vertical water movements forced by an oscillating pressure imposed at the bottom of a soil column. Experimentally, a rotating tide machine is used to achieve this forcing. Overall, we use three types of methods (experimental, numerical, analytical) to study the vertical motion of the groundwater table and the unsaturated flow above it, taking into account the vertical head drop in the saturated zone as well as capillary pressure gradients in the unsaturated zone. Laboratory experiments are conducted on vertical sand columns, with a tide machine to force water table oscillations, and with porous cup tensiometers to measure both positive pressures and suctions along the column (among other measurement methods). Numerical simulations of oscillatory water flow are implemented with the BIGFLOW 3D code (implicit finite volumes, with conjugate gradients for the matrix solver and modified Picard iterations for the nonlinear problem). In addition, an automatic calibration based on a genetic optimization algorithm is implemented for a given tidal frequency, to obtain the hydrodynamic parameters of the experimental soil. Calibrated simulations are then compared to experimental results for other non calibrated frequencies. Finally, a family of quasi-analytical multi-front solutions is developed for the tidal oscillation problem, as an extension of the Green-Ampt piston flow approximation, leading to nonlinear, non-autonomous systems of Ordinary Differential Equations with initial conditions (dynamical systems). The multi-front solutions are tested by comparing them with a refined finite volume solution of the Richards equation. Multi-front solutions are at least 100 times faster, and the match is quite good even for a loamy soil with strong capillary effects (the number of fronts required is small, no more than N≈ to 20 at most). A large set of multi-front simulations is then produced in order to analyze water table and flux fluctuations for a broad range of forcing frequencies. The results, analyzed in terms of means and amplitudes of hydrodynamic variables, indicate the existence, for each soil, of a characteristic frequency separating low frequency / high frequency flow regimes in the porous system.

L’apparition massive de nids de poule sur chaussées bitumineuses a été observée en cours d’hiver sur de très courtes périodes de temps, caractérisées par l’alternance entre températures positives et fortement négatives accompagnée de précipitations pluvieuses. Ceci a conduit à rechercher un mécanisme spécifique de dégradation de couches d’enrobés bitumineux (EB) lié au comportement au gel des EB partiellement saturés en eau. Celui-ci a été étudié en laboratoire à partir d’essais à déformation libre ou empêchée, avec ajout de chaux pour certaines formules d’EB.Ces essais ont montré l’apparition de déformations de gonflement ou contraintes importantes induites lors du gel de l’eau interstitielle. D’autres essais utilisant l’IRM ont permis de visualiser le phénomène au sein du matériau. Sur la base de ces essais, nous proposons une loi de comportement thermoviscoélastique avec changement de phase pour EB. Un programme aux éléments finis a été développé (Free Fem++)pour intégrer cette loi dans le calcul de structures ; ce code couple les équations mécaniques et de diffusion de la chaleur prenant également en compte le changement de phase à travers la chaleur latente de solidification de l’eau interstitielle.Après validation du logiciel, celui-ci a été appliqué au calcul de structures bitumineuses bicouches représentatives des couches supérieures d’une chaussée. Les résultats mettent alors en évidence l’apparition de contraintes d’arrachement élevées à l’interface entre couches générées par le gel,susceptibles d’expliquer la formation de nids de poule. Un essai de laboratoire sur bicouche a confirmé la fragilisation de l’interface induite dès le premier cycle de gel. / Massive development of potholes occurring in bituminous pavements was observed during winters over short time laps characterized by temperature alternating between positive and highly negative values along with rainfalls. This led us to seek for a specific mechanism of degradation of asphalt concrete (AC) layers, related to the behavior of partially saturated AC subjected to freeze. Two types of laboratory tests were performed under traction free and restrained strain conditions to study the behavior of AC within this context, incorporating lime additive in some mix design formulations. These tests showed the development of large swelling strains or stresses induced by the phase change of pore water into ice. Additional tests using MRI allowed us to visualize this phenomenon from inside the material specimens. Based on these tests, we developed a thermoviscoelastic constitutive law including phase change for partially saturated AC. A Finite Element (FE) program was implemented (FreeFem++) to introduce the developed law instructural calculations; this FE code handles the coupling between mechanics and the heat equation, also taking into account the phase change through the latent heat of crystallization of pore water. After validating the software, this numerical tool was utilized to compute the response of bilayer bituminous structures representative of the upper layers of a pavement. The results obtained show the development of highfrost-induced pull-out stresses located at the interface between the layers, likely to explain the formation of potholes. A test carried out on a bilayer sample confirmed the weakening of the interface right after the first frost cycle.

Cette thèse traite de méthodes « model-based » pour résoudre des problèmes d'apprentissage par renforcement. On considère un agent confronté à une suite de décisions et un environnement dont l'état varie selon les décisions prises par l'agent. Ce dernier reçoit tout au long de l'interaction des récompenses qui dépendent à la fois de l'action prise et de l'état de l'environnement. L'agent ne connaît pas le modèle d'interaction et a pour but de maximiser la somme des récompenses reçues à long terme. Nous considérons différents modèles d'interactions : les processus de décisions markoviens, les processus de décisions markoviens partiellement observés et les modèles de bandits. Pour ces différents modèles, nous proposons des algorithmes qui consistent à construire à chaque instant un ensemble de modèles permettant d'expliquer au mieux l'interaction entre l'agent et l'environnement. Les méthodes dites « model-based » que nous élaborons se veulent performantes tant en pratique que d'un point de vue théorique. La performance théorique des algorithmes est calculée en terme de regret qui mesure la différence entre la somme des récompenses reçues par un agent qui connaîtrait à l'avance le modèle d'interaction et celle des récompenses cumulées par l'algorithme. En particulier, ces algorithmes garantissent un bon équilibre entre l'acquisition de nouvelles connaissances sur la réaction de l'environnement (exploration) et le choix d'actions qui semblent mener à de fortes récompenses (exploitation). Nous proposons deux types de méthodes différentes pour contrôler ce compromis entre exploration et exploitation. Le premier algorithme proposé dans cette thèse consiste à suivre successivement une stratégie d'exploration, durant laquelle le modèle d'interaction est estimé, puis une stratégie d'exploitation. La durée de la phase d'exploration est contrôlée de manière adaptative ce qui permet d'obtenir un regret logarithmique dans un processus de décision markovien paramétrique même si l'état de l'environnement n'est que partiellement observé. Ce type de modèle est motivé par une application d'intérêt en radio cognitive qu'est l'accès opportuniste à un réseau de communication par un utilisateur secondaire. Les deux autres algorithmes proposés suivent des stratégies optimistes : l'agent choisit les actions optimales pour le meilleur des modèles possibles parmi l'ensemble des modèles vraisemblables. Nous construisons et analysons un tel algorithme pour un modèle de bandit paramétrique dans un cas de modèles linéaires généralisés permettant ainsi de considérer des applications telles que la gestion de publicité sur internet. Nous proposons également d'utiliser la divergence de Kullback-Leibler pour la construction de l'ensemble des modèles vraisemblables dans des algorithmes optimistes pour des processus de décision markoviens à espaces d'états et d'actions finis. L'utilisation de cette métrique améliore significativement le comportement de des algorithmes optimistes en pratique. De plus, une analyse du regret de chacun des algorithmes permet de garantir des performances théoriques similaires aux meilleurs algorithmes de l'état de l'art.

La génomique comparative est une discipline importante pour la compréhension de l'évolution du vivant. Différentes méthodes de comparaison existent, nous nous intéressons ici en particulier aux mesures de (dis)similarités entre les génomes. Dans cette étude, nous étudions 3 mesures : les nombres d'adjacences, de points de cassures et d'intervalles communs. En présence de gènes dupliqués ou lorsque l'ordre des gènes n'est que partiellement connu, calculer ces mesures est un problème connu pour être NP-difficile. D'une part, nous désirons calculer les nombres d'adjacences et de points de cassures pour trois modèles (exemplaire, intermédiaire, maximum) entre deux génomes possédant des duplications. Afin d'obtenir un algorithme exact, nous modélisons ces problèmes en programmes pseudo-booléens. Après expérimentation sur 12 génomes de γ-protéobactéries, nous obtenons suffisamment de résultats pour : comparer les deux mesures et les 3 modèles et évaluer des heuristiques. À ce titre, nous proposons une famille d'heuristiques basée sur une recherche de plus longue sous-séquence commune qui donne de très bons résultats sur ces données. Parallèlement à cela, nous avons étudié, pour différents problèmes de calcul de mesures entre deux génomes avec duplication, l'approximation polynomial. D'autre part, nous calculons les nombres d'adjacences et d'intervalles communs entre deux ordres partiels (avec la possibilité qu'un des ordres soit total). Nous utilisons de nouveau une approche de programmation pseudo-booléenne. À l'aide de près de 800 génomes simulés, nous étudions l'influence de paramètres inhérents aux ordres partiels et nous comparons les deux mesures étudiées.

Le concept d’automate, central en théorie des langages, est l’outil d’appréhension naturel et efficace de nombreux problèmes concrets. L’usage intensif des automates finis dans un cadre algorithmique s ’illustre par de nombreux travaux de recherche. La correction et l’ évaluation sont les deux questions fondamentales de l’algorithmique. Une méthode classique d’ évaluation s’appuie sur la génération aléatoire contrôlée d’instances d’entrée. Les travaux d´écrits dans cette thèse s’inscrivent dans ce cadre et plus particulièrement dans le domaine de la génération aléatoire uniforme d’automates finis.L’exposé qui suit propose d’abord la construction d’un générateur aléatoire d’automates à pile déterministes, real time. Cette construction s’appuie sur la méthode symbolique. Des résultats théoriques et une étude expérimentale sont exposés.Un générateur aléatoire d’automates non-déterministes illustre ensuite la souplesse d’utilisation de la méthode de Monte-Carlo par Chaînes de Markov (MCMC) ainsi que la mise en œuvre de l’algorithme de Metropolis - Hastings pour l’ échantillonnage à isomorphisme près. Un résultat sur le temps de mélange est donné dans le cadre général .L’ échantillonnage par méthode MCMC pose le problème de l’évaluation du temps de mélange dans la chaîne. En s’inspirant de travaux antérieurs pour construire un générateur d’automates partiellement ordonnés, on montre comment différents outils statistiques permettent de s’attaquer à ce problème. / The concept of automata, central to language theory, is the natural and efficient tool to apprehendvarious practical problems.The intensive use of finite automata in an algorithmic framework is illustrated by numerous researchworks.The correctness and the evaluation of performance are the two fundamental issues of algorithmics.A classic method to evaluate an algorithm is based on the controlled random generation of inputs.The work described in this thesis lies within this context and more specifically in the field of theuniform random generation of finite automata.The following presentation first proposes to design a deterministic, real time, pushdown automatagenerator. This design builds on the symbolic method. Theoretical results and an experimental studyare given.This design builds on the symbolic method. Theoretical results and an experimental study are given.A random generator of non deterministic automata then illustrates the flexibility of the Markov ChainMonte Carlo methods (MCMC) as well as the implementation of the Metropolis-Hastings algorithm tosample up to isomorphism. A result about the mixing time in the general framework is given.The MCMC sampling methods raise the problem of the mixing time in the chain. By drawing on worksalready completed to design a random generator of partially ordered automata, this work shows howvarious statistical tools can form a basis to address this issue.

Cette thèse étudie les communications directes entre les mobiles, appelées communications D2D, en tant que technique prometteuse pour améliorer les futurs réseaux cellulaires. Cette technologie permet une communication directe entre deux terminaux mobiles sans passer par la station de base. La modélisation, l'évaluation et l'optimisation des différents aspects des communications D2D constituent les objectifs fondamentaux de cette thèse et sont réalisés principalement à l'aide des outils mathématiques suivants: la théorie des files d'attente, l'optimisation de Lyapunov et les processus de décision markovien partiellement observable POMDP. Les résultats de cette étude sont présentés en trois parties. Dans la première partie, nous étudions un schéma de sélection entre mode cellulaire et mode D2D. Nous dérivons les régions de stabilité des scénarios suivants: réseaux cellulaires purs et réseaux cellulaires où les communications D2D sont activées. Une comparaison entre ces deux scénarios conduit à l'élaboration d'un algorithme de sélection entre le mode cellulaire et le mode D2D qui permet d'améliorer la capacité du réseau. Dans la deuxième partie, nous développons un algorithme d'allocation de ressources des communications D2D. Les utilisateurs D2D sont en mesure d'estimer leur propre qualité de canal, cependant la station de base a besoin de recevoir des messages de signalisation pour acquérir cette information. Sur la base de cette connaissance disponibles au niveau des utilisateurs D2D, une approche d'allocation des ressources est proposée afin d'améliorer l'efficacité énergétique des communications D2D. La version distribuée de cet algorithme s'avère plus performante que celle centralisée. Dans le schéma distribué des collisions peuvent se produire durant la transmission de l'état des canaux D2D ; ainsi un algorithme de réduction des collisions est élaboré. En outre, la mise en œuvre des algorithmes centralisé et distribué dans un réseau cellulaire, type LTE, est décrite en détails. Dans la troisième partie, nous étudions une politique de sélection des relais D2D mobiles. La mobilité des relais représente un des principaux défis que rencontre toute stratégie de sélection de relais. Le problème est modélisé par un processus contraint de décision markovien partiellement observable qui prend en compte le dynamisme des relais et vise à trouver la politique de sélection de relais qui optimise la performance du réseau cellulaire sous des contraintes de coût. / This thesis considers Device-to-Device (D2D) communications as a promising technique for enhancing future cellular networks. Modeling, evaluating and optimizing D2D features are the fundamental goals of this thesis and are mainly achieved using the following mathematical tools: queuing theory, Lyapunov optimization and Partially Observed Markov Decision Process (POMDP). The findings of this study are presented in three parts. In the first part, we investigate a D2D mode selection scheme. We derive the queuing stability regions of both scenarios: pure cellular networks and D2D-enabled cellular networks. Comparing both scenarios leads us to elaborate a D2D vs cellular mode selection design that improves the capacity of the network. In the second part, we develop a D2D resource allocation algorithm. We observe that D2D users are able to estimate their local Channel State Information (CSI), however the base station needs some signaling exchange to acquire this information. Based on the D2D users' knowledge of their local CSI, we provide an energy efficient resource allocation framework that shows how distributed scheduling outperforms centralized one. In the distributed approach, collisions may occur between the different CSI reporting; thus, we propose a collision reduction algorithm. Moreover, we give a detailed description on how both centralized and distributed algorithms can be implemented in practice. In the third part, we propose a mobile relay selection policy in a D2D relay-aided network. Relays' mobility appears as a crucial challenge for defining the strategy of selecting the optimal D2D relays. The problem is formulated as a constrained POMDP which captures the dynamism of the relays and aims to find the optimal relay selection policy that maximizes the performance of the network under cost constraints.

Cette thèse se consacre aux garanties de reconstruction et de l'analyse de sensibilité de régularisation variationnelle pour des problèmes inverses linéaires bruités. Il s'agit d'un problème d'optimisation convexe combinant un terme d'attache aux données et un terme de régularisation promouvant des solutions vivant dans un espace dit de faible complexité. Notre approche, basée sur la notion de fonctions partiellement lisses, permet l'étude d'une grande variété de régularisations comme par exemple la parcimonie de type analyse ou structurée, l'antiparcimonie et la structure de faible rang. Nous analysons tout d'abord la robustesse au bruit, à la fois en termes de distance entre les solutions et l'objet original, ainsi que la stabilité de l'espace modèle promu. Ensuite, nous étudions la stabilité de ces problèmes d'optimisation à des perturbations des observations. À partir d'observations aléatoires, nous construisons un estimateur non biaisé du risque afin d'obtenir un schéma de sélection de paramètre.

Cette thèse vise à étudier expérimentalement, analytiquement et numériquement, les conséquences de variations et d'oscillations hydrodynamiques à forte variabilité temporelle en milieux poreux partiellement saturés. Les problèmes que nous étudions comportent des surfaces libres tant à l'extérieur qu'à l'intérieur des milieux poreux, celles-ci étant définies comme des isosurfaces de pression d'eau égale à la pression atmosphérique (Pwater = Patm). Les différentes études expérimentales réalisées en laboratoire sont, respectivement : une expérience d'imbibition dans une boite à sable avec effets capillaires importants; la transmission d'oscillations de la surface libre à travers un massif sableux intercalaire dans un petit canal à houle (IMFT, Toulouse); l'étude de la dynamique et de la propagation des oscillations des niveaux d'eau dans un grand canal à houle (HYDRALAB, Barcelone), partiellement recouvert d'un fond sableux incliné, avec mesures de niveaux d'eau en pleine eau et sous le sable, et mesures du fond sableux (érosion/dépôts). Pour les études théoriques, nous avons développés des solutions analytiques linéarisées. Un exemple de problème traité analytiquement est: l'équation linéarisée de Dupuit-Boussinesq (D-B) transitoire à surface libre, en hypothèse d'écoulements plans et vidange/remplissage instantané : oscillations forcées, transmission et dissipation d'ondes à travers une boite à sable rectangulaire. Nous avons aussi développé une solution de l'équation faiblement non linéaire de Dupuit- Boussinesq (D-B) pour étudier le problème d'imbibition avec variation abrupte du niveau d'eau amont (suivi temporel du front de saturation). Nous avons pu étudier les différents types de problèmes transitoires liés aux expériences citées plus haut par simulation numérique. En particulier, nous avons simulé des écoulements partiellement saturés et insaturés, en coupe verticale, à l'aide d'un code de calcul (BIGFLOW 3D) qui résoud l'équation de Richards généralisée en régime transitoire. Nous avons ainsi étudié numériquement en régime non saturé, l'expérience d'imbibition dans un sable initialement sec à frontières verticales (IMFT sandbox), puis l'expérience de propagation d'ondes dans le grand canal à houle de Barcelone (laboratoire HYDRALAB) comportant une plage de sable inclinée, avec un couplage complètement intégré entre les zones micro-poreuse (sable) et “macro-poreuse” (pleine eau). Pour analyser les résultats de cette dernière expérience et les comparer aux simulations, nous avons utilisé plusieurs méthodes de traitement et d'analyse des signaux : analyse de Fourier (spectres de fréquences) ; ondelettes discrètes multi-résolution (Daubechies) ; analyses corrélatoires simple et croisée. Ces méthodes sont combinées avec des méthodes de préfiltrage pour estimer dérives et résidus (moyennes mobiles ; ondelettes multi-résolution). Cette analyse des signaux a permis de comprendre et quantifier la propagation à travers une plage de sable. Au total, les différentes approches de modélisation mis en oeuvre, associé à des procédures de calage en situation de couplage transitoire non linéaire ont permis de reproduire globalement les phénomènes de propagation de teneur en eau et de niveau d'eau dans les différentes configurations étudiées. / This thesis aims at investigating experimentally, analytically and numerically, the consequences of hydrodynamic variations and oscillations with high temporal variability in partially saturated porous media. The problems investigated in this work involve “free surfaces” both outside and inside the porous media, the free surface being defined as the “atmospheric” water pressure isosurface (Pwater = Patm). The laboratory experiments studied in this work are, respectively: Lateral imbibition in a dry sand box with significant capillary effects; Transmission of oscillations of the free surface through a vertical sand box placed in a small wave canal (IMFT, Toulouse); Dynamics of free surface oscillations and wave propagation in a large wave canal (HYDRALAB, Barcelona), partially covered with sand, with measurements of both open water and groundwater levels, and of sand topography (erosion / deposition). For theoretical studies, we have developed linearized analytical solutions. Here is a sample problem that was treated analytically in this work: The linearized equation of Dupuit-Boussinesq (DB) for transient free surface flow, assuming horizontal flow and instantaneous wetting/drainage of the unsaturated zone: forced oscillations, wave transmission and dissipation through a rectangular sandbox. We also developed a weakly nonlinear solution of the Dupuit-Boussinesq equation to study the sudden imbibition (temporal monitoring of the wetting front). We have studied the different types of transient flow problems related to the experiments cited above by numerical simulation. In particular, we have simulated unsaturated or partially saturated transient flows in vertical cross-section, using a computer code (BIGFLOW 3D) which solves a generalized version of Richards’ equation. Thus, using the Richards / BIGFLOW 3D model, we have studied numerically the experiment of unsaturated imbibition in a dry sand (IMFT sandbox), and then, with the same model, we have also studied the partially saturated wave propagation experiment in the large Barcelona wave canal (HYDRALAB laboratory), focusing on the sloping sandy beach, with coupling between the micro-porous zone (sand) and the “macro-porous” zone (open water). To interpret the results of the latter experiment and compare them to simulations, we use several methods of signal analyzis and signal processing, such as: Fourier analysis, discrete multi-resolution wavelets (Daubechies), auto and cross-correlation functions. These methods are combined with pre-filtering methods to estimate trends and residuals (moving averages; discrete wavelet analyses). This signal analyzis has allowed us to interpret and quantify water propagation phenomena through a sandy beach. To sum up, different modeling approaches, combined with model calibration procedures, were applied to transient nonlinear coupled flow problems. These approaches have allowed us to reproduce globally the water content distributions and water level propagation in the different configurations studied in this work.