公开(公告)号：CN119871470A

公开(公告)日：2025-04-25

申请号：CN202510394286.4

申请日：2025-03-31

Applicant: 鹏城实验室

Inventor： 徐恒梅 ,  徐光侠 ,  周瀚 ,  周昂 ,  刘超 ,  张延飞 ,  高峰

IPC: B25J9/16

Abstract: 本申请公开了C2F模式下的机械臂控制方法、装置、设备及介质，方法包括：对机械臂控制设备中的机械臂进行数据采集，得到多个传感器数据；基于预设的聚类算法对所有传感器数据进行数据分组，得到多个数据组和聚类标签，并根据每个聚类标签对每个数据组进行聚类评估，得到聚类数据；对聚类数据进行特征学习，得到高层次特征向量，并根据高层次特征向量和聚类标签生成与聚类数据对应的任务模板；获取机械臂执行当前时刻的任务所反馈的反馈信息；根据反馈信息和高层次特征向量调整任务模板，生成下一时刻的目标任务，并根据目标任务控制机械臂。在本发明实施例中，能够根据反馈动态生成任务，提高生产的灵活性和适应性。

公开(公告)号：CN117669434A

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

申请号：CN202311481686.6

申请日：2023-11-08

Applicant: 鹏城实验室

Inventor： 张延飞 ,  刘超 ,  高峰 ,  周昂 ,  李孟

IPC: G06F30/33 ,  G06F30/327 ,  G06F115/02

Abstract: 本申请提供了一种测试激励生成方法、装置以及SoC系统级验证系统，该测试激励生成方法包括获取基于硬件描述语言定义的测试用例，调用激励生成器根据测试用例生成随机测试激励，获取针对待测SoC的处理器架构预先配置好的指令生成需求信息，根据指令生成需求信息将随机测试激励转换为可被所述待测SoC中的处理器执行的测试指令，最后将测试指令发送至待测SoC的存储器中。本申请通过调用激励生成器根据基于硬件描述语言定义的测试用例生成随机测试激励并将随机测试激励转换为处理器指令，相较于传统SoC系统级验证中的激励生成方法，利用硬件描述语言替代了编译器的功能，能够提高随机测试激励的质量和支持问题定位的自动校验。

公开(公告)号：CN112231164B

公开(公告)日：2021-08-27

申请号：CN202011446163.4

申请日：2020-12-11

Applicant: 鹏城实验室

Inventor： 张延飞 ,  高峰 ,  庞川 ,  付鹏宇 ,  程睿

IPC: G06F11/22

Abstract: 本申请公开了一种处理器验证方法、设备及可读存储介质，所述处理器验证方法包括：获取测试用例对应的配置信息，并生成所述测试用例对应的测试覆盖目标信息，进而将所述配置信息解析为指令约束，并基于所述测试覆盖目标信息，对基于所述指令约束生成的测试指令流进行覆盖率分析，获得覆盖率分析结果，进而基于所述覆盖率分析结果，对所述测试覆盖目标信息和所述指令约束进行更新，以进行指令发包，获得目标指令流，进而基于所述目标指令流进行处理器验证，获得目标验证结果。本申请解决了处理器验证时测试效率低的技术问题。

公开(公告)号：CN119676059B

公开(公告)日：2025-04-22

申请号：CN202510180754.8

申请日：2025-02-19

Applicant: 鹏城实验室

Inventor： 徐恒梅 ,  周瀚 ,  徐光侠 ,  刘超 ,  周昂 ,  张延飞

IPC: H04L41/0631 ,  H04L41/0677 ,  H04L41/0853 ,  H04L41/0866 ,  H04L41/12

Abstract: 本申请实施例提供了一种面向C2F场景下的故障检测方法、装置、设备及介质，属于工业报文处理技术领域。该方法包括：基于拓扑信息确定目标工业系统中各设备节点之间形成的目标链路，选定任一目标链路下正常工作的设备节点为参考节点，并确定目标链路下的其他设备节点为待检测节点；以参考节点的参考报文信息为基础，基于各个待检测节点相应的功能信息，沿着目标链路确定目标检测节点在正常工作状态下期望输出的期望报文信息，其中，目标检测节点是从多个待检测节点中任意选取一个得到的；并将目标检测节点实际输出的实际报文信息、与期望报文信息进行比较，确定目标工业系统的目标故障检测结果。本申请能够提高工业系统的故障检测准确性和实时性。

公开(公告)号：CN118972469A

公开(公告)日：2024-11-15

申请号：CN202411053538.9

申请日：2024-08-01

Applicant: 鹏城实验室

Inventor： 周昂 ,  吴喜广 ,  高峰 ,  张凡 ,  徐恒梅 ,  张延飞 ,  高峰 ,  刘超 ,  李孟

IPC: H04L69/08 ,  H04L61/251 ,  H04L61/2592 ,  H04L47/36

Abstract: 本申请实施例提供了一种异构网络互联通信方法和装置、电子设备及存储介质。该方法包括：获取原始数据包信息；根据原始数据包信息，确定网络通讯类型、数据包长度、可选字段类型；提取原始数据包信息的五元组信息，并计算得到对应的哈希值；获取预设的网络隧道模块的第一计数值和协议转换模块的第二计数值；当网络通讯类型为异构网络通讯，根据第一计数值、第二计数值、数据包长度和可选字段类型，选取网络隧道模块或协议转换模块对原始数据包信息进行转换，得到目标数据包信息；根据哈希值，更新网络隧道模块的第一计数值或协议转换模块的第二计数值。本申请实施例能够提高异构网络互联转换配置的灵活性和可拓展性，提高异构网络的通讯效果。

