《煤矿安全规程》规定:当矿井受到河流、山洪威励,应当修筑堤坝和泄洪渠,防止()。