A Miniature 500 000-r/min Electrically Driven Turbocompressor | IEEE Journals & Magazine | IEEE Xplore