Power supply system for superconducting magnets at KEKB-IR | IEEE Conference Publication | IEEE Xplore