5.重要程序的设计上采用双套冗余编码技术。 两组不同的设计人员根据相同的技术条件分别设计 两套程序根据相应的现场条件和操作命令各自独立地进 行联锁关系的校核和运算，并将运算结果进行比较控制 命令的输出，两套程序互相校验，提高了软件的可靠性 和正确性。⒌ 重要程序的设计上采用双套冗余编码技术。 两组不同的设计人员根据相同的技术条件分别设计， 两套程序根据相应的现场条件和操作命令各自独立地进 行联锁关系的校核和运算，并将运算结果进行比较控制 命令的输出，两套程序互相校验，提高了软件的可靠性 和正确性