Results 141 to 150 of about 559,504 (336)
Fast‐Charging Solid‐State Li Batteries: Materials, Strategies, and Prospects
This review addresses challenges and recent advances in fast‐charging solid‐state batteries, focusing on solid electrolyte and electrode materials, as well as interfacial chemistries. The role of multiscale modeling and simulation in understanding Li+ transport and interfacial phenomena is emphasized, providing insights into materials, strategies, and ...
Jing Yu+7 more
wiley +1 more source
Quantum Fault Trees and Minimal Cut Sets Identification [PDF]
Fault Trees represent an essential tool in the reliability and risk assessment of engineering systems. By decomposing the structure of the system into Boolean function, Fault Trees allow the quantitative and qualitative analysis of the system. One of the main important tasks in Fault Tree analysis is the identification of Minimal Cut Sets, defined as ...
arxiv
Fault tree analysis of the LPTR scram system
W.K. Mortensen, J.W. Savage
openalex +2 more sources
Reversible protonic ceramic electrochemical cells (R‐PCECs) face challenges from sluggish and unstable oxygen reduction and evolution reactions in the air electrode. This review discusses recent progress in triple‐conducting air electrodes, emphasizing mechanisms, performance factors, and design strategies, offering guidance for creating efficient and ...
Xi Chen+8 more
wiley +1 more source
Tools for Developing a Quality Management Program: Proactive Tools (Process Mapping, Value Stream Mapping, Fault Tree Analysis, and Failure Mode and Effects Analysis) [PDF]
Frank Rath
openalex +1 more source
Carbon Fiber Reinforced Thermoplastics: From Materials to Manufacturing and Applications
A contemporary and critical review on carbon fiber reinforced thermoplastics. The common thermoplastic and carbon fiber applied in the manufacture of carbon fiber reinforced thermoplastics are summarized, and the processing and postprocessing methods are reviewed, with emphasis on state‐of‐the‐art welding techniques.
Howard (Hao) Wang+6 more
wiley +1 more source
Querying Fault and Attack Trees: Property Specification on a Water Network [PDF]
We provide an overview of three different query languages whose objective is to specify properties on the highly popular formalisms of fault trees (FTs) and attack trees (ATs). These are BFL, a Boolean Logic for FTs, PFL, a probabilistic extension of BFL and ATM, a logic for security metrics on ATs.
arxiv
Analysis of non-coherent fault trees using ternary decision diagrams [PDF]
Rasa Remenyte‐Prescott, John Andrews
openalex +1 more source