公开(公告)号：CN115562959A

公开(公告)日：2023-01-03

申请号：CN202211061249.4

申请日：2022-08-31

Applicant: 鹏城实验室

Inventor： 刘超 ,  李孟 ,  徐恒梅 ,  张凡 ,  高峰 ,  张延飞

IPC: G06F11/34 ,  G06F11/36

Abstract: 本申请公开了分支预测功能的验证方法、装置、电子设备及可读存储介质，应用于计算机技术领域，包括：若接收到针对于待验证处理器的验证指令，则在待验证处理器对应的测试激励数据包中选取激励关联数据；依据激励关联数据对应的激励测试信息，对待验证处理器进行分支测试，得到对应的分支测试结果；若接收到所述激励关联数据进行分支测试的测试完成指令，则依据激励测试信息，对待验证处理器进行分支预测，得到对应的分支预测结果；依据分支测试结果和分支预测结果共同对应的比对结果，对待验证处理器进行迭代验证，直至检测到验证后的待验证处理器具备预设验证效果。本申请解决了进行分支预测功能验证的验证准确性低的技术问题。

公开(公告)号：CN120075311A

公开(公告)日：2025-05-30

申请号：CN202510459017.1

申请日：2025-04-14

Applicant: 鹏城实验室

Inventor： 徐光侠 ,  高峰 ,  周昂 ,  张延飞 ,  钟国祥 ,  周瀚 ,  付志鹏 ,  徐恒梅 ,  刘元恒

IPC: H04L69/08 ,  H04L69/22 ,  H04L67/01 ,  H04L69/167 ,  H04L12/40

Abstract: 本申请实施例提出的C2F应用传输系统的工业报文发送方法、接收方法及相关设备，C2F应用传输系统包括依次连接的发送站、发送转换设备、接收转换设备以及接收站，方法应用于发送转换设备，方法包括：获取由发送站输入的C2F应用工业报文数据；基于C2F应用工业报文数据的报文数据特征以及IP网络的实时网络特征，将C2F应用工业报文数据进行加密处理，得到加密报文数据；基于接收转换设备的寄存器配置，对加密报文数据进行IP报文封装，得到IP加密报文数据；将IP加密报文数据通过IP网络发送至接收转换设备，以使得接收转换设备将C2F应用工业报文数据转发至接收站，在提高C2F应用工业报文数据的传输灵活性的同时，也提高了数据传输中的安全性。

公开(公告)号：CN113312226A

公开(公告)日：2021-08-27

申请号：CN202110694728.9

申请日：2021-06-22

Applicant: 鹏城实验室

Inventor： 张延飞 ,  高峰 ,  周昂 ,  付鹏宇

IPC: G06F11/22

Abstract: 本发明公开了一种测试逻辑设计异常特性的验证平台，包括：异常激励生成器，用于生成随机异常测试激励，获取随机异常测试激励的激励特征，并将激励特征发送至配置生成器；配置生成器，用于获取与激励特征对应的第一配置信息与第二配置信息，以及将第一配置信息发送至参考模型，将第二配置信息发送至比较器。本发明还公开了一种测试逻辑设计异常特性的验证装置以及存储介质。本发明通过不同异常测试激励生成的配置信息对参考模型以及比较器的功能进行动态配置，使得验证平台可适应不同异常特性的验证，从而可支持异常特性的随机激励测试，无需针对不同异常特性单独开发定向测试用例，提高了异常特性的验证效率和质量。

公开(公告)号：CN112231164A

公开(公告)日：2021-01-15

申请号：CN202011446163.4

申请日：2020-12-11

Applicant: 鹏城实验室

Inventor： 张延飞 ,  高峰 ,  庞川 ,  付鹏宇 ,  程睿

IPC: G06F11/22

Abstract: 本申请公开了一种处理器验证方法、设备及可读存储介质，所述处理器验证方法包括：获取测试用例对应的配置信息，并生成所述测试用例对应的测试覆盖目标信息，进而将所述配置信息解析为指令约束，并基于所述测试覆盖目标信息，对基于所述指令约束生成的测试指令流进行覆盖率分析，获得覆盖率分析结果，进而基于所述覆盖率分析结果，对所述测试覆盖目标信息和所述指令约束进行更新，以进行指令发包，获得目标指令流，进而基于所述目标指令流进行处理器验证，获得目标验证结果。本申请解决了处理器验证时测试效率低的技术问题。

公开(公告)号：CN111930444A

公开(公告)日：2020-11-13

申请号：CN202011107190.9

申请日：2020-10-16

Applicant: 鹏城实验室

Inventor： 张延飞 ,  张凡 ,  李睿 ,  高峰

IPC: G06F9/445 ,  G06F30/327 ,  G06F11/36

Abstract: 本发明公开了一种处理器核验证的指令耦合装置、方法、设备及存储介质，处理器核验证的指令耦合装置包括：配置信息解析器、约束求解器、指令生成器和指令发射器，配置信息解析器用于将处理器核中测试用例的配置信息解析为第一约束数据；约束求解器用于基于第一约束数据进行约束求解，确定求解约束的结果，基于第一约束数据生成第二约束数据；指令生成器用于基于第二约束数据生成耦合指令或非耦合指令；指令发射器用于将耦合指令或非耦合指令发送至驱动器，将生成的指令信息反馈至约束求解器。本发明将配置信息和指令发射器中的指令信息耦合，使得各个指令之间相互关联和依赖，提升了测试覆盖率收敛效率。