<正>In order to regenerate electric power from the vibration excited by road unevenness,a novel energy- regenerative active suspension for vehicles was proposed
A new efficient protocol-proving algorithm was proposed for verifying security protocols. This algorithm is based on the improved authentication tests model, wh