Les fondations profondes sont largement utilisées et peuvent subir différent types de sollicitations axiales. Ces dernières peuvent avoir un caractère monotone ou cyclique. Le développement de méthodes de calcul pour prévoir le comportement des pieux sous ces deux types de chargements en termes de tassement et d’évolution de capacité portante, est d’une grande utilité pour l’ingénierie géotechnique. Le travail de cette thèse est une contribution à une meilleure prévision du comportement des pieux sous charges axiales monotones et cycliques. La thèse comporte deux parties principales. La première partie traite la problématique de la prévision du tassement d’un pieu sous charge axiale monotone. Un intérêt particulier est porté aux tassements car le dimensionnement d’un pieu requiert une estimation adéquate à la fois de la capacité portante et du déplacement en tête de pieu. La méthode utilisée dans cette partie est celle des courbes de transfert. L’étude commence tout d’abord par une analyse statistique du modèle habituellement utilisé pour le calcul de tassement nommé Frank et Zhao. Ensuite, deux nouveaux modèles de calcul de tassement sont proposés et analysés. Une analyse comparative entre les trois modèles de calcul de déplacement d’un pieu est réalisée dans cette étude. L’objectif de cette analyse est d’estimer la dispersion des modèles de calcul en comparant les tassements calculés aux tassements mesurés et répertoriés dans la base de données de l’IFSTTAR. La seconde partie s’intéresse à la problématique des chargements cycliques. En effet, plusieurs types de structures sont sollicités cycliquement et peuvent subir des désordres du fait de l’accumulation de déplacements en tête des fondations. L’objectif de cette partie de la thèse est de proposer un modèle permettant de rendre compte principalement de l’évolution de la capacité portante du pieu au cours des cycles, et aussi de proposer une estimation des déplacements. Le modèle développé se base sur la méthode des courbes de transfert, et est associé à deux procédures de dégradation du frottement axial limite. Il est tout d’abord présenté et ensuite appliqué à un exemple théorique. Afin de valider ce modèle, ses résultats sont comparés aux résultats d’essais de pieux en vraie grandeur / Different types of loads can be applied to deep foundations which are widely used nowadays. Piles can be subjected to monotonic or cyclic loads. Thus, geotechnical engineering needs the development of calculation methods to predict the behavior of piles under these types of loads in terms of displacements and bearing capacity. The study presented in this thesis aims to ameliorate the prediction of the behavior of piles under axial monotonic and cyclic loads. This thesis is divided into two parts. The issue of the first part is the prediction of the settlement of a pile submitted to monotonic and axial load. This part focuses on the estimation of settlements because a correct design of a pile requires a correct estimation of bearing capacity as well as displacements. The approach used in this part is the load transfer method. The study starts by a statistical analysis of the t-z model of Frank and Zhao which is generally used for the calculation of pile settlements. Two new t-z models of settlement calculation are presented and analyzed later. Moreover, a comparative analysis between the three t-z models is presented in this study. The aim of this analysis is to estimate the dispersion of the models using the comparison between calculated settlements and measured settlements listed in IFSTTAR’s database. The second part of the thesis deals with the issue of cyclic loads. Indeed, different structures can be subjected to cyclic loads and disorders can be noted due to the accumulation of displacements at the top of the pile. The aim of this part is to propose a calculation model allowing essentially the estimation the evolution of bearing capacity during cycles. It permits also the estimation of displacements. The model developed in this part is based on load transfer approach, and is associated to two calculation methods of degradation of shaft friction. This model is firstly presented, and then it is applied to a theoretical case. In order to validate this model, its numerical results are compared to experimental results of full scale pile tests

In this paper we study through iterative methods the minimization problem min_{x∈C} £K(x) (P) where the set C of constraints is the set of fixed points of a nonexpansive mapping T in a real Hilbert space H, and the objective function £K:H¡÷R is supposed to be continuously Gateaux dierentiable. The gradient projection method for solving problem (P) involves with the projection P_{C}. When C = Fix(T), we provide a so-called hybrid iterative method for solving (P) and the method involves with the mapping T only. Two special cases are included: (1) £K(x)=(1/2)||x-u||^2 and (2) £K(x)=<Ax,x> - <x,b>. The first case corresponds to finding a fixed point of T which is closest to u from the fixed point set Fix(T). Both cases have received a lot of investigations recently.

We study a class of differential inclusions involving maximal monotone relations, which cover a huge class of problems in mathematical physics. For this purpose we introduce the time derivative as a continuously invertible operator in a suitable Hilbert space. It turns out that this realization is a strictly monotone operator and thus, the question on existence and uniqueness can be answered by well-known results in the theory of maximal monotone relations. Furthermore, we show that the resulting solution operator is Lipschitz-continuous and causal, which is a natural property of evolutionary processes. Finally, the results are applied to a system of partial differential equations and inclusions, which describes the diffusion of a compressible fluid through a saturated, porous, plastically deforming media, where certain hysteresis phenomena are modeled by maximal montone relations.

