Influence of electrode separation on ion density in the vacuum arc | IEEE Journals & Magazine | IEEE Xplore