More Like this

1. Abstract Alloy Instances

   https://doi.org/10.1007/978-3-031-27481-7_21  

   Ringert, J.O.; Sullivan, A. (March 2023, Formal Methods - 25th International Symposium)
2. Alloy scattering of phonons

   https://doi.org/10.1039/C9MH01990A  

   Gurunathan, Ramya; Hanus, Riley; Snyder, G. Jeffrey (June 2020, Materials Horizons)

   Solid-solution alloy scattering of phonons is a demonstrated mechanism to reduce the lattice thermal conductivity. The analytical model of Klemens works well both as a predictive tool for engineering materials, particularly in the field of thermoelectrics, and as a benchmark for the rapidly advancing theory of thermal transport in complex and defective materials. This comment/review outlines the simple algorithm used to predict the thermal conductivity reduction due to alloy scattering, as to avoid common misinterpretations, which have led to a large overestimation of mass fluctuation scattering. The Klemens model for vacancy scattering predicts a nearly 10× larger scattering parameter than is typically assumed, yet this large effect has often gone undetected due to a cancellation of errors. The Klemens description is generalizable for use in ab initio calculations on complex materials with imperfections. The closeness of the analytic approximation to both experiment and theory reveals the simple phenomena that emerges from the complexity and unexplored opportunities to reduce thermal conductivity. 

   more » « less
3. Automated model repair for Alloy

   https://doi.org/10.1145/3238147.3238162  

   Wang, Kaiyuan; Sullivan, Allison; Khurshid, Sarfraz (January 2018, 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE))
4. AlloyMC: Alloy meets model counting

   https://doi.org/10.1145/3368089.3417938  

   Yang, Jiayi; Wang, Wenxi; Marinov, Darko; Khurshid, Sarfraz (November 2020, 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Demo Papers (ESEC/FSE Demo 2020))

   null (Ed.)
5. Characterization of the interpass microstructure in low alloy steel/Alloy 625 HW-GTAW narrow groove welds

   https://doi.org/10.1016/j.matchar.2020.110638  

   Buntain, Ryan; Alexandrov, Boian; Viswanathan, Gopal (December 2020, Materials Characterization)

   A dissimilar weld between a low alloy steel (LAS) butter weld joined to a F65 steel pipe using a narrow groove hot wire gas tungsten arc welding (HW-GTAW) procedure with Alloy 625 filler metal was investigated. The weld interpass microstructure is comprised of large swirls formed by a macrosegregation mechanism involving partial, non-uniform mixing of liquid base metal with the lower melting temperature weld pool, followed by fast solidification. This mechanism produces steep gradients in composition and solidification behavior. The resulting swirls are composed of alternating iron-rich peninsulas and partially mixed zones (PMXZ) that are surrounded by planar and cellular zones exhibiting multiple solidification directions. Large austenitic grains, encompassing planar, cellular, and dendritic morphologies, nucleate off peninsulas in direct contact with the weld pool. The highest hardness was found in nickel and chromium rich PMXZs that exhibited a lath martensite microstructure. In the event of exposure to hydrogen containing environments, the PMXZs could serve as nucleation sites for hydrogen assisted cracking. 

   more » « less