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.
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 ».
Diagramme des efforts intérieursEn théorie des poutres, les diagrammes des efforts intérieurs désignent le tracé des efforts subis par la poutre en fonction de la position le long de cette dernière. Les principaux diagrammes des efforts intérieurs sont ceux de l'effort tranchant (V) et du moment de flexion (M). On parle alors de diagrammes V-M. Les diagrammes V-M sont généralement tracés l'un sous l'autre directement sous la poutre.
Traffic flowIn mathematics and transportation engineering, traffic flow is the study of interactions between travellers (including pedestrians, cyclists, drivers, and their vehicles) and infrastructure (including highways, signage, and traffic control devices), with the aim of understanding and developing an optimal transport network with efficient movement of traffic and minimal traffic congestion problems.
GéométrieLa géométrie est à l'origine la branche des mathématiques étudiant les figures du plan et de l'espace (géométrie euclidienne). Depuis la fin du , la géométrie étudie également les figures appartenant à d'autres types d'espaces (géométrie projective, géométrie non euclidienne ). Depuis le début du , certaines méthodes d'étude de figures de ces espaces se sont transformées en branches autonomes des mathématiques : topologie, géométrie différentielle et géométrie algébrique.
ConsiderationConsideration is a concept of English common law and is a necessity for simple contracts but not for special contracts (contracts by deed). The concept has been adopted by other common law jurisdictions. The court in Currie v Misa declared consideration to be a “Right, Interest, Profit, Benefit, or Forbearance, Detriment, Loss, Responsibility”. Thus, consideration is a promise of something of value given by a promissor in exchange for something of value given by a promisee; and typically the thing of value is goods, money, or an act.
StructureA structure is an arrangement and organization of interrelated elements in a material object or system, or the object or system so organized. Material structures include man-made objects such as buildings and machines and natural objects such as biological organisms, minerals and chemicals. Abstract structures include data structures in computer science and musical form. Types of structure include a hierarchy (a cascade of one-to-many relationships), a network featuring many-to-many links, or a lattice featuring connections between components that are neighbors in space.
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.
Armature (technique)thumb|Une cage d'armature fabriquée à partir de barres d'acier. Elle sera mise en place dans le coffrage avant le coulage du béton pour augmenter la résistance à la traction du béton. right|thumb|Construction du mur de l'Atlantique en 1943. Une barre d'armature, ou fer à béton, est une barre d'acier utilisée pour le renforcement du béton (béton armé) ou de la maçonnerie (pierre armée). Elle est composée d'acier faiblement carboné, et possède une surface nervurée pour améliorer son adhérence avec le béton.
Câble électriqueUn câble électrique est un regroupement de fils conducteurs avec parfois un, ou plusieurs, blindages électromagnétiques intérieurs/extérieurs. Un câble électrique peut être utilisé pour le transport d'énergie électrique mais aussi pour la transmission de données (téléphone, informatique, télévision). thumb|upright|Câble électrique haute tension (Musée de l'Université de Dundee.). Un câble électrique est constitué de fils de cuivre isolés et aussi de paires torsadées pour la transmission de données.
Câble sous-marinvignette|Arrivée (atterrissement) à New York (Rockoway Beach) du premier câble sous-marin reliant l'Italie (Rome) à l'Amérique du Nord. Ce câble passait par les Açores et Malaga en Espagne (photo de 1925). Un 'câble sous-marin' est un câble posé sur le fond marin (ou quelquefois ensouillé, c'est-à-dire enterré) et destiné à acheminer des télécommunications ou à transporter de l'énergie électrique. La plupart des télécommunications mondiales transitent par des câbles sous-marins.
Structural loadA structural load or structural action is a force, deformation, or acceleration applied to structural elements. A load causes stress, deformation, and displacement in a structure. Structural analysis, a discipline in engineering, analyzes the effects of loads on structures and structural elements. Excess load may cause structural failure, so this should be considered and controlled during the design of a structure. Particular mechanical structures—such as aircraft, satellites, rockets, space stations, ships, and submarines—are subject to their own particular structural loads and actions.
