Fast Ion Transport in Li-Rich Alloy Anode for High-Energy-Density All Solid-State Lithium Metal Batteries

All-solid-state Li batteries (ASSLBs) with solid-polymer electrolytes are considered promising battery systems to achieve improved safety and high energy density. However, Li dendrite formation at the Li anode under high charging current density/capacity has limited their development. To tackle the issue, Li-metal alloying has been proposed as an alternative strategy to suppress Li dendrite growth in ASSLBs. One drawback of alloying is the relatively lower operating cell voltages, which will inevitably lower energy density compared to cells with pure Li anode. Herein, a Li-rich Li₁₃In₃ alloy electrode (LiRLIA) is proposed, where the Li₁₃In₃ alloy scaffold guides Li nucleation and hinders Li dendrite formation. Meanwhile, the free Li can recover Li's potential and facilitate fast charge transfer kinetics to realize high-energy-density ASSLBs. Benefitting from the stronger adsorption energy and lower diffusion energy barrier of Li on a Li₁₃In₃ substrate, Li prefers to deposit in the 3D Li₁₃In₃ scaffold selectively. Therefore, the Li–Li symmetric cell constructed with LiRLIA can operate at a high current density/capacity of 5 mA cm⁻²/5 mAh cm⁻² for almost 1000 h.     

A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems

Journal of Intelligent Manufacturing - The requirements engineering of Industrial Cyber-Physical Systems is extremely challenging due to large system sizes, component heterogeneity, involvement of...     

Discrete element method investigation on thermally-induced shakedown of granular materials

Temperature change, as a common kind of internal perturbation performed on granular materials, has a significant effect on the bulk properties of granular materials. However, few studies on thermally-induced shakedown under a long-term thermal cycling were reported. In this work, the discrete element method was used to give insight into the thermally-induced shakedown on the fabric and stress states within non-cohesive, frictional granular assemblies. Assemblies were submitted to thermal cycling at a stationary boundary condition after experiencing a one-dimensional compression. Evolution of coordination number, entropy and anisotropy was investigated as well as boundary forces and contact forces. At the same time, effects of the heating rate, the initial vertical load and the magnitude of temperature change were examined. It demonstrates that thermal cycling induces a significant force relaxation within granular materials, while the corresponding granular fabric has a small change. In addition, the entropy and anisotropy decreases with thermal cycling. Moreover, the initial vertical load can constrain the development of thermally-induced fabric change, thereby limiting force relaxation to some degree. Both high heating rate and larger magnitudes of temperature change contribute to more significant force relaxation. However, they cause smaller fabric changes even though they provide larger perturbations.     

Metal Alloys for Fusion‐Based Additive Manufacturing

Metal additive manufacturing (AM) is an innovative manufacturing technique, which builds parts incrementally layer by layer. Thus, metal AM has inherent advantages in part complexity, time, and waste saving. However, due to its complex thermal cycle and rapid solidification during processing, the alloys well suit and commercially used for metal AM today are limited. Therefore, it is important to understand the alloying strategy and current progress with materials performance to consider alloy development for metal AM. This review presents the current range of alloys available for metal AM, including titanium, steel, nickel, aluminum, less common alloys (including Mg alloys, metal matrix composites alloys, and low melting point alloys), and compositionally complex alloys (including bulk metallic glasses and high entropy alloys) with a focus on the relationship between compositions, processing, microstructures, and properties of each alloy system. In addition, some promising alloy systems for metal AM are highlighted. Approaches for designing and optimizing new materials for metal AM have been summarized.

     

Shifting role for human factors in an ‘unmanned’ era

Human factors practitioners (HFPs) play many different roles in the design, creation, operation and maintenance of engineered systems. Less well known are the methods which are aimed at helping with the early stages of design, which are more systems-oriented and often involve questions of the concept of operation in which the engineered system will be fielded. Emerging from the field of cognitive engineering, these methods, including simulation, cognitive work analysis, cognitive task analyses and hierarchical task analysis, will be important as autonomous systems become increasingly capable. Even the most capable systems will continue to interact with humans, and it is at these interfaces between humans and engineered systems that HFP will continue to be needed. This paper describes recent work to leverage these methods to inform concepts of operation in aviation and space, machine learning algorithms and goal-oriented human–machine collaboration.     

Symbolic Intersect Detection: A Method for Improving Spatial Intersect Joins

Due to the increasing popularity of spatial databases, researchers have focused their efforts on improving the query processing performance of the most expensive spatial database operation: the spatial join. While most previous work focused on optimizing the filter step, it has been discovered recently that, for typical GIS data sets, the refinement step of spatial join processing actually requires a longer processing time than the filter step. Furthermore, two-thirds of the time in processing the refinement step is devoted to the computation of polygon intersections. To address this issue, we therefore introduce a novel approach to spatial join optimization that drastically reduces the time of the refinement step. We propose a new approach called Symbolic Intersect Detection (SID) for early detection of true hits. Our SID optimization eliminates most of the expensive polygon intersect computations required by a spatial join by exploiting the symbolic topological relationships between the two candidate polygons and their overlapping minimum bounding rectangle. One important feature of our SID optimization is that it is complementary to the state-of-the-art methods in spatial join processing and therefore can be utilized by these techniques to further optimize their performance. In this paper, we also develop an analytical cost model that characterizes SIDs effectiveness under various conditions. Based on real map data, we furthermore conduct an experimental evaluation comparing the performance of the spatial joins with SID against the state-of-the-art approach. Our experimental results show that SID can effectively identify more than 80% of the true hits with negligible overhead. Consequently, with SID, the time needed for resolving polygon intersect in the refinement step is improved by over 50% over known techniques, as predicted by our analytical model.     

Normalized Interactions between autonomous agents

The CEC Project GOAL (Esprit 6283) aims to develop generic software tools to support a new project management paradigm, in which projects are collaborative, decentralised and inter-organizational. To support inter-organizational interaction, communication and cooperation, we are developing a design framework for formalizing the flow of information between organizations, specifying access to and provision of project services, and defining project-wide standards and procedures. This framework is based on normalizing interactions between autonomous software agents by specifying messages and protocols for inter-agent communication and cooperation. This paper reviews the framework, and then focusses on the specification and implementation of a case study, the automation of a distributed document review procedure. This is both a successful proof of concept and a demonstration of how Artificial Intelligence technologies can support inter-organizational project management. It also points the way to agent brokering, an enhancement of object brokering in distributed open systems, where the satisfaction of service requests can be subject to negotiation.Supported by CEC Esprit Project GOAL (Esprit 6283) and CEC Esprit BRA Medlar II (Esprit 6471).Supported by CEC Esprit Project GOAL (Esprit 6283).