Tradeoff Modeling of Superconducting Levitation Machines: Theory and Experiment | IEEE Journals & Magazine | IEEE Xplore