Design and analysis of vacuum pumping systems for Spallation Neutron Source drift-tube linac and coupled-cavity linac | IEEE Conference Publication | IEEE Xplore