Outlook and challenges for hydrogen storage in nanoporous materials

Considerable progress has been made recently in the use of nanoporous materials for hydrogen storage. In this article, the current status of the field and future challenges are discussed, ranging from important open fundamental questions, such as the density and volume of the adsorbed phase and its relationship to overall storage capacity, to the development of new functional materials and complete storage system design. With regard to fundamentals, the use of neutron scattering to study adsorbed H2, suitable adsorption isotherm equations, and the accurate computational modelling and simulation of H2 adsorption are discussed. The new materials covered include flexible metal-organic frameworks, core-shell materials, and porous organic cage compounds. The article concludes with a discussion of the experimental investigation of real adsorptive hydrogen storage tanks, the improvement in the thermal conductivity of storage beds, and new storage system concepts and designs.Scopu

Inductive verification and validation of the KULRoT RoboCup team

As in many other multi-agent applications, most RoboCup agents are complex systems, hard to construct and hard to verify whether they behave as intended. We present a technique to verify multi-agent systems based on inductive reasoning. Induction allows to derive general rules from specific examples (e.g. the inputs and outputs of software systems). Using inductive logic programming, partial declarative specifications of the software can be induced. These rules can be readily interpreted by the designers or users of the software, and can in turn result in changes to the software. The approach outlined was used to test the KULRoT RoboCup simulator team, which is briefly described.status: publishe