Poutre (construction)right|thumb|Poutres et solives dans une maison polonaise Une poutre est à l'origine un bois de brin, de manière préférentielle du chêne, équarri à la scie de long ou à la hache (cognée, herminette et doloire de charpentier), et qui était donc de toute la grosseur des arbres; c'est-à-dire qu'on n'avait enlevé du tronc que les dosses, laissant le duramen quasi intact. Elle peut servir à faire des clôtures. Le côté d’une poutre est selon NF B50-002 supérieur à 120 millimètres.
Porte-à-fauxUne installation ou système est dit en porte-à-faux lorsqu'un élément est soutenu par une partie qui est elle-même au-dessus du vide, c'est-à-dire sans support immédiat en dessous de l'élément en « porte-à-faux ». En ingénierie structurelle, en architecture, dans l'aéronautique et plusieurs autres domaines techniques, on utilise également le synonyme cantilever emprunté à l'anglais.
Flèche (résistance des matériaux)En résistance des matériaux, la flèche est usuellement la valeur maximale du déplacement d'une poutre. En l'absence d'effort normal important, la déformée d'une poutre est liée au moment fléchissant par la relation où est la dérivée seconde de la déformée, est le module d'élasticité (module de Young) du matériau, et le moment quadratique (inertie) de la section de la poutre. Pour obtenir l'équation de la déformée, on intègre deux fois en déterminant les constantes d'intégration à l'aide des conditions aux limites.
HyperstatismeLe but de l'assemblage des pièces est de réaliser une ou plusieurs fonctions. Une des fonctions peut consister à être une structure immobile (bâtiment, pont...), ou bien à réaliser un travail (par exemple déplacer une charge). Dans tous les cas, chaque pièce est en contact avec plusieurs autres, ce qui va d'une part limiter les mouvements de chaque pièce, et d'autre part permettre la transmission d'efforts.
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.
Diagramme de Feynmanupright=1.2|vignette|Diagramme de Feynman : un électron et un positron (e- et e+) s'annihilent en produisant un photon virtuel (en bleu) qui devient une paire quark-antiquark (q et q̄), puis l'antiquark émet un gluon (en vert). Le temps est ici en abscisse, de gauche à droite ; l'espace est en ordonnée.Les flèches symbolisent le type de l'objet (particules ">", vers le futur, et anti particule "
Moteur à combustion internevignette|upright|Moteur à quatre temps. Un moteur à combustion interne ou MCI ( ou ICE) est un type de , c'est-à-dire un moteur permettant d'obtenir un travail mécanique à partir d'un gaz en surpression, cette dernière étant obtenue à l'aide d'un processus de combustion. Dans le cas d'un moteur à combustion interne, cette combustion a lieu à l'intérieur du moteur. Il existe deux grands types de moteurs à combustion interne : les moteurs produisant un couple sur un arbre mécanique et les moteurs à réaction éjectant rapidement un fluide par une tuyère.
Bending momentIn solid mechanics, a bending moment is the reaction induced in a structural element when an external force or moment is applied to the element, causing the element to bend. The most common or simplest structural element subjected to bending moments is the beam. The diagram shows a beam which is simply supported (free to rotate and therefore lacking bending moments) at both ends; the ends can only react to the shear loads. Other beams can have both ends fixed (known as encastre beam); therefore each end support has both bending moments and shear reaction loads.
Particule virtuelleEn physique, une particule virtuelle est une fluctuation quantique transitoire, dont les caractéristiques sont proches de celles d'une particule ordinaire, mais qui existe pendant un temps limité du fait du principe d'incertitude. Le concept de particule virtuelle vient de la théorie des perturbations de la théorie quantique des champs dans laquelle les interactions entre particules ordinaires sont décrites en termes d'échanges de particules virtuelles. vignette|Échange d'une particule entre p1 et p2.
Force (physique)Une force modélise, en physique classique, une action mécanique exercée sur un objet ou une partie d'un objet par un autre objet ou partie d'objet. L'ensemble des forces appliquées à un objet a pour effet de lui communiquer une accélération ou de le déformer. Introduit antérieurement , le concept de force a été précisé en 1684 par Isaac Newton, qui en a fait l'un des fondements de la mécanique newtonienne. Le concept de force est ancien, mais il a mis longtemps à obtenir une nouvelle définition utilisable.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
I-beamI-beam is a generic lay term for a variety of structural members with an or -shaped cross-section. Technical terms for similar items include H-beam (for universal column, UC), w-beam (for "wide flange"), universal beam (UB), rolled steel joist (RSJ), or double-T (especially in Polish, Bulgarian, Spanish, Italian and German). I-beams are typically made of structural steel and serve a wide variety of construction uses. The horizontal elements of the are called flanges, and the vertical element is known as the "web".
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
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.
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).
Flexion (matériau)En physique (mécanique), la flexion est la déformation d'un objet sous l'action d'une charge. Elle se traduit par une courbure. Dans le cas d'une poutre, elle tend à rapprocher ses deux extrémités. Dans le cas d'une plaque, elle tend à rapprocher deux points diamétralement opposés sous l'action. L'essai de flexion d'une poutre est un essai mécanique utilisé pour tester la résistance en flexion. On utilise la flexion dite « trois points » et la flexion dite « quatre points ».
