Semiconductor elements in the power supply circuit of electric gun systems | IEEE Journals & Magazine | IEEE Xplore