A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulation F : K −. L that preserves quiescence contains a composition of a history extension, an extension with eternity variables, and a refinement mapping. This result is strengthened here in three ways. Firstly, the assum...

In this paper we discuss the solution of the clustering problem usually solved by the K-means algorithm. The problem is known to have local minimum solutions.A simulated annealing algorithm for the clustering problem. The solution of the clustering problem usually solved by the K-means algorithm.In this paper, we explore the applicability of simulated annealing. Clustering problem is investigat...

We investigate the effect of annealing temperature on self-assembled Au droplets on Si (111). The annealing temperature is systematically varied while fixing other growth parameters such as deposition amount and annealing duration clearly to observe the annealing temperature effect. Self-assembled Au droplets are fabricated by annealing from 50°C to 850°C with 2-nm Au deposition for 30 s. With ...

Understanding of the mechanisms of annealing twin formation is fundamental for grain boundary engineering. In this work, the formation of annealing twins in a 304L austenitic stainless steel is examined in relation to the thermo-mechanical history. The behavior of annealing twins of various morphologies is analyzed using an in-situ annealing device and EBSD. The results confirm that there is a ...

The formation of nano/ultrafine grained ferrite in low carbon steels containing different amounts of niobium was investigated using thermomechanical treatment which consisted of annealing of 85% cold rolled martensite with different parameters. The specimens were characterized by optical and scanning electron microscopy and Vickers hardness test. A lamellar dislocation cell structure was formed...

In the current study, the recrystallization behavior of 75% cold-rolled Fe-22Mn-10Al-1.4C steel during annealing at 750, 770, 790, 810, and 830°C was studied. X-ray diffraction patterns and optical microscopy were used to characterize microstructures. The Vickers Micro-hardness test was used to characterize recrystallization kinetics during annealing. Johnson-Mehl-Avrami-Kolmogorov (JMAK) model...

We investigated one-step, rapidly cleaning, and annealing thin wire copper using plasma generated by Dielectric-Barrier Discharge (DBD) at atmospheric pressure in a coaxial cylindrical reactor. The thin copper wire cleaning and annealing processes strongly depend on the input power, the dimensions of the reactor, and the annealing duration. The minimum input power was calculated under stable an...

Abnormal behavior of dopant activation was observed in P + /B + ion shower doped poly-Si upon post implant annealing. Phosphorous or boron was implanted by ion shower doping using a source gas mixture of PH3/H2 or B2H6/H2. Activation annealing was conducted using a tube furnace in the temperature ranges from 350 o C to 650 o C. Hall measurement revealed that reverse annealing occurred for poly-...