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

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

农业技术进步的内容包括哪些？