基于并发时序环枚举的可疑资金回流检测方法

    公开(公告)号:CN118279060B

    公开(公告)日:2024-09-27

    申请号:CN202410674745.X

    申请日:2024-05-29

    Applicant: 华侨大学

    Abstract: 本发明一种基于并发时序环枚举的可疑资金回流检测方法,涉及金融大数据分析领域,包括:S1,根据银行交易记录构建时序图及其邻接表结构;S2,在构建的时序图中枚举所有强连通分量,并删除邻接表结构中不被包含在强连通分量中的节点,排除掉不能成环的交易边;S3,为每个强联通分量中的节点分配存储结构,并初始化;S4,创建多个线程同时在不同的强联通分量上执行时序环枚举算法;S5,利用交易金额有关的约束条件过滤掉不符合金额起伏范围限制的时序环;根据剩余的环路信息,结合原始银行交易记录输出存在可疑资金回流的银行交易流水信息。本发明在提高检测效率和执行性能的同时,降低了误报率。

    轨道交通联锁系统安全需求构建方法、装置、介质及产品

    公开(公告)号:CN118529096A

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

    申请号:CN202410928359.9

    申请日:2024-07-11

    Applicant: 华侨大学

    Abstract: 本发明公开了一种轨道交通联锁系统安全需求构建方法、装置、介质及产品,涉及轨道交通联锁系统安全需求技术领域,该方法包括:对轨道交通联锁系统进行分析,确定系统级事故和系统级危险;根据系统级事故、系统级危险以及各进路控制器的轨道资源信息建立轨道交通联锁系统的联锁系统层级控制结构;利用STPA方法识别危险控制行为,并对危险控制行为进行分析,得到抽象站场安全需求;根据联锁系统层级控制结构和抽象站场安全需求确定轨道交通联锁系统的具体站场安全需求,本发明在轨道交通联锁系统设计方面能够提供复杂站场的的安全需求,降低安全需求提取的难度。

    一种表格识别方法及系统
    34.
    发明公开

    公开(公告)号:CN116343249A

    公开(公告)日:2023-06-27

    申请号:CN202310300980.6

    申请日:2023-03-27

    Abstract: 本发明公开一种表格识别方法及系统,涉及表格识别技术领域,获取对待识别表格进行拍摄所得到的图片,利用文字检测模型对图片进行识别,确定图片中的文本区域,利用文字识别模型对文本区域进行文字识别,得到文本识别结果,文本识别结果包括文本区域内每个元素的顶点坐标及文本内容,通过先识别文本区域再进行文字识别的方式能够快速确定待识别表格的文本内容。根据文本识别结果对文本区域内每个元素进行位置定位,确定文本区域内每个元素的位置,从而可以得到待识别表格中各个元素的位置及文本内容,准确、高效的对表格内容进行识别。

    一种轨道交通联锁系统安全分析开发方法及装置

    公开(公告)号:CN116187104A

    公开(公告)日:2023-05-30

    申请号:CN202310464545.7

    申请日:2023-04-27

    Applicant: 华侨大学

    Abstract: 本发明公开一种轨道交通联锁系统安全分析开发方法及装置,涉及系统安全评估技术领域,方法包括:基于系统级安全约束表,采用STPA分析方法,确定所述初始控制反馈模型的安全分析结果;若初始控制反馈模型不满足预设安全条件,则对初始控制反馈模型进行精化处理,以得到精化后控制反馈模型;精化处理包括引入轨道区段、引入道岔和道岔位置状态、引入轨道区段状态以及引入信号机中的一项或多项;基于系统级安全约束表,采用STPA分析方法确定精化后控制反馈模型的安全分析结果,并基于精化后控制反馈模型的安全分析结果进行轨道交通联锁系统的设计开发。本发明实现基于STPA设计的抽象精化的安全分析,提高安全分析的精细程度。

    一种银行交易欺诈行为检测方法、系统及电子设备

    公开(公告)号:CN116029734A

    公开(公告)日:2023-04-28

    申请号:CN202310286233.1

    申请日:2023-03-23

    Applicant: 华侨大学

    Abstract: 本发明公开一种银行交易欺诈行为检测方法、系统及电子设备,涉及金融大数据分析技术领域。本发明提供的银行交易欺诈行为检测方法以基于银行交易记录整理得到资金交易表以客户为节点,以交易流水为边构建超图、超图的邻接表结构以及有序边列表后,采用有向环求解算法按照有序边列表中存储数据的顺序对初始化后的全局数据结构进行深度优先搜索遍历操作得到环路,使得在循环检测的基础上加上了时间维度的概念,充分利用了欺诈交易在时间维度上的“连续的方式”,从而增加检测结果的准确性,并且,本发明利用深度优先遍历的遍历方式,减少重复访问,能够显著提高检测效率。

    银行交易资金回流多线程并行检测方法及系统

    公开(公告)号:CN115982207A

    公开(公告)日:2023-04-18

    申请号:CN202310264829.1

    申请日:2023-03-20

    Applicant: 华侨大学

    Abstract: 本发明涉及一种银行交易资金回流多线程并行检测方法及系统,属于大数据分析处理领域。方法包括:根据银行交易记录构建有向图及其邻接表存储结构,并增加一个虚拟顶点来指向有向图中每一个顶点;基于有向图创建线程间共享内存数据结构,定义并初始化线程内局部数据结构;调用多个线程同时从虚拟顶点出发进行深度优先搜索遍历执行有向环路求解算法;所有线程运行结束之后,利用线程间共享内存数据结构中的环路集合输出检测到的资金回流环路。本发明方法通过将计算任务分解到多个线程上并行执行,充分利用了底层多核处理器的高并发性缩短了算法执行时间,提高了存在回流预警的交易环路的挖掘效率。

    一种智慧物流控制系统的正则表达式测试方法和系统

    公开(公告)号:CN115796166A

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

    申请号:CN202310063491.3

    申请日:2023-02-06

    Applicant: 华侨大学

    Abstract: 本发明涉及一种智慧物流控制系统的正则表达式测试方法和系统,属于电子技术领域。本发明基于给定的正则表达式识别得到元字符后,确定元字符的优先级关系,并基于优先级关系构建优先级表,接着,基于优先级表,将正则表达式转换为后缀形式的正则表达式,以构造抽象语法树,然后,遍历抽象语法树,并在遍历过程中对访问到的结点创建字符串集合,提取字符串集合中与抽象语法树根结点对应的字符串集合,并进行整理得到测试字符串,最后,基于测试字符串正则表达式的测试,能够在提高正则表达式描述效率的同时,提高正则表达式测试的正确性,进而能够为智慧物流机器人控制系统的有效和可靠应用提供支持。

    一种自主列车运行控制系统建模及验证方法

    公开(公告)号:CN115494829B

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

    申请号:CN202211432332.8

    申请日:2022-11-16

    Applicant: 华侨大学

    Abstract: 本发明公开了一种自主列车运行控制系统建模及验证方法,属于轨道交通系统建模领域。该方法包括:对自主列车运行控制系统进行分析,得到自主列车运行控制系统分析图;基于所述自主列车运行控制系统分析图对所述自主列车运行控制系统进行非形式化描述;基于所述非形式化描述对所述自主列车运行控制系统进行建模;采用Event‑B形式化方法对所述自主列车运行控制系统的模型进行优化;通过Rodin平台中的定理证明器对优化后的自主列车运行控制系统的模型进行证明。本发明基于抽象数据类型(ADT)与Event‑B方法的精化策略对自主列车运行控制系统进行建模,利用ADT的抽象概念,能够有效弥补单一使用精化策略的不足之处。

Patent Agency Ranking