200H型ATP采用的是冗余结构，内部有（）系安全计算机。