We study the quantum transport and the nonequilibrium vibrational states of a quantum dot embedded between a normal-conducting and a superconducting lead with the charge on the quantum dot linearly coupled to a harmonic oscillator of frequency ω. To the leading order in the charge-vibration interaction, we calculate the current and the nonequilibrium phonon occupation by the Keldsyh Green’s fun...

In this study, vibration cutting has been applied to machining of a novel material, NiTi based shape memory alloy (SMA), using a commercial ultrasonic piezoelectric transducer to vibrate an ISO insert CCMT geometry cutting tool. The effect of vibration in turning process was characterized by investigating the surface roughness of workpiece and surface quality assessment of machined surface usin...

The design of complex industrial critical systems involving asynchronous parallelism requires the use of formal methods, assisted by appropriate verification tools, in order to detect and correct errors as early as possible. In this paper, we illustrate the use of the Cadp toolbox for the formal modeling and verification of such systems by considering as an example a unit dedicated to the drill...

Vibration-assisted machining offers a solution to expanding needs for improved machining, especially where accuracy and precision are of importance, such as in micromachining of single crystals of metals and alloys. Crystallographic anisotropy plays a crucial role in determining on overall response to machining. In this study, we intend to address the matter of ultra-precision machining of mate...