感应子励磁机是给( )提供励磁电流的。