The basics of 400-Hz power systems.