The analysis of residual gas in electron tubes | IEEE Journals & Magazine | IEEE Xplore