noun · a tool or machine used for compacting soil, gravel, or other materials by repetitive impact

施工人员正在使用夯具平整地基。