Equatorial bulgeAn equatorial bulge is a difference between the equatorial and polar diameters of a planet, due to the centrifugal force exerted by the rotation about the body's axis. A rotating body tends to form an oblate spheroid rather than a sphere. Earth ellipsoid The planet Earth has a rather slight equatorial bulge; its equatorial diameter is about greater than its polar diameter, with a difference of about of the equatorial diameter. If Earth were scaled down to a globe with an equatorial diameter of , that difference would be only .
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Résistance des matériauxvignette|Essai de compression sur une éprouvette de béton, une pression croissante est appliquée verticalement sur l'échantillon pendant que deux appareils mesurent les déformations longitudinales et transversales de l'éprouvette. vignette|À l'issue du test, l'éprouvette s'est rompue. Notez la cassure longitudinale. La résistance des matériaux (RDM) est une discipline particulière de la mécanique des milieux continus, permettant le calcul des contraintes et déformations dans les structures des différents matériaux (machines, génie mécanique, bâtiment et génie civil).
StressLe stress (de l'anglais stress ) est, en biologie, l'ensemble des réactions d'un organisme soumis à des pressions ou contraintes de l'environnement, les . Ces réactions dépendent toujours de la perception qu'a l'individu des pressions qu'il ressent. Selon la définition médicale, il s'agit d'une séquence complexe de situations provoquant des réactions physiologiques, psychosomatiques. Par extension tous ces incidents sont également qualifiés de stress. Dans le langage courant, on parle de stress positif (eustress en anglais) ou négatif (distress).
Stress chez l'humainLe 'stress chez l'humain' qualifie à la fois une situation contraignante et les processus physiologiques mis en place par l'organisme pour s'y adapter. Chez l'adulte, le stress peut avoir des origines physiques, pathogéniques (ayant une maladie génétique, infectieuse ou parasitaire comme origine par exemple), socio-psychiques, médiées par divers processus hormonaux (hormones, ou molécules de stress), chimiques et biochimiques de l'organisme.
Stress–strain analysisStress–strain analysis (or stress analysis) is an engineering discipline that uses many methods to determine the stresses and strains in materials and structures subjected to forces. In continuum mechanics, stress is a physical quantity that expresses the internal forces that neighboring particles of a continuous material exert on each other, while strain is the measure of the deformation of the material. In simple terms we can define stress as the force of resistance per unit area, offered by a body against deformation.
DissipationEn physique, la dissipation désigne le phénomène selon lequel un système dynamique (onde, oscillation...) perd de l'énergie au cours du temps. Cette perte est principalement due aux frottements et aux turbulences, et l'énergie correspondante est alors dégradée en chaleur, une forme d'énergie qui ne pourra pas être intégralement retransformée en énergie mécanique, comme l'affirme le deuxième principe de la thermodynamique. Amortissement Dissipateur thermique Entropie Hystérésis Théorème de fluctuation-dissi
Tenseur des contraintesLe tenseur des contraintes est un tenseur d'ordre 2 utilisé en mécanique des milieux continus pour caractériser l'état de contrainte, c'est-à-dire les efforts intérieurs mis en jeu entre les portions déformées d'un milieu. Le terme a été introduit par Cauchy vers 1822. Comme les efforts intérieurs sont définis pour chaque surface coupant le milieu (on parle d'ailleurs également d'efforts surfaciques), le tenseur est défini localement, en chaque point du solide. L'état de contrainte du solide est donc représenté par un champ tensoriel.
Rayon de la Terrevignette|upright=0.7|Rayon de la Terre (en jaune) en fonction de la latitude (φ) comparé à la distance perpendiculaire entre l'axe de rotation de la Terre et la surface (en bleu). Le rayon de la Terre ( ou ) est la distance entre le centre de la Terre et sa surface, d'une valeur d'environ selon divers modèles sphériques. Cette unité de longueur est utilisée dans des domaines tels l'astronomie et la géologie. La Terre n'est pas parfaitement sphérique et les distances entre sa surface et son centre varient de (fond de l'océan Arctique) à (sommet du Chimborazo).
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é.
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.
