Arbre de défaillancesthumb|Exemple d'arbre de défaillances. Un arbre de défaillances ou ADD (aussi appelé arbre de pannes ou arbre de fautes) est une technique d’ingénierie très utilisée dans les études de sécurité et de fiabilité des systèmes statiques (un système statique est un système dont la défaillance ne dépend pas de l'ordre de défaillance de ses composants), ainsi que dans l'analyse de cause racine (ACR). Cette méthode consiste à représenter graphiquement les combinaisons possibles d’événements qui permettent la réalisation d’un événement indésirable prédéfini.
Taux de défaillanceLe taux de défaillance, ou taux de panne, est une expression relative à la fiabilité des équipements et de chacun de leurs composants. Son symbole est la lettre grecque λ (lambda). Le taux de défaillance d'un équipement à l'instant t est la limite, si elle existe, du quotient de la probabilité conditionnelle que l'instant T de la (première) défaillance de cet équipement soit compris dans l'intervalle de temps donné [t, t + Δt] par la durée Δt de cet intervalle, lorsque Δt tend vers zéro, en supposant que l'entité soit disponible au début de l'intervalle de temps.
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.
Mur de soutènementLe mur de soutènement est un mur vertical ou sub-vertical qui permet de contenir des terres (ou tout autre matériau granulaire ou pulvérulent) sur une surface réduite.
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.
Murvignette|Mur gouttereau en maçonnerie de pierres rouges (ruffes), blanches et grises à Octon dans l'Hérault, France. Un mur est une structure solide, faite de pierres, de briques, de parpaings ou d'un autre matériau, qui sépare ou délimite deux espaces. Dans les bâtiments les murs forment les pièces. En plus de définir l'espace intérieur du bâtiment, leur utilité est en règle générale de soutenir les étages et la toiture. En plein air, ils délimitent un espace, offrant une zone de sécurité contre les intrusions ou restreignant simplement la libre circulation des animaux ou des personnes.
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.
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.
Geothermal powerGeothermal power is electrical power generated from geothermal energy. Technologies in use include dry steam power stations, flash steam power stations and binary cycle power stations. Geothermal electricity generation is currently used in 26 countries, while geothermal heating is in use in 70 countries. As of 2019, worldwide geothermal power capacity amounts to 15.4 gigawatts (GW), of which 23.9 percent or 3.68 GW are installed in the United States.
Métrothumb|Station Clapham Common du métro de Londres. vignette|Quais de la station Shinjuku du métro de Tokyo (Japon). vignette|Vue du quai d'une station de la ligne 1 du métro du Caire (Égypte). alt=|vignette| Une rame quittant la station Mouton-Duvernet du métro de Paris. vignette|Station Komsomolskaïa (Ligne Koltsevaïa) du métro de Moscou. vignette|Station 86th Street (Ligne Q) du métro de New York. Le 'métro, apocope de métropolitain', pour « chemin de fer métropolitain », est un moyen de transport en commun urbain.
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.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
