-
公开(公告)号：CN118529096A
公开(公告)日：2024-08-23
申请号：CN202410928359.9
申请日：2024-07-11
Applicant: 华侨大学
IPC: B61L19/06
Abstract: 本发明公开了一种轨道交通联锁系统安全需求构建方法、装置、介质及产品，涉及轨道交通联锁系统安全需求技术领域，该方法包括：对轨道交通联锁系统进行分析，确定系统级事故和系统级危险；根据系统级事故、系统级危险以及各进路控制器的轨道资源信息建立轨道交通联锁系统的联锁系统层级控制结构；利用STPA方法识别危险控制行为，并对危险控制行为进行分析，得到抽象站场安全需求；根据联锁系统层级控制结构和抽象站场安全需求确定轨道交通联锁系统的具体站场安全需求，本发明在轨道交通联锁系统设计方面能够提供复杂站场的的安全需求，降低安全需求提取的难度。
-
公开(公告)号：CN118387169A
公开(公告)日：2024-07-26
申请号：CN202410813361.1
申请日：2024-06-24
Abstract: 本发明公开一种基于增量MAPF的轨道交通路径规划方法及相关装置，涉及轨道交通路径规划领域，方法包括：先根据各轨道交通列车的当前路径方案构造冲突树，在根节点中各轨道交通列车的当前路径方案之间存在冲突时，更新冲突树并确定出一当前最佳节点；在交通环境发生变化时，根据当前交通环境和当前最佳节点，判断当前交通环境是否导致当前最佳节点中的路径方案存在冲突，在确定产生冲突时，根据当前交通环境和当前最佳节点，再次更新冲突树并确定出一当前最佳节点，当前最佳节点中各轨道交通列车的当前路径方案适用于变化后的交通环境中，可用于控制各轨道交通列车的运行。本发明方案适用于复杂且动态多变的轨道交通场景。
-
公开(公告)号：CN118102290B
公开(公告)日：2024-07-02
申请号：CN202410508372.9
申请日：2024-04-26
Applicant: 华侨大学
Abstract: 本发明公开一种基于NTRU公钥加密的抗量子攻击车地认证方法及系统，涉及LTE‑R车地无线通信技术领域，在系统初始化、USIM卡注册和初始化认证过程中，引入NTRU公钥加密算法，利用抗量子攻击的NTRU公钥加密算法代替传统的密码学算法，在减少计算开销的同时实现抗量子攻击身份认证，为LTE‑R车地通信认证提供安全、可靠、高效的身份认证方案。
-
公开(公告)号：CN118228905A
公开(公告)日：2024-06-21
申请号：CN202410649732.7
申请日：2024-05-24
IPC: G06Q10/047 , G06Q50/40 , G06F30/20 , G06F119/02
Abstract: 本发明公开一种轨道交通网络的多智能体路径规划方法及系统，涉及路径规划技术领域，对轨道交通网络进行建模，得到无向图，以无向图和每一智能体的行驶任务作为输入，利用SMT‑CCBS联合算法进行路径规划，得到每一智能体的行驶路径，智能体为在轨道交通网络中行驶的列车，通过设计SMT‑CCBS联合算法，能够融合解决MAPF问题的两类方法，可提高多智能体的路径规划的效率和安全可靠性。
-
公开(公告)号：CN118102290A
公开(公告)日：2024-05-28
申请号：CN202410508372.9
申请日：2024-04-26
Applicant: 华侨大学
Abstract: 本发明公开一种基于NTRU公钥加密的抗量子攻击车地认证方法及系统，涉及LTE‑R车地无线通信技术领域，在系统初始化、USIM卡注册和初始化认证过程中，引入NTRU公钥加密算法，利用抗量子攻击的NTRU公钥加密算法代替传统的密码学算法，在减少计算开销的同时实现抗量子攻击身份认证，为LTE‑R车地通信认证提供安全、可靠、高效的身份认证方案。
-
Patent Agency Ranking
公开(公告)号：CN117670630B
公开(公告)日：2024-04-30
申请号：CN202410145282.8
申请日：2024-02-02
Abstract: 本发明公开一种高速铁路联锁系统安全分析方法、系统、设备及介质，涉及高速铁路安全评估领域，包括获取高速铁路进路的联锁系统；根据所述联锁系统确定初始模型；根据所述初始模型绘制联锁系统的控制结构图；根据所述控制结构图进行不安全控制行为识别，确定安全约束；根据所述安全约束利用Event‑B和卫确定形式化安全约束；根据所述形式化安全约束确定安全分析模型；所述安全分析模型用于对联锁系统进行安全分析。本发明提高联锁系统安全分析的安全性和可靠性。
-
公开(公告)号：CN117555217B
公开(公告)日：2024-04-12
申请号：CN202410029921.4
申请日：2024-01-09
Applicant: 华侨大学
Abstract: 本发明公开了一种面向冗余结构的安全刹车控制系统的设计方法及装置，涉及安全性分析领域，包括：确定飞机的安全刹车控制系统的系统级事故和危险，明确各组件的功能需求；设计分层次的控制结构图，根据各组件的功能需求和控制结构图定义各组件的功能性契约；验证和测试功能性契约的正确性和一致性，若通过，则识别不安全控制行为和组件级的致因场景；将致因场景表示成安全性契约，并添加对应的组件中，与功能性契约构成理想模型定义的契约，验证和测试理想模型定义的契约的正确性和一致性；设计安全刹车控制系统中各组件的产品并将各组件的产品实现描述为有限状态机，验证是否满足理想模型定义的契约的约束，解决设计不统一、复杂性高的问题。
-
公开(公告)号：CN117555217A
公开(公告)日：2024-02-13
申请号：CN202410029921.4
申请日：2024-01-09
Applicant: 华侨大学
Abstract: 本发明公开了一种面向冗余结构的安全刹车控制系统的设计方法及装置，涉及安全性分析领域，包括：确定飞机的安全刹车控制系统的系统级事故和危险，明确各组件的功能需求；设计分层次的控制结构图，根据各组件的功能需求和控制结构图定义各组件的功能性契约；验证和测试功能性契约的正确性和一致性，若通过，则识别不安全控制行为和组件级的致因场景；将致因场景表示成安全性契约，并添加对应的组件中，与功能性契约构成理想模型定义的契约，验证和测试理想模型定义的契约的正确性和一致性；设计安全刹车控制系统中各组件的产品并将各组件的产品实现描述为有限状态机，验证是否满足理想模型定义的契约的约束，解决设计不统一、复杂性高的问题。
-
公开(公告)号：CN118746976A
公开(公告)日：2024-10-08
申请号：CN202411111928.7
申请日：2024-08-14
Applicant: 华侨大学
Abstract: 一种轨道交通联锁系统完备性测试用例生成方法和系统，包括：应用STPA方法分析轨道交通联锁系统的安全需求，并将安全需求转换为线性时态逻辑属性；利用符号化有限状态机对轨道交通联锁系统进行建模得到参考模型，计算轨道交通联锁系统中的所有估值函数，根据估值函数生成得到参考模型中的符号迹；改良参考模型，并结合线性时态逻辑属性对参考模型的输入输出事件进行等价类划分；基于改良后的参考模型的符号迹生成测试用例，在被测系统上执行测试用例，检测被测系统是否满足轨道交通联锁系统的安全需求。本发明通过合理地划分等价类，可以有效减少测试用例的生成数量，从而缩减测试时长，提高测试效率。
-
公开(公告)号：CN118387169B
公开(公告)日：2024-09-24
申请号：CN202410813361.1
申请日：2024-06-24
Abstract: 本发明公开一种基于增量MAPF的轨道交通路径规划方法及相关装置，涉及轨道交通路径规划领域，方法包括：先根据各轨道交通列车的当前路径方案构造冲突树，在根节点中各轨道交通列车的当前路径方案之间存在冲突时，更新冲突树并确定出一当前最佳节点；在交通环境发生变化时，根据当前交通环境和当前最佳节点，判断当前交通环境是否导致当前最佳节点中的路径方案存在冲突，在确定产生冲突时，根据当前交通环境和当前最佳节点，再次更新冲突树并确定出一当前最佳节点，当前最佳节点中各轨道交通列车的当前路径方案适用于变化后的交通环境中，可用于控制各轨道交通列车的运行。本发明方案适用于复杂且动态多变的轨道交通场景。
-
-
-
-
-
-
-
-
-
Search Results
22
records
(took 0.023 seconds)
