铁道科学与工程学报2025，Vol.22Issue(11)：4845-4857,13.DOI:10.19713/j.cnki.43-1423/u.T20250135
下一代列车网络控制系统通信与计算联合调度建模与快速求解方法
Modeling and fast solving method for co-scheduling of communication and computation in next generation train control and management system
摘要
Abstract
To mitigate the impact of end-to-end delay and jitter uncertainty in existing Train Control and Management Systems(TCMS)on the temporal determinism of train control functions and to enhance the iterative efficiency of train control functions,this paper proposed a co-scheduling model for communication and computation resources based on the Next Generation Train Control and Management System(NG-TCMS).The model could extend end-to-end determinism from network to the train control functionalities.Firstly,by leveraging the time reference provided by Time-Sensitive Network in the NG-TCMS,train control functions were decomposed into state acquisition,logical computation,data forwarding,and command execution tasks with interdependencies.These tasks were then formalized using a directed acyclic graph.With the objective of minimizing execution time,the scheduling problem was solved by satisfiability modulo theories(SMT)using first-order logical constraints for optimal solution,or by modelized it as an Integer Linear Programming(ILP)problem for optimal solution.Meanwhile,a fast solving method based on task slackness and jitter inheritance values was proposed.This approach could transform large-scale scheduling that involved solving all tasks at once into iterative scheduling of single-task or dual-task subsets.This method addressed the issue of increased scheduling complexity caused by the rapid growth in the number of control functions,which made it challenging for SMT and ILP methods to provide timely solutions.Finally,a case study is presented by the train control functions of CR450 Electric Multiple Unit.An analysis was conducted to compare the performance of the SMT,ILP,and the proposed fast solving method in terms of solving time and resource utilization,with a maximum solving time limit of 30 minutes.The results indicate that the fast solving method can complete the scheduling of 1 000 functions with zero jitter and jitter constraints within 20 minutes.It can efficiently allocate system resources,meeting the rapid iteration requirements of NG-TCMS.The research results can provide a reference for developing train control functions and task scheduling methods with end-to-end determinism based on the NG-TCMS.关键词
下一代列车网络控制系统/时间敏感网络/抖动约束调度/零抖动调度/联合调度Key words
next generation train control and management system/time sensitive network/zero jitter scheduling/jitter-constraint scheduling/co-scheduling分类
交通工程引用本文复制引用
陈舒毅,刘征,鲁娜,李常贤,宋旭东..下一代列车网络控制系统通信与计算联合调度建模与快速求解方法[J].铁道科学与工程学报,2025,22(11):4845-4857,13.基金项目
辽宁省交通厅资助项目(2023-360-17) （2023-360-17）
辽宁省属本科高校基本科研业务费专项资金资助项目(LJ212410150047) （LJ212410150047）
辽宁省科技厅项目(2022JH2/101300268) （2022JH2/101300268）
