Lumped-Parameter Model to Describe Dynamic Translational Interaction for High-Temperature Superconducting Bearings | IEEE Journals & Magazine | IEEE Xplore