高速磁浮技术作为区别于轮轨高铁的新型交通运输手段,是未来高速和特高速轨道交通系统发展的重要方向。近年来,我国对高速磁浮列车技术开展了相关研究,计划在未来五年之内建成时速600公里条件下的高速磁浮试验线。高速磁浮列车运行控制系统作为保证列车安全运行的关键,其工程应用方面的研究已刻不容缓。高速磁浮列控系统的工程应用需要相应的场景规范来进行指导,由于运行机理的区别,成熟的轮轨高铁列控系统运行场景无法照搬在高速磁浮列控系统上,而目前国内也没有系统的开展过高速磁浮列控系统运行场景方面的研究。本文从高速磁浮试验线列控系统的研发和建设出发,对高速磁浮列控系统的运行场景进行了相关研究,主要工作如下:首先,提出了统一建模语言UML结合通信顺序进程CSP的高速磁浮列控系统运行场景分析方法,制定了 UML模型和CSP模型之间的转换规则,给出了方法的具体内容和流程;其次,根据高速磁浮列控系统的系统结构和功能特点,构建了 9个高速磁浮列控系统的运行场景,并对每个运行场景的场景术语、交互信息和交互流程进行了规范化的描述;然后,对构建的场景进行了建模与形式化验证。按照提出的高速磁浮列控系统运行场景分析方法,分别建立了启动与登录、停车点步进和分区切换场景的UML模型和CSP模型,利用ProB工具验证了场景的逻辑正确性;最后,基于运行场景对高速磁浮试验线列控线路数据进行了工程设计,利用MATLAB中的Simulink组件建立了列车正常运行场景下的仿真模型,对初版的列控线路数据进行了仿真分析,修正了其中不合理的设计。图81幅,表17个,参考文献72篇。