Cette thèse est consacrée à la résolution d'un problème fondamental de l'analyse variationnelle qu'est la recherchede zéros d'opérateurs maximaux monotones dans un espace de Hilbert. Nous nous sommes tout d'abord intéressés au cas de l'opérateur somme étendue de deux opérateurs maximaux monotones; la recherche d'un zéro de cet opérateur est un problème dont la bibliographie est peu fournie: nous proposons une version modifiée de l'algorithme d'éclatement forward-backward utilisant à chaque itération, l'epsilon-élargissement d'un opérateur maximal monotone,afin de construire une solution. Nous avons ensuite étudié la convergence d'un nouvel algorithme de faisceaux pour construire ID zéro d'un opérateur maximal monotone quelconque en dimension finie. Cet algorithme fait intervenir une double approximation polyédrale de l'epsilon-élargissement de l'opérateur considéré / This thesis is devoted to solving a basic problem of variational analysis which is the search of zeros of maximal monotone operators in a Hilbert space. First of aIl, we concentrate on the case of the extended som of two maximal monotone operators; the search of a zero of this operator is a problem for which the bibliography is not abondant: we purpose a modified version of the forward-backward splitting algorithm using at each iteration, the epsilon-enlargement of a maximal monotone operator, in order to construet a solution. Secondly, we study the convergence of a new bondie algorithm to construet a zero of an arbitrary maximal monotone operator in a finite dimensional space. In this algorithm, intervenes a double polyhedral approximation of the epsilon-enlargement of the considered operator

Le but de cette thèse est d'élaborer des méthodes d'éclatement basées sur les distances de Bregman pour la résolution d'inclusions monotones composites dans les espaces de Banach réels réflexifs. Ces résultats nous permettent d'étendre de nombreuses techniques, jusqu'alors limitées aux espaces hilbertiens. De plus, même dans le cadre restreint d'espaces euclidiens, ils donnent lieu à de nouvelles méthodes de décomposition qui peuvent s'avérer plus avantageuses numériquement que les méthodes classiques basées sur la distance euclidienne. Des applications numériques en traitement de l'image sont proposées. / The goal of this thesis is to design splitting methods based on Bregman distances for solving composite monotone inclusions in reflexive real Banach spaces. These results allow us to extend many techniques that were so far limited to Hilbert spaces. Furthermore, even when restricted to Euclidean spaces, they provide new splitting methods that may be more avantageous numerically than the classical methods based on the Euclidean distance. Numerical applications in image processing are proposed.

Cette thèse étudie la théorie de la correspondance et la théorie des preuves pour la logique modale monotone et les logiques qui en sont proches.La première partie de la thèse établit une connexion formelle entre la théorie de la correspondance algorithmique et des résultats de caractérisation duale pour les treillis finis, similaire à la caractérisation par Nation d'une hiérarchie de variétés de treillis qui généralise les treillis distributifs. Cette connexion formelle est établie en utilisant la logique modale monotone. Nous adaptons l'algorithme ALBA pour la correspondance à l'environnement de la logique modale monotone, et nous utilisons un encodage, induit par une dualité, des treillis finis sous forme de 'neighbourhood frames' pour traduire les termes de la théorie des treillis en formules de la logic modal monotone.La deuxième partie de la thèse étend la théorie des 'display calculi' à la logique Baltag-Moss-Solecki pour les actions épistémiques et la connaissance (Epistemic Actions and Knowledge), à la logique modale monotone et à la logique propositionnelle dynamique (PDL). Nos résultats incluent plusieurs méta-théorèmes d'élimination de la coupure qui généralisent le théorème original de Belnap dans des dimensions différentes et indépendantes. Les deux principales généralisations des 'display calculi' traitées dans la thèse sont : la généralisation d'une théorie pour les langages ne contenant qu'un seul type à une théorie pour les langages contenant plusieurs types, et la généralisation d'une théorie pour les calculs satisfaisant la propriété de 'display' aux calculs ne la satisfaisant pas. / The present thesis focuses on Monotone Modal Logic and closely related logics from the point of view of Correspondence Theory and Proof Theory.The first part of the thesis establishes a formal connection between algorithmic corre- spondence theory and certain dual characterization results for finite lattices, similar to Nation's characterization of a hierarchy of pseudovarieties of finite lattices progressively generalizing finite distributive lattices. This formal connection is established through monotone modal logic. Specifically, we adapt the correspondence algorithm ALBA to the setting of monotone modal logic, and we use a certain duality-induced encoding of finite lattices as monotone neighbourhood frames to translate lattice terms into formulas in monotone modal logic.The second part of the thesis extends the theory of display calculi to Baltag-Moss- Solecki's logic of Epistemic Actions and Knowledge (EAK), Monotone Modal Logic (MML), and Propositional Dynamic Logic (PDL). Our results include several cut-elimination metatheorems, which generalize the original metatheorem of Belnap in different and mutually independent dimensions. The two main generalizations of display calculi treated in the thesis are: the generalization from single type to multi-type languages, and from the full or relativized display property to no display property.

