Force centripèteLe terme force centripète (« qui tend à rapprocher du centre », en latin) désigne une force permettant de maintenir un objet dans une trajectoire incurvée, généralement une conique (cercle, ellipse, parabole, hyperbole). En effet, tout objet décrivant une trajectoire de ce type possède en coordonnées cylindriques une accélération radiale non nulle, appelée accélération centripète, qui est dirigée vers le centre de courbure. D'un point de vue dynamique, le principe fondamental de la dynamique (PFD) indique alors la présence d'une force radiale dirigée elle aussi vers le centre de courbure.
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).
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.
Force résultantethumb|Le vecteur (en rouge) est la force résultante de l'addition des vecteurs (en vert) et (en bleu). En physique classique, la force résultante est la somme vectorielle de toutes les forces que subit un corps. Mathématiquement, la force résultante d'un système subissant n forces s'écrit : Tout comme les autres forces, la force résultante possède une grandeur et une orientation. Elle peut aussi être définie comme étant la force globale agissant sur un objet, quand toutes les forces agissant sur celui-ci sont ajoutées.
Isolement d'un solidevignette|Schéma isolant un solide afin de percevoir l'ensemble des forces qui s'exercent dessus. En mécanique, l'isolement d'un solide est le fait de représenter un objet seul avec les forces extérieures s'exerçant sur lui. On utilise parfois le terme diagramme du corps libre, dont l'abréviation est DCL, traduction littérale de l'anglais free body diagram (FBD). Son utilisation peut faciliter grandement la résolution de problèmes en mécanique ou en cinématique.
Force d'inertieUne force d'inertie, ou inertielle, ou force fictive, ou pseudo-force est une force apparente qui agit sur les masses lorsqu'elles sont observées à partir d'un référentiel non inertiel, autrement dit depuis un point de vue en mouvement accéléré (en translation ou en rotation). La force d'inertie est donc une résistance opposée au mouvement par un corps, grâce à sa masse. L'équation fondamentale de la dynamique, dans la formulation initiale donnée par Newton, est valable uniquement dans des référentiels inertiels (dits aussi galiléens).
Couple (physique)En physique et particulièrement en mécanique, un couple est un ensemble de forces de résultante nulle, dont en revanche le moment total n'est généralement pas nul. Le terme « couple » vient du fait que le couple le plus simple est un ensemble de deux forces opposées (de même direction et de même intensité, mais de sens opposés). Le moment d'un couple par rapport à un point ou par rapport à un axe ne dépend pas de la position du point ou de l'axe.
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.
Ingénierie des structuresL'ingénierie des structures est un domaine de l'ingénierie et plus particulièrement du génie civil, traitant de la stabilité des constructions (conception et de l'analyse des structures). Une structure est soumise à différentes actions, permanentes ou variables dans le temps, statiques ou dynamiques, de nature mécanique ou thermique, et sa conception vise à satisfaire certains critères vis-à-vis de ces actions : Sécurité : sa résistance, son équilibre et sa stabilité doivent être assurés avec une probabilité choisie ; Performance : son fonctionnement et le confort associés doivent être garantis pour une durée suffisante ; Durabilité : la dégradation de la structure dans le temps doit être limitée et maîtrisée pour satisfaire les deux premiers critères.
Structural engineerStructural engineers analyze, design, plan, and research structural components and structural systems to achieve design goals and ensure the safety and comfort of users or occupants. Their work takes account mainly of safety, technical, economic, and environmental concerns, but they may also consider aesthetic and social factors. Structural engineering is usually considered a specialty discipline within civil engineering, but it can also be studied in its own right.
Type constructorIn the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors. Some type constructors take another type as an argument, e.g., the constructors for product types, function types, power types and list types. New types can be defined by recursively composing type constructors.
Structural integrity and failureStructural integrity and failure is an aspect of engineering that deals with the ability of a structure to support a designed structural load (weight, force, etc.) without breaking and includes the study of past structural failures in order to prevent failures in future designs. Structural integrity is the ability of an item—either a structural component or a structure consisting of many components—to hold together under a load, including its own weight, without breaking or deforming excessively.
