Study on Key Design Technologies of a Wave Energy Converter With an HTS Linear Generator | IEEE Journals & Magazine | IEEE Xplore