下列计算机联锁系统中,属于双机热备型计算机联锁系统的是（ ）。