一种高速铁路联锁系统安全分析方法、系统、设备及介质

    公开(公告)号:CN117670630A

    公开(公告)日:2024-03-08

    申请号:CN202410145282.8

    申请日:2024-02-02

    Abstract: 本发明公开一种高速铁路联锁系统安全分析方法、系统、设备及介质,涉及高速铁路安全评估领域,包括获取高速铁路进路的联锁系统;根据所述联锁系统确定初始模型;根据所述初始模型绘制联锁系统的控制结构图;根据所述控制结构图进行不安全控制行为识别,确定安全约束;根据所述安全约束利用Event‑B和卫确定形式化安全约束;根据所述形式化安全约束确定安全分析模型;所述安全分析模型用于对联锁系统进行安全分析。本发明提高联锁系统安全分析的安全性和可靠性。

    一种基于联邦学习的自适应DPWGAN训练方法及系统

    公开(公告)号:CN117473558A

    公开(公告)日:2024-01-30

    申请号:CN202311785715.8

    申请日:2023-12-25

    Applicant: 华侨大学

    Abstract: 本发明公开一种基于联邦学习的自适应DPWGAN训练方法及系统,该方法包括服务器将初始化后的WGAN中的判别器、生成器参数及噪声尺度广播至客户端;客户端利用本地数据集进行DPWGAN训练,利用自适应噪声的差分隐私方案对训练后的生成器参数进行扰动;并将扰动后的生成器参数上传至服务器;服务器对扰动后的生成器参数进行加权平均的操作,得到聚合后的全局模型,并根据聚合后的全局模型生成图像的Inception Score和FID值;不断更新,直至Inception Score和FID值达到预期目标。本发明能够解决传统GAN训练中出现数据孤岛问题以及隐私保护问题。

    银行交易资金流向路径检测方法、系统、设备及存储介质

    公开(公告)号:CN115689762A

    公开(公告)日:2023-02-03

    申请号:CN202310000333.3

    申请日:2023-01-03

    Applicant: 华侨大学

    Abstract: 本发明公开一种银行交易资金流向路径检测方法、系统、设备及存储介质,涉及银行交易检测技术领域。本发明构建银行交易记录的有向图,有向图中每个顶点为并发的无锁共享数据结构,根据流入流出账户对,采用多线程并行检测方法检测有向图,获得待检测账号的交易路径。本发明通过多线程并行的方式处理数据,充分利用底层多核处理器的高并发性缩短算法执行时间,提高交易路径检测的效率。

    一种基于RGB编码结构光的三维重建方法

    公开(公告)号:CN112767537A

    公开(公告)日:2021-05-07

    申请号:CN202110017585.8

    申请日:2021-01-07

    Applicant: 华侨大学

    Abstract: 本发明涉及三维重建技术领域,尤其涉及一种基于RGB编码结构光的三维重建方法,包括以下步骤:S1、生成有n幅格雷码编码图案序列Pb={pb1,pb2,...pbn},S2、将格雷码图案序列Pb每3幅一组打包为新序列Pbt={{pb1,pb2,pb3},{pb4,pb5,pb6},...{pb(n‑2),pb(n‑1),pbn}},分别作为新图案的RGB三通道值进行编码,重新生成n/3幅编码后的图案序列Prgb={prgb1,prgb2,...prgb(n/3)},S3、用彩色投影仪向待重建场景投射S2中编码后的图案序列Prgb,并用彩色相机采集,得到PSrgb={pSrgb1,pSrgb1,...pSrgb(n/3)},S4、对采集到的n/3幅彩色图案序列PSrgb解码,分离每幅图的RGB通道,重新生成n幅格雷码编码的环境图案序列PSg={pSg1,pSg2,...pSgn},S5、对重新生成的图案序列Psg二值化,获得PSb={pSb1,pSb2,...pSbn},再对PSb进行格雷码解码,运用光学三角法测量原理,完成三维重建。本发明在基于格雷码结构光重建系统的基础上,运用RGB图像对格雷码序列进行编码解码,显著提升了重建速度。

    一种基于信息融合的太阳能负载调节方法和装置

    公开(公告)号:CN112311078A

    公开(公告)日:2021-02-02

    申请号:CN202011215257.0

    申请日:2020-11-04

    Applicant: 华侨大学

    Abstract: 本发明提供一种基于信息融合的太阳能负载调节方法和装置,方法包括:通过通信接口向服务器发送数据请求;基于所述请求,通过通信接口获取服务器提供的天气预报数据和实时天气数据;根据获取的天气预报数据生成数据矩阵,实时天气数据生成行向量;将所述数据矩阵和所述行向量分别进行向量归一化;基于归一化的天气预报数据矩阵和实时天气数据向量生成目标状态的控制权值向量;根据所述目标状态的控制权值向量和当前目标状态确定下一时刻目标状态进而控制输出值,以实现对负载的调节。本发明实现太阳能负载的合理持续供电,以尽可能避免未来几天阴雨天气无可用太阳能时对负载供电的间断,实现负载的科学合理调配。

    一种基于信用评价的区块链共识方法

    公开(公告)号:CN109819022A

    公开(公告)日:2019-05-28

    申请号:CN201910026864.3

    申请日:2019-01-11

    Applicant: 华侨大学

    Abstract: 本发明涉及一种基于信用评价的区块链共识方法,涉及区块链共识技术领域,通过引入信用评价机制和基于信用的投票奖惩机制提高节点的积极性,同时针对PBFT的一致性协议和检查点协议进行优化,提高系统的效率和灵活性。本发明方法根据节点的信用评价决定节点是否参与全局共识,使用选举方式选出生成账本信息的节点,按照共识结果对节点信用进行动态信用调整,维持系统的良性运转。使用本发明方法在长期运行下能够大幅降低异常节点参与共识的概率,从而使系统的效率有效提高,系统的稳定性显著增强。

    一种基于RM策略的偶发任务低能耗调度方法

    公开(公告)号:CN105893148B

    公开(公告)日:2019-01-22

    申请号:CN201610190341.9

    申请日:2016-03-30

    Applicant: 华侨大学

    Abstract: 本发明公开了一种基于RM策略的偶发任务低能耗调度方法,包括在任务集调度之前,分配任务的初始优先级和执行优先级;计算任务的最大阻塞时间和最坏情况下的处理器需求;将任务集划分为有资源需求的任务集和没有资源需求的任务集,计算有资源需求任务集的最低运行速度,计算没有资源需求的任务集的最低运行速度;计算任务集离线阶段的运行速度;建立空闲时间管理队列,计算任务的空闲时间,利用DVS技术,调节处理器运行速度,确保最后的运行速度不低于关键速度。本发明考虑了通用的功耗模型、任务的执行时间与处理器速度成非线性关系情形及处理器速度切换开销,同时结合了DVS技术和DPM技术,较大地降低了能耗。

    基于输入输出等价类的自动列车保护系统测试用例生成方法及装置

    公开(公告)号:CN118779241A

    公开(公告)日:2024-10-15

    申请号:CN202410989781.5

    申请日:2024-07-23

    Applicant: 华侨大学

    Abstract: 本发明公开了一种基于输入输出等价类的自动列车保护系统测试用例生成方法及装置,包括:采用STPA技术对自动列车保护系统进行分析,得出了各个级别的不安全控制动作以及相应的软件安全要求;将STPA生成的软件安全要求形式化为LTL公式,并将其作为属性需求用于在测试中验证。采用符号化有限状态机对自动列车保护系统进行建模,并运用LTL公式生成测试用例。对具有连续性且具有无限域的输入表达式和输出表达式进行等价类划分,同时将输入输出划分等价类后再将其整合到一起,将相应的输入等价类和输出等价类结合进行测试,从而提高了测试的全面性和有效性。

Patent Agency Ranking