Upgrade of the main ring magnet power supply for the KEK 12 GeV proton synchrotron | IEEE Conference Publication | IEEE Xplore