-
公开(公告)号：CN118363368A
公开(公告)日：2024-07-19
申请号：CN202410796198.2
申请日：2024-06-20
Applicant: 华侨大学
Abstract: 一种面向安全的铁路联锁系统的建模方法和系统，包括构建铁路联锁系统的初始系统理论的事故模型和过程，其包括控制结构和过程模型以及安全约束；构建铁路联锁系统的第一次增量系统理论的事故模型和过程，引入轨道区段并对控制结构和过程模型以及安全约束进行更新；构建铁联锁系统的第二次增量系统理论的事故模型和过程，将轨道区段分解为不同类型的实体并对控制结构和过程模型以及安全约束进行更新；构建铁联锁系统的第三次增量系统理论的事故模型和过程，引入信号机并对控制结构和过程模型以及安全约束进行更新得到最终的铁路联锁系统。本发明利用增量开发技术逐步构建STAMP，有效地降低了对软件密集系统分析的难度。
-
公开(公告)号：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: 本发明涉及一种银行交易资金回流多线程并行检测方法及系统，属于大数据分析处理领域。方法包括：根据银行交易记录构建有向图及其邻接表存储结构，并增加一个虚拟顶点来指向有向图中每一个顶点；基于有向图创建线程间共享内存数据结构，定义并初始化线程内局部数据结构；调用多个线程同时从虚拟顶点出发进行深度优先搜索遍历执行有向环路求解算法；所有线程运行结束之后，利用线程间共享内存数据结构中的环路集合输出检测到的资金回流环路。本发明方法通过将计算任务分解到多个线程上并行执行，充分利用了底层多核处理器的高并发性缩短了算法执行时间，提高了存在回流预警的交易环路的挖掘效率。
-
公开(公告)号：CN118363368B
公开(公告)日：2024-10-01
申请号：CN202410796198.2
申请日：2024-06-20
Applicant: 华侨大学
Abstract: 一种面向安全的铁路联锁系统的建模方法和系统，包括构建铁路联锁系统的初始系统理论的事故模型和过程，其包括控制结构和过程模型以及安全约束；构建铁路联锁系统的第一次增量系统理论的事故模型和过程，引入轨道区段并对控制结构和过程模型以及安全约束进行更新；构建铁联锁系统的第二次增量系统理论的事故模型和过程，将轨道区段分解为不同类型的实体并对控制结构和过程模型以及安全约束进行更新；构建铁联锁系统的第三次增量系统理论的事故模型和过程，引入信号机并对控制结构和过程模型以及安全约束进行更新得到最终的铁路联锁系统。本发明利用增量开发技术逐步构建STAMP，有效地降低了对软件密集系统分析的难度。
-
Patent Agency Ranking
公开(公告)号：CN118445816B
公开(公告)日：2024-09-13
申请号：CN202410902984.6
申请日：2024-07-08
Abstract: 本发明公开了一种面向安全关键系统的可信开发与验证方法及装置，涉及系统安全分析领域，该方法采用STPA和Event‑B方法协同分析，并结合逐步迭代的过程。首先确立系统任务和安全约束，在初始阶段，根据初始功能需求构建初始的STAMP模型，对初始的STAMP模型中的初始的控制结构进行STPA分析，以识别安全约束，通过Event‑B方法验证以确保安全关键系统符合安全约束。随后的每个迭代阶段的步骤逐渐引入更多的新增功能需求和具体内容，确保和现有安全关键系统的兼容性，并遵循系统级安全约束，解决现有的Event‑B方法因缺乏指导方针而难以有效组织精化步骤。
-
公开(公告)号：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算法解决路径规划中的冲突，以找到高速铁路系统的最优路径规划解决方案。
-
公开(公告)号：CN115689761B
公开(公告)日：2023-03-21
申请号：CN202310000332.9
申请日：2023-01-03
Applicant: 华侨大学
Abstract: 本发明公开一种电子商务流向路径多线程并行检测方法及设备，涉及电子商务交易检测技术领域。所述提供的电子商务流向路径多线程并行检测方法，基于获取的电商平台交易记录生成有向图后，基于获取的待检测账号流水信息得到流入流出账户对，然后，采用并行检测方法基于流入流出账户对检测有向图得到交易路径，以实现电子商务交易的快速检测，进而避免出现底层硬件资源大幅度浪费的问题出现。
-
公开(公告)号：CN115689761A
公开(公告)日：2023-02-03
申请号：CN202310000332.9
申请日：2023-01-03
Applicant: 华侨大学
Abstract: 本发明公开一种电子商务流向路径多线程并行检测方法及设备，涉及电子商务交易检测技术领域。所述提供的电子商务流向路径多线程并行检测方法，基于获取的电商平台交易记录生成有向图后，基于获取的待检测账号流水信息得到流入流出账户对，然后，采用并行检测方法基于流入流出账户对检测有向图得到交易路径，以实现电子商务交易的快速检测，进而避免出现底层硬件资源大幅度浪费的问题出现。
-
公开(公告)号：CN119849602A
公开(公告)日：2025-04-18
申请号：CN202510315540.7
申请日：2025-03-18
Applicant: 华侨大学
IPC: G06N3/098 , G06N3/045 , G06N3/0475 , G06N3/094 , H04L9/40
Abstract: 本发明公开了一种基于个性化信息分离的异构联邦学习方法及系统，方法包括以下步骤：客户端利用特征提取器提取原始数据集的特征信息，分离出特征信息中的个性化信息，并发送到服务器；服务器利用个性化信息训练生成器，并将训练好的生成器广播给客户端；客户端使用接收到的生成器生成增强样本，与原始数据集一起形成扩展数据集；服务器与客户端使用联邦学习的方式训练模型，其中客户端使用扩展数据集训练局部模型，服务器通过聚合各个客户端的局部模型更新全局模型。本发明通过分离出个性化信息训练一个生成器，再通过该生成器扩展数据集，解决数据异构性问题并同时提高通信效率。
-
-
-
-
-
-
-
-
-
Search Results
34
records
(took 0.032 seconds)
