在《电力行业信息系统安全等级保护基本要求》生产控制类信息系统第四级基本要求中，为保证系统的可用性，应提供（ ）的硬件冗余。