Structural steelStructural steel is a category of steel used for making construction materials in a variety of shapes. Many structural steel shapes take the form of an elongated beam having a of a specific cross section. Structural steel shapes, sizes, chemical composition, mechanical properties such as strengths, storage practices, etc., are regulated by standards in most industrialized countries. Most structural steel shapes, such as -beams, have high second moments of area, which means they are very stiff in respect to their cross-sectional area and thus can support a high load without excessive sagging.
VelocityVelocity is the speed and the direction of motion of an object. Velocity is a fundamental concept in kinematics, the branch of classical mechanics that describes the motion of bodies. Velocity is a physical vector quantity: both magnitude and direction are needed to define it. The scalar absolute value (magnitude) of velocity is called , being a coherent derived unit whose quantity is measured in the SI (metric system) as metres per second (m/s or m⋅s−1). For example, "5 metres per second" is a scalar, whereas "5 metres per second east" is a vector.
PipingWithin industry, piping is a system of pipes used to convey fluids (liquids and gases) from one location to another. The engineering discipline of piping design studies the efficient transport of fluid. Industrial process piping (and accompanying in-line components) can be manufactured from wood, fiberglass, glass, steel, aluminum, plastic, copper, and concrete.
Ball valveA ball valve is a flow control device which uses a hollow, perforated, and pivoting ball to control fluid flowing through it. It is open when the hole through the middle of the ball is in line with the flow inlet, and closed when it is pivoted 90 degrees by the valve handle, blocking the flow. The handle lies flat in alignment with the flow when open, and is perpendicular to it when closed, making for easy visual confirmation of the valve's status. The shut position 1/4 turn could be in either clockwise or counter-clockwise direction.
Semi-finished casting productsSemi-finished casting products are intermediate castings produced in a steel mill that need further processing before being finished goods. There are four types: ingots, blooms, billets, and slabs. Ingot Ingots are large rough castings designed for storage and transportation. The shape usually resembles a rectangle or square with generous fillets. They are tapered, usually with the big-end-down. In the era of commercial wrought iron, blooms were slag-riddled iron castings poured in a bloomery before being worked into wrought iron.
Butterfly valveA butterfly valve is a valve that isolates or regulates the flow of a fluid. The closing mechanism is a disk that rotates. Operation is similar to that of a ball valve, which allows for quick shut off. Butterfly valves are generally favored because they cost less than other valve designs, and are lighter weight so they need less support. The disc is positioned in the center of the pipe. A rod passes through the disc to an actuator on the outside of the valve. Rotating the actuator turns the disc either parallel or perpendicular to the flow.
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.
Safety valveA safety valve is a valve that acts as a fail-safe. An example of safety valve is a pressure relief valve (PRV), which automatically releases a substance from a boiler, pressure vessel, or other system, when the pressure or temperature exceeds preset limits. Pilot-operated relief valves are a specialized type of pressure safety valve. A leak tight, lower cost, single emergency use option would be a rupture disk. Safety valves were first developed for use on steam boilers during the Industrial Revolution.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
Piping and plumbing fittingA fitting or adapter is used in pipe systems to connect straight sections of pipe or tube, adapt to different sizes or shapes, and for other purposes such as regulating (or measuring) fluid flow. These fittings are used in plumbing to manipulate the conveyance of water, gas, or liquid waste in domestic or commercial environments, within a system of pipes or tubes. Fittings (especially uncommon types) require money, time, materials, and tools to install and are an important part of piping and plumbing systems.
Type inferenceType inference refers to the automatic detection of the type of an expression in a formal language. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics. Types in a most general view can be associated to a designated use suggesting and restricting the activities possible for an object of that type. Many nouns in language specify such uses. For instance, the word leash indicates a different use than the word line.
