Permanent magnet air-cored tubular linear generator for marine energy converters | IET Conference Publication | IEEE Xplore