一种新的基于FPGA的立体图像差异性算法

李贞妮， 王 骄， 李晶皎， 王泽坤

(东北大学 信息科学与工程学院， 辽宁 沈阳 110819)

随着科学技术和工业生产的快速发展，许多领域都需要对立体物体的形状进行快速准确的测量.现代大工业生产中，为获取产品的空间信息而进行的三维自动测量是人们普遍关注的技术[1-2].而立体图像差异性算法是立体视觉的关键研究内容，因此，研究立体图像差异性算法具有重大的理论和现实意义[3-4].

本文研究的立体图像差异性算法是基于激光散斑的结构光方法[5]，该方法的实现需要一个能发射激光散斑的光源和一个灰度摄像头.每次算法的计算只需要拍摄一张场景图像，然后通过比较场景图像和参考图像之间的差异性得到立体图像.其计算量非常大，需要进行大量的乘法和除法运算，因此保证该算法处理的实时性是设计立体图像差异性算法处理系统的关键问题.

目前已有的算法在实现的过程中，为了保证系统的实时性，通常采用基于高端显卡的设计.这种设计架构方式具有很高的实时性，能够满足系统处理速度的要求.但是其电路结构极其复杂，功耗很高，系统可扩展性不高，价格昂贵，设备开发和调试十分困难，后期的升级和维护也十分不易[6-7].

针对现有技术的不足，本文提出了一种适合于FPGA硬件实现的立体图像差异性算法，对立体图像差异性算法进行了改进，并能够充分利用FPGA的高速性和并行性，具有实时性、开发周期短、成本低、功耗小、控制方便等优点.改进后的立体图像差异性算法的实现和处理基于FPGA硬件开发平台，充分发挥了硬件加速的优势；利用FPGA中的Nios II软核处理器对数据进行管理，该过程在FPGA片内总线上完成，解决了数据传输的瓶颈，充分发挥了硬件设计的高速性和Nios II软核处理器控制的灵活性.

1 立体图像差异性算法描述

1.1 立体图像差异性算法基本描述

立体图像差异性算法的具体方法为:输入为两张图像，一张为需要到投影方向上确定深度的参考图像；另一张为需要测量的未知物体表面的场景图像.算法的输出为差异性图像，指示了从场景图像到参考图像的每个像素的位置移动，具体如图1所示.

图1 差异性图像

1.2 立体图像差异性算法设计

基于散斑匹配，设计立体图像差异性算法步骤如下.

第一步:假设参考图像和场景图像有着相同的大小，均为W×H.设有部分重叠的大小为m×H的来自场景图像的子图像和对应的大小为(m+2d)×H来自参考图像的子图像，具体如图2所示.

第二步:从场景子图像中选入大小为m×m部分重叠的块，在对应的参考子图像中找到与其最接近的块，如图3所示.

块匹配[8]过程详细描述如下.

1) 初始化大小为m×H的三张图像:分别为水平差异性图、垂直差异性图和相关性图，并将里面所有的元素均设为0.

图2 子图像分割示意图

图3 块匹配示意图

2) 阴影检测.如果场景块的灰度平均值小于阈值TS，则认为这是阴影块并跳过块匹配.

3) 两个图像块之间的归一化互相关[9]的计算:图像相关性NCC[10]计算公式如式(1)所示:

(1)

4) 在参考图像中搜索像素块:具体方法分为两种，分别是预测方式搜索和穷尽方式搜索.

穷尽方式搜索:对于场景子图像中的每个像素块，先搜索参考子图像中相同位置的像素块.然后，一个像素一个像素的移动搜索窗口，具体方式如图4所示(先搜索左侧再搜索右侧，然后上移搜索窗口，继续搜索.不需要搜索下方的像素块，因为在系统中，物体的表面在参考平面的前面).在整个参考子图像搜索完成之前，记录每个位置NCC的值，如果当前NCC的值大于阈值TB，则跳出搜索并保存NCC的值.当搜索完成，找出最大的NCC的值，并保存更新后的NCC值.

