Solid oxide fuel cellA solid oxide fuel cell (or SOFC) is an electrochemical conversion device that produces electricity directly from oxidizing a fuel. Fuel cells are characterized by their electrolyte material; the SOFC has a solid oxide or ceramic electrolyte. Advantages of this class of fuel cells include high combined heat and power efficiency, long-term stability, fuel flexibility, low emissions, and relatively low cost. The largest disadvantage is the high operating temperature which results in longer start-up times and mechanical and chemical compatibility issues.
AnodizingAnodizing is an electrolytic passivation process used to increase the thickness of the natural oxide layer on the surface of metal parts. The process is called anodizing because the part to be treated forms the anode electrode of an electrolytic cell. Anodizing increases resistance to corrosion and wear, and provides better adhesion for paint primers and glues than bare metal does. Anodic films can also be used for several cosmetic effects, either with thick porous coatings that can absorb dyes or with thin transparent coatings that add reflected light wave interference effects.
RedoxRedox (ˈrɛdɒks , ˈriːdɒks , reduction–oxidation or oxidation–reduction) is a type of chemical reaction in which the oxidation states of substrate change. Oxidation is the loss of electrons or an increase in the oxidation state, while reduction is the gain of electrons or a decrease in the oxidation state. There are two classes of redox reactions: Electron-transfer – Only one (usually) electron flows from the atom being oxidized to the atom that is reduced. This type of redox reaction is often discussed in terms of redox couples and electrode potentials.
ElectrodeAn electrode is an electrical conductor used to make contact with a nonmetallic part of a circuit (e.g. a semiconductor, an electrolyte, a vacuum or air). Electrodes are essential parts of batteries that can consist of a variety of materials depending on the type of battery. The electrophore, invented by Johan Wilcke, was an early version of an electrode used to study static electricity. Electrodes are an essential part of any battery. The first electrochemical battery made was devised by Alessandro Volta and was aptly named the Voltaic cell.
Fuel cellA fuel cell is an electrochemical cell that converts the chemical energy of a fuel (often hydrogen) and an oxidizing agent (often oxygen) into electricity through a pair of redox reactions. Fuel cells are different from most batteries in requiring a continuous source of fuel and oxygen (usually from air) to sustain the chemical reaction, whereas in a battery the chemical energy usually comes from substances that are already present in the battery. Fuel cells can produce electricity continuously for as long as fuel and oxygen are supplied.
Glossary of fuel cell termsThe Glossary of fuel cell terms lists the definitions of many terms used within the fuel cell industry. The terms in this fuel cell glossary may be used by fuel cell industry associations, in education material and fuel cell codes and standards to name but a few. Activation loss See overpotential Adsorption Adsorption is a process that occurs when a gas or liquid solute accumulates on the surface of a solid or a liquid (adsorbent), forming a film of molecules or atoms (the adsorbate).
Vanadium redox batteryThe vanadium redox battery (VRB), also known as the vanadium flow battery (VFB) or vanadium redox flow battery (VRFB), is a type of rechargeable flow battery. It employs vanadium ions as charge carriers. The battery uses vanadium's ability to exist in a solution in four different oxidation states to make a battery with a single electroactive element instead of two. For several reasons, including their relative bulkiness, vanadium batteries are typically used for grid energy storage, i.e.
Flow batteryA flow battery, or redox flow battery (after reduction–oxidation), is a type of electrochemical cell where chemical energy is provided by two chemical components dissolved in liquids that are pumped through the system on separate sides of a membrane. Ion transfer inside the cell (accompanied by flow of electric current through an external circuit) occurs through the membrane while both liquids circulate in their own respective space. Cell voltage is chemically determined by the Nernst equation and ranges, in practical applications, from 1.
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.
AnodeAn anode is an electrode of a polarized electrical device through which conventional current enters the device. This contrasts with a cathode, an electrode of the device through which conventional current leaves the device. A common mnemonic is ACID, for "anode current into device". The direction of conventional current (the flow of positive charges) in a circuit is opposite to the direction of electron flow, so (negatively charged) electrons flow out the anode of a galvanic cell, into an outside or external circuit connected to the cell.
Biogeochemical cycleA biogeochemical cycle, or more generally a cycle of matter, is the movement and transformation of chemical elements and compounds between living organisms, the atmosphere, and the Earth's crust. Major biogeochemical cycles include the carbon cycle, the nitrogen cycle and the water cycle. In each cycle, the chemical element or molecule is transformed and cycled by living organisms and through various geological forms and reservoirs, including the atmosphere, the soil and the oceans.
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).
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.
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.
Euler methodIn mathematics and computational science, the Euler method (also called the forward Euler method) is a first-order numerical procedure for solving ordinary differential equations (ODEs) with a given initial value. It is the most basic explicit method for numerical integration of ordinary differential equations and is the simplest Runge–Kutta method. The Euler method is named after Leonhard Euler, who first proposed it in his book Institutionum calculi integralis (published 1768–1870).
Heun's methodIn mathematics and computational science, Heun's method may refer to the improved or modified Euler's method (that is, the explicit trapezoidal rule), or a similar two-stage Runge–Kutta method. It is named after Karl Heun and is a numerical procedure for solving ordinary differential equations (ODEs) with a given initial value. Both variants can be seen as extensions of the Euler method into two-stage second-order Runge–Kutta methods.
Scanning electron microscopeA scanning electron microscope (SEM) is a type of electron microscope that produces images of a sample by scanning the surface with a focused beam of electrons. The electrons interact with atoms in the sample, producing various signals that contain information about the surface topography and composition of the sample. The electron beam is scanned in a raster scan pattern, and the position of the beam is combined with the intensity of the detected signal to produce an image.
Electrolytic capacitorAn electrolytic capacitor is a polarized capacitor whose anode or positive plate is made of a metal that forms an insulating oxide layer through anodization. This oxide layer acts as the dielectric of the capacitor. A solid, liquid, or gel electrolyte covers the surface of this oxide layer, serving as the cathode or negative plate of the capacitor. Because of their very thin dielectric oxide layer and enlarged anode surface, electrolytic capacitors have a much higher capacitance-voltage (CV) product per unit volume than ceramic capacitors or film capacitors, and so can have large capacitance values.
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.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
