计算机科学概论第2章 计算思维.pptVIP

利用计算思维求解问题 理论 理论通常由定义、公理、定理以及证明过程构成 定理（Theorem） 是经过受逻辑限制的证明为真的陈述，其中证明的依据是定义、公理或其他已被证明的定理。定理通常包含条件和结论两部分，即在条件成立的情况下有结论为真的事实 * 利用计算思维求解问题 理论 理论通常由定义、公理、定理以及证明过程构成 证明（Proof） 是根据一定的规则或标准，由公理和定理推导出某些命题真假的过程。证明有很多种特殊方法，如穷举法、反证法、归纳法、构造法等等，每种方法适合特定的条件 * 利用计算思维求解问题 设计 设计指利用抽象和理论的成果构建解决问题的系统的过程 设计源于工程 按为解决某个问题而实现系统或装置的过程来看，设计形态包含以下四个步骤的内容：需求分析；建立规格说明；设计并实现该系统；对系统进行测试与分析 * 利用计算思维求解问题 设计 设计时构建计算系统的过程，是技术、原理在计算系统中实现的过程 设计的形式包括很多种，如系统模型的刻画与各种说明性文档、算法与过程的构造、程序代码与软件硬件实现等等都是设计形态的内容 按照设计内容和工作的不同，可将设计再分为形式、构造和自动化 * 利用计算思维求解问题 设计 形式指利用统一的、严格定义的符号化语言对问题对象的形式进行表述的过程。只有按照严格语法表达的形式才能被计算机所识别与执行，才能对形式多样的问题进行统一处理。 构造指建造起研究对象各要素之间的组合关系与框架。计算机科学领域的构造包括算法的构造、过程的构造等等。 自动化指程序、软件、硬件、网络等自动化系统的设计与实现。 * 利用计算思维求解问题 总结 在具体研究中，就是要在理论的指导下，运用其抽象工具进行各种设计工作 面对实际问题时，对问题进行抽象的目的是理解问题、抓住问题本质，是遇到问题首先要进行的工作，抽象是求解问题的前提；设计的目的是设计和实现计算系统，设计是求解问题的方法；理论可对设计的正确性、完备性、时效性等特性进行保障或验证，理论对合理地求解问题过程提供支持 * * 计算思维 Outline: 计算思维概念 利用计算思维求解问题 计算的发展趋势 计算的发展趋势 高性能计算 高性能计算(High Performance Computing，简称HPC) 通常指在单一机器中使用很多处理器或者利用多台计算机进行计算的系统和环境 高性能计算包含多种类型： 基于标准计算机构成的大型集群 基于高度专用的超级计算机 * 计算的发展趋势 基于计算机集群的高性能计算 使用高性能网络互连 我们将集群中的每个计算机称为一个计算结点，将连接各个结点的网络结构称为网络拓扑 基于计算机集群的高性能计算系统的网络拓扑一般都经过精心设计，以保证网络总体性能和数据传输速率 集群中还存在一个计算机作为控制结点，用来控制各个计算结点进行计算并管理各个结点的工作分配 * 计算的发展趋势 基于计算机集群的高性能计算 * 计算的发展趋势 基于计算机集群的高性能计算 典型高性能计算环境中的任务执行过程有两种模式：单指令/多数据模式和多指令/多数据模式 单指令/多数据模式在每个计算结点上同时执行相同的计算指令和操作，采用这种模式的高性能计算系统同一时刻只能执行一种计算 多指令/多数据模式允许高性能计算系统同时执行许多计算 * 计算的发展趋势 基于超级计算机的高性能计算 超级计算机指代具有较大规模、数据处理速度和计算性能远远高于标准计算机的大型专用计算机 超级计算机的基本组成组件与标准计算机的无太大差异，但每个组件的规格与性能要比标准计算机强大许多 超级计算机速度以每秒浮点运算次数FLOPS（Floating-Point Operations Per Second）作为量度单位 * 计算的发展趋势 基于超级计算机的高性能计算 超级计算机计算速度随年代的增长曲线 * 计算的发展趋势 普适计算 普适计算（Pervasive Computing或Ubiquitous Computing，又称普存计算、普及计算）这一概念强调和环境融为一体的计算 在普适计算的模式下，人们能够在任何时间、任何地点、以任何方式进行信息的获取与处理，即计算机无时不在、无处不在，以至于就像没有计算机一样 * 计算的发展趋势 普适计算 普适计算（Pervasive Computing或Ubiquitous Computing，又称普存计算、普及计算）这一概念强调和环境融为一体的计算 在普适计算的模式下，人们能够在任何时间、任何地点、以任何方式进行信息的获取与处理，即计算机无时不在、无处不在，以至于就像没有计算机一样 * 计算的发展趋势 普适计算 普适计算的目的是建立一个充满计算和通信能力的环境，同时使这个环境与人们逐渐地融合在一起 在这个融合空间中，网