An Overview and Future Perspectives of Aluminum Batteries

A critical overview of the latest developments in the aluminum battery technologies is reported. The substitution of lithium with alternative metal anodes characterized by lower cost and higher abundance is nowadays one of the most widely explored paths to reduce the cost of electrochemical storage systems and enable long‐term sustainability. Aluminum based secondary batteries could be a viable alternative to the present Li‐ion technology because of their high volumetric capacity (8040 mAh cm^?3 for Al vs 2046 mAh cm^?3 for Li). Additionally, the low cost aluminum makes these batteries appealing for large‐scale electrical energy storage. Here, we describe the evolution of the various aluminum systems, starting from those based on aqueous electrolytes to, in more details, those based on non‐aqueous electrolytes. Particular attention has been dedicated to the latest development of electrolytic media characterized by low reactivity towards other cell components. The attention is then focused on electrode materials enabling the reversible aluminum intercalation‐deintercalation process. Finally, we touch on the topic of high‐capacity aluminum‐sulfur batteries, attempting to forecast their chances to reach the status of practical energy storage systems.     

Recommendation of RILEM Technical Committee 250-CSM: Test method for Textile Reinforced Mortar to substrate bond characterization

Textile Reinforced Mortar (TRM), also known as Fabric Reinforced Mortar or Fabric Reinforced Cementitious Matrix, composites are an emerging technology for the external repair and strengthening of existing structures. For most applications, the effectiveness of the TRM reinforcement relies on its bond performance. This recommendation identifies the best practice to characterize the bond behaviour of TRM. A shear bond test method is proposed to determine the peak axial stress (associated with the maximum load that can be transferred from the structural member to the externally bonded TRM reinforcement), the stress–slip relationship and the failure mode that controls the TRM-to-substrate load transfer capacity. Guidelines on specimen manufacturing, experimental setup, test execution, and determination of test results are provided.     

Plasmon hybridization engineering in self-organized anisotropic metasurfaces

Nano Research - The engineering of self-organized plasmonic metasurfaces is demonstrated using a maskless technique with defocused ion-beam sputtering and kinetically controlled deposition. The...     

Support environment for active rule design

The lack of tools for rule generation, analysis, and run-time monitoring appears one of the main obstacles to the widespreading of active database applications. This paper describes a complete tool environment for assisting the design of active rules applications; the tools were developed at Politecnico di Milano in the context of the IDEA Project, a 4-years Esprit project sponsored by the European Commission which was launched in June 1992. We describe tools for active rule generation, analysis, debugging, and browsing; rules are defined in Chimera, a conceptual design model and language for the specification of active rules applications. We also introduce a tool for mapping from Chimera into Oracle, a relational product supporting triggers.Most of the tools described in this paper are fully implemented and currently in operation (beta-testing) within the companies participating to the IDEA Project, with the exception of two of them (called Argonaut-V and Pandora), which will be completed by the end of 1996.Research presented in this paper is supported by Esprit project P6333 IDEA, and by ENEL contract VDS 1/94: Integrity Constraint Management     

Two is better than one: A diploid genotype for neural networks

In nature the genotype of many organisms exhibits diploidy, i.e., it includes two copies of every gene. In this paper we describe the results of simulations comparing the behavior of haploid and diploid populations of ecological neural networks living in both fixed and changing environments. We show that diploid genotypes create more variability in fitness in the population than haploid genotypes and buffer better environmental change; as a consequence, if one wants to obtain good results for both average and peak fitness in a single population one should choose a diploid population with an appropriate mutation rate. Some results of our simulations parallel biological findings.     

Interactive teaching of task-oriented robot grasps

This paper focuses on the problem of grasp stability and grasp quality analysis. An elegant way to evaluate the stability of a grasp is to model its wrench space. However, classical grasp quality measures suffer from several disadvantages, the main drawback being that they are not task related. Indeed, constructive approaches for approximating the wrench space including also task information have been rarely considered. This work presents an effective method for task-oriented grasp quality evaluation based on a novel grasp quality measure. We address the general case of multifingered grasps with point contacts with friction.The proposed approach is based on the concept of programming by demonstration and interactive teaching, wherein an expert user provides in a teaching phase a set of exemplar grasps appropriate for the task. Following this phase, a representation of task-related grasps is built. During task planning and execution, a grasp could be either submitted interactively for evaluation by a non-expert user or synthesized by an automatic planning system. Grasp quality is then assessed based on the proposed measure, which takes into account grasp stability along with its suitability for the task. To enable real-time evaluation of grasps, a fast algorithm for computing an approximation of the quality measure is also proposed. Finally, a local grasp optimization technique is described which can amend uncertainties arising in supplied grasps by non-expert users or assist in planning more valuable grasps in the neighborhood of candidate ones.The paper reports experiments performed in virtual reality with both an anthropomorphic virtual hand and a three-fingered robot hand. These experiments suggest the effectiveness and task relevance of the proposed grasp quality measure.     

Sensitivity analysis of the rice model WARM in Europe: Exploring the effects of different locations,climates and methods of analysis on model sensitivity to crop parameters

Sensitivity analysis studies how the variation in model outputs can be due to different sources of variation. This issue is addressed, in this study, as an application of sensitivity analysis techniques to a crop model in the Mediterranean region. In particular, an application of Morris and Sobol' sensitivity analysis methods to the rice model WARM is presented. The output considered is aboveground biomass at maturity, simulated at five rice districts of different countries (France, Greece, Italy, Portugal, and Spain) for years characterized by low, intermediate, and high continentality. The total effect index of Sobol' (that accounts for the total contribution to the output variation due a given parameter) and two Morris indices (mean μ and standard deviation σ of the ratios output changes/parameter variations) were used as sensitivity metrics. Radiation use efficiency (RUE), optimum temperature (T_opt), and leaf area index at emergence (LAI_ini) ranked in most of the combinations site × year as first, second and third most relevant parameters. Exceptions were observed, depending on the sensitivity method (e.g. LAI_ini resulted not relevant by the Morris method), or site-continentality pattern (e.g. with intermediate continentality in Spain, LAI_ini and T_opt were second and third ranked; with low continentality in Portugal, RUE was outranked by T_opt). Low σ values associated with the most relevant parameters indicated limited parameter interactions. The importance of sensitivity analyses by exploring site × climate combinations is discussed as pre-requisite to evaluate either novel crop-modelling approaches or the application of known modelling solutions to conditions not explored previously. The need of developing tools for sensitivity analysis within the modelling environment is also emphasized.     

A Semantic Proof of Polytime Soundness of Light Affine Logic

We define realizability semantics for Light Affine Logic ( LAL\mathsf{LAL} ) which has the property that denotations of functions are polynomial time computable by construction of the model. This gives a new proof of polytime-soundness of LAL\mathsf{LAL} which is considerably simpler than the standard proof based on proof nets and is entirely semantical in nature. The model construction uses a new instance of a resource monoid; a general method for interpreting systems based on Linear Logic introduced earlier by the authors.