Onde de RayleighL'onde de Rayleigh ou onde R est un type d'onde sismique. Elle a été découverte par John William Strutt Rayleigh en 1885. Son déplacement est complexe, assez semblable à celui d'une poussière portée par une vague, constituant un mouvement à la fois horizontal et vertical. vignette|Mouvement des particules d'une onde de Rayleigh. vignette|Comparaison de la vitesse de l'onde de Rayleigh avec les vitesses des ondes de cisaillement et longitudinales pour un matériau élastique isotrope.
Couche transportthumb|Position de la couche transport dans le modèle ISO et dans TCP-IP En réseaux, la couche dite de transport constitue la quatrième couche du modèle OSI. Cette couche regroupe l'ensemble des protocoles chargés de la gestion des erreurs et du contrôle des flux réseaux. Les deux principaux protocoles utilisés sont les protocoles TCP et UDP. Modèle OSI La couche transport gère les communications de bout en bout entre processus. Cette couche est souvent la plus haute couche où on se préoccupe de la correction des erreurs.
Tuyauterie (support)left|thumb|208x208px|Rack de tuyauterie (support aérien regroupant plusieurs fluides) Un support de tuyauterie est un élément destiné au transfert de la charge d'une tuyauterie vers un support. La charge inclut le propre poids de la tuyauterie, le poids du liquide qu'elle véhicule, les accessoires qui lui sont associés comme les vannes ou instruments, ou qui la recouvrent comme le calorifuge. Les fonctions principales d'un support de tuyauterie sont l'ancrage, le guidage, l'absorption des chocs et le support de la charge.
MicroséismeUn microséisme, est défini en sismologie comme un léger tremblement de terre provoqué par des phénomènes naturels. Il ne faut pas le confondre avec le phénomène acoustique anormal du Hum (« bourdonnement »). Le terme est le plus couramment utilisé pour désigner les signaux de bruit sismiques et électromagnétiques de fond dominants sur Terre, qui sont causés par les vagues d'eau dans les océans et les lacs. Les caractéristiques du microséisme sont examinées par Bhatt.
Pipe dopePipe dope is any thread lubricant, thread sealing compound, or anaerobic chemical sealant that is used to make a pipe thread joint leakproof and pressure tight. It is also referred to as "thread compound" or "pipe thread sealant." Although common pipe threads are tapered and therefore will achieve an interference fit during proper assembly, machining and finishing variances usually result in a fit that does not result in 100 percent contact between the mating components.
PlomberieLa plomberie est une spécialité de l'ingénieur en mécanique appliquée au bâtiment et du plombier spécialisé, regroupant l'ensemble des techniques utilisées pour faire circuler des fluides (liquide ou gaz) à l'aide de tuyaux, tubes, vannes, robinets, soupapes, pompes aux différents points d'usage d'une installation. Le mot a pour origine le terme latin pour plomb (plumbum) et provient de l'utilisation de ce métal malléable pour réaliser les installations de plomberie au cours des siècles précédents.
Calcul des séquentsEn logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen. Le nom de ce formalisme fait référence à un style particulier de déduction ; le système original a été adapté à diverses logiques, telles que la logique classique, la logique intuitionniste et la logique linéaire. Un séquent est une suite d'hypothèses suivie d'une suite de conclusions, les deux suites étant usuellement séparées par le symbole (taquet droit), « : » (deux-points) ou encore (flèche droite) dans l'œuvre originale de Gentzen.
Déduction naturelleEn logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner. C'est une étape importante de l'histoire de la théorie de la démonstration pour plusieurs raisons : contrairement aux systèmes à la Hilbert fondés sur des listes d'axiomes logiques plus ou moins ad hoc, la déduction naturelle repose sur un principe systématique de symétrie : pour chaque connecteur, on donne une paire de règles duales (introduction/élimination) ; elle a conduit Gentzen à inventer un autre formalisme très important en théorie de la démonstration, encore plus « symétrique » : le calcul des séquents ; elle a permis dans les années 1960 d'identifier la première instance de l'isomorphisme de Curry-Howard.
Méthode des tableauxvignette|200px|Représentation graphique d'un tableau propositionnel partiellement construit En théorie de la démonstration, les tableaux sémantiques sont une méthode de résolution du problème de la décision pour le calcul des propositions et les logiques apparentées, ainsi qu'une méthode de preuve pour la logique du premier ordre. La méthode des tableaux peut également déterminer la satisfiabilité des ensembles finis de formules de diverses logiques. C'est la méthode de preuve la plus populaire pour les logiques modales (Girle 2000).
