Eddy currents and field computation in a superconducting electromagnetic pump | IEEE Journals & Magazine | IEEE Xplore