-
公开(公告)号：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方法因缺乏指导方针而难以有效组织精化步骤。
-
公开(公告)号：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个智能体的问题并进行求解，得到最终的路径规划方案。本发明通过合并路径规划的子问题再并行计算，大大提高多智能体路径规划的计算效率，充分发挥多核多处理器的并发性。
-
Patent Agency Ranking
公开(公告)号：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算法对智能体进行第二局部路径规划，得到第三路径，智能体按照第三路径朝向下一个路径点移动，否则计算智能体的第二移动速度，智能体以第二移动速度按照第一路径朝向下一个路径点移动；重复上述步骤，直至智能体到达终点，发挥集中式和分散式方法的优势，实现全局优化和避免碰撞。
-
公开(公告)号：CN118279060A
公开(公告)日：2024-07-02
申请号：CN202410674745.X
申请日：2024-05-29
Applicant: 华侨大学
IPC: G06Q40/04 , G06Q40/02 , G06F16/901
Abstract: 本发明一种基于并发时序环枚举的可疑资金回流检测方法，涉及金融大数据分析领域，包括：S1，根据银行交易记录构建时序图及其邻接表结构；S2，在构建的时序图中枚举所有强连通分量，并删除邻接表结构中不被包含在强连通分量中的节点，排除掉不能成环的交易边；S3，为每个强联通分量中的节点分配存储结构，并初始化；S4，创建多个线程同时在不同的强联通分量上执行时序环枚举算法；S5，利用交易金额有关的约束条件过滤掉不符合金额起伏范围限制的时序环；根据剩余的环路信息，结合原始银行交易记录输出存在可疑资金回流的银行交易流水信息。本发明在提高检测效率和执行性能的同时，降低了误报率。
-
公开(公告)号：CN117391273A
公开(公告)日：2024-01-12
申请号：CN202311598047.8
申请日：2023-11-28
Applicant: 华侨大学
IPC: G06Q10/047 , G06Q50/26
Abstract: 本发明公开一种轨道交通网络的连续时间多智能体路径规划方法及系统，涉及多智能体协同领域，方法包括：对轨道交通网络进行地图建模，得到无向图；对轨道交通网络中的列车进行智能体建模，得到智能体；对智能体和无向图进行适配，得到适配结果；根据适配结果，采用在连续时间上基于冲突的搜索解决列车之间的冲突，生成连续的时间约束，使用安全区间路径规划根据约束生成安全区间，并对列车进行连续时间的行车路径规划。本发明能够实现更准确也更有效率的行车路径规划。
-
公开(公告)号：CN117218667A
公开(公告)日：2023-12-12
申请号：CN202311464573.5
申请日：2023-11-07
Applicant: 华侨大学
Abstract: 本发明提供了一种基于字根的中文文字识别方法及系统，涉及文字识别技术领域，构建常用字字根集；获取包括有待识别汉字的待识别汉字图像；将待识别汉字图像输入到汉字识别模型中，识别待识别汉字图像中存在的字根，并根据待识别汉字图像中存在的字根与常用字字根集确定待识别汉字；本发明基于MAML算法以及ACE算法构建训练得到汉字识别模型，相较于传统的基于字根配合制定结构标签策略的方法，本发明所提出的方法可以减少一些复杂的处理步骤的同时，保证模型识别的准确率，使得模型具备了小样本学习以及不需要汉字结构标签便可准确识别的能力，并达到了高效识别且端化的目的。
-
-
-
-
-
-
-
-
-
Search Results
85
records
(took 0.042 seconds)
