公开(公告)号：CN118573739A

公开(公告)日：2024-08-30

申请号：CN202410623932.5

申请日：2024-05-20

申请人： 华侨大学 ,  同济大学

发明人： 陈祖希 ,  陈圣彬 ,  梅萌 ,  张宏杨 ,  朱永华 ,  周长利

IPC分类号： H04L69/00 ,  H04L67/01 ,  H04L67/12 ,  H04L47/70

摘要： 本发明公开一种列车自主运行系统的资源分配协议建模方法及相关装置，涉及轨道交通技术领域，方法包括以下步骤：根据列车自主运行系统的通信过程，确定协议目标；根据协议目标设计资源分配协议并绘制协议时序图；根据协议时序图，基于Event‑B算法对资源分配协议进行建模，得到资源分配协议模型；将协议目标转化为目标不变式规则，加入到资源分配协议模型中，得到综合资源分配协议模型；基于离散数学知识，证明综合资源分配协议模型中的各不变式规则成立时，将资源分配协议作为目标资源分配协议。本发明采用基于数学原理和形式规约的Event‑B建模语言，提供高度精确和严谨的分析，可有效地对轨道交通资源分配协议进行了建模以及验证。