Convert Low Frequency Energy from Wave Power Plant to High Frequency Energy in Linear Electrical Generator with Gas Springs | IEEE Conference Publication | IEEE Xplore