Covalent Ag-C Bonding Contacts from Unprotected Terminal Acetylenes for Molecular Junctions
Explore the source record for details and available documents.
Li, Songsong↗
SEARCH · Engineering Papers
Results for “Ag-C”
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Silver-carbon interlayers in anode-free solid-state lithium metal batteries: Current development, interfacial issues, and instability challenges
As an interlayer between the anode and the electrolyte of the all-solid-state lithium metal batteries (ASSLMBs), the silver-carbon (Ag-C) nanocomposite has been reported to significantly increase the energy density and cycle rate of solid-state lithium metal batteries. Ag-C interlayers serve as mixed ionic-electronic conductor that conducts both Li+ ions and electrons and lithium storage capacity. Unfortunately, it was unclear how the Ag-C interlayer regulated lithium plating and stripping. Moreover, the structural and chemical instabilities between the interlayer and the electrolyte, within the interlayer, or beneath the interlayer on lithium substrate are likely to cause cell failure. In this review, we discuss interfacial issues and summarize recent progress in solution strategies for ASSLMBs, with a specific focus on the use of a silver-carbon (Ag-C) nanocomposite interlayer in anode-free setups. Based on the Li transport kinetics among the Ag-C interlayers, the interfacial configurations of Ag-C interlayers are classified as either exterior or internal. Furthermore, the review concludes with a discussion of the perspectives and future prospects, allowing for the improvement of interlayer techniques for solid-state batteries.
25 ENERGY STORAGE↗
Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications
We develop a learning-based automated Assume-Guarantee (AG) reasoning framework for verifying omega-regular properties of concurrent systems. We study the applicability of non-circular (AGNC) and circular (AG-C) AG proof rules in the context of systems with infinite behaviors. In particular, we show that AG-NC is incomplete when assumptions are restricted to strictly infinite behaviors, while AG-C remains complete. We present a general formalization, called LAG, of the learning based automated AG paradigm. We show how existing approaches for automated AG reasoning are special instances of LAG.We develop two learning algorithms for a class of systems, called infinite regular systems, that combine finite and infinite behaviors. We show that for infinity-regular systems, both AG-NC and AG-C are sound and complete. Finally, we show how to instantiate LAG to do automated AG reasoning for infinite regular, and omega-regular, systems using both AG-NC and AG-C as proof rules
Chaki, Sagar↗
Materials Data on AgC by Materials Project
AgC is Halite, Rock Salt structured and crystallizes in the cubic Fm-3m space group. The structure is three-dimensional. Ag2+ is bonded to six equivalent C2- atoms to form a mixture of edge and corner-sharing AgC6 octahedra. The corner-sharing octahedral tilt angles are 0°. All Ag–C bond lengths are 2.33 Å. C2- is bonded to six equivalent Ag2+ atoms to form a mixture of edge and corner-sharing CAg6 octahedra. The corner-sharing octahedral tilt angles are 0°.
36 MATERIALS SCIENCE↗
Materials Data on AgC by Materials Project
AgC is Zincblende, Sphalerite structured and crystallizes in the cubic F-43m space group. The structure is three-dimensional. Ag2+ is bonded to four equivalent C2- atoms to form corner-sharing AgC4 tetrahedra. All Ag–C bond lengths are 2.14 Å. C2- is bonded to four equivalent Ag2+ atoms to form corner-sharing CAg4 tetrahedra.
36 MATERIALS SCIENCE↗