-
公开(公告)号：CN117670630A
公开(公告)日：2024-03-08
申请号：CN202410145282.8
申请日：2024-02-02
Abstract: 本发明公开一种高速铁路联锁系统安全分析方法、系统、设备及介质，涉及高速铁路安全评估领域，包括获取高速铁路进路的联锁系统；根据所述联锁系统确定初始模型；根据所述初始模型绘制联锁系统的控制结构图；根据所述控制结构图进行不安全控制行为识别，确定安全约束；根据所述安全约束利用Event‑B和卫确定形式化安全约束；根据所述形式化安全约束确定安全分析模型；所述安全分析模型用于对联锁系统进行安全分析。本发明提高联锁系统安全分析的安全性和可靠性。
-
公开(公告)号：CN118419100B
公开(公告)日：2024-09-06
申请号：CN202410892289.6
申请日：2024-07-04
Abstract: 本发明公开了一种基于ORCA的轨道交通路径规划方法、装置及可读介质，涉及多智能体技术领域，包括：对每个智能体进行单列车路径规划，得到第一路径；采用ORCA算法判断是否会发生碰撞，若是，则对智能体进行第一局部路径规划，得到第一移动速度和第二路径，智能体以第一移动速度按照第二路径朝向下一个路径点移动，否则判断智能体是否存在死锁，若是，则采用MAPF算法对智能体进行第二局部路径规划，得到第三路径，智能体按照第三路径朝向下一个路径点移动，否则计算智能体的第二移动速度，智能体以第二移动速度按照第一路径朝向下一个路径点移动；重复上述步骤，直至智能体到达终点，发挥集中式和分散式方法的优势，实现全局优化和避免碰撞。
-
公开(公告)号：CN118387169A
公开(公告)日：2024-07-26
申请号：CN202410813361.1
申请日：2024-06-24
Abstract: 本发明公开一种基于增量MAPF的轨道交通路径规划方法及相关装置，涉及轨道交通路径规划领域，方法包括：先根据各轨道交通列车的当前路径方案构造冲突树，在根节点中各轨道交通列车的当前路径方案之间存在冲突时，更新冲突树并确定出一当前最佳节点；在交通环境发生变化时，根据当前交通环境和当前最佳节点，判断当前交通环境是否导致当前最佳节点中的路径方案存在冲突，在确定产生冲突时，根据当前交通环境和当前最佳节点，再次更新冲突树并确定出一当前最佳节点，当前最佳节点中各轨道交通列车的当前路径方案适用于变化后的交通环境中，可用于控制各轨道交通列车的运行。本发明方案适用于复杂且动态多变的轨道交通场景。
-
公开(公告)号：CN118228905A
公开(公告)日：2024-06-21
申请号：CN202410649732.7
申请日：2024-05-24
IPC: G06Q10/047 , G06Q50/40 , G06F30/20 , G06F119/02
Abstract: 本发明公开一种轨道交通网络的多智能体路径规划方法及系统，涉及路径规划技术领域，对轨道交通网络进行建模，得到无向图，以无向图和每一智能体的行驶任务作为输入，利用SMT‑CCBS联合算法进行路径规划，得到每一智能体的行驶路径，智能体为在轨道交通网络中行驶的列车，通过设计SMT‑CCBS联合算法，能够融合解决MAPF问题的两类方法，可提高多智能体的路径规划的效率和安全可靠性。
-
公开(公告)号：CN117670630B
公开(公告)日：2024-04-30
申请号：CN202410145282.8
申请日：2024-02-02
Abstract: 本发明公开一种高速铁路联锁系统安全分析方法、系统、设备及介质，涉及高速铁路安全评估领域，包括获取高速铁路进路的联锁系统；根据所述联锁系统确定初始模型；根据所述初始模型绘制联锁系统的控制结构图；根据所述控制结构图进行不安全控制行为识别，确定安全约束；根据所述安全约束利用Event‑B和卫确定形式化安全约束；根据所述形式化安全约束确定安全分析模型；所述安全分析模型用于对联锁系统进行安全分析。本发明提高联锁系统安全分析的安全性和可靠性。
-
Patent Agency Ranking
公开(公告)号：CN119225336A
公开(公告)日：2024-12-31
申请号：CN202411339029.2
申请日：2024-09-25
Applicant: 华侨大学
IPC: G05B23/02
Abstract: 本发明公开了一种基于STPA的高速铁路ATP系统故障注入测试方法，包括以下步骤：应用STPA方法对高速铁路ATP系统进行分析，识别故障场景与安全要求；基于故障场景与安全要求，运用CoFI方法生成高速铁路ATP系统的有限状态机模型FSM；在有限状态机模型FSM上运用Wp方法生成测试用例；使用测试用例对高速铁路ATP系统进行测试。本发明将STPA方法、CoFI方法和Wp方法相结合，为ATP系统的故障注入测试提供一种全面而有效的方法，确保ATP系统的安全性和可靠性。
-
公开(公告)号：CN118426449B
公开(公告)日：2024-09-06
申请号：CN202410885607.6
申请日：2024-07-03
Applicant: 华侨大学
IPC: G05B23/02
Abstract: 本发明公开了一种安全目标导向的CBTC系统精化开发和确认方法及装置，涉及系统安全评估领域，包括：对CBTC系统进行分析，确定CBTC系统的控制结构；对控制结构进行精化分层，建模得到CBTC系统的形式化模型；采用Event‑B形式化方法对CBTC系统的形式化模型进行精化，得到Event‑B模型，通过Rodin平台中的定理证明器完成Event‑B模型进行证明，得到证明后的Event‑B模型；使用ProB工具对证明后的Event‑B模型进行动态仿真、死锁以及不变式违背检测，得到CBTC系统开发结果。本发明解决了采用基于模型检测的形式化方法进行开发会导致状态空间爆炸和无法保证构建模型正确性的问题。
-
公开(公告)号：CN118363368A
公开(公告)日：2024-07-19
申请号：CN202410796198.2
申请日：2024-06-20
Applicant: 华侨大学
Abstract: 一种面向安全的铁路联锁系统的建模方法和系统，包括构建铁路联锁系统的初始系统理论的事故模型和过程，其包括控制结构和过程模型以及安全约束；构建铁路联锁系统的第一次增量系统理论的事故模型和过程，引入轨道区段并对控制结构和过程模型以及安全约束进行更新；构建铁联锁系统的第二次增量系统理论的事故模型和过程，将轨道区段分解为不同类型的实体并对控制结构和过程模型以及安全约束进行更新；构建铁联锁系统的第三次增量系统理论的事故模型和过程，引入信号机并对控制结构和过程模型以及安全约束进行更新得到最终的铁路联锁系统。本发明利用增量开发技术逐步构建STAMP，有效地降低了对软件密集系统分析的难度。
-
公开(公告)号：CN116528235B
公开(公告)日：2023-10-20
申请号：CN202310786025.8
申请日：2023-06-30
Applicant: 华侨大学
Abstract: 本发明公开一种基于扩展切比雪夫多项式的车地无线通信认证方法及系统，涉及LTE‑R车地无线通信技术领域，在系统初始化、USIM卡注册和初始化认证过程中，引入扩展切比雪夫多项式，利用扩展切比雪夫多项式代替椭圆曲线标量乘法、模求幂运算、双线性对操作等计算量大、消耗时间长的方法，在保证安全的同时减少计算和通信开销，为LTE‑R车地无线通信提供安全、高效、可靠的身份认证方案。
-
公开(公告)号：CN116528235A
公开(公告)日：2023-08-01
申请号：CN202310786025.8
申请日：2023-06-30
Applicant: 华侨大学
Abstract: 本发明公开一种基于扩展切比雪夫多项式的车地无线通信认证方法及系统，涉及LTE‑R车地无线通信技术领域，在系统初始化、USIM卡注册和初始化认证过程中，引入扩展切比雪夫多项式，利用扩展切比雪夫多项式代替椭圆曲线标量乘法、模求幂运算、双线性对操作等计算量大、消耗时间长的方法，在保证安全的同时减少计算和通信开销，为LTE‑R车地无线通信提供安全、高效、可靠的身份认证方案。
-
-
-
-
-
-
-
-
-
Search Results
70
records
(took 0.048 seconds)
