Abstraction refinement is a key technique for applying model checking to the verification of real-world digital systems. In previous work, the abstraction granularity is often limited at the state variable level, which is too coarse for verifying industrial-scale designs. In this paper, we propose a finer grain abstraction in which intermediate variables are selectively inserted to partition la...

the effect of pre-existing nano sized precipitates on the mechanisms and rate of grain refinement has been investigated during the severe plastic deformation. a binary al–0.2sc alloy, containing coherent al3sc particles, of 3.62 nm in diameter has been deformed by accumulative roll bonding up to 10 cycles. the resulting deformed structures were quantitatively analyzed using electron backscatter...

This paper attempts to investigate the influence of the microstructure and mechanical property changes on sand casting and permanent die casting alloys by grain refinement, modification combined action of both (Al– 3Ti–1B + Al–10Sr) and without grain refinement and modification effect. The microstructures of the castings are studied by optical microscopes. The microstructure and mechanical prop...

In the present study, mechanical properties and low cycle fatigue behavior of a solid-solutionized AA6061 aluminum alloy produced by equal channel angular pressing (ECAP) process were investigated. The grain refinement after two passes of ECAP significantly increased the yield stress and ultimate tensile stress and decreased the ductility of the alloy. However, the improvement of low cycle fati...

The effects of rare earth addition and hot extrusion process on the grain refinement of magnesium alloy were studied. The as-cast Mg-6Al-1Zn (AZ61) alloy had the average grain size of ~ 64 µm and its microstructure consisted of α-Mg and Mg17Al12 phase. By partial substitution of Al with Gd to reach Mg-4.8Gd-1.2Al-1Zn alloy, it was observed that the Mg17Al12 phase disappeared and two new interme...

The effect of pre-existing nano sized precipitates on the mechanisms and rate of grain refinement has been investigated during the severe plastic deformation. A binary Al–0.2Sc alloy, containing coherent Al3Sc particles, of 3.62 nm in diameter has been deformed by accumulative roll bonding up to 10 cycles. The resulting deformed structures were quantitatively analyzed using electron backscatter...

Grain structure control is challenging for metal additive manufacturing (AM). Grain structure optimization requires the control of grain morphology with grain size refinement, which can improve the mechanical properties of additive manufactured components. This work summarizes methods to promote fine equiaxed grains in both the additive manufacturing process and subsequent heat treatment. Influ...

in the present study, mechanical properties and low cycle fatigue behavior of a solid-solutionized aa6061 aluminum alloy produced by equal channel angular pressing (ecap) process were investigated. the grain refinement after two passes of ecap significantly increased the yield stress and ultimate tensile stress and decreased the ductility of the alloy. however, the improvement of low cycle fati...