Vacuum ion source diagnostics at the Tokyo Institute of Technology | IEEE Journals & Magazine | IEEE Xplore