Analytical Dual-Charged Surface Model for Permanent Magnet and Its Application in Magnetic Spring | IEEE Journals & Magazine | IEEE Xplore