二取二安全系统中，动态表决系统以验证双机的（ ）。