-
公开(公告)号：CN118444667A
公开(公告)日：2024-08-06
申请号：CN202410905362.9
申请日：2024-07-08
IPC: G05B23/02
Abstract: 本发明一种轨道交通联锁系统故障注入测试方法，涉及测试技术领域，包括：使用STPA方法对轨道交通联锁系统进行分析，识别潜在的故障场景和影响因素；使用CoFI方法将故障场景注入到轨道交通联锁系统的控制流图中，并观察轨道交通联锁系统的响应，生成有限状态机模型FSM；利用W方法从轨道交通联锁系统的有限状态机模型FSM中生成测试用例；使用测试用例测试轨道交通联锁系统在面对不同故障情况时的行为是否符合设计要求。本发明将STPA方法、CoFI方法和W方法相结合，为轨道交通联锁系统的故障注入测试提供了一种全面而有效的方法。
-
公开(公告)号：CN118428577A
公开(公告)日：2024-08-02
申请号：CN202410893488.9
申请日：2024-07-04
IPC: G06Q10/047 , G06F9/50 , G06N3/006 , G06Q10/0631 , G06Q50/40
Abstract: 本发明涉及多智能体协同技术领域，公开了一种面向高速铁路系统的并行多智能体路径规划方法，包括以下步骤：将高速铁路系统的路径规划转换为多智能体路径规划问题，分解为N个子问题，每个子问题包含一个智能体；将第一层子问题两两合并，所述合并指合并两个第一层子问题的无冲突路径规划方案，合并后生成包含四个智能体的第二层子问题，对每个第二层子问题采用基于冲突的搜索算法并行求解无冲突路径规划方案；重复合并及并行求解子问题的过程，直到合并得到包含N个智能体的问题并进行求解，得到最终的路径规划方案。本发明通过合并路径规划的子问题再并行计算，大大提高多智能体路径规划的计算效率，充分发挥多核多处理器的并发性。
-
公开(公告)号：CN118426449A
公开(公告)日：2024-08-02
申请号：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系统开发结果。本发明解决了采用基于模型检测的形式化方法进行开发会导致状态空间爆炸和无法保证构建模型正确性的问题。
-
公开(公告)号：CN118419100A
公开(公告)日：2024-08-02
申请号：CN202410892289.6
申请日：2024-07-04
Abstract: 本发明公开了一种基于ORCA的轨道交通路径规划方法、装置及可读介质，涉及多智能体技术领域，包括：对每个智能体进行单列车路径规划，得到第一路径；采用ORCA算法判断是否会发生碰撞，若是，则对智能体进行第一局部路径规划，得到第一移动速度和第二路径，智能体以第一移动速度按照第二路径朝向下一个路径点移动，否则判断智能体是否存在死锁，若是，则采用MAPF算法对智能体进行第二局部路径规划，得到第三路径，智能体按照第三路径朝向下一个路径点移动，否则计算智能体的第二移动速度，智能体以第二移动速度按照第一路径朝向下一个路径点移动；重复上述步骤，直至智能体到达终点，发挥集中式和分散式方法的优势，实现全局优化和避免碰撞。
-
公开(公告)号：CN117391273A
公开(公告)日：2024-01-12
申请号：CN202311598047.8
申请日：2023-11-28
Applicant: 华侨大学
IPC: G06Q10/047 , G06Q50/26
Abstract: 本发明公开一种轨道交通网络的连续时间多智能体路径规划方法及系统，涉及多智能体协同领域，方法包括：对轨道交通网络进行地图建模，得到无向图；对轨道交通网络中的列车进行智能体建模，得到智能体；对智能体和无向图进行适配，得到适配结果；根据适配结果，采用在连续时间上基于冲突的搜索解决列车之间的冲突，生成连续的时间约束，使用安全区间路径规划根据约束生成安全区间，并对列车进行连续时间的行车路径规划。本发明能够实现更准确也更有效率的行车路径规划。
-
Patent Agency Ranking
公开(公告)号：CN116567633B
公开(公告)日：2023-10-10
申请号：CN202310833201.9
申请日：2023-07-10
Applicant: 华侨大学
IPC: H04W12/106 , H04W12/033 , H04W12/0431 , H04W12/069 , H04W4/42 , H04L9/32
Abstract: 本发明公开一种基于ECDSA签名算法的身份认证方法、系统及设备，涉及轨道交通无线通信领域，主要步骤包括：A、全球用户识别卡注册；B、初始化接入阶段：当OBU首次接入网络时，利用HSS的公钥传输请求消息，生成临时国际移动用户识别码TMSI保存用于后续的通信；C、切换认证阶段：当OBU发生位置变化，出现列车跨移动管理实体切换的场景或需要重新请求接入网络时，OBU只需使用临时国际移动用户识别码，与新旧MME之间使用认证向量进行相互认证即可。本发明使用ECDSA签名算法，可以为LTE‑R提供更加高可靠、高效率的数据通信与身份认证，为铁路行业提供了更安全、更全面、更智能的通信服务。
-
公开(公告)号：CN116750050A
公开(公告)日：2023-09-15
申请号：CN202310796743.3
申请日：2023-07-03
Applicant: 华侨大学
Abstract: 本发明公开一种列车控制系统车地通信安全分析方法、系统、设备及介质，涉及车地通信领域，包括设定列车控制系统的系统级危险；根据所述列车控制系统中各组件的信息传递路线构建车地通信控制结构图；所述车地通信控制结构图用于反映各组件之间的信息流动；根据所述车地通信控制结构图对造成所述系统级危险的控制行为进行分析，得到与危险对应的不安全控制行为；根据所述与危险对应的不安全控制行为利用车地通信控制结构图中的信息流动确定致因场景。本发明实现系统全面对CBTC系统的车地通信进行安全分析。
-
公开(公告)号：CN118779241A
公开(公告)日：2024-10-15
申请号：CN202410989781.5
申请日：2024-07-23
Applicant: 华侨大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于输入输出等价类的自动列车保护系统测试用例生成方法及装置，包括：采用STPA技术对自动列车保护系统进行分析，得出了各个级别的不安全控制动作以及相应的软件安全要求；将STPA生成的软件安全要求形式化为LTL公式，并将其作为属性需求用于在测试中验证。采用符号化有限状态机对自动列车保护系统进行建模，并运用LTL公式生成测试用例。对具有连续性且具有无限域的输入表达式和输出表达式进行等价类划分，同时将输入输出划分等价类后再将其整合到一起，将相应的输入等价类和输出等价类结合进行测试，从而提高了测试的全面性和有效性。
-
公开(公告)号：CN118419100B
公开(公告)日：2024-09-06
申请号：CN202410892289.6
申请日：2024-07-04
Abstract: 本发明公开了一种基于ORCA的轨道交通路径规划方法、装置及可读介质，涉及多智能体技术领域，包括：对每个智能体进行单列车路径规划，得到第一路径；采用ORCA算法判断是否会发生碰撞，若是，则对智能体进行第一局部路径规划，得到第一移动速度和第二路径，智能体以第一移动速度按照第二路径朝向下一个路径点移动，否则判断智能体是否存在死锁，若是，则采用MAPF算法对智能体进行第二局部路径规划，得到第三路径，智能体按照第三路径朝向下一个路径点移动，否则计算智能体的第二移动速度，智能体以第二移动速度按照第一路径朝向下一个路径点移动；重复上述步骤，直至智能体到达终点，发挥集中式和分散式方法的优势，实现全局优化和避免碰撞。
-
公开(公告)号：CN118529096A
公开(公告)日：2024-08-23
申请号：CN202410928359.9
申请日：2024-07-11
Applicant: 华侨大学
IPC: B61L19/06
Abstract: 本发明公开了一种轨道交通联锁系统安全需求构建方法、装置、介质及产品，涉及轨道交通联锁系统安全需求技术领域，该方法包括：对轨道交通联锁系统进行分析，确定系统级事故和系统级危险；根据系统级事故、系统级危险以及各进路控制器的轨道资源信息建立轨道交通联锁系统的联锁系统层级控制结构；利用STPA方法识别危险控制行为，并对危险控制行为进行分析，得到抽象站场安全需求；根据联锁系统层级控制结构和抽象站场安全需求确定轨道交通联锁系统的具体站场安全需求，本发明在轨道交通联锁系统设计方面能够提供复杂站场的的安全需求，降低安全需求提取的难度。
-
-
-
-
-
-
-
-
-
Search Results
61
records
(took 0.051 seconds)
