Solid oxide electrolyzer cellA solid oxide electrolyzer cell (SOEC) is a solid oxide fuel cell that runs in regenerative mode to achieve the electrolysis of water (and/or carbon dioxide) by using a solid oxide, or ceramic, electrolyte to produce hydrogen gas (and/or carbon monoxide) and oxygen. The production of pure hydrogen is compelling because it is a clean fuel that can be stored, making it a potential alternative to batteries, methane, and other energy sources (see hydrogen economy).
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Alkaline fuel cellThe alkaline fuel cell (AFC), also known as the Bacon fuel cell after its British inventor, Francis Thomas Bacon, is one of the most developed fuel cell technologies. Alkaline fuel cells consume hydrogen and pure oxygen, to produce potable water, heat, and electricity. They are among the most efficient fuel cells, having the potential to reach 70%. NASA has used alkaline fuel cells since the mid-1960s, in the Apollo-series missions and on the Space Shuttle. The fuel cell produces power through a redox reaction between hydrogen and oxygen.
Nitrogen cycleThe nitrogen cycle is the biogeochemical cycle by which nitrogen is converted into multiple chemical forms as it circulates among atmospheric, terrestrial, and marine ecosystems. The conversion of nitrogen can be carried out through both biological and physical processes. Important processes in the nitrogen cycle include fixation, ammonification, nitrification, and denitrification. The majority of Earth's atmosphere (78%) is atmospheric nitrogen, making it the largest source of nitrogen.
Water–gas shift reactionThe water–gas shift reaction (WGSR) describes the reaction of carbon monoxide and water vapor to form carbon dioxide and hydrogen: CO + H2O CO2 + H2 The water gas shift reaction was discovered by Italian physicist Felice Fontana in 1780. It was not until much later that the industrial value of this reaction was realized. Before the early 20th century, hydrogen was obtained by reacting steam under high pressure with iron to produce iron oxide and hydrogen.
Quantifier (logic)In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier in the first order formula expresses that everything in the domain satisfies the property denoted by . On the other hand, the existential quantifier in the formula expresses that there exists something in the domain which satisfies that property. A formula where a quantifier takes widest scope is called a quantified formula.
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).
Lindström quantifierIn mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages. In order to facilitate discussion, some notational conventions need explaining.
Zinc–zinc oxide cycleFor chemical reactions, the zinc–zinc oxide cycle or Zn–ZnO cycle is a two step thermochemical cycle based on zinc and zinc oxide for hydrogen production with a typical efficiency around 40%. The thermochemical two-step water splitting process uses redox systems: Dissociation: ZnO → Zn + 1/2 O2 Hydrolysis: Zn + H2O → ZnO + H2 For the first endothermic step concentrating solar power is used in which zinc oxide is thermally dissociated at into zinc and oxygen.
Reduction potentialRedox potential (also known as oxidation / reduction potential, ORP, pe, , or ) is a measure of the tendency of a chemical species to acquire electrons from or lose electrons to an electrode and thereby be reduced or oxidised respectively. Redox potential is expressed in volts (V). Each species has its own intrinsic redox potential; for example, the more positive the reduction potential (reduction potential is more often used due to general formalism in electrochemistry), the greater the species' affinity for electrons and tendency to be reduced.
