Design of the Pulse Bending Magnets for the Injection System of the 3-GeV RCS in J-PARC | IEEE Conference Publication | IEEE Xplore