Consolidation (sol)La consolidation est, selon K. von Terzaghi, . Le plus souvent c'est par tassement, sous l'action à long terme des charges statiques, que s'effectue cette compaction avec expulsion de l'eau interstitielle. L'étude du phénomène de consolidation est essentielle dans la compréhension des phénomènes de tassement en construction. Elle est une composante de la mécanique des fondations. Il existe différentes méthodes pour prédire l'amplitude du tassement par consolidation.
Mécanique des solsLa mécanique des sols est la plus ancienne, la plus connue et la plus pratiquée des branches de la géomécanique, discipline mathématique de la géotechnique, pour l’étude du comportement théorique des formations détritiques meubles de la couverture terrestre, sous l’action d’efforts naturels d’érosion (glissements de terrain...), ou induits lors de la construction de la plupart des ouvrages du BTP (terrassements, fondations, drainage...). Les « sols » de cette mécanique - mélanges divers et variés d’argiles, sables, graves.
Effective stressThe effective stress can be defined as the stress, depending on the applied tension and pore pressure , which controls the strain or strength behaviour of soil and rock (or a generic porous body) for whatever pore pressure value or, in other terms, the stress which applied over a dry porous body (i.e. at ) provides the same strain or strength behaviour which is observed at ≠ 0. In the case of granular media it can be viewed as a force that keeps a collection of particles rigid.
Mécanique (technique)La mécanique en tant que technique ou activité industrielle, est l'ensemble des activités, méthodes et techniques liées à la conception de structures (charpentes, coques, bâtis), machines ou de mécanismes. Ces activités regroupent l'étude, la conception, la fabrication, la maintenance et la déconstruction de toute structure ou dispositif (moteurs, véhicules) produisant ou transmettant un mouvement, une force, ou une déformation.
Mécanique (science)vignette|Gyroscope. Le gyroscope tient en équilibre sur la pointe fixe par le jeu des forces mécaniques (en particulier le couple de rappel) engendrées par la rotation rapide du disque au centre. La mécanique (du grec ancien , « l'art mécanique ») est une branche de la physique dont l'objet est l'étude du mouvement, des déformations ou des états d'équilibre des systèmes physiques. Cette science vise ainsi à décrire les mouvements de différentes sortes de corps, depuis les particules subatomiques avec la mécanique quantique, jusqu'aux galaxies avec la mécanique céleste.
Capacité portantevignette|Mesure de portance d'un sol, essai à la dynaplaque Maxidyn. La capacité portante d'un sol se caractérise par sa résistance au tassement en fonction de la cohésion et des frottements internes. La contrainte admissible se mesure en (ou anciennement en kgf/cm ou en bar). C'est une pression et le kN/m est aussi un kilopascal (kPa). La capacité portante d'un sol est une performance technique spécifique qu'il est indispensable de connaître pour établir le système de fondation d'un ouvrage.
Géomécaniquethumb|alt= id PB géomec|Les problèmes géomécaniques La géomécanique est l’outil mathématique de la géotechnique ; elle synthétise la mécanique des sols, la mécanique des roches, l’hydraulique souterraine et une partie de la sismique. Lors d’études géotechniques pour aménager et/ou exploiter la subsurface terrestre : projeter, construire et entretenir un ouvrage ; assurer la stabilité d’un talus de remblais ou de déblais, d’une excavation souterraine, d’un soutènement, estimer celle d’un versant naturel ; éviter la rupture et limiter le tassement d’une fondation d’ouvrage ; estimer le débit d’un puits, d’un drain, d’une fouille à épuiser.
Fondation (construction)Une fondation se définit comme la partie d'un bâtiment ou d'un ouvrage de travaux publics qui assure la transmission dans le sol des charges (poids propre, forces climatiques, sismiques et charges d'exploitation) de celui-ci. Les fondations d’un bâtiment représentent un enjeu essentiel de sa construction, car elles forment la partie structurelle qui assure sa portance et permet de contrôler les tassements dus aux charges qu'il applique au sol et les infiltrations dues à la présence éventuelle d'eau dans le terrain.
Lateral earth pressureLateral earth pressure is the pressure that soil exerts in the horizontal direction. The lateral earth pressure is important because it affects the consolidation behavior and strength of the soil and because it is considered in the design of geotechnical engineering structures such as retaining walls, basements, tunnels, deep foundations and braced excavations. The earth pressure problem dates from the beginning of the 18th century, when Gautier listed five areas requiring research, one of which was the dimensions of gravity-retaining walls needed to hold back soil.
Deep foundationA deep foundation is a type of foundation that transfers building loads to the earth farther down from the surface than a shallow foundation does to a subsurface layer or a range of depths. A pile or piling is a vertical structural element of a deep foundation, driven or drilled deep into the ground at the building site. There are many reasons that a geotechnical engineer would recommend a deep foundation over a shallow foundation, such as for a skyscraper.
GéotechniqueDans le groupe des géosciences, la géotechnique est la technoscience consacrée à l’étude pratique de la subsurface terrestre sur laquelle notre action directe est possible pour son aménagement et/ou son exploitation, lors d’opérations de BTP (génie civil, bâtiment, carrières), de gestion des eaux souterraines (exploitation, drainage) et de prévention des risques naturels.
Fondation superficielleLes fondations superficielles sont un type de fondation utilisé lors d'une construction sur un terrain stable et qui, contrairement aux fondations profondes et semi-profondes, ne s'enfonce que légèrement dans le sol. Elles prennent le plus souvent la forme de plots de fondation ou d'une semelle. Il s'agit du type de fondation la plus utilisée pour la construction d'habitations. La profondeur des fondations superficielles n'excède pas , dans le cas opposé, on parle de puits ou de pieux.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Théorie des types homotopiquesvignette| Couverture de la Théorie des types homotopiques : Fondations univalentes des mathématiques. Dans la logique mathématique et de l’informatique, la théorie des types homotopiques (en anglais : Homotopy Type Theory HoTT) fait référence à différentes lignes de développement de la théorie des types intuitionnistes, basée sur l’interprétation des types comme des objets auxquels l’intuition de la théorie de l’homotopie s’applique.
Mécanique des solides déformablesLa est la branche de la mécanique des milieux continus qui étudie le comportement mécanique des matériaux solides, en particulier leurs mouvements et leurs déformations sous l'action de forces, de changements de température, de changements de phase ou d'autres actions externes ou internes. Une application typique de la mécanique des solides déformables consiste à déterminer à partir d'un certaine géométrie solide d'origine et des chargements qui lui sont appliqués, si le corps répond à certaines exigences de résistance et de rigidité.
Constraint logic programmingConstraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is . In this clause, is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.
Problème de satisfaction de contraintesLes problèmes de satisfaction de contraintes ou CSP (Constraint Satisfaction Problem) sont des problèmes mathématiques où l'on cherche des états ou des objets satisfaisant un certain nombre de contraintes ou de critères. Les CSP font l'objet de recherches intenses à la fois en intelligence artificielle et en recherche opérationnelle. De nombreux CSP nécessitent la combinaison d'heuristiques et de méthodes d'optimisation combinatoire pour être résolus en un temps raisonnable.
