正线计算机联锁子系统设备称为PMI，核心为（ ）的冗余系统。