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.
Séisme induitUn séisme induit est un séisme déclenché directement ou indirectement par des activités humaines. Il se produit quand l'Homme modifie le jeu des forces et contraintes visco-élastiques et poro-élastiques géologiques, par exemple via des modifications géographiques, tridimensionnelles et temporelles de poids, de tensions, de fronts de pression, de points de compression, de déplacement des seuils de rupture mécanique des roches, etc.).
Mécanique des fluidesLa mécanique des fluides est un domaine de la physique consacré à l’étude du comportement des fluides (liquides, gaz et plasmas) et des forces internes associées. C’est une branche de la mécanique des milieux continus qui modélise la matière à l’aide de particules assez petites pour relever de l’analyse mathématique, mais assez grandes par rapport aux molécules pour être décrites par des fonctions continues. Elle comprend deux sous-domaines : la statique des fluides, qui est l’étude des fluides au repos, et la dynamique des fluides, qui est l’étude des fluides en mouvement.
Aléa sismiquevignette|Ceinture de feu du Pacifique L'aléa sismique est la probabilité qu'un séisme destructeur de caractéristiques données (exprimées en général par des paramètres tels que l’accélération, la période de récurrence, l’intensité, le spectre de réponse...) se produise dans une région donnée pendant une période donnée. Il ne doit pas être confondu avec le risque sismique qui est la probabilité qu'un séisme engendre des destructions et fasse des victimes. Ce risque est une combinaison de .
Liquide cérébrospinalthumb|right|300px|Le LCS circule entre la pie-mère et l'arachnoïde. Le liquide cérébrospinal (LCS), ou liquide céphalo-rachidien (LCR) en ancienne nomenclature, est un liquide biologique transparent dans lequel baignent le cerveau et la moelle spinale. Il est contenu dans les méninges, plus précisément entre la pie-mère (qui recouvre le système nerveux central) et l'arachnoïde (qui tapisse le versant interne de la dure-mère), c'est-à-dire dans l'espace sous-arachnoïdien.
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.
Pression dynamiqueEn mécanique des fluides la pression dynamique est une mesure de l'énergie cinétique d'un fluide par unité de volume. Elle joue un rôle fondamental dans la conservation de l'énergie et sert de référence pour la définition des coefficients aérodynamiques. La pression dynamique est l'énergie cinétique par unité de volume au sein d'un fluide : où est la masse volumique du fluide, son volume et sa vitesse. L'énergie cinétique par unité de volume est donc, en divisant par : La pression dynamique a la dimension d'une pression, d'où son nom.
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.
Centre de pousséeEn aéronautique, le centre de poussée d'un aérodyne est le point d'application des forces aérodynamiques et sa variation spatiale correspond à la trajectoire. En yachting, le centre de poussée d'un voilier est appelé centre vélique. Par analogie, on peut dire que le centre de poussée est aux forces aérodynamiques ce que le centre de gravité est aux forces de pesanteur. En effet, lorsqu'un solide est placé dans un fluide en mouvement, en tout point de sa surface est exercée une force (pression ou dépression).
Earthquake warning systemAn earthquake warning system or earthquake early warning system is a system of accelerometers, seismometers, communication, computers, and alarms that is devised for notifying adjoining regions of a substantial earthquake while it is in progress. This is not the same as earthquake prediction, which is currently incapable of producing decisive event warnings. An earthquake is caused by the release of stored elastic strain energy during rapid sliding along a fault.
