Development of a Compact 450-kJ Pulsed-Power-Supply System for Electromagnetic Launcher | IEEE Journals & Magazine | IEEE Xplore