-
Patent Agency Ranking
公开(公告)号：CN115689762B
公开(公告)日：2023-04-07
申请号：CN202310000333.3
申请日：2023-01-03
Applicant: 华侨大学
Abstract: 本发明公开一种银行交易资金流向路径检测方法、系统、设备及存储介质，涉及银行交易检测技术领域。本发明构建银行交易记录的有向图，有向图中每个顶点为并发的无锁共享数据结构，根据流入流出账户对，采用多线程并行检测方法检测有向图，获得待检测账号的交易路径。本发明通过多线程并行的方式处理数据，充分利用底层多核处理器的高并发性缩短算法执行时间，提高交易路径检测的效率。
-
公开(公告)号：CN115796166A
公开(公告)日：2023-03-14
申请号：CN202310063491.3
申请日：2023-02-06
Applicant: 华侨大学
IPC: G06F40/279 , G06Q10/08 , G06F40/253
Abstract: 本发明涉及一种智慧物流控制系统的正则表达式测试方法和系统，属于电子技术领域。本发明基于给定的正则表达式识别得到元字符后，确定元字符的优先级关系，并基于优先级关系构建优先级表，接着，基于优先级表，将正则表达式转换为后缀形式的正则表达式，以构造抽象语法树，然后，遍历抽象语法树，并在遍历过程中对访问到的结点创建字符串集合，提取字符串集合中与抽象语法树根结点对应的字符串集合，并进行整理得到测试字符串，最后，基于测试字符串正则表达式的测试，能够在提高正则表达式描述效率的同时，提高正则表达式测试的正确性，进而能够为智慧物流机器人控制系统的有效和可靠应用提供支持。
-
公开(公告)号：CN115494829B
公开(公告)日：2023-03-14
申请号：CN202211432332.8
申请日：2022-11-16
Applicant: 华侨大学
Abstract: 本发明公开了一种自主列车运行控制系统建模及验证方法，属于轨道交通系统建模领域。该方法包括：对自主列车运行控制系统进行分析，得到自主列车运行控制系统分析图；基于所述自主列车运行控制系统分析图对所述自主列车运行控制系统进行非形式化描述；基于所述非形式化描述对所述自主列车运行控制系统进行建模；采用Event‑B形式化方法对所述自主列车运行控制系统的模型进行优化；通过Rodin平台中的定理证明器对优化后的自主列车运行控制系统的模型进行证明。本发明基于抽象数据类型（ADT）与Event‑B方法的精化策略对自主列车运行控制系统进行建模，利用ADT的抽象概念，能够有效弥补单一使用精化策略的不足之处。
-
公开(公告)号：CN115494829A
公开(公告)日：2022-12-20
申请号：CN202211432332.8
申请日：2022-11-16
Applicant: 华侨大学
Abstract: 本发明公开了一种自主列车运行控制系统建模及验证方法，属于轨道交通系统建模领域。该方法包括：对自主列车运行控制系统进行分析，得到自主列车运行控制系统分析图；基于所述自主列车运行控制系统分析图对所述自主列车运行控制系统进行非形式化描述；基于所述非形式化描述对所述自主列车运行控制系统进行建模；采用Event‑B形式化方法对所述自主列车运行控制系统的模型进行优化；通过Rodin平台中的定理证明器对优化后的自主列车运行控制系统的模型进行证明。本发明基于抽象数据类型（ADT）与Event‑B方法的精化策略对自主列车运行控制系统进行建模，利用ADT的抽象概念，能够有效弥补单一使用精化策略的不足之处。
-
公开(公告)号：CN111988338B
公开(公告)日：2022-06-24
申请号：CN202010927145.1
申请日：2020-09-07
Applicant: 华侨大学
IPC: H04L9/40 , H04L67/12 , H04L9/08 , G06F16/27 , H04L67/568
Abstract: 本发明涉及一种基于区块链的权限可控的物联网云平台及数据交互方法。该云平台包括：权限管理系统，用于管理每个部门的用户对物联网的产品及设备进行管理的权限；每个产品对应多个设备；产品管理模块，用于通过边缘计算节点与区块链进行交互，对物联网的产品进行管理；边缘计算节点采用分布式部署的方式接入区块链；设备管理模块，用于通过边缘计算节点与区块链进行交互，对物联网的设备进行管理；区块链，用于按照智能合约存储产品和设备的数据。本发明可以提高物联网数据处理的安全性和时效性。
-
-
-
-
Search Results
85
records
(took 0.034 seconds)
