常用的软件冗余方法有多种，以下关于软件冗余的描述中，正确的是______。

A．用一组数据检查运算逻辑部件的功能属于能力检查
B．软件冗余是一种动态冗余技术
C．多版本程序设计可以检查软件故障，但不能检查硬件故障
D．一致性检查时要把计算机的计算结果与手工计算结果进行比较

三显示自动闭塞区段，车站控制台监督器表示良好，超长列车头部越过出站信号机发车时，其行车凭证为（）。

A.调度命令

B.绿色许可证

C.路票

D.红色许可证