公开(公告)号：CN118940923A

公开(公告)日：2024-11-12

申请号：CN202410957618.0

申请日：2024-07-17

Applicant: 华侨大学

Inventor： 杨贵霖 ,  陈祖希 ,  周长利 ,  梅萌 ,  徐中伟 ,  张宏扬 ,  汪小勇

IPC: G06Q10/047

Abstract: 本发明公开了一种面向虚拟区段的轨道交通路径规划方法、装置及可读介质，本发明采用基于冲突的搜索算法，通过全局规划层和局部规划层两级结构，高效地生成无冲突的路径。使用VSS虚拟区段划分方法，将TTD区段细分为更小的片段，减小了计算量，从而提高了路径规划的效率。在路径规划过程中考虑到安全间隔和路径连续性等因素，可靠地保障轨道交通的安全运行。通过路径的实时调整和评估，能够有效地避免潜在危险，确保车辆运行的安全性。采用基于多智能体路径规划的思想，旨在实现对高效解决轨道交通系统中列车运行路径规划问题，贴近更实际场景中的应用。

公开(公告)号：CN118445816A

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

申请号：CN202410902984.6

申请日：2024-07-08

Applicant: 华侨大学 ,  同济大学

Inventor： 陈祖希 ,  陈圣彬 ,  梅萌 ,  徐中伟 ,  缑锦 ,  周长利 ,  翁建辉

IPC: G06F21/57 ,  B61L19/00

Abstract: 本发明公开了一种面向安全关键系统的可信开发与验证方法及装置，涉及系统安全分析领域，该方法采用STPA和Event‑B方法协同分析，并结合逐步迭代的过程。首先确立系统任务和安全约束，在初始阶段，根据初始功能需求构建初始的STAMP模型，对初始的STAMP模型中的初始的控制结构进行STPA分析，以识别安全约束，通过Event‑B方法验证以确保安全关键系统符合安全约束。随后的每个迭代阶段的步骤逐渐引入更多的新增功能需求和具体内容，确保和现有安全关键系统的兼容性，并遵循系统级安全约束，解决现有的Event‑B方法因缺乏指导方针而难以有效组织精化步骤。

公开(公告)号：CN118426449A

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

申请号：CN202410885607.6

申请日：2024-07-03

Applicant: 华侨大学

Inventor： 牛传军 ,  陈祖希 ,  梅萌 ,  徐中伟 ,  汪小勇 ,  周长利 ,  翁建辉

IPC: G05B23/02

Abstract: 本发明公开了一种安全目标导向的CBTC系统精化开发和确认方法及装置，涉及系统安全评估领域，包括：对CBTC系统进行分析，确定CBTC系统的控制结构；对控制结构进行精化分层，建模得到CBTC系统的形式化模型；采用Event‑B形式化方法对CBTC系统的形式化模型进行精化，得到Event‑B模型，通过Rodin平台中的定理证明器完成Event‑B模型进行证明，得到证明后的Event‑B模型；使用ProB工具对证明后的Event‑B模型进行动态仿真、死锁以及不变式违背检测，得到CBTC系统开发结果。本发明解决了采用基于模型检测的形式化方法进行开发会导致状态空间爆炸和无法保证构建模型正确性的问题。

公开(公告)号：CN116750050A

公开(公告)日：2023-09-15

申请号：CN202310796743.3

申请日：2023-07-03

Applicant: 华侨大学

Inventor： 陈祖希 ,  祁世威 ,  梅萌 ,  周长利 ,  全韩彧 ,  徐中伟

IPC: B61L27/00 ,  B61L27/70 ,  B61L15/00 ,  B61L27/50 ,  B61L27/57 ,  B61L27/20

Abstract: 本发明公开一种列车控制系统车地通信安全分析方法、系统、设备及介质，涉及车地通信领域，包括设定列车控制系统的系统级危险；根据所述列车控制系统中各组件的信息传递路线构建车地通信控制结构图；所述车地通信控制结构图用于反映各组件之间的信息流动；根据所述车地通信控制结构图对造成所述系统级危险的控制行为进行分析，得到与危险对应的不安全控制行为；根据所述与危险对应的不安全控制行为利用车地通信控制结构图中的信息流动确定致因场景。本发明实现系统全面对CBTC系统的车地通信进行安全分析。