在CTCS-3级区段，使用（）的覆盖冗余方案。