公开(公告)号：CN118627717A

公开(公告)日：2024-09-10

申请号：CN202411107282.5

申请日：2024-08-13

Applicant: 华侨大学

Inventor： 孙伟杰 ,  陈祖希 ,  梅萌 ,  徐中伟 ,  汪小勇 ,  潘亮 ,  张宏扬

IPC: G06Q10/047 ,  G06N3/006 ,  G06Q50/43 ,  G06F16/29 ,  B61L27/10

Abstract: 本发明公开了一种基于MDD‑SAT的轨道交通列车智能体路径规划方法，涉及路径规划技术领域，包括以下步骤：S1，对轨道交通系统进行地图建模和智能体建模；S2，分别对所有智能体进行单独的路径规划，将所有路径规划方案中最大的时间成本设置为#imgabs0#；将所有智能体的成本总和设置为#imgabs1#；初始化#imgabs2#；S3，运行#imgabs3#算法求解路径规划方案，无解则进入S4，有解则进入S5；S4，令#imgabs4#，返回S3；S5，输出路径规划方案；所述S3采用的#imgabs5#算法基于多值决策图构建命题公式，基于布尔可满足性求解命题公式，获得路径规划方案。本发明通过建模将地铁系统抽象为MAPF问题，并利用MDD‑SAT算法解决路径规划中的冲突，以找到高速铁路系统的最优路径规划解决方案。

公开(公告)号：CN118444667A

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

申请号：CN202410905362.9

申请日：2024-07-08

Applicant: 华侨大学 ,  同济大学

Inventor： 张世旭 ,  陈祖希 ,  梅萌 ,  周长利 ,  缑锦 ,  潘亮 ,  汪小勇 ,  翁建辉

IPC: G05B23/02

Abstract: 本发明一种轨道交通联锁系统故障注入测试方法，涉及测试技术领域，包括：使用STPA方法对轨道交通联锁系统进行分析，识别潜在的故障场景和影响因素；使用CoFI方法将故障场景注入到轨道交通联锁系统的控制流图中，并观察轨道交通联锁系统的响应，生成有限状态机模型FSM；利用W方法从轨道交通联锁系统的有限状态机模型FSM中生成测试用例；使用测试用例测试轨道交通联锁系统在面对不同故障情况时的行为是否符合设计要求。本发明将STPA方法、CoFI方法和W方法相结合，为轨道交通联锁系统的故障注入测试提供了一种全面而有效的方法。

公开(公告)号：CN118444667B

公开(公告)日：2024-10-22

申请号：CN202410905362.9

申请日：2024-07-08

Applicant: 华侨大学 ,  同济大学

Inventor： 张世旭 ,  陈祖希 ,  梅萌 ,  周长利 ,  缑锦 ,  潘亮 ,  汪小勇 ,  翁建辉

IPC: G05B23/02

Abstract: 本发明一种轨道交通联锁系统故障注入测试方法，涉及测试技术领域，包括：使用STPA方法对轨道交通联锁系统进行分析，识别潜在的故障场景和影响因素；使用CoFI方法将故障场景注入到轨道交通联锁系统的控制流图中，并观察轨道交通联锁系统的响应，生成有限状态机模型FSM；利用W方法从轨道交通联锁系统的有限状态机模型FSM中生成测试用例；使用测试用例测试轨道交通联锁系统在面对不同故障情况时的行为是否符合设计要求。本发明将STPA方法、CoFI方法和W方法相结合，为轨道交通联锁系统的故障注入测试提供了一种全面而有效的方法。

公开(公告)号：CN116187104B

公开(公告)日：2023-08-01

申请号：CN202310464545.7

申请日：2023-04-27

Applicant: 华侨大学

Inventor： 陈祖希 ,  陈圣彬 ,  梅萌 ,  朱永华 ,  汪小勇 ,  潘亮 ,  徐中伟 ,  郑黎晓 ,  骆翔宇

IPC: G06F30/20 ,  G06F111/04 ,  G06F119/02

Abstract: 本发明公开一种轨道交通联锁系统安全分析开发方法及装置，涉及系统安全评估技术领域，方法包括：基于系统级安全约束表，采用STPA分析方法，确定所述初始控制反馈模型的安全分析结果；若初始控制反馈模型不满足预设安全条件，则对初始控制反馈模型进行精化处理，以得到精化后控制反馈模型；精化处理包括引入轨道区段、引入道岔和道岔位置状态、引入轨道区段状态以及引入信号机中的一项或多项；基于系统级安全约束表，采用STPA分析方法确定精化后控制反馈模型的安全分析结果，并基于精化后控制反馈模型的安全分析结果进行轨道交通联锁系统的设计开发。本发明实现基于STPA设计的抽象精化的安全分析，提高安全分析的精细程度。

公开(公告)号：CN116187104A

公开(公告)日：2023-05-30

申请号：CN202310464545.7

申请日：2023-04-27

Applicant: 华侨大学

Inventor： 陈祖希 ,  陈圣彬 ,  梅萌 ,  朱永华 ,  汪小勇 ,  潘亮 ,  徐中伟 ,  郑黎晓 ,  骆翔宇

IPC: G06F30/20 ,  G06F111/04 ,  G06F119/02

Abstract: 本发明公开一种轨道交通联锁系统安全分析开发方法及装置，涉及系统安全评估技术领域，方法包括：基于系统级安全约束表，采用STPA分析方法，确定所述初始控制反馈模型的安全分析结果；若初始控制反馈模型不满足预设安全条件，则对初始控制反馈模型进行精化处理，以得到精化后控制反馈模型；精化处理包括引入轨道区段、引入道岔和道岔位置状态、引入轨道区段状态以及引入信号机中的一项或多项；基于系统级安全约束表，采用STPA分析方法确定精化后控制反馈模型的安全分析结果，并基于精化后控制反馈模型的安全分析结果进行轨道交通联锁系统的设计开发。本发明实现基于STPA设计的抽象精化的安全分析，提高安全分析的精细程度。