南京地铁PC_ECC联锁主要采用（ ）的冗余方式，用于保证设备安全和提高设备可用性