A Dynamical Stiffness Evaluation Model for a Ring-Shaped Superconductor Magnetic Bearing System | IEEE Journals & Magazine | IEEE Xplore