社会主义法制的基本要求是( )。

A．有法可依

B．有法必依

C．执法有据

D．违法必究

E．执法必严

为了进一步提高可编程逻辑控制器的可靠性，近年来对大型可编程逻辑控制器还采用双CPU构成冗余系统，或采用三CPU的（）。

A、信息系统

B、表决式系统

C、冗余系统

D、操作系统