CTCS2-200H型列控车载设备的STM模块采用（）的冗余结构。