在灌溉渠系中，涵洞是（）建筑物。