计算机科学的研究方法,计算机科学与技术课题研究的方法论

计算机科学与技术学科的方法论主要包含3个方面:学科的3个形态(又称为学科中问题求解的3个过程)、重复出现的12个基本概念、典型的学科方法.前者描述了认识和实践的过程,后两者分别描述了贯穿于认识和实践过程中问题求解的基本方面(要点)和方法.

学科的3个形态为抽象、理论、设计.它们描述了计算机科学与技术学科的研究与实践的3种形态,对应于本学科中问题求解的3个典型过程,是学科方法论最根本的内容.

1.理论

它与数学所用的方法类似,主要要素为定义和公理、定理、证明、结果的解释.用这3个典型过程来建立和理解计算机科学与技术学科所依据的数学原理.其研究内容的基本特征是构造性数学特征.

2.抽象(模型化)

源于实验科学,主要要素为数据采集方法和假设的形式说明,模型的构造与预测,实验分析,结果分析.在为可能的算法、数据结构和系统结构等构造模型时使用此过程.然后对所建立的模型的假设、不同的设计策略以及所依据的理论进行实验,用于和实验相关的研究,包括分析和探索计算的局限性、有效性,新计算模型的特性,以及对未加以证明的理论的预测和验证.抽象的结果是概念、符号、模型.

3.设计

源于工程学,用来开发求解给定问题的系统和设备.主要要素为需求说明、规格说明、设计和实现方法、测试和分析.用来开发求解给定问题的系统.

蕴含学科基本思想的重要概念可以看成是计算机科学与技术学科方法论的第二个方面.我们在计算机科学与技术领域的认识和实践过程中经常会用到它们,对这些概念深人了解,并在实际工作中使用这些概念,是毕业生成为成熟的计算机科学家和工程师的重要标志之一,这些概念包括:

(1)绑定(binding) :通过把一个抽象的概念和附加特性相联系,使该抽象概念具体化的过程.也就是具体问题的合理抽象描述和抽象描述对具体问题的恰当表示.

(2)大问题的复杂性:随着问题规模的增长,复杂性呈非线性增加的效应.这是区分和选择各种方法的重要因素.依此来度量不同的数据规模、问题空间和程序规模.

(3)概念和形式模型:对一个想法或问题进行形式化、特征化、可视化和