S1机场线正线泰雷兹联锁采用的是（）冗余方式。