计算机学科方法论.ppt

第12章 计算机学科方法论 12.1 什么是计算机学科方法论 12.2 计算机学科的三个形态 12.3 计算机学科的核心概念 12.4 计算机学科的系统科学方法 12.5 计算机学科的典型方法 什么是计算机学科方法论 方法论在层次上有：哲学方法论、一般科学技术方法论、具体科学技术方法论。 计算机学科方法论是在哲学方法论和一般科学技术方法论的指导下，对计算机领域认识和实践过程中的一般方法、性质、特点、内在联系和变化规律进行的系统研究和理论总结。 计算机学科方法论是认知计算机学科的方法和工具，也是计算机学科认知领域的理论体系，对于计算机领域的科学研究、技术开发和人才培养具有重要的指导意义。 计算机学科方法论的主要内容 （1）学科的知识体系 （2）学科的3个形态 （3）重复出现的12个核心概念 （4）典型的学科方法 计算机学科的三个形态 所谓学科形态是指从事一类学科研究与发展工作且具有共性的文化方式。 计算机学科不但包括总体上对算法和信息处理过程进行研究，也包括满足给定规格要求的有效而可靠的软硬件的设计——包括理论研究、实验方法和工程设计。 理论形态 理论指为理解一个领域中的对象之间的关系而构建的基本概念和符号。 理论形态基于计算科学的数学基础和计算科学理论，广泛采用数学的研究方法。 （1）对研究对象的概念进行抽象（定义）； （2）假设对象的基本性质和对象之间可能存在的关系（定理）； （3）确定这些性质和关系是否正确（证明）； （4）解释结果（与计算机系统或研究对象形成对应）。 抽象形态 抽象（实验）指研究不同应用领域内的系统和体系结构的模型，并判断这些模型是否预测了新的行为。 基于计算机学科的实验科学方法，抽象广泛采用实验物理学的研究方法。 （1）确定可能世界（环境）并形成假设 （2）构造模型并做出预言； （3）设计实验并收集数据； （4）分析结果。 设计形态 设计是构造支持不同应用领域的计算机系统 。 广泛采用工程学（如建筑工程）的研究方法。 （1）叙述要求； （2）给定技术条件； （3）设计并实现该系统或装置； （4）测试和分析该系统。 三个形态之间的关系 计算机学科的核心概念 核心概念是CC1991报告首次提出的，是具有普遍性、持久性的重要思想、原则和方法，核心概念具有如下基本特征： （1）在学科及各分支学科中普遍出现； （2）在理论、抽象和设计的各个层面上都有很多示例； （3）在理论上具有可延展和变形的作用，在技术上有高度的独立性。 计算机学科的核心概念 1. 绑定 绑定是通过将一个对象（或事物）与其某种属性相联系，从而使抽象的概念具体化的过程。例如，将一个进程与一个处理机、一个变量与其类型或值分别联系起来。这种联系的建立，实际上就是建立了某种约束。 2. 大问题的复杂性 大问题的复杂性是指随着问题规模的增长使问题的复杂性呈非线性增加的效应。这种非线性增加的效应是区分和选择各种现有方法和技术的重要因素。 计算机学科的核心概念 3. 概念和形式模型 概念和形式模型是对一个想法或问题进行形式化、特征化、可视化思维的方法。抽象数据类型、语义数据类型以及指定系统的图形语言，如数据流图和E-R图等都属于概念模型，而逻辑理论、开关理论和计算理论中的模型大都属于形式模型。概念模型和形式模型以及形式证明是将计算机学科各分支统一起来的重要核心概念。 计算机学科的核心概念 4. 一致性和完备性 一致性包括用于形式说明的一组公理的一致性、事实和理论的一致性，以及一种语言或接口设计的内部一致性。完备性包括给出的一组公理的完备性、使其能获得预期行为的充分性、软件和硬件系统功能的充分性，以及系统处于出错和非预期情况下保持正常行为的能力等。 计算机学科的核心概念 5. 效率 效率是关于时间、空间、人力和财力等资源消耗的度量。在计算机软硬件的设计中，要充分考虑某种预期结果达到的效率，以及一个给定的实现过程较之替代的实现过程的效率。 6. 演化 演化指的是系统的结构、状态、特征、行为和功能等随着时间的推移而发生的更改。这里主要指的是了解系统更改的事实和意义以及应采取的对策。在软件进行更改时，不仅要充分考虑更改时对系统各层次造成的影响，还要充分考虑到软件的有关抽象、技术和系统的适应性等问题。 计算机学科的核心概念 7. 抽象层次 抽象层次指的是通过对不同层次的细节和指标的抽象对一个系统或实体进行表述。在复杂系统的设计中，隐藏细节，对系统各层次进行描述（抽象），从而控制系统的复杂程度。 8. 按空间排序 按空间排序指的是各种定位方式，如物理上的定