45 GHz/20 kW gyrotron-based system for ECR ION source | IEEE Conference Publication | IEEE Xplore