Reverse engineering Alloy with Alloy
This dissertation presents Specifier, a framework for reverse engineering black-box implementations using the Alloy formal modelling language. To use the framework, an Alloy model representing the base structure of the system to be reverse engineered has to be developed.
openaire +1 more source
Advanced Engineering Materials, EarlyView.Identified through the use of statistical design of experiments and metallographic investigation, this study exposes the stochastic origins of intergranular cracks in blown powder laser beam directed energy deposition additive manufacturing of pure molybdenum. It further demonstrates a successful crack mitigation approach with direct correlation to the
Nathaniel J. Lies +2 more
wiley +1 more source
Effect of Post-Sintering Shot Peening Treatment on the Corrosion Behavior of Alumix 321 Powder Metallurgy Alloy in 3.5 wt.% NaCl Solution. [PDF]
Materials (Basel)Ibrahim A, Bishop P, Kipouros G.
europepmc +1 more source
Robust Spot Melting by 3D Spot Arrangements in Electron Beam Powder Bed Fusion
Advanced Engineering Materials, EarlyView.This work proposes an approach to replace separately melted contours for spot melting in electron beam powder fusion. Adapting the spot arrangements close to the contour combined with stacking yields a comparable surface quality without the inherent challenges of separate contours, as demonstrated, by electron optical images and roughness measurements.
Tobias Kupfer +4 more
wiley +1 more source
Oxidation and Sulfidation Resistance of Hot-Pressed AlCrMoTaTi and AlCrNbTaTi Alloys at High Temperatures. [PDF]
Materials (Basel)Smoła G +4 more
europepmc +1 more source
Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization
Advanced Engineering Materials, EarlyView.Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier +17 more
wiley +1 more source
Study on Friction and Wear Properties of Mo<sub>2</sub>C-Coated Ultrahard TZM Alloy by High-Temperature Gas-Phase Carburization. [PDF]
Materials (Basel)Li S +10 more
europepmc +1 more source
Multimodal Data‐Driven Microstructure Characterization
Advanced Engineering Materials, EarlyView.A self‐consistent autonomous workflow for EBSP‐based microstructure segmentation by integrating PCA, GMM clustering, and cNMF with information‐theoretic parameter selection, requiring no user input. An optimal ROI size related to characteristic grain size is identified.
Qi Zhang +4 more
wiley +1 more source
Spontaneous Aryl Diazonium Treatment of Exposed Carbon Fiber Surfaces for Reducing Galvanic Corrosion at Composite-Aluminum Alloy Joints during Cyclic Accelerated Degradation Testing. [PDF]
ACS OmegaDammulla IN, Swain GM.
europepmc +1 more source