韶山系列机车的牵引电机，按工作电源种类划分，采用的是_____电机。