SPE water electrolyzers in support of the lunar outpost

During the 1970s, the SPE water electrolyzer, which uses ion exchange membranes as its sole electrolyte, was developed for nuclear submarine metabolic oxygen production. These developments included SPE water electrolyzer operation at up to 3,000 psia and at current densities in excess of 1,000 amps per square foot. The SPE water electrolyzer system is now fully qualified for both the U.S. and U.K. Navies with tens of thousands of system hours accumulated at sea. During the 1980s, the basic SPE water electrolyzer cell structure developed for the Navies was incorporated into several demonstrations for NASA's Space Station Program. Among these were: the SPE regenerative fuel cell for electrical energy storage; the SPE water electrolyzer for metabolic oxygen production; and the high pressure SPE water electrolyzer for reboost propulsion reactant production. In the 1990s, one emphasis will be the development of SPE water electrolyzers for the Lunar Outposts Currently defined potential Lunar Outpost applications for the SPE water electrolyzer include: SPE water electrolyzers for metabolic oxygen and potable water production from reclaimed water; and SPE water electrolyzers operating at high pressure as part of stationary and mobile surface energy storage systems

Hydrogen-oxygen proton-exchange membrane fuel cells and electrolyzers

Hydrogen-oxygen SPE fuel cells and SPE electrolyzers (products of Hamilton Standard) both use a Proton-Exchange Membrane (PEM) as the sole electrolyte. The SPE cells have demonstrated a ten year life capability under load conditions. Ultimate life of PEM fuel cells and electrolyzers is primarily related to the chemical stability of the membrane. For perfluorocarbon proton-exchange membranes an accurate measure of the membrane stability is the fluoride loss rate. Millions of cell hours have contributed to establishing a relationship between fluroride loss rates and average expected ultimate cell life. Several features were introduced into SPE fuel cells and SPE electrolyzers such that applications requiring greater than or equal to 100,000 hours of life can be considered. Equally important as the ultimate life is the voltage stability of hydrogen-oxygen fuel cells and electrolyzers. Here again the features of SPE fuel cells and SPE electrolyzers have shown a cell voltage stability in the order of 1 microvolt per hour. That level of stability were demonstrated for tens of thousands of hours in SPE fuel cells at up to 500 amps per square foot (ASF) current density. The SPE electrolyzers have demonstrated the same at 1000 ASF. Many future extraterrestrial applications for fuel cells require that they be self recharged. To translate the proven SPE cell life and stability into a highly reliable extraterrestrial electrical energy storage system, a simplification of supporting equipment is required. Static phase separation, static fluid transport and static thermal control will be most useful in producting required system reliability. Although some 200,000 SPE fuel cell hours were recorded in earth orbit with static fluid phase separation, no SPE electrolyzer has, as yet, operated in space

Hydrogen-oxygen proton-exchange membrane fuel cells and electrolyzers

Hydrogen-oxygen solid polymer electrolyte (SPE) fuel cells and SPE electrolyzers (products of Hamilton Standard) both use a Proton-Exchange Membrane (PEM) as the sole electrolyte. These solid electrolyte devices have been under continuous development for over 30 years. This experience has resulted in a demonstrated ten-year SPE cell life capability under load conditions. Ultimate life of PEM fuel cells and electrolyzers is primarily related to the chemical stability of the membrane. For perfluorocarbon proton exchange membranes an accurate measure of the membrane stability is the fluoride loss rate. Millions of cell hours have contributed to establishing a relationship between fluoride loss rates and average expected ultimate cell life. This relationship is shown. Several features have been introduced into SPE fuel cells and SPE electrolyzers such that applications requiring greater than or equal to 100,000 hours of life can be considered. Equally important as the ultimate life is the voltage stability of hydrogen-oxygen fuel cells and electrolyzers. Here again the features of SPE fuel cells and SPE electrolyzers have shown a cell voltage stability in the order of 1 microvolt per hour. That level of stability has been demonstrated for tens of thousands of hours in SPE fuel cells at up to 500 amps per square foot (ASF) current density

Central Higgs Production at LHC from Single-Pomeron-Exchange

Contrary to common perceptions about systems produced in Single-Pomeron-Exchange (SPE) pp interactions, the hard diffractive process discovered at the CERN SPS-Collider leads to dominant central production of Higgs bosons at the LHC. The rate for SPE production of Higgs bosons is calculated to be 7-9 % of the total inclusive Higgs rate. In addition, an SPE measurement program of dijet events is outlined for the early days of LHC running which should answer many fundamental questions about the Pomeron structure and its effective flux factor in the proton.Comment: 14 pages, 7 Encapsulated Postscript figures, LaTex, submitted to European Phisical Journal

The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games

We study multiplayer quantitative reachability games played on a finite directed graph, where the objective of each player is to reach his target set of vertices as quickly as possible. Instead of the well-known notion of Nash equilibrium (NE), we focus on the notion of subgame perfect equilibrium (SPE), a refinement of NE well-suited in the framework of games played on graphs. It is known that there always exists an SPE in quantitative reachability games and that the constrained existence problem is decidable. We here prove that this problem is PSPACE-complete. To obtain this result, we propose a new algorithm that iteratively builds a set of constraints characterizing the set of SPE outcomes in quantitative reachability games. This set of constraints is obtained by iterating an operator that reinforces the constraints up to obtaining a fixpoint. With this fixpoint, the set of SPE outcomes can be represented by a finite graph of size at most exponential. A careful inspection of the computation allows us to establish PSPACE membership

An Approximate Subgame-Perfect Equilibrium Computation Technique for Repeated Games

This paper presents a technique for approximating, up to any precision, the set of subgame-perfect equilibria (SPE) in discounted repeated games. The process starts with a single hypercube approximation of the set of SPE. Then the initial hypercube is gradually partitioned on to a set of smaller adjacent hypercubes, while those hypercubes that cannot contain any point belonging to the set of SPE are simultaneously withdrawn. Whether a given hypercube can contain an equilibrium point is verified by an appropriate mathematical program. Three different formulations of the algorithm for both approximately computing the set of SPE payoffs and extracting players' strategies are then proposed: the first two that do not assume the presence of an external coordination between players, and the third one that assumes a certain level of coordination during game play for convexifying the set of continuation payoffs after any repeated game history. A special attention is paid to the question of extracting players' strategies and their representability in form of finite automata, an important feature for artificial agent systems.Comment: 26 pages, 13 figures, 1 tabl