哈工大复试大纲.docVIP

集合论与图论部分(30分) 　　一、考试要求 　　1. 要求考生系统地掌握集合论、图论的基本概念、基本原理等基本知识，学会运用基本知识进行推理并应用到计算机科学领域解决实际问题。 　　二、考试内容 　　1) 集合及其运算 　　集合、子集、集合的相等关系、幂集;集合并、交、差、对称差、补集、 　　迪卡尔乘积运算，各运算的性质及相互联系;有穷集合的基数、基本计数法则、容斥原理及应用。 　　2) 映射 　　基本定义、鸽巢原理、映射的一般性质、映射的合成、逆映射、置换、二元运算、映射的应用。 　　3)关系 　　教学内容 二(n)元关系、几个特殊二元关系、二元关系的表示、关系的合 　　成运算、传递闭包、等价关系与集合的划分、偏序关系。 　　4)无穷集合的基数 　　可数集及其性质、存在不可数集—对角线法，基数及其比较、连续统。 　　5) 图的基本概念 　　图、路、圈、连通图、偶图、补图、欧拉图、哈密顿图、图的邻接矩阵、最短路径问题。 　　6) 树和割集 　　树及其性质、生成树、割点和桥及其特征性质，最小生成树问题。 　　7)平面图和图的着色 　　平面图及其欧拉公式、库拉托斯基 定理、图的着色、 　　8)有向图 　　有向图、可达(互达)、有向图连通(强、单向、弱连通)、有根树、有序树、二元树。 　　三、试卷结构 　　选择题(四选一) 　　四、参考书目 　　1.王义和编著，离散数学引论(第3版)，哈工大出版社，2007。 　　2.耿素云、屈婉玲、张立昂著，离散数学(第1版)，高教出版社，2008.3。 计算机体系结构部分(30分) 　　一、 考试要求 　　要求考生系统地掌握计算机体系结构的基本概念、基本原理和基本方法等方面的基础知识，并能够运用基础知识解决计算机体系结构设计中的基本问题。 　　二、考试内容 　　1)计算机系统结构的基本概念 　　a)计算机系统结构的基本概念，计算机系统层次结构，计算机系统的设计技术，软硬件取舍原则; 　　b)软件可移植性的途径、方法、适用场合、存在的问题和对策; 　　c)计算机系统性能评价的基本方法; 　　d)并行性的概念，系统结构中开发并行性的途径和类型，计算机系统的分类。 　　2)指令系统设计 　　a)指令系统的分类、寻址技术、功能设计、格式设计; 　　b)指令系统的发展和改进 　　c)操作数的类型及大小 　　3)流水线技术 　　a)流水线的分类、性能指标和性能分析; 　　b)非线性流水线的调度; 　　c)流水线中的相关和冲突问题及其解决方法; 　　4)指令级并行及其开发(硬件方法) 　　a)指令级并行的概念，相关与指令级并行，指令的动态调度; 　　b)动态分支预测技术; 　　c)多指令流出技术。 　　5)存储系统 　　a)存储层次; 　　b)降低Cache不命中率的方法，减少Cache不命中开销的方法，减少命中时间的方法 　　6)输入输出系统 　　a)I/O系统的性能、可信性、廉价磁盘冗余阵列; 　　b)总线的设计、总线标准、与CPU的连接; 　　c)通道的作用和功能、工作过程、种类、流量分析。 　　三、试卷结构 　　a) 题型结构 　　选择题(30分) 　　四、参考书目 计算机系统结构教程，作者张晨曦,清华大学出版社 编译原理部分(30分) 　　一、考试要求 　　1. 要求考生能够理解和掌握编译过程各个阶段的工作原理，理解标准编译器各个组成部分的任务，熟悉编译过程各阶段所要解决的问题及其采用的方法和技术。 　　2. 能够应用一些标准的技术解决编译器构造过程中所产生的相关问题，理解编译器在生成代码时如何充分利用特定处理器的特征。 　　注：参考书主要以参考书目1为标准。 　　二、考试内容 　　1)编译的总体结构 　　a:编译的总体结构 　　b: 编译的各阶段及其任务 　　2)语言与文法 　　a: 文法和语言的定义及文法的表示 　　b: 文法和语言的分类 　　c: 推导与归约，短语、直接短语和句柄，分析树及文法的二义性 　　3)词法分析 　　a: 词法分析器的功能 　　b: 词法分析器的设计与实现 　　c: 正则文法、正则表达式、确定的有穷自动机与不确定的有穷自动机及其它们之间的转换 　　4)语法分析 　　a: 语法分析器的功能 　　b: 自顶向下分析法存在的问题及解决办法，递归下降法与LL(1)分析法 　　c: 自底向上分析法的基本原理，算符优先分析法和LR分析法 　　5)语法制导翻译与中间代码生成 　　a: 语法制导定义、S属性定义和L属性定义 　　b: 自顶向下的语法制导翻译与自底向上的语法制导翻译 　　c: 几种典型语句的翻译：说明语句、表达式与赋值语句、分支与循环语句、过程说明与调用语句 　　6)类型检查与运行时环境 　　a:类型表达式及其等价 　　b:静态存储分配与动态存储分配、参数传递 　　c: