一种智能合约的细粒度漏洞检测方法、系统、装置及存储介质

    公开(公告)号:CN119598475B

    公开(公告)日:2025-05-16

    申请号:CN202510140022.6

    申请日:2025-02-08

    Abstract: 本发明公开了一种智能合约的细粒度漏洞检测方法、系统、装置及存储介质,属于智能合约漏洞检测技术领域。方法包括获取包括若干语句的待检测智能合约代码数据;根据语句的节点类型遍历待检测智能合约代码数据生成代码控制流集合;将代码控制流集合输入提示模版中得到各代码控制流对应的提示文本嵌入序列;将各代码控制流对应的提示文本嵌入序列输入残差网络中,经过残差重参数化操作转换为重参数化嵌入序列;将重参数化嵌入序列输入细粒度漏洞检测模型,得到待检测智能合约的漏洞集合,对各代码控制流对应的漏洞进行评分计算,并按评分计算结果进行排序得到细粒度漏洞检测结果。本发明实现检测存在漏洞的代码控制流,得到细粒度漏洞检测结果。

    一种基于联盟链与多路查找树的充电桩搜寻方法及系统

    公开(公告)号:CN118861119B

    公开(公告)日:2025-05-16

    申请号:CN202410796466.0

    申请日:2024-06-19

    Abstract: 本发明涉及一种基于联盟链与多路查找树的充电桩搜寻方法及系统,属于区块链及数据检索技术领域。方法包括:充电桩拥有者向区块链节点提交事务以及充电桩的位置信息,区块链节点将事务上传至区块链并更新多路查找树;充电者向区块链节点提交查询请求,区块链节点收到请求后遍历检索多路查找树,向充电者返回符合充电要求的可用充电桩集合;充电完成后,充电者向区块链节点提交处理交易的请求,区块链节点修改多路查找树的特定节点的可用性属性值。本方法基于联盟链与多路查找树搜寻可用的充电桩,使得用户能够快速、便捷地寻找可用的充电桩,降低了查询时间,节省了器材成本,提高了用户体验。

    一种多无人机辅助的船舶排放检测方法

    公开(公告)号:CN119901881A

    公开(公告)日:2025-04-29

    申请号:CN202510393419.6

    申请日:2025-03-31

    Abstract: 本发明公开了一种多无人机辅助的船舶排放检测方法,属于多无人机排放监测技术领域,所述方法适用于无人机,包括:接收监管中心发送的无人机执行检测任务的轨迹计划,其中,所述检测任务以任务海域内的船舶作为检测目标,所述轨迹计划基于遗传算法的轨迹规划方法生成;按照轨迹计划在任务海域内执行检测任务,通过无人机上预先搭载的传感器检测船舶排放的气体及可吸入颗粒物浓度,并将检测得到的数据传输至监管中心,完成船舶对应的检测任务;当到达任务截止期限或所有任务完成时,无人机返回基站;本发明采用无人机检测技术,并同时部署多架无人机进行辅助排放检测,从而节省人力和时间资源,提高检测效率与检测覆盖率。

    一种基于无人机的高速公路健康码识别系统及工作方法

    公开(公告)号:CN114724731B

    公开(公告)日:2025-04-29

    申请号:CN202210451182.9

    申请日:2022-04-27

    Abstract: 本发明所述的一种基于无人机的高速公路健康码识别系统,包括无人机组、调度中心及防控子系统,所述无人机组包括流量无人机,勘察无人机和巡检无人机,其中流量无人机和勘察无人机用于为辖区划分系统采集信息,巡检无人机用于健康码的检测;所述调度中心包括辖区划分系统和无人机调度系统,其中辖区划分系统根据采集的信息进行检测区域的划分,无人机调度系统用于派遣无人机执行相应的指令;所述防控子系统用于收集巡检无人机传送回来的风险信息,供防疫系统做出相应的措施。通过该系统对高速公路健康码进行识别,提高防控的严密性及准确性。

    一种基于代码变更集的离散重构编码故障定位方法

    公开(公告)号:CN119201753B

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

    申请号:CN202411697756.6

    申请日:2024-11-26

    Abstract: 本发明公开了一种基于代码变更集的离散重构编码故障定位方法,属于人工智能及信息检索领域,所述故障定位方法使用故障定位模型进行定位,所述故障定位模型包括代码语义学习模块、故障报告学习模块和故障报告‑代码匹配模块;相比传统的故障定位方法,本方法在对代码的编码阶段根据不同代码句的功能对其进行强监督引导,同时尽可能量化并减小了编码阶段的语义损失,离散的编码形式也加强了模型泛化能力。

    基于决策树的自动测试向量生成方法及系统

    公开(公告)号:CN119780685A

    公开(公告)日:2025-04-08

    申请号:CN202510294397.8

    申请日:2025-03-13

    Abstract: 本发明公开了一种基于决策树的自动测试向量生成方法及系统,该方法首先提取待测电路的节点特征数据,然后利用训练好的决策树模型得到计算每个逻辑门的回溯置信度,回溯置信度是决策树模型对逻辑门在回溯路径中成功传播故障的预测概率值;最后选择回溯置信度高的逻辑门作为节点添加到回溯路径中,根据回溯路径生成测试向量。本发明能够有效减少测试向量的数量,降低故障检测的时间复杂度,解决了传统方法中回溯频率高、资源消耗大及噪声数据干扰等问题。

    一种基于混合差分隐私的区域计数查询方法及系统

    公开(公告)号:CN118821205B

    公开(公告)日:2025-03-04

    申请号:CN202410789254.X

    申请日:2024-06-18

    Abstract: 本发明涉及一种基于混合差分隐私的区域计数查询方法及系统,属于数据安全技术领域。方法包括:用户根据自身所在位置、所在的子区域大小以及隐私预算计算扰动参数,根据所述扰动参数,将扰动后的位置信息上传到用户所在子区域对应的分位置收集中心;分位置收集中心统计自己管辖子区域内的用户数量并进行扰动保护,将所述扰动后的子区域计数值上传到总位置收集中心;总位置收集中心对各分位置收集中心上传的扰动后的子区域计数值进行合法性检查和修正,向外提供区域计数查询服务。本方法保护了用户的位置隐私,提高了查询结果的精度,能够向查询用户提供较高精度的区域计数查询服务。

    融合A星算法和强化学习的多无人机空海协同目标监测方法

    公开(公告)号:CN118466301B

    公开(公告)日:2025-01-24

    申请号:CN202410621743.4

    申请日:2024-05-17

    Abstract: 本发明公开了一种融合A星算法和强化学习的多无人机空海协同目标监测方法,涉及路径规划技术领域,解决了空海协同监测效率和精准度不够高的技术问题,其技术方案要点融合A星算法和强化学习的路径规划算法来指导无人机的全覆盖路径规划与水面船只的点到点路径规划,以提高任务执行效率,并有效减少航行风险从而确保任务的安全高效执行;通过利用声纳阵列同时对水下情况进行监测,拓宽了监测的深度和广度,对潜在异常进行有效预防。本发明充分结合空中、海面上的精确扫描与水下的深度勘测,能够有效提升对广阔海域及水下目标监测的全面性和准确性。

Patent Agency Ranking