（）是研究计算机联锁控制系统可靠性的基础和系统可靠性设计的基本依据。