-
公开(公告)号:CN118550542A
公开(公告)日:2024-08-27
申请号:CN202410600989.3
申请日:2024-05-15
Applicant: 复旦大学
Abstract: 本发明属于集成电路设计技术领域,具体为一种面向递归应用的高层次综合方法。本发明方法包括:获取源程序,生成MLIR代码;识别源程序,确定递归应用的类型;根据不同的递归应用类型,确定出递归应用的结构并进行标识,并优化为基于堆栈的可综合架构;将可综合架构进行优化,生成LLVM中间表示;在LLVM IR阶段进行功能验证并生成RTL代码。本发明在LLVM/MLIR框架中处理递归应用,使其变成可综合架构,有效的解决了目前高层次综合中难以综合递归应用的问题,实现了自动化、高效率的在FPGA上加速流程。
-
公开(公告)号:CN105262655A
公开(公告)日:2016-01-20
申请号:CN201510586250.2
申请日:2015-09-16
Applicant: 复旦大学
IPC: H04L12/40
Abstract: 本发明属于现场总线技术领域,具体为一种可兼容CAN2.0总线的具有高速率的通信方法。本发明采用CAN2.0的帧格式进行数据通信,在每一帧的数据场,使用倍频时序,使得数据场中具有更多的比特的数据位;为兼容CAN2.0协议,这些数据位不全部使用,采用特殊的编码方式使用倍频之后的比特位,从而得到增强型CAN总线的通信方法。本发明方法在CAN2.0总线的基础上,实现了更高速率的通信,并能兼容CAN2.0总线网络,使得同一个总线网络中可以同时实现不同速率的通信,能很好的满足当今日益复杂的电子设备通信需求。在现场可编程逻辑阵列器件上的验证结果表明,该通信方法切实可行。
-
公开(公告)号:CN102156970B
公开(公告)日:2013-04-10
申请号:CN201110093669.6
申请日:2011-04-14
Applicant: 复旦大学
IPC: G06T5/00
Abstract: 本发明属于数字图像处理领域,具体为一种基于畸变直线斜率计算的鱼眼图像校正方法。本发明利用径向畸变特有的几何性质,根据投影不变性原理,计算畸变直线的实际斜率,并以此为基础,通过求解线性方程组以获得多项式校正模型的参数值。这种校正方法在拥有理想校正精度的情况下显著地降低了计算复杂度。根据求解得到的校正模型,利用游程编码查找表(LUT)完成畸变图像与校正图像之间的位置映射编码,从而实现对校正图像的加权双线性插值。此方法便于硬件实现,并具有高效的实时处理能力。
-
公开(公告)号:CN107727727A
公开(公告)日:2018-02-23
申请号:CN201711113675.7
申请日:2017-11-13
Applicant: 复旦大学
IPC: G01N27/62
Abstract: 本发明属于生物分析技术领域,具体为一种蛋白质鉴定方法及系统。本发明方法包括:根据蛋白酶对待测蛋白质进行酶切操作,利用蛋白质串联质谱技术获得待测蛋白质的二级质谱;对蛋白质数据库中的蛋白质序列进行虚拟酶切操作,提取符合要求的第一类肽段;利用FPGA加速算法根据第一类肽段生成理论谱;利用FPGA加速模块将待测蛋白质的二级质谱与理论谱对比,进行相似性打分;将得分结果最高的理论谱对应的肽段序列确定为蛋白质的肽段序列;依次确定蛋白质的所有肽段序列,得到蛋白质序列。采用本发明所提供的蛋白质鉴定方法及系统,实现了在FPGA上加速,整个打分过程加速约为25倍左右,加速效果良好,提高了系统的运行效率。
-
公开(公告)号:CN107727727B
公开(公告)日:2020-11-20
申请号:CN201711113675.7
申请日:2017-11-13
Applicant: 复旦大学
IPC: G01N27/62
Abstract: 本发明属于生物分析技术领域,具体为一种蛋白质鉴定方法及系统。本发明方法包括:根据蛋白酶对待测蛋白质进行酶切操作,利用蛋白质串联质谱技术获得待测蛋白质的二级质谱;对蛋白质数据库中的蛋白质序列进行虚拟酶切操作,提取符合要求的第一类肽段;利用FPGA加速算法根据第一类肽段生成理论谱;利用FPGA加速模块将待测蛋白质的二级质谱与理论谱对比,进行相似性打分;将得分结果最高的理论谱对应的肽段序列确定为蛋白质的肽段序列;依次确定蛋白质的所有肽段序列,得到蛋白质序列。采用本发明所提供的蛋白质鉴定方法及系统,实现了在FPGA上加速,整个打分过程加速约为25倍左右,加速效果良好,提高了系统的运行效率。
-
公开(公告)号:CN102156970A
公开(公告)日:2011-08-17
申请号:CN201110093669.6
申请日:2011-04-14
Applicant: 复旦大学
IPC: G06T5/00
Abstract: 本发明属于数字图像处理领域,具体为一种基于畸变直线斜率计算的鱼眼图像校正方法。本发明利用径向畸变特有的几何性质,根据投影不变性原理,计算畸变直线的实际斜率,并以此为基础,通过求解线性方程组以获得多项式校正模型的参数值。这种校正方法在拥有理想校正精度的情况下显著地降低了计算复杂度。根据求解得到的校正模型,利用游程编码查找表(LUT)完成畸变图像与校正图像之间的位置映射编码,从而实现对校正图像的加权双线性插值。此方法便于硬件实现,并具有高效的实时处理能力。
-
公开(公告)号:CN110083307A
公开(公告)日:2019-08-02
申请号:CN201910252054.X
申请日:2019-03-29
IPC: G06F3/06
Abstract: 一种数据存储方法、存储器和服务器,具体方法包括:键值存储器接收键值存储请求,键值存储请求中包括键和第一值;当第一值为大尺寸数据时,键值存储器将第一值分割为多个第二值,并生成多个次级键值存储请求,每个次级键值存储请求中可以携带键和其中一个第二值;然后,依据每个次级键值存储请求中携带的第二值在第一值中的位置顺序,将每个次级键值存储请求中携带的第二值存储至第一存储空间,以此解决键值存储系统中大尺寸数据的数据存储效率低的问题。
-
公开(公告)号:CN105262655B
公开(公告)日:2018-08-07
申请号:CN201510586250.2
申请日:2015-09-16
Applicant: 复旦大学
IPC: H04L12/40
Abstract: 本发明属于现场总线技术领域,具体为种可兼容CAN2.0总线的具有高速率的通信方法。本发明采用CAN2.0的帧格式进行数据通信,在每帧的数据场,使用倍频时序,使得数据场中具有更多的比特的数据位;为兼容CAN2.0协议,这些数据位不全部使用,采用特殊的编码方式使用倍频之后的比特位,从而得到增强型CAN总线的通信方法。本发明方法在CAN2.0总线的基础上,实现了更高速率的通信,并能兼容CAN2.0总线网络,使得同个总线网络中可以同时实现不同速率的通信,能很好的满足当今日益复杂的电子设备通信需求。在现场可编程逻辑阵列器件上的验证结果表明,该通信方法切实可行。
-
-
-
-
-
-
-