《计算机科学技术总览.docx》由会员分享，可在线阅读，更多相关《计算机科学技术总览.docx（6页珍藏版）》请在金锄头文库上搜索。
1、基 本 内 容计算机科学技术的基本内容可概括为计算机科学理论、 计算机组织与体系结构、 计算机软件、 计算机硬件、 计算机应用技术以及人工智能等领域。1. 计算机科学理论计算机科学理论包括数值计算离散数学 计算理论程序理论四部分。数值计算讨论用于模拟物理过程或社会过程的各种算法的开发、 分析和使用。早在 18 世纪与 19 世纪,高斯、 牛顿、 傅里叶等著名数学家就开发过数值计算方法,而计算机的诞生更大大促进了数值计算的发展。数值计算涉及的内容颇多,如方程求根、 数值逼近、 数值微分、 数值积分、 数值代数、 线性代数方程组的数值解法、 矩阵特征值计算、 微分方程数值解法等。例如,高次代数方程
2、求根的常用方法有二分法、 牛顿法、 割线法等。数值微分讨论求导数近似值的理论与方法,常用的有有限差分法。数值积分讨论求定积分近似值的理论与方法。梯形法和辛普森法均为世人所熟知。线性代数方程组的数值解法用以求线性代数方程组的数值解,通常有直接法和迭代法两类。高斯消去法即为直接法,简单迭代法和赛德尔迭代法均为迭代法。离散数学是泛指数学中讨论离散对象的分支。和连续数学不同,离散数学通常涉及整数系,由于数字计算机是离散机,离散数学的重要性不言而喻。通常认为离散数学包括集合论、 图论、 组合学、 数理逻辑、 抽象代数、 线性代数、 差分方程、 离散概率论等学科。图论是研究图的性质的学科。图论中的图并非初
3、等数学中的图,后者只是连续函数的图形,图论中的图却是一组顶点(结点)和一组连接两两顶点的边(支)所构成的集合。组合论讨论计算某类对象个数的方法,它在统计学、 理论物理、 化学、 社会科学、 通信理论以及计算机科学技术中均有重要作用。多数组合论问题可归结为存在性问题、 枚举性问题或选择性问题。数理逻辑研究形式体系。作为其组成部分的命题演算与谓词演算等在计算机科学技术中作用巨大,影响深远。诸如计算机设计、 软件开发、 程序正确性验证,以及人工智能等领域无不用到数理逻辑。抽象代数讨论离散对象结构,它在计算机科学技术中应用广泛。例如,半群已用于形式语言理论和自动机理论,群在编码理论中有其重要作用。线性
4、代数虽然涉及实变量,但其结构与处理均为离散,因而,也可归为离散数学。此外,差分方程,离散概率论等亦为离散数学内容。计算理论主要包括算法、 算法学、 计算复杂性理论、 可计算性理论、 自动机理论、 形式语言理论等等。算法是解题过程的精确描述,它包括有限多个规则,并具有如下性质: 第一,将算法作用于特定的输入集或问题描述,可导致由有限多个动作构成的动作序列;第二,该动作序列具有唯一一个初始动作;第三,序列中的每一动作具有一个或多个后继动作(序列中的末一动作的后继动作可视为空动作) ;第四,序列或者终止于问题的解,或者终止于一陈述,以表明问题对该输入集而言不可解。算法学是系统研究算法的学科。通常包括
5、设计、 验证以及分析三部分。设计是创建算法的过程,并研究良好的创建方法;验证在于证明算法的正确性,基本途径是数学归纳法;分析着重确定算法的效用,当一问题有多种算法可用时,则比较其相对效用。计算复杂性确定从数学上提出的问题的固有难度,通过研究计算复杂性,可以断定哪些问题是固有困难的,从而有助于寻求更为优越的算法。算法复杂性是针对特定算法而言,最佳算法复杂性等于计算复杂性。计算复杂性理论则是用数学方法研究各类问题的计算复杂性的学科。它在计算机科学技术中既有理论意义,又有实用价值。可计算性理论是研究计算的一般性质的数学理论。它通过建立计算的数学模型,精确区分哪些问题是可计算的,哪些问题是不可计算的。
6、计算的过程就是执行算法的过程。主要包括图灵机、 丘奇图灵论题、 演算、 原始递归函数、 部分递归函数、 递归集、 递归可枚举集、 可判定性等等。自动机理论是研究称作自动机的抽象理想机的数学学科。自动机是信息处理设备(如计算机)的抽象。多数自动机都是图灵机的特例。自动机理论一般包括有限自动机理论、 无限自动机理论、 概率自动机理论、 细胞自动机理论等等。形式语言理论是用数学方法研究自然语言(如英语)和人工语言(如程序设计语言)的语法的理论。形式语言就是模拟这些语言的数学工具。它只研究语言的组成规则,不研究语言的含义。内容包括描述工具、 文法分类(如乔姆斯基层次)、 语言分类,以及各类语言的性质及
7、其间的关系等。程序理论研究程序的语义性质和程序的设计与开发,主要包括程序语义理论、 数据类型理论、 程序逻辑理论、 程序验证理论、 并发程序设计理论和混合程序设计理论等。程序理论和计算理论是计算机科学理论的两大支柱。形式语义理论是用数学方法研究程序语言的含义的理论,包括操作语义、 公理语义、 指称语义以及代数语义等。此外,还有旨在用计算机研究代数演算的 “计算机代数” 以及用计算机研究数学证明的 “计算机数学” 等。2. 计算机组织与体系结构计算机体系结构着重研究计算机系统的物理或硬件结构、 各组成部分的属性以及这些部分的相互联系。它可分为系统体系结构和实现体系结构两个方面。前者着重从系统软件
8、开发人员的角度看计算机系统的功能行为和概念结构;后者从计算机系统的价格和性能特征出发,考虑该系统的结构和实现,包括中央处理器、 存储器等部件的结构和实现。也有人认为计算机体系结构专指系统体系结构,而将实现体系结构称为计算机组织。这里的计算机组织与体系结构包括上述的计算机系统体系结构和计算机实现体系结构。其内容除了计算机体系结构和计算机组织外,还包括计算机类型、 计算机网络、 计算机 RAS技术和计算机性能评价。可从不同角度来区分计算机类型。按计算机内数据表示的方式分,有数字计算机、 模拟计算机、 混合计算机等。按系统规模和性能分,有微型计算机、 小型计算机、 大型计算机、 巨型计算机等。按用途
9、分,有通用计算机和专用计算机,通用计算机能够处理各种不同类型的问题,专用计算机只适合于处理某一类特定问题。按工作风格分,有基于冯诺依曼结构的传统计算机和非传统计算机。传统计算机的特征是命令驱动、 指令串行执行;非传统计算机可以是数据驱动或需求驱动、 指令并行执行。计算机组织包括数据表示、 算术逻辑运算、 指令系统、 中央处理器、 存储器组织和输入输出技术。数据表示包括二进制数制、 浮点数标准和字符集;算术逻辑运算包括二进制算术运算和逻辑运算;指令系统包括指令类型、 指令格式和寻址方式;中央处理器包括运算器、 控制器、数据通路等;存储器组织包括各种存储器、 存储器的差错校验以及对存储器的性能评价
10、;输入输出技术是主机和输入输出设备连接的技术,包括总线、 输入输出通道、 输入输出接口等。计算机体系结构包括处理机体系结构、 存储系统、 并行处理系统、 分布式处理系统等。处理机体系结构包括各种类型的处理机结构,特别是精简指令集计算机的体系结构对计算机的发展有重要的影响。存储系统具有层次结构。一般由四级存储器组成: 第一级是寄存器(在中央处理器中) ;第二级是高速缓冲存储器;第三级是主存储器;第四级是辅助存储器。这四级存储器都是实际存储器。虚拟存储器为用户提供比主存储器容量大得多的可随机访问地址空间。并行处理系统旨在突破单机运算速度与作业吞吐量的限制,以适应日益增长的巨大计算能力需求。它将多个
11、处理机通过互联网络连接起来,实现并行处理。其体系结构大体上可分为单指令流多数据流和多指令流多数据流两种。由成百上千个微处理器构成的大规模并行处理系统和其它并行处理系统已经实现。分布式处理系统将不同地点或不同功能的多台计算机用通信网络连接起来,协同完成信息处理任务。它包括客户 服务器计算、 计算机簇、 分布式异构型计算机系统等。计算机网络是计算机与通信技术相结合的产物,通过它可实现计算机之间的通信和资源共享。它包括网络体系结构、 网络协议、 网络种类、 网络互连、 网络管理和网络应用,特别是因特网的应用。计算机 RAS 技术包括计算机系统的可靠性、 计算机的可用性和可维护性、 计算机安全等。计算
12、机性能评价包括对运算速度的评价、 评价系统性能的指标、 性能评价的基准程序以及对计算机系统性能的模拟。3. 计算机软件计算机软件一般指计算机系统中的程序及其文档,也可以指在研究、 开发、 维护以及使用上述含义下的软件所涉及的理论、 方法、 技术所构成的学科。软件的作用有三: 一是用作计算机用户与硬件之间的接口界面;二是在计算机系统中起指挥管理作用;三是计算机体系结构设计的重要依据。软件的发展过程大致可分为三个阶段。从第一台计算机上第一个程序的出现到实用的高级程序设计语言出现以前( 20 世纪 40 年代中期至 50 年代中期)为第一阶段。从实用的高级程序设计语言出现以后到软件工程出现以前( 5
13、0 年代中期至 60 年代后期)为第二阶段。软件工程出现以后迄今( 60 年代后期以来)为第三阶段。一般说来,软件可分为系统软件、 支撑软件以及应用软件三类。系统软件是计算机系统中最靠近硬件层次的软件,如操作系统、 编译程序等均为系统软件。它和具体的应用领域无关,解任何领域的问题一般都要用到系统软件。支撑软件是支撑其它软件的开发与维护的软件,例如: 软件开发环境即为支撑软件。应用软件是特定应用领域的专用软件,如人口普查软件、 飞机订票软件等。上述分类也并非绝对,而是相互有所覆盖交叉和变动,三者既有分工,又相结合,不能截然分开。软件的基本内容包括软件语言、 软件方法学、 软件工程以及软件系统。软
14、件语言是用以书写软件的语言。它包括书写软件需求定义的需求级语言、 书写软件功能规约的功能级语言、 书写软件设计规约的设计级语言、 书写实现算法的实现级语言以及书写软件文档的文档语言。软件方法学是以软件方法为研究对象的学科。从开发范型上看,有自顶向下的软件开发方法以及自底向上的软件开发方法。从表现形式上看,有形式方法与非形式方法。从适用范围来看,有整体性方法与局部性方法。软件工程是应用计算机科学与数学原理制作软件的工程。它含有四个要素:第一为目标,如产品的正确性、 可用性以及价格合宜等。第二为范型,它反映软件开发过程的原则与风格。范型是模型的基础,模型是范型的体现,方法又是模型的体现。一般有功能
15、分解范型、 功能综合范型等等。第三为过程,它主要包括需求、 设计、 实现、 确认以及支撑等阶段。第四为原则,它主要涉及系统设计、 软件设计、 软件过程支撑以及软件过程管理等方面。如认识需求的变动性,采用稳妥的设计方法, 提供高水平的支撑,提供有效的管理等等。软件系统包括操作系统、 语言处理系统、 数据库系统、 分布式软件系统、 网络软件系统及人 机交互软件系统等。操作系统是用以管理系统资源的软件,旨在提高计算机的总体效用。一般包括存储管理、 设备管理、 信息管理、 作业管理等。语言处理系统包括各种类型的语言处理程序,如解释程序、 汇编程序、 编译程序、 编辑程序、 装配程序等。数据库系统包括数
16、据库及其管理系统。数据库是相互关联的在某种特定的数据模式指导下组织而成的各种类型的数据的集合。数据库管理系统则是为数据库的建立、 使用和维护而配置的软件,它建立在操作系统的基础上,对数据库进行统一的控制和维护。它一般包括模式翻译、 应用程序的编译、 查询命令的解释执行以及运行管理等部分。分布式软件系统是管理、 支撑分布式计算系统的软件系统。它一般包括分布式操作系统、 分布式程序设计语言及其编译程序、 分布式数据库管理系统、 分布式算法及其软件包、 分布式开发工具包等。网络软件系统是在计算机网络环境中,用于支持数据通信和各种网络活动的软件系统。它主要包括通信软件、 网络协议软件和网络应用系统、 网络服务管理系统以及用于特殊网络站点的软件等。人 机交互软件系统是人 机交互系统中的软件子系统,它一般包括人 机接口软件、 命令语言及其处理系统、 用户接口管理系统、 多媒体软件、 超文本软件等。4. 计算机硬件计算机硬件是构成计算机系统的所有物质元器件、 部件、 设备以及相应的工作原理与设计、 制造、 检测等技术的总称。
