问题：
[填空题] 自动解锁包括进路正常通过解锁和调车进路的中途返回（）。
问题：
[填空题] 道岔的单独操纵应（）于进路自动选动。
问题：
[填空题] 避错技术是为了防止和减少（）的技术。
问题：
[填空题] 当系统系统的某一部分发生故障时仍使系统保持正常工作的技术，叫做（）。
问题：
[填空题] 二模热备冗余结构的基本思想是：“（），（）。”
问题：
[填空题] N版本程序设计的关键在于表决，一般说来，表决本身应尽可能（），以便使其本身产生设计故障的可能性降为最小。
问题：
[填空题] 基于单机闭环自诊断的故障—安全计算机构造方法的核心是（）。
问题：
[填空题] 软件系统的故障—安全保障技术以保证程序的正确性为前提，如果软件编程出现错误，将导致（）。
问题：
[填空题] 软件安全关键模块的选择结构应使用条件标志的危险侧编码作为（）。
