永磁同步直线电机的数学建模