在结构化生命周期方法中，______阶段的主要任务是总体设计、详细设计。

______是数据库设计的理论依据。

【 】是为了改进将来的可靠性和可维护性，或者为将来的改进奠定良好的基础，而对软件进行的修改和补充。

程序正确性证明最常用的方法是【 】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。

下列关于宽带城域网汇聚层基本功能的描述中，错误的是()

下列关于光纤同轴电缆混合网HFC的描述中，错误的是()