在基坑开挖过程中，一旦出现渗水或漏水，应根据水量大小，采用( )等方法及时处理。

在基坑开挖过程中，一旦出现渗水或漏水，应根据水量大小，采用坑底设沟排水、引流修补、密实混凝土封堵、压密注浆、高压喷射注浆等方法及时处理。