An NNF circuit is a directed acyclic graph (DAG), where each leaf is labelled with either true/false or a literal, and each inner node represents either a conjunction (∧) or a disjunction (∨). A decomposable NNF (DNNF) is an NNF satisfying the decomposabi- lity property for each conjunction node. The C-BDMC language generalizes the DNNF language. In a C-BDMC, the leaves can contain CNF formulae from a given base class C. In this paper, we focus only on renamable Horn formulae. We experimentally compare the sizes of d-BDMC and d-DNNF representations. We describe a new compilation langu- age, called cara DNNF (c-DNNF), that generalizes the DNNF language. A c-DNNF circuit can be considered as a compressed representation of a DNNF circuit. We present a new experimental knowledge compiler, called CaraCompiler, for converting a CNF formula into a d-BDMC or a (c)d-DNNF circuit. CaraCompiler is based on the state-of-the-art compiler D4. Also, we mention some extensions for the compiler D4, such as caching hypergraph cuts that can reduce the compilation times. 1

We study a class of differential inclusions involving maximal monotone relations, which cover a huge class of problems in mathematical physics. For this purpose we introduce the time derivative as a continuously invertible operator in a suitable Hilbert space. It turns out that this realization is a strictly monotone operator and thus, the question on existence and uniqueness can be answered by well-known results in the theory of maximal monotone relations. Furthermore, we show that the resulting solution operator is Lipschitz-continuous and causal, which is a natural property of evolutionary processes. Finally, the results are applied to a system of partial differential equations and inclusions, which describes the diffusion of a compressible fluid through a saturated, porous, plastically deforming media, where certain hysteresis phenomena are modeled by maximal montone relations.

Doctor of Philosophy / Department of Mathematics / Alexander G. Ramm / Several methods for a stable solution to the equation $F(u)=f$ have been developed. Here $F:H\to H$ is an operator in a Hilbert space $H$, and we assume that noisy data $f_\delta$, $\|f_\delta-f\|\le \delta$, are given in place of the exact data $f$. When $F$ is a linear bounded operator, two versions of the Dynamical Systems Method (DSM) with stopping rules of Discrepancy Principle type are proposed and justified mathematically. When $F$ is a non-linear monotone operator, various versions of the DSM are studied. A Discrepancy Principle for solving the equation is formulated and justified. Several versions of the DSM for solving the equation are formulated. These methods consist of a Newton-type method, a gradient-type method, and a simple iteration method. A priori and a posteriori choices of stopping rules for these methods are proposed and justified. Convergence of the solutions, obtained by these methods, to the minimal norm solution to the equation $F(u)=f$ is proved. Iterative schemes with a posteriori choices of stopping rule corresponding to the proposed DSM are formulated. Convergence of these iterative schemes to a solution to the equation $F(u)=f$ is proved. This dissertation consists of six chapters which are based on joint papers by the author and his advisor Prof. Alexander G. Ramm. These papers are published in different journals. The first two chapters deal with equations with linear and bounded operators and the last four chapters deal with non-linear equations with monotone operators.

Some well-studied infinite-state stochastic models give rise to systems of nonlinear equations. These systems of equations have solutions that are probabilities, generally probabilities of termination in the model. We are interested in finding efficient, preferably polynomial time, algorithms for calculating probabilities associated with these models. The chief tool we use to solve systems of polynomial equations will be Newton’s method as suggested by [EY09]. The main contribution of this thesis is to the analysis of this and related algorithms. We give polynomial-time algorithms for calculating probabilities for broad classes of models for which none were known before. Stochastic models that give rise to such systems of equations include such classic and heavily-studied models as Multi-type Branching Processes, Stochastic Context- Free Grammars(SCFGs) and Quasi Birth-Death Processes. We also consider models that give rise to infinite-state Markov Decision Processes (MDPs) by giving algorithms for approximating optimal probabilities and finding policies that give probabilities close to the optimal probability, in several classes of infinite-state MDPs. Our algorithms for analysing infinite-state MDPs rely on a non-trivial generalization of Newton’s method that works for the max/min polynomial systems that arise as Bellman optimality equations in these models. For SCFGs, which are used in statistical natural language processing, in addition to approximating termination probabilities, we analyse algorithms for approximating the probability that a grammar produces a given string, or produces a string in a given regular language. In most cases, we show that we can calculate an approximation to the relevant probability in time polynomial in the size of the model and the number of bits of desired precision. We also consider more general systems of monotone polynomial equations. For such systems we cannot give a polynomial-time algorithm, which pre-existing hardness results render unlikely, but we can still give an algorithm with a complexity upper bound which is exponential only in some parameters that are likely to be bounded for the monotone polynomial equations that arise for many interesting stochastic models.