Formation Mechanism and Optimization Method of Streak-Shaped Pollution for the Roof Insulator of EMUs | IEEE Journals & Magazine | IEEE Xplore