【技术实现步骤摘要】
一种自主列车运行控制系统建模及验证方法
[0001]本专利技术涉及轨道交通系统建模
，特别是涉及一种自主列车运行控制系统建模及验证方法。
技术介绍
[0002]列车自主运行控制系统（Train Autonomous Circumambulate System，TACS）以车车通信为基础，以车载控制为核心，实现列车自主进路、自主防护、自主调整等核心功能，打破了传统的基于通信的列车控制系统（Communcation Based Train Control System，CBTC）固有限制。通过软件计算、网络通信和自动化控制三大技术的协同，提供更加灵活且细粒度的列车控制、连续的安全列车间隔保证和超速防护，促使列车可以在更短的运行间隔内进行追踪运行，极大地提升了轨道交通运输的效率和安全保障。与其他制式的列车控制技术相比，由于追求细粒度的车辆控制和更密集的车辆运能投放，TACS系统的精准性需求更高、实时性更强、安全性需求变得尤为突出。此外，由车
‑
车及车
‑
地之间无线通信方式而引入的众多不确定...
【技术保护点】
【技术特征摘要】
1.一种自主列车运行控制系统建模及验证方法，其特征在于，包括：对自主列车运行控制系统进行分析，得到自主列车运行控制系统分析图；基于所述自主列车运行控制系统分析图对所述自主列车运行控制系统进行非形式化描述；基于所述非形式化描述对所述自主列车运行控制系统进行建模；采用Event
‑
B形式化方法对所述自主列车运行控制系统的模型进行优化；通过Rodin平台中的定理证明器对优化后的自主列车运行控制系统的模型进行证明。2.根据权利要求1所述的自主列车运行控制系统建模及验证方法，其特征在于，所述自主列车运行控制系统包括列车、区段资源和资源管理器；在所述自主列车运行控制系统中，所述列车的移动包括：资源请求、资源分配以及资源释放；在所述资源请求阶段，所述列车向所述资源管理器请求运营任务中的所述区段资源；在所述资源分配阶段，所述资源管理器将所述区段资源分配至对应的所述列车；在所述资源释放阶段，所述资源管理器将所述列车从排序队列中移除，若释放的区段资源为线性区段时，则将列车的移动授权范围缩小，若释放的区段资源为道岔区段时，则将列车的移动授权范围缩小且所述资源管理器将所述道岔区段的定位侧防区和反位侧防区的方向锁闭进行释放。3.根据权利要求1所述的自主列车运行控制系统建模及验证方法，其特征在于，所述自主列车运行控制系统的模型包括9层，每层模型具有不同...
【专利技术属性】
技术研发人员：陈祖希，牛传军，梅萌，骆翔宇，郑黎晓，周长利，徐中伟，
申请(专利权)人：华侨大学，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。