四号线正线PMI采用的是（）冗余方式。