基于区块链的权限可控的物联网云平台及数据交互方法

    公开(公告)号:CN111988338A

    公开(公告)日:2020-11-24

    申请号:CN202010927145.1

    申请日:2020-09-07

    Applicant: 华侨大学

    Abstract: 本发明涉及一种基于区块链的权限可控的物联网云平台及数据交互方法。该云平台包括:权限管理系统,用于管理每个部门的用户对物联网的产品及设备进行管理的权限;每个产品对应多个设备;产品管理模块,用于通过边缘计算节点与区块链进行交互,对物联网的产品进行管理;边缘计算节点采用分布式部署的方式接入区块链;设备管理模块,用于通过边缘计算节点与区块链进行交互,对物联网的设备进行管理;区块链,用于按照智能合约存储产品和设备的数据。本发明可以提高物联网数据处理的安全性和时效性。

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

    公开(公告)号:CN118779241A

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

    申请号:CN202410989781.5

    申请日:2024-07-23

    Applicant: 华侨大学

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

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

    公开(公告)号:CN118279060B

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

    申请号:CN202410674745.X

    申请日:2024-05-29

    Applicant: 华侨大学

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

    一种基于ORCA的轨道交通路径规划方法、装置及可读介质

    公开(公告)号:CN118419100B

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

    申请号:CN202410892289.6

    申请日:2024-07-04

    Abstract: 本发明公开了一种基于ORCA的轨道交通路径规划方法、装置及可读介质,涉及多智能体技术领域,包括:对每个智能体进行单列车路径规划,得到第一路径;采用ORCA算法判断是否会发生碰撞,若是,则对智能体进行第一局部路径规划,得到第一移动速度和第二路径,智能体以第一移动速度按照第二路径朝向下一个路径点移动,否则判断智能体是否存在死锁,若是,则采用MAPF算法对智能体进行第二局部路径规划,得到第三路径,智能体按照第三路径朝向下一个路径点移动,否则计算智能体的第二移动速度,智能体以第二移动速度按照第一路径朝向下一个路径点移动;重复上述步骤,直至智能体到达终点,发挥集中式和分散式方法的优势,实现全局优化和避免碰撞。

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

    公开(公告)号:CN118529096A

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

    申请号:CN202410928359.9

    申请日:2024-07-11

    Applicant: 华侨大学

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

    基于增量MAPF的轨道交通路径规划方法及相关装置

    公开(公告)号:CN118387169A

    公开(公告)日:2024-07-26

    申请号:CN202410813361.1

    申请日:2024-06-24

    Abstract: 本发明公开一种基于增量MAPF的轨道交通路径规划方法及相关装置,涉及轨道交通路径规划领域,方法包括:先根据各轨道交通列车的当前路径方案构造冲突树,在根节点中各轨道交通列车的当前路径方案之间存在冲突时,更新冲突树并确定出一当前最佳节点;在交通环境发生变化时,根据当前交通环境和当前最佳节点,判断当前交通环境是否导致当前最佳节点中的路径方案存在冲突,在确定产生冲突时,根据当前交通环境和当前最佳节点,再次更新冲突树并确定出一当前最佳节点,当前最佳节点中各轨道交通列车的当前路径方案适用于变化后的交通环境中,可用于控制各轨道交通列车的运行。本发明方案适用于复杂且动态多变的轨道交通场景。

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

    公开(公告)号:CN117670630B

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

    申请号:CN202410145282.8

    申请日:2024-02-02

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

Patent Agency Ranking