预测方式搜索:穷尽搜索方式十分耗时，为了加速算法执行，可以采用预测方式搜索.原因是附近的像素块因为表面光洁会有很大的相似性.所以，对于每个场景子图像的像素块，可以先检查上一个像素块所指示位置的附近大小为2d×2d的区域，如图5所示.如果上述区域内最大的NCC值大于阈值TP，保存这个NCC值，否则回到穷尽方式搜索.

5)对重叠像素点的差异性和相关性的更新:在计算得到当前像素块中所有像素的NCC值和相关差异性后，如果当前的NCC值增加，则与上个块重叠的像素点的NCC值和差异性值将被更新.

第三步:当得到所有场景子图像的差异性和

图5 预测方式搜索

相关性图像后，重叠像素点的差异性取决于它们中最大的NCC值.

在本系统中，参数的取值如下:

m=16，d=1.

TB=0.85,TP=0.80,TS=30.

相邻两个子图像和像素块之间重叠的像素为14，即每次移动2个像素点.

由于NCC的计算会占用系统大部分时间，所以需要尽可能地优化NCC的计算方法.下面对NCC的计算公式进行部分优化，使之计算量减少，并且更适合FPGA的实现.

对式(1)的求和符号展开后得到式(2):

(2)

将常数从求和符号提出可得式(3)：

(3)

(4)

此时，耗时较长的计算为:参考块像素灰度值的累加和∑Ir,场景块像素灰度值累加和∑Is,参考块像素灰度值平方的累加和∑(Ir)2,场景块像素灰度值平方的累加和∑(Is)2和参考块与场景块对应像素灰度值相乘的累加和∑IrIs.这些值都可以在FPGA内进行并行计算，大大加快了算法的计算速度.

2 基于FPGA的硬件加速设计

2.1 硬件系统总体结构

根据系统的功能分析，将系统进行模块化划分，系统的结构示意图如图6所示.该系统分为以下几个模块:SD卡控制器模块、图像差异性算法IP核模块、LTM控制器模块和Nios II嵌入式系统模块.

图6 系统硬件结构示意图

Nios II软核处理器模块主要完成总体的核心控制以及各个模块的协调作用.首先，Nios II软核处理器控制SD卡控制器从SD卡中读取图片数据并存入DDR2存储器中，之后将图片数据按一定顺序写入图像差异性算法IP核中进行差异性处理，等待处理完成后，再将处理结果从算法IP核中读取出来，最后将读取的结果数据写入LTM控制器中显示，再开始下一张图片的处理.具体结构如图7所示.

2.2 图像差异性算法模块硬件设计

图像差异性算法IP核的设计与实现是整个FPGA系统的关键部分，算法IP核通过Avalon从接口连接到系统总线.算法IP核每次输入为若干个参考子图像和对应的场景子图像，每次输出为对应的差异性子图像.

图像差异性算法IP核在子图像级采用并行计算，整个算法IP核由多个子图像处理核组成，每个子图像处理核可以处理一对参考和场景子图像，并输出对应的差异性图像.由于FPGA内部资源限制，本系统中算法IP核由18个子图像处理核组成，每个子图像处理核还配有一个对应的FIFO，用于缓存结果数据.图像差异性算法IP核内部结构如图7所示.

图7 图像差异性算法IP核内部结构图

多个参考子图像和场景子图像数据进入算法IP核后，由总体控制模块将各个参考子图像和场景子图像按序对应分配给子图像处理核，使每个子图像处理核得到一个参考子图像和对应的场景子图像.然后，多个子图像处理核并行处理，当处理好每对子图像后，将结果输出到对应的FIFO中暂存.之后，由总体控制模块按序读取各个FIFO，将数据输出到最大数产生模块.最后，最大数产生模块生成每个像素块中最大的结果，将结果暂存到结果存储FIFO中，当Nios II需要读取数据时，读取结果存储FIFO，将结果读到Nios II中.

1) 总体控制逻辑模块:算法IP核的总体控制模块的主要功能是控制数据的分配和输出，由一个5个状态的有限状态机实现.其状态转移图如图8所示.

