-
公开(公告)号：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车地无线通信提供安全、高效、可靠的身份认证方案。
-
公开(公告)号：CN115982207B
公开(公告)日：2023-07-28
申请号：CN202310264829.1
申请日：2023-03-20
Applicant: 华侨大学
IPC: G06F16/2453 , G06F16/2458 , G06F16/901 , G06F9/54
Abstract: 本发明涉及一种银行交易资金回流多线程并行检测方法及系统，属于大数据分析处理领域。方法包括：根据银行交易记录构建有向图及其邻接表存储结构，并增加一个虚拟顶点来指向有向图中每一个顶点；基于有向图创建线程间共享内存数据结构，定义并初始化线程内局部数据结构；调用多个线程同时从虚拟顶点出发进行深度优先搜索遍历执行有向环路求解算法；所有线程运行结束之后，利用线程间共享内存数据结构中的环路集合输出检测到的资金回流环路。本发明方法通过将计算任务分解到多个线程上并行执行，充分利用了底层多核处理器的高并发性缩短了算法执行时间，提高了存在回流预警的交易环路的挖掘效率。
-
公开(公告)号：CN110689196A
公开(公告)日：2020-01-14
申请号：CN201910921109.1
申请日：2019-11-21
Applicant: 华侨大学
Abstract: 本发明公开了一种基于图着色的节点间能量再分配调度算法，涉及无线传感器网络技术领域。本发明包括以下阶段模式：S1能量再分配问题描述：给定一个由静态节点U组成的无线传感器网络(WSNs)，其中能量传输系数矩阵为C＝{c(i，j)}，能量上限列表为eU，能量下限列表为eL，能量传输功率列表为p，初始能量列表为eB，能量预期列表为eE；能量再分配问题(WPTERD)的任务是找一个最优能量传输调度s，使得最终总能量 最大化并且时间跨度最小 S2能量再分配问题分解。本发明的GCEgyTimeD算法使能量再分配过程中的能量损失最小，时间跨度最小，有利于延长无线传感器网络的寿命，有利于构建一个长期的无线传感器网络，具有较高的实际应用价值。
-
公开(公告)号：CN119849602A
公开(公告)日：2025-04-18
申请号：CN202510315540.7
申请日：2025-03-18
Applicant: 华侨大学
IPC: G06N3/098 , G06N3/045 , G06N3/0475 , G06N3/094 , H04L9/40
Abstract: 本发明公开了一种基于个性化信息分离的异构联邦学习方法及系统，方法包括以下步骤：客户端利用特征提取器提取原始数据集的特征信息，分离出特征信息中的个性化信息，并发送到服务器；服务器利用个性化信息训练生成器，并将训练好的生成器广播给客户端；客户端使用接收到的生成器生成增强样本，与原始数据集一起形成扩展数据集；服务器与客户端使用联邦学习的方式训练模型，其中客户端使用扩展数据集训练局部模型，服务器通过聚合各个客户端的局部模型更新全局模型。本发明通过分离出个性化信息训练一个生成器，再通过该生成器扩展数据集，解决数据异构性问题并同时提高通信效率。
-
Patent Agency Ranking
公开(公告)号：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个智能体的问题并进行求解，得到最终的路径规划方案。本发明通过合并路径规划的子问题再并行计算，大大提高多智能体路径规划的计算效率，充分发挥多核多处理器的并发性。
-
公开(公告)号：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系统开发结果。本发明解决了采用基于模型检测的形式化方法进行开发会导致状态空间爆炸和无法保证构建模型正确性的问题。
-
-
-
-
-
-
-
-
-
Search Results
70
records
(took 0.037 seconds)
