CorrosionCorrosion is a natural process that converts a refined metal into a more chemically stable oxide. It is the gradual deterioration of materials (usually a metal) by chemical or electrochemical reaction with their environment. Corrosion engineering is the field dedicated to controlling and preventing corrosion. In the most common use of the word, this means electrochemical oxidation of metal in reaction with an oxidant such as oxygen, hydrogen or hydroxide. Rusting, the formation of iron oxides, is a well-known example of electrochemical corrosion.
Corrosion inhibitorIn chemistry, a corrosion inhibitor or anti-corrosive is a chemical compound that, when added to a liquid or gas, decreases the corrosion rate of a material, typically a metal or an alloy, that comes into contact with the fluid. The effectiveness of a corrosion inhibitor depends on fluid composition, quantity of water, and flow regime. Corrosion inhibitors are common in industry, and also found in over-the-counter products, typically in spray form in combination with a lubricant and sometimes a penetrating oil.
Corrosion engineeringCorrosion engineering is an engineering specialty that applies scientific, technical, engineering skills, and knowledge of natural laws and physical resources to design and implement materials, structures, devices, systems, and procedures to manage corrosion. From a holistic perspective, corrosion is the phenomenon of metals returning to the state they are found in nature. The driving force that causes metals to corrode is a consequence of their temporary existence in metallic form.
Galvanic corrosionGalvanic corrosion (also called bimetallic corrosion or dissimilar metal corrosion) is an electrochemical process in which one metal corrodes preferentially when it is in electrical contact with another, in the presence of an electrolyte. A similar galvanic reaction is exploited in primary cells to generate a useful electrical voltage to power portable devices. This phenomenon is named after Italian physician Luigi Galvani (1737-1798).
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.
Show more