Hydrogen energy future with formic acid: a renewable chemical hydrogen storage system

Formic acid, the simplest carboxylic acid, is found in nature or can be easily synthesized in the laboratory (major by-product of some second generation biorefinery processes); it is also an important chemical due to its myriad applications in pharmaceuticals and industry. In recent years, formic acid has been used as an important fuel either without reformation (in direct formic acid fuel cells, DFAFCs) or with reformation (as a potential chemical hydrogen storage material). Owing to the better efficiency of DFAFCs compared to several other PEMFCs and reversible hydrogen storage systems, formic acid could serve as one of the better fuels for portable devices, vehicles and other energy-related applications in the future. This perspective is focused on recent developments in the use of formic acid as a reversible source for hydrogen storage. Recent developments in this direction will likely give access to a variety of low-cost and highly efficient rechargeable hydrogen fuel cells within the next few years by the use of suitable homogeneous metal complex/heterogeneous metal nanoparticle-based catalysts under ambient reaction conditions. The production of formic acid from atmospheric CO2 (a greenhouse gas) will decrease the CO2 content and may be helpful in reducing global warming.

Rayleigh-Taylor instability in a thermocline based thermal storage tank

Numerical simulations are performed to study the stability characteristics of a molten salt thermocline storage unit. Perturbations are introduced into a stable flow field in such a way as to make the top-fluid heavier than the fluid at the bottom, thereby causing a possible instability in the system. The evolution pattern of the various disturbances are examined in detail. Disturbances applied for short duration get decayed before they could reach the thermocline, whereas medium and long duration disturbances evolve into a ``falling spike'' or ``stalactite-like'' structure and destabilize the thermocline. Rayleigh Taylor instability is observed inside the storage tank. The effect of the duration, velocity and temperature of the disturbance on thermocline thickness and penetration length are studied. A quadratic time dependence of penetration length was observed. New perspectives on thermocline breakdown phenomena are obtained from the numerical flow field. (C) 2015 Elsevier Masson SAS. All rights reserved.

SMO: An Integrated Approach to Intra-array and Inter-array Storage Optimization

The polyhedral model provides an expressive intermediate representation that is convenient for the analysis and subsequent transformation of affine loop nests. Several heuristics exist for achieving complex program transformations in this model. However, there is also considerable scope to utilize this model to tackle the problem of automatic memory footprint optimization. In this paper, we present a new automatic storage optimization technique which can be used to achieve both intra-array as well as inter-array storage reuse with a pre-determined schedule for the computation. Our approach works by finding statement-wise storage partitioning hyper planes that partition a unified global array space so that values with overlapping live ranges are not mapped to the same partition. Our heuristic is driven by a fourfold objective function which not only minimizes the dimensionality and storage requirements of arrays required for each high-level statement, but also maximizes inter statement storage reuse. The storage mappings obtained using our heuristic can be asymptotically better than those obtained by any existing technique. We implement our technique and demonstrate its practical impact by evaluating its effectiveness on several benchmarks chosen from the domains of image processing, stencil computations, and high-performance computing.