Rayleigh waveRayleigh waves are a type of surface acoustic wave that travel along the surface of solids. They can be produced in materials in many ways, such as by a localized impact or by piezo-electric transduction, and are frequently used in non-destructive testing for detecting defects. Rayleigh waves are part of the seismic waves that are produced on the Earth by earthquakes. When guided in layers they are referred to as Lamb waves, Rayleigh–Lamb waves, or generalized Rayleigh waves.
Transport layerIn computer networking, the transport layer is a conceptual division of methods in the layered architecture of protocols in the network stack in the Internet protocol suite and the OSI model. The protocols of this layer provide end-to-end communication services for applications. It provides services such as connection-oriented communication, reliability, flow control, and multiplexing. The details of implementation and semantics of the transport layer of the Internet protocol suite, which is the foundation of the Internet, and the OSI model of general networking are different.
Pipe supportA pipe support or pipe hanger is a designed element that transfer the load from a pipe to the supporting structures. The load includes the weight of the pipe proper, the content that the pipe carries, all the pipe fittings attached to pipe, and the pipe covering such as insulation. The four main functions of a pipe support are to anchor, guide, absorb shock, and support a specified load. Pipe supports used in high or low temperature applications may contain insulation materials.
MicroseismIn seismology, a microseism is defined as a faint earth tremor caused by natural phenomena. Sometimes referred to as a "hum", it should not be confused with the anomalous acoustic phenomenon of the same name. The term is most commonly used to refer to the dominant background seismic and electromagnetic noise signals on Earth, which are caused by water waves in the oceans and lakes. Characteristics of microseism are discussed by 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.
PlumbingPlumbing is any system that conveys fluids for a wide range of applications. Plumbing uses pipes, valves, plumbing fixtures, tanks, and other apparatuses to convey fluids. Heating and cooling (HVAC), waste removal, and potable water delivery are among the most common uses for plumbing, but it is not limited to these applications. The word derives from the Latin for lead, plumbum, as the first effective pipes used in the Roman era were lead pipes. In the developed world, plumbing infrastructure is critical to public health and sanitation.
Sequent calculusIn mathematical logic, sequent calculus is a style of formal logical argumentation in which every line of a proof is a conditional tautology (called a sequent by Gerhard Gentzen) instead of an unconditional tautology. Each conditional tautology is inferred from other conditional tautologies on earlier lines in a formal argument according to rules and procedures of inference, giving a better approximation to the natural style of deduction used by mathematicians than to David Hilbert's earlier style of formal logic, in which every line was an unconditional tautology.
Natural deductionIn logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning. This contrasts with Hilbert-style systems, which instead use axioms as much as possible to express the logical laws of deductive reasoning. Natural deduction grew out of a context of dissatisfaction with the axiomatizations of deductive reasoning common to the systems of Hilbert, Frege, and Russell (see, e.g., Hilbert system).
Method of analytic tableauxIn proof theory, the semantic tableau (tæˈbloʊ,_ˈtæbloʊ; plural: tableaux, also called truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulae of first-order logic. An analytic tableau is a tree structure computed for a logical formula, having at each node a subformula of the original formula to be proved or refuted. Computation constructs this tree and uses it to prove or refute the whole formula. The tableau method can also determine the satisfiability of finite sets of formulas of various logics.
