1371.JT-CR-2000型机车信号系统主机的两套A、B主机板都采用了（ ）的冗余结构。