Resonant Frequency Reduction of Vertical Vibration Energy Harvester by Using Negative-Stiffness Magnetic Spring | IEEE Journals & Magazine | IEEE Xplore