图8 总体控制模块状态转移图

2) 子图像处理核:能处理一张场景子图像和对应的参考子图像，并输出各个像素点的NCC值和差异性值.由于像素块每次移动的像素为2，所以相邻的4个像素点会同时处理，本模块将这4个像素点作为处理单元，这样可以增大处理带宽，提高系统的并行性.数据的移动和计算的最小单位是一个处理单元.子图像处理核进一步可以划分为子图像存储器、控制逻辑和NCC计算模块等三个部分.其中，NCC计算模块接收来自控制模块的参考像素块数据和场景图像块数据，并计算两个像素块的NCC值.NCC计算模块每次的输入为8个参考子图像的像素点和8个场景子图像的像素点.根据算法需求，NCC计算模块需要并行进行以下操作:将参考数据累加、将场景数据累加、将参考数据求平方再累加、将场景数据求平方再累加、将参考数据乘场景数据再累加.在一次搜索图像块中，场景像素块并不移动，而相邻的参考像素块中有很大一部分像素点是重叠的，考虑将每3个像素块作为一个组合，每次比较一个组合，产生3个NCC值.

3 系统测试及结果分析

基于FPGA的立体图像差异性算法采用System Verilog语言，在Quartus II平台上实现并仿真测试.PC机平台为Intel Core 2 T6500 CPU，主频为 2.1GHz，双核，内存为8GB.系统性能测试使用的硬件平台为Intel公司的Stratix III系列的FPGA开发板DE3-115，FPGA的芯片型号为EP3S150F1152C2N.测试文件为1张参考图片和500张场景图片，大小为600×450.系统实物图如图9所示.

图9 图像差异性处理系统实物图

3.1 1张参考图像和1张场景图像的差异性比较

对1张参考图像和1张场景图像的差异性进行测试，测试选用的场景图像和参考图像如图10所示.

分别在PC机上和FPGA上运行图像差异性算法程序，得到的差异性图像如图11所示.

通过单张场景图像和参考图像差异性算法在PC和FPGA上的测试，得出立体图像差异性算法在PC和FPGA上运行的结果基本相同，运行所需的时间及其比较如表1所示.

图10 参考图像(左)和场景图像(右)

图11 图像差异性算法运行结果

表1 图像差异性算法运行时间对比

由表1可知，由于FPGA的并行性和高速性，立体图像差异性算法在FPGA上运行的时间远小于PC上软件运行的时间，其运行速度大概是PC机的两百多倍.

3.2 1张参考图像和500张场景图像的差异性比较

本测试采用1张参考图像和500张场景图像进行差异性比较，将差异性算法比较的结果连续输出形成视频，测试系统的稳定性和实时性.参考图像如图10中左图所示，分别测试第100，200，300，400，500帧的原始图像在PC机上和FPGA上的处理结果，这里只给出第400和第500帧图像在FPGA上的处理结果如图12所示.在FPGA上使用立体图像差异性算法处理500张场景图像需要的总时间为14.897 s，处理每张图像所需的平均时间为0.029 s，每秒可处理33张以上的图像，达到了实时处理和显示的要求.

图12 500张场景图像的运行结果

4 结 论

本文提出了一种基于FPGA的立体图像差异性算法，并通过设计硬件算法的IP核，充分利用了FPGA独特的并行处理机制和强大的运算能力，极大提高了系统的处理速度和性能.利用FPGA中的Nios II软核处理器对数据进行控制，该过程在FPGA片内总线上完成，解决了数据传输的瓶颈，充分发挥了硬件设计的高速性和Nios II软核处理器控制的灵活性.系统测试结果表明，立体图像差异性算法在PC机和在FPGA上的运行结果基本相同，但FPGA的处理速度是PC机上处理速度的两百多倍.FPGA可以流畅处理500张场景图像且FPGA每秒可处理33张以上的图像，说明该系统具有稳定性和实时性.立体图像差异性算法是计算机视觉和图像理解领域的基础研究问题，因此本文提出的基于FPGA的立体图像差异性算法处理系统具有较好的应用前景.