-
公开(公告)号:CN115689761A
公开(公告)日:2023-02-03
申请号:CN202310000332.9
申请日:2023-01-03
Applicant: 华侨大学
Abstract: 本发明公开一种电子商务流向路径多线程并行检测方法及设备,涉及电子商务交易检测技术领域。所述提供的电子商务流向路径多线程并行检测方法,基于获取的电商平台交易记录生成有向图后,基于获取的待检测账号流水信息得到流入流出账户对,然后,采用并行检测方法基于流入流出账户对检测有向图得到交易路径,以实现电子商务交易的快速检测,进而避免出现底层硬件资源大幅度浪费的问题出现。
-
公开(公告)号:CN112765013A
公开(公告)日:2021-05-07
申请号:CN202011639828.3
申请日:2020-12-31
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
Abstract: 本发明公开了一种轨道交通联锁系统的安全分析方法及系统,所述安全分析方法包括:将联锁系统的安全总目标划分为多个安全子目标;绘制联锁系统的控制结构图;根据所述控制结构图确定每个安全子目标的安全需求;获取软件安全测试中心输出的联锁系统的测试结果,将所述测试结果作为安全证据;根据所述安全证据分析所述联锁系统是否具备满足每个安全需求,获得安全分析结果。本发明将安全问题视为控制问题,认为危害事件是由于不恰当的控制操作导致的,而非单纯的软件失效所致,能够分析软件的设计缺陷、组件间的不当交互和操作人员的失误导致的危险,从而获得更加全面的安全需求。
-
公开(公告)号:CN109819022A
公开(公告)日:2019-05-28
申请号:CN201910026864.3
申请日:2019-01-11
Applicant: 华侨大学
Abstract: 本发明涉及一种基于信用评价的区块链共识方法,涉及区块链共识技术领域,通过引入信用评价机制和基于信用的投票奖惩机制提高节点的积极性,同时针对PBFT的一致性协议和检查点协议进行优化,提高系统的效率和灵活性。本发明方法根据节点的信用评价决定节点是否参与全局共识,使用选举方式选出生成账本信息的节点,按照共识结果对节点信用进行动态信用调整,维持系统的良性运转。使用本发明方法在长期运行下能够大幅降低异常节点参与共识的概率,从而使系统的效率有效提高,系统的稳定性显著增强。
-
公开(公告)号:CN106970835A
公开(公告)日:2017-07-21
申请号:CN201710165339.0
申请日:2017-03-20
Applicant: 华侨大学
Abstract: 本发明公开一种固定优先级资源受限系统层次能耗优化方法,包括:计算任务Ti的系统层次最优速度;计算任务Ti执行的低速度SL且将其与比较;计算任务Ti执行的高速度;计算设备Di的设备空闲时间I(Di);利用相对截止期限单调策略和抢占阈值策略调度任务;根据设备空闲时间I(Di)降低设备能耗。本发明利用动态功耗管理技术和动态电压调节技术,有效地降低系统层次能耗。
-
公开(公告)号: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个智能体的问题并进行求解,得到最终的路径规划方案。本发明通过合并路径规划的子问题再并行计算,大大提高多智能体路径规划的计算效率,充分发挥多核多处理器的并发性。
-
公开(公告)号: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系统开发结果。本发明解决了采用基于模型检测的形式化方法进行开发会导致状态空间爆炸和无法保证构建模型正确性的问题。
-
-
-
-
-
-
-
-
-