-
公开(公告)号：CN118627717A
公开(公告)日：2024-09-10
申请号：CN202411107282.5
申请日：2024-08-13
Applicant: 华侨大学
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算法解决路径规划中的冲突，以找到高速铁路系统的最优路径规划解决方案。
-
公开(公告)号：CN115973237A
公开(公告)日：2023-04-18
申请号：CN202211614179.0
申请日：2022-12-15
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
IPC: B61L27/20
Abstract: 本发明公开一种轨道交通ATP制动安全分析方法、系统及电子设备，涉及数据处理技术领域。本发明提供的轨道交通ATP制动安全分析方法，在确定好系统级事故后，将系统级事故限制到系统的可控部分以确定系统级危险，接着，根据系统级危险和构建好的控制结构模型，对控制结构模型中的控制操作进行分析识别得到不安全控制行为，最后，基于系统级危险、控制结构模型识别出潜在和不安全控制行为得到危险控制致因，以能够使分析过程条理清晰，提高安全证明的全面性和完整性。
-
公开(公告)号：CN115689761B
公开(公告)日：2023-03-21
申请号：CN202310000332.9
申请日：2023-01-03
Applicant: 华侨大学
Abstract: 本发明公开一种电子商务流向路径多线程并行检测方法及设备，涉及电子商务交易检测技术领域。所述提供的电子商务流向路径多线程并行检测方法，基于获取的电商平台交易记录生成有向图后，基于获取的待检测账号流水信息得到流入流出账户对，然后，采用并行检测方法基于流入流出账户对检测有向图得到交易路径，以实现电子商务交易的快速检测，进而避免出现底层硬件资源大幅度浪费的问题出现。
-
公开(公告)号：CN115689761A
公开(公告)日：2023-02-03
申请号：CN202310000332.9
申请日：2023-01-03
Applicant: 华侨大学
Abstract: 本发明公开一种电子商务流向路径多线程并行检测方法及设备，涉及电子商务交易检测技术领域。所述提供的电子商务流向路径多线程并行检测方法，基于获取的电商平台交易记录生成有向图后，基于获取的待检测账号流水信息得到流入流出账户对，然后，采用并行检测方法基于流入流出账户对检测有向图得到交易路径，以实现电子商务交易的快速检测，进而避免出现底层硬件资源大幅度浪费的问题出现。
-
公开(公告)号：CN112765013A
公开(公告)日：2021-05-07
申请号：CN202011639828.3
申请日：2020-12-31
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
Abstract: 本发明公开了一种轨道交通联锁系统的安全分析方法及系统，所述安全分析方法包括：将联锁系统的安全总目标划分为多个安全子目标；绘制联锁系统的控制结构图；根据所述控制结构图确定每个安全子目标的安全需求；获取软件安全测试中心输出的联锁系统的测试结果，将所述测试结果作为安全证据；根据所述安全证据分析所述联锁系统是否具备满足每个安全需求，获得安全分析结果。本发明将安全问题视为控制问题，认为危害事件是由于不恰当的控制操作导致的，而非单纯的软件失效所致，能够分析软件的设计缺陷、组件间的不当交互和操作人员的失误导致的危险，从而获得更加全面的安全需求。
-
Patent Agency Ranking
公开(公告)号：CN119849602A
公开(公告)日：2025-04-18
申请号：CN202510315540.7
申请日：2025-03-18
Applicant: 华侨大学
IPC: G06N3/098 , G06N3/045 , G06N3/0475 , G06N3/094 , H04L9/40
Abstract: 本发明公开了一种基于个性化信息分离的异构联邦学习方法及系统，方法包括以下步骤：客户端利用特征提取器提取原始数据集的特征信息，分离出特征信息中的个性化信息，并发送到服务器；服务器利用个性化信息训练生成器，并将训练好的生成器广播给客户端；客户端使用接收到的生成器生成增强样本，与原始数据集一起形成扩展数据集；服务器与客户端使用联邦学习的方式训练模型，其中客户端使用扩展数据集训练局部模型，服务器通过聚合各个客户端的局部模型更新全局模型。本发明通过分离出个性化信息训练一个生成器，再通过该生成器扩展数据集，解决数据异构性问题并同时提高通信效率。
-
公开(公告)号：CN118940923A
公开(公告)日：2024-11-12
申请号：CN202410957618.0
申请日：2024-07-17
Applicant: 华侨大学
IPC: G06Q10/047
Abstract: 本发明公开了一种面向虚拟区段的轨道交通路径规划方法、装置及可读介质，本发明采用基于冲突的搜索算法，通过全局规划层和局部规划层两级结构，高效地生成无冲突的路径。使用VSS虚拟区段划分方法，将TTD区段细分为更小的片段，减小了计算量，从而提高了路径规划的效率。在路径规划过程中考虑到安全间隔和路径连续性等因素，可靠地保障轨道交通的安全运行。通过路径的实时调整和评估，能够有效地避免潜在危险，确保车辆运行的安全性。采用基于多智能体路径规划的思想，旨在实现对高效解决轨道交通系统中列车运行路径规划问题，贴近更实际场景中的应用。
-
公开(公告)号：CN118445816A
公开(公告)日：2024-08-06
申请号：CN202410902984.6
申请日：2024-07-08
Abstract: 本发明公开了一种面向安全关键系统的可信开发与验证方法及装置，涉及系统安全分析领域，该方法采用STPA和Event‑B方法协同分析，并结合逐步迭代的过程。首先确立系统任务和安全约束，在初始阶段，根据初始功能需求构建初始的STAMP模型，对初始的STAMP模型中的初始的控制结构进行STPA分析，以识别安全约束，通过Event‑B方法验证以确保安全关键系统符合安全约束。随后的每个迭代阶段的步骤逐渐引入更多的新增功能需求和具体内容，确保和现有安全关键系统的兼容性，并遵循系统级安全约束，解决现有的Event‑B方法因缺乏指导方针而难以有效组织精化步骤。
-
公开(公告)号：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系统开发结果。本发明解决了采用基于模型检测的形式化方法进行开发会导致状态空间爆炸和无法保证构建模型正确性的问题。
-
公开(公告)号：CN116750050A
公开(公告)日：2023-09-15
申请号：CN202310796743.3
申请日：2023-07-03
Applicant: 华侨大学
Abstract: 本发明公开一种列车控制系统车地通信安全分析方法、系统、设备及介质，涉及车地通信领域，包括设定列车控制系统的系统级危险；根据所述列车控制系统中各组件的信息传递路线构建车地通信控制结构图；所述车地通信控制结构图用于反映各组件之间的信息流动；根据所述车地通信控制结构图对造成所述系统级危险的控制行为进行分析，得到与危险对应的不安全控制行为；根据所述与危险对应的不安全控制行为利用车地通信控制结构图中的信息流动确定致因场景。本发明实现系统全面对CBTC系统的车地通信进行安全分析。
-
-
-
-
-
-
-
-
-
Search Results
34
records
(took 0.037 seconds)
