Performance of the main ring magnet power supply of the KEK 12 GeV proton synchrotron | IEEE Journals & Magazine | IEEE Xplore