Calculation and Optimization of Propulsion Force of a Real-Scale REBCO Magnet for EDS Train | IEEE Journals & Magazine | IEEE Xplore