下推式磁悬浮系统软件设计