Electrochemistry of macrocyclic cobalt(III/II) hexaamines: Electrocatalytic hydrogen evolution in aqueous solution

The macrocyclic cobalt hexaamines [Co(trans-diammac)](3+) and [Co(cis-diammac)](3+) (diammac = 6,13-dimethyl-1,4,8,11-tetraazacyclotetradecane-6,13-diamine) are capable of reducing the overpotential for hydrogen evolution on a mercury cathode in aqueous solution. Protons are reduced in a catalytic process involving reoxidation of the Co-II species to its parent Co-III complex. The cycle is robust at neutral pH with no decomposition of catalyst. The stability of the [Co(trans-diammac)](2+) and [Co(cis-diammac)](2+) complexes depends on the pH of the solution and the coordinating properties of the supporting electrolyte. Electrochemical studies indicate that the adsorbed Co-II complex on the surface of mercury is the active catalyst for the reduction of protons to dihydrogen.

Nanocomposite Polymer Electrolyte Membranes: Methanol Crossover and Conductivity

Commercial Nafion® 117 membranes were successfully modified by in-situ reactions (sol-gel of TEOS and/or polymerization of aniline) within Nafion structures. Water-methanol permeability and proton conductivity were investigated in order to determine the potential performance of these membranes for DMFC systems. Silica-polyaniline modification resulted in 84% methanol crossover reduction, from 2.45x10^-5 cm2.s^-1 for conventional Nafion membranes to 3.71x10^-6 cm2.s^-1 for the modified silica-polyaniline composite membrane at 75 degrees C. In addition, conductivity was not hindered, as the polyaniline-Nafion membrane increased from 12.2 to 15 mS.cm^-1 as compared to Nafion, while a reduction of 11% was observed for silica-polyaniline-Nafion composite membrane. The results in this work strongly suggest the potential of polyaniline nanocomposites to enhance the performance of DMFCs.

Conductivity, NMR and crystallographic study of N,N,N,N-tetramethylammonium dicyanamide plastic crystal phases: an archetypal ambient temperature plastic electrolyte material

N,N,N,N-Tetramethylammonium dicyanamide (Me(4)NDCA) has been examined via differential scanning calorimetry (DSC), thermogravimetric analysis, conductivity, single crystal X-ray diffraction and H-1 nuclear magnetic resonance (NMR) analyses, and was found to be highly conductive in the solid state (sigma = 10(-3) S cm(-2) at 420 K) and to also exhibit unusual plastic crystal behaviour. To investigate the correlation between such behaviour and the occurrence of molecular rotations in the crystal, H-1 NMR second moment measurements are compared with calculated values predicted from the crystal structure. While DSC analysis indicates a number of solid-solid transitions at ambient temperatures, subsequent H-1 NMR analysis of the Me4N+ cation shows that a variety of rotational motions become active at low (

Supporting contexts in program refinement

A program can be refined either by transforming the whole program or by refining one of its components. The refinement of a component is, for the main part, independent of the remainder of the program. However, refinement of a component can depend on the context of the component for information about the variables that are in scope and what their types are. The refinement can also take advantage of additional information, such as any precondition the component can assume. The aim of this paper is to introduce a technique, which we call program window inference, to handle such contextual information during derivations in the refinement calculus. The idea is borrowed from a technique, called window inference, for handling context in theorem proving. Window inference is the primary proof paradigm of the Ergo proof editor. This tool has been extended to mechanize refinement using program window inference. (C) 1997 Elsevier Science B.V.

Future contributions of crop modelling - from heuristics and supporting decision making to understanding genetic regulation and aiding crop improvement

Crop modelling has evolved over the last 30 or so years in concert with advances in crop physiology, crop ecology and computing technology. Having reached a respectable degree of acceptance, it is appropriate to review briefly the course of developments in crop modelling and to project what might be major contributions of crop modelling in the future. Two major opportunities are envisioned for increased modelling activity in the future. One opportunity is in a continuing central, heuristic role to support scientific investigation, to facilitate decision making by crop managers, and to aid in education. Heuristic activities will also extend to the broader system-level issues of environmental and ecological aspects of crop production. The second opportunity is projected as a prime contributor in understanding and advancing the genetic regulation of plant performance and plant improvement. Physiological dissection and modelling of traits provides an avenue by which crop modelling could contribute to enhancing integration of molecular genetic technologies in crop improvement. Crown Copyright (C) 2002 Published by Elsevier Science B.V. All rights reserved.