同步发电机的数学模型