p第3章.ppt

1. 计算的概念 2. 冯?诺依曼结构 3. 超越冯?诺依曼结构 1. 计算的概念 广义的计算 计算模型 图灵机计算模型 图灵机计算模型 2. 冯?诺依曼(Von Neumann)结构 “存储程序”原理 冯?诺依曼结构 计算机系统组成 “存储程序”原理 冯·诺依曼结构 冯·诺依曼结构的基本特点 计算机系统组成 图3.2 计算机系统的组成 3. 超越冯?诺依曼结构 并行计算 生物计算机 量子计算机 并行计算 生物计算机 量子计算机 思 考 题 * * 第3章 计算科学与计算机基本工作原理 狭义（直观）的计算 直观的计算：数的加减乘除；函数的微分、积分；微分方程的求解；定理的证明推导；等等。 计算的实质：从一个符号序列 A（输入）得出另一个符号序列 B（输出）。 例如： 二进制加法：A：11+1，B：100。从 11+1 得出 100。 英译汉：A：?computer ?，B： ?计算机?。从 ?computer? 得出 ?计算机?。 广义的计算：解决“一个问题有没有方法来解决”的问题。即什么能有效地自动进行？什么不能有效地自动进行？这就是“能行性”的问题。 因此要求：能够从符号序列 A 出发，在有限步内真正具体地求出符号序列 B。 可计算：在可以预先确定的时间和步骤之内能够具体进行的计算。 可计算的任务：“什么样的任务才是可计算的任务？”是计算机科学必须回答的最基本的问题。 这是关系到计算机能做什么、不能做什么。 计算模型：描述计算这一概念的一种抽象形式系统或数学系统。 可计算的任务：凡是抽象计算模型能够完成的任务，就是可计算的任务 图灵机：图灵提出的形式化的理想计算模型，为可计算理论奠定了基础。 给定符号序列 A，如果用图灵机能够得出对应的符号序列 B，那么从 A 到 B 就是图灵可计算的。 Church已经证明：图灵机、递归函数、λ演算和 Post系统这四种计算模型是等价的。可选择最合适的计算模型来确定一个任务是否可计算。 一条无限长的存储带：带上划上格子，每个格子中可以写一个符号；所有允许出现的符号属于一个预先规定好的字母表。 一个读写头：每次可以从带上读出一个符号；可以擦去或改写这个符号；读写头可以左移一格、右移一格或者保持不动。 一个控制器：控制器里存有一个程序（指令的序列）；控制器在每个时刻处于一定的状态，叫做机器状态；当读写头从带上读出一个符号后，控制器就根据这个符号和当时的机器状态，参照程序指挥读写头进行书写或者移动，并决定是否改变机器状态。 图灵机计算模型 操作基本、简单、机械、确定，可用机器实现。 运算结果由初始状态、输入、程序决定。 程序并非必须顺序执行。虽然可用线性顺序来表示程序指令序列，但程序的执行顺序可与表示顺序不同。 （计算机语言的三种基本结构：顺序、选择(或分支)、循环） Church已经证明：图灵机、递归函数、λ演算和 Post系统这四种计算模型是等价的。 问题：如何用非线性方法来表示程序指令顺序？ 1. 程序 ： 计算机程序是指预先设定、能够在计算机系统中运行的指令集合。程序技术包括：设计、描述、构造、分析、测试和验证等方面。 2. “存储程序”原理 在计算机存储器存放数据和程序指令。 按存储程序的首地址执行程序的第一条指令。以后就按照程序规定的顺序执行其它指令，直至程序结束执行。 主要组成部分：存储器、运算器、控制器、 输入设备、输出设备。 采用存储程序方式，程序和数据放在同一个存储器中，两者没有区别。指令同数据一样可以送到运算器进行运算，即由指令组成的程序是可以修改的。 存储器是按地址访问的线性编址的一唯结构，每个单元的位数是固定的。 指令由操作码和地址码组成。 通过执行指令直接发出控制信号，控制计算机的操作。 机器以运算器为中心，输入输出设备与存储器间的数据传送都经过运算器。 数据以二进制表示。 计算机系统：硬件系统和软件系统。 硬件系统：组成计算机的物理设备，即由电子器件、机械部件构成的具有输入、输出、存储、运算等功能的实体部件。 软件系统：计算机系统中的程序以及开发、使用和维护程序所形成的文档。 1. 并行性：在同一时刻或在同一时间段内完成两种或两种以上的工作，并行性是指时间上的重叠。 同时性：两个或多个事件在同一时刻发生，如书法家左右手同时书写。 并发性：两个或多个事件在同一时间段内发生。 2. 并行处理：提高计算机处理的并行性是提高计算机性能的措施之一。 “时间重叠”：多个处理过程在时间上互相错开，轮流使用一套硬件设备的各个部分，以加快硬件使用率，如流水线处理系统。 “资源重叠”：采用重复设置硬件设备的方法，使用多个资源最紧张的设备。如多处理器系统。 3. 并行计算：利用并行计算机系统进行信息的并