软件系统的故障—安全保障技术以保证程序的正确性为前提，如果软件编程出现错误，将导致（）。

基于单机闭环自诊断的故障—安全计算机构造方法的核心是（）。

填空题基于单机闭环自诊断的故障—安全计算机构造方法的核心是（）。

N版本程序设计的关键在于表决，一般说来，表决本身应尽可能（），以便使其本身产生设计故障的可能性降为最小。

填空题N版本程序设计的关键在于表决，一般说来，表决本身应尽可能（），以便使其本身产生设计故障的可能性降为最小。

二模热备冗余结构的基本思想是：“（），（）。”

填空题二模热备冗余结构的基本思想是：“（），（）。”