Theoretical and Numerical Study for a Model of Vibrations with Unilateral Constraints