计算科学导论_备课笔记.docVIP

计算科学导论 计算科学的基本概念和基本知识 计算科学：是对信息的描述和变换的算法过程 包括：算法理论、分析、设计、效率分析、实现和应用的系统的研究 计算科学的基本问题： 什么能自动进行，什么不能自动进行 计算学科源于： 对数理逻辑、计算模型、算法理论、自动计算机器的研究，形成于20世纪30年代后期 计算模型与二进制 计算模型：是刻划“计算”这个概念的一种抽象的形式系统或数学系统 算法：是对计算过程的步骤的描述（或状态的一种刻划），是计算方法的一种实现方式 计算模型与图林机 20世纪30年代：计算模型研究取得突破性进展 哥德尔（K.Godel）、丘奇（A.Church）、图林（A.M.Turing）、波斯特（E.L.Post）等人： 受到数理逻辑发展中判定问题引起的计算模型研究和构造性数学学派的影响 在研究中提出了一些计算模型：递归函数、λ演算、图林机、波斯特系统等 并称这些模型是用算法方法解决问题的极限（即：凡是能用算法方法解决的问题，也一定能用这些计算模型解决；反之，这些计算模型解决不了的问题，任何算法也解决不了。） 由于观察“计算”的角度不同，产生了不同的计算模型。例如： 递归函数计算模型把可以计算的问题用函数来表示，从考察可以计算的函数应该具有怎样的构造入手研究计算。 图林机计算模型是从计算的一般化过程来研究计算。 经过进一步的研究后发现：这些计算模型之间在能力上是等价的 人们发现：图林机的特点和性质更接近普通人的计算的思想方法，且好用 被研究现代计算机的开发者所采纳 图林机的基本概念： 图林机由一条可无限延长的带子、一个读写头和一个控制读写头工作的控制器组成： 每个图林机有一个状态集Q（包括开始、结束状态）和一个符号集S（0、1）。 图林机从开始状态启动，每次动作由控制器根据图林机所处的当前状态和读写头所对准的单元内的符号决定下一步的动作（或操作）。一旦是结束状态，图林机就停机，此时带子上的内容就是计算结果。 其中每一步操作包含3件事：1，把某个符号写到读写头当前对准的格子内，取代原来的符号；2，读写头左、右移，或不移；3，根据控制器的命令用某个状态（可以是原状态）取代当前的状态，使图林机进入下一个新状态。 控制器的命令可表示成： （状态，符号）→（写符号，移动，状态） 二进制 1 二进制与十进制、八进制之间的转换 存储程序式计算机的基本结构与工作原理 图林机是一种数学自动机器，就其思想和原理而言，包含了存贮程序的重要思想。 图林机为现代计算机的出现提供了重要的思想： 带子―――存贮设备 命令―――相当于一组预先设计、存贮好的程序 控制器――决定读写头的每一步操作 程序：动作序列的预先规划 计算机程序：能在计算机系统中运行的程序 程序技术：计算机程序的设计、描述、构造、分析、测试、验证等技术，统称为程序技术。 程序理论的研究内容：对程序的各种性质、规律的研究。 冯?诺依曼： 在图林机产生后的十年不到，经过不断努力，确定了现代存储程序式电子数字计算机的基本结构和工作原理；主要由5部分组成：存储器、运算器、控制器、输入设备、输出设备。 硬件裸机：在学科的发展历程中，把不带有软件系统的存储程序式电子数字计算机系统称为硬件裸机。 硬件：硬件裸机、构成硬件裸机的各类部件及其研究范畴统称为硬件。 数字逻辑与集成电路 数字逻辑：是数字电路逻辑设计的简称。 数字逻辑的内容：利用应用数字电路进行数字系统的逻辑设计。 电子计算机：由具有各种逻辑功能的逻辑部件组成。 逻辑部件：按结构分为组合逻辑电路和时序逻辑电路。 组合逻辑电路：由门、或门和非门等电路组合而成的逻辑电路。 时序逻辑电路：由触发器和门电路组成的具有记忆能力的逻辑电路 有了组合逻辑电路和时序逻辑电路： 进行合理的设计和按排，可以表示和实现布尔代数的基本运算（布尔代数只使用0和1两个数） 二进制的加法、乘法等运算与布尔代数的运算建立对应关系 就可以用逻辑部件来实现二进制的加法和乘法等运算。 计算机相当复杂，有许多功能部件。一台计算机有许多指令，指令的执行通过电路实现，就涉及用数字电路进行数字系统的逻辑设计。 早期：数字系统的设计用分离元件的某种组合来实现―――体积大、速度慢 中期：用硅片作主要材料的半导体集成电路技术―――体积小、速度较快 近期：大规模集成电路技术、超大规模集成电路 从图林机和计算理论可知：一台抽象的计算机只需要很少几条基本运算指令就可以具有强大的计算能力，其它一些指令只是从使用方便的角度提出的（并不能增强机器的计算能力）。至于这种能力用什么技术来表现，则取决于成本和效率这两个基本因素。 存贮程序式计算机可以用机械技术制造，也可以用电子技术制造。 一个计算过程既可以用程序来实现，也可以用电路实现。 即： 电子技术和程序技术只是计算科学的两种