一种新型的磁浮列车测速定位系统模型设计

现有磁浮列车测速定位系统所采用的技术比较单一,测速定位系统的可靠性不足,不能更好地满足各种运行环境的要求。通过分析现有磁浮列车测速定位技术的优缺点,提出了一种新型测速定位系统模型,系统模型以传感器定位技术、多普勒雷达定位技术、查询应答器定位技术为基础,通过组合逻辑对系统数据进行优化。系统模型较现有技术具有高精度、高可靠性、易工程化等优点,同时采用安全性软件开发工具SCADE对系统模型进行建模及形式化验证,验证结果表明系统模型满足设计要求。