永磁同步电机数学模型推导