“沙猛”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果4个，建议您升级VIP下载更多相关专利

[发明专利]一种基于FPGA加速卡的DPDK驱动系统-CN202110500249.9有效
发明人：郭志川;王可;沙猛;黄逍颖 -专利权人：中国科学院声学研究所;中科海网（苏州）网络科技有限公司
申请日： 2021-05-08 - 公布日： 2023-05-12 - 主分类号： G06F9/4401 文献下载
摘要：本发明公开了一种基于FPGA加速卡的DPDK驱动系统，部署在X86的服务器中，该系统包括：DMA模块、数据包收取模块和数据包发送模块；其中，DMA模块，用于根据网络流量动态调整DMA传输数据块的大小，将FPGA加速卡的DDR中的数据包以DMA方式传输至服务器的接收内存中，还用于采用超时补包机制将服务器的发送内存中的数据包以DMA方式传输至FPGA加速卡的DDR中；数据包收取模块，用于解析服务器接收内存中的数据包，提取时间戳和包长信息，并封装到DPDK的mbuf数据结构中；数据包发送模块，用于对mbuf数据结构中待发送的数据包按照预定格式进行封装，添加包头信息后拷贝至服务器的发送内存。
一种基于 fpga 加速卡 dpdk 驱动系统

[发明专利]一种AXI4高速总线及多队列仿真验证方法及仿真验证装置-CN202110789997.3在审
发明人：宋曼谷;王可;沙猛;郭志川 -专利权人：中国科学院声学研究所
申请日： 2021-07-13 - 公布日： 2023-01-17 - 主分类号： H04L41/14 文献下载
摘要：本发明属于通信技术领域，具体地说，涉及一种AXI4高速总线及多队列仿真验证方法，利用python语言构建AXI4总线协议仿真逻辑和多队列仿真逻辑；该方法包括：根据AXI4总线协议及以太网报文结构，得到支持不同格式的数据包；其中，该数据包附加并行同步传输的AXI4总线协议控制信号；调用python MyHDL扩展包，通过MyHDL信号传输接口，将得到的支持不同格式的数据包与待测试多队列信号交互，观测并比对其输出结果是否与预期结果相同。
一种 axi4 高速总线队列仿真验证方法装置

[发明专利]一种基于FPGA的负载均衡处理系统-CN202011466483.6有效
发明人：宋曼谷;沙猛;郭志川;王可 -专利权人：中国科学院声学研究所;中科海网（苏州）网络科技有限公司
申请日： 2020-12-14 - 公布日： 2022-11-01 - 主分类号： H04L47/125 文献下载
摘要：本发明的公开了一种基于FPGA的负载均衡系统，该系统包括：FPGA加速卡和服务器，FPGA加速卡包括：解析处理模块、负载均衡模块、FIFO缓存模块、DDR缓存和DMA模块；服务器上设置DPDK驱动模块；解析处理模块用于对数据链路层进行解析；负载均衡模块用于提取数据包的五元组信息，根据负载均衡算法对数据包进行计算，确定该数据包所属的队列；将每个数据包和每个数据包的负载均衡结果分别发送至FIFO缓存模块；FIFO缓存模块用于将数据包负载均衡结果插入到数据包以太网前导码之后，并对合并后的数据包进行缓存；DDR模块用于缓存FIFO缓存模块通过AXI总线传输的数据，通过DMA方式传输到服务器；DPDK驱动模块用于根据每个数据包所携带的负载均衡结果，将该数据包拷贝到相应队列中。
一种基于 fpga 负载均衡处理系统

[发明专利]一种系统安全验证的方法和装置-CN202110352147.7有效
发明人：陈鑫;沙猛;刘毅达 -专利权人：南京大学
申请日： 2021-03-31 - 公布日： 2022-06-21 - 主分类号： G05B23/02 文献下载
摘要：本发明公开了一种系统安全验证的方法和装置。该方法首先通过多项式插值方法对控制器进行多项式抽象，并估计两者之间误差上界，以此将控制器拟合成带扰动的抽象多项式；然后通过利用SOS松弛求解得到被控系统的候补栅栏函数；最后采用SMT求解器候补栅栏函数是否满足最终结果的正确性。相比于传统的基于可达集的验证方法，本发明能够验证无穷时间域上的安全性。此外，相比于数据驱动的栅栏函数生成算法，本发明所生成候补栅栏函数更为精确。
一种系统安全验证方法装置