Design and optimization of the antenna applied for detecting the voids in tunnel lining by GPR | IEEE Conference Publication | IEEE Xplore