一、招生信息
招生院系：计算机学院
招生人数：专业：260,其中推免：130
招生专业：计算机科学与技术
学习方式：全日制
二、研究方向及考研科目
研究方向：
01 计算机科学理论
02 计算机体系结构
03 微处理器体系结构
04 计算机网络与通信
05 系统软件
06 分布计算技术
07 人工智能
08 大规模科学与工程计算
09 数字媒体与虚拟现实技术
10 高性能仿真
11 信息安全技术
12 海洋水文气象数值模拟
13 海洋信息工程
初试科目：
(101)思想政治理论
(201)英语一
(301)数学一
(821)计算机原理或（823）离散数学
复试科目：
（F0205）操作系统
（F0202）计 算 机 体 系 结 构
三、参考书及复试分数线
参考书：
821计算机原理：
《Computer Organization and Design (4th Edition)》 David A. Patterson MK Press
《计算机原理与设计》 王保恒 高等教育出版社
823离散数学：
《Discrete Mathematics and Its Applications》 Kenneth H. Rosen McGraw—Hill
《离散数学》 王兵山 国防科大出版社
F0205操作系统：
《操作系统》 罗宇 电子工业出版社
F0202计算机体系结构：
《计算机体系结构》 王志英 清华大学出版社
复试分数线
2018年：无军籍硕士生总分不低于279，政治英语不低于34，数学专业课不低于51
军校应届生及国防生总分不低于330，政治英语不低于34，数学专业课不低于61
军队在职干部总分不低于301，政治英语不低于34，数学专业课不低于61
2017年：无军籍硕士生总分不低于300，政治英语不低于35，数学专业课不低于53
军校应届生及国防生总分不低于350，政治英语不低于35，数学专业课不低于53
军队在职干部总分不低于265，政治英语不低于35，数学专业课不低于53
四、专业课考试大纲
821计算机原理：
1．计算机系统概述
计算机系统层次结构，包括计算机硬件的基本组成、计算机软件的分类；性能指标，包括主频（CPU时钟周期）、运算速度（CPI、CPU执行时间、MIPS、MFLOPS）等。
2．指令系统
计算机中的数据表示，包括定点数和浮点数的表示、校验码；计算机的指令格式，包括指令的基本格式、扩展操作码的指令格式；指令的寻址方式，包括数据寻址和指令寻址、常用寻址方式等。
3．计算机中的运算
计算机中的基本运算，包括逻辑及移位运算；定点数的加（减）、乘、除法运算；浮点数的加（减）、乘、除法运算；运算器的设计，包括算术逻辑单元ALU、串/并行加法器、浮点运算器等。
4．中央处理器
流水线的基本概念；硬连线控制器的基本概念及设计；微程序控制器的基本概念及实现方法。
5．存储层次结构
主存储器的基本概念及设计使用；高速缓冲存储器(Cache)、虚拟存储器的基本概念和性能评估。
6．输入输出（I/O）系统
输入输出系统的基本概念；三种I/O控制方式，包括程序查询、中断驱动和DMA方式。
7．总线
总线的基本概念及性能指标；总线的设计，包括总线仲裁、总线的操作和定时方式等。
823离散数学：
1.逻辑和证明基础
命题、逻辑联接词、真值表、位操作和位串、命题符号化及应用、逻辑等价和蕴含、命题可满足性及应用、谓词、量词、量词表达式等价及否定、嵌套量词、谓词逻辑符号化、推理规则、归结、逻辑证明、证明方法、证明策略、逻辑语义。要求熟练掌握命题逻辑和谓词逻辑的基本概念，掌握逻辑等价和蕴含分析方法，掌握逻辑推理方法和证明方法，能够熟练运用命题逻辑和谓词逻辑求解逻辑问题，了解可满足性问题。
2.基本结构：集合、函数、序列、求和
集合基本概念、集合描述方法、常见集合、集合相等、属于、子集、空集、幂集、集合的基数、n元组、笛卡尔乘积、集合运算（交、并、差、补）、集合恒等式、广义交、广义并、集合的计算机表示、（全）函数、函数算术、1对1函数、1-1对应、内射、满射、双射、函数运算（逆函数、函数的合成）、若干重要函数、部分函数、序列、算术级数、几何级数、递推关系、一些特殊序列、累加、基数比较关系（=，，，<, >）、可数集、不可数集、基数关系证明。要求熟练掌握集合的基本概念、集合的运算；熟练掌握函数、函数的运算及其证明；熟练掌握级数、累加；掌握基数比较和函数的关系、可数集。
3.归纳和递归
数学归纳法原理、数学归纳法运用、强归纳法原理、强归纳法运用、良序性质、递归定义函数、归纳定义法、递归定义的集合和结构、结构归纳法、结构归纳法的运用、广义归纳法、递归算法、递归算法正确性证明、递归和迭代。要求熟练掌握数学归纳法、强归纳法和结构归纳法，能够熟练运用归纳定义法；掌握递归和递归算法的基本概念，能够较熟练编写递归算法；了解递归算法正确性证明。
4.关系
二元关系基本概念、关系与函数、二元关系的性质（自反、对称、反对称、传递）及其证明、关系的运算、n-元关系基本概念、n-元关系的运算、关系与数据库、关系的表示（关系矩阵、关系图）、关系的闭包、等价关系、等价类、划分、偏序、全序、良序归纳原理、哈斯图、最大（小）元、极大（小）元、上（下）界、上（下）确界、格、拓扑排序。要求熟悉集合、关系和函数的关联关系；掌握关系的性质判定和运算；熟悉关系与关系数据库的关系；掌握等价关系、序关系，能够证明相关性质；了解格和拓扑排序。
5.图
图的基本概念、图模型、图的基本术语和特殊类型图、二部图和匹配、图的应用、图的运算、图的表示、图同构、路径和连通性、欧拉路径和哈密顿路径及其应用、最短路径算法、平面图及其应用、欧拉公式、库拉托瓦斯基定理、图的着色问题。要求熟悉图的基本概念和术语；掌握最短路径算法；熟悉路径和连通性；较熟练掌握图的性质证明；较好掌握二部图和平面图。
6.树
树的基本概念和术语、树建模、树的性质及其证明、树的应用、二叉树、树的遍历算法、树的编码、生成树、最小生成树、回溯。要求熟悉树的基本概念；掌握树的算法和性质证明；能够使用树进行建模和应用；掌握各种树的遍历算法；掌握回溯法。
7.布尔代数
布尔函数、布尔表达式、布尔代数恒等式、对偶、布尔代数定义、范式展开、逻辑门、电路、电路极小化。要求掌握布尔表达式变换方法；熟悉布尔代数与电路的关联关系；了解布尔代数。
F0205操作系统：
第一章 绪论
主要内容：
1．操作系统的功能、地位、组成及特征，多道程序设计；
2．操作系统的形成、发展、分类；
3．流行操作系统简介。
第二章 操作系统运行机制
主要内容：
1．中断和陷入机制；
2．操作系统内核程序嵌入进程运行模型；
3．操作系统系统调用实现方法；
4．命令界面实现方法。
第三章 进程管理
主要内容：
1．进程的描述和组成、进程的创建和结束处理、进程的状态和状态转换；
2．进程调度与切换概念与实现；
3．调度的层次、调度算法选择的准则、进程调度典型算法；
4．线程概念、进程与线程区别。
第四章 并发进程
主要内容：
1．进程的并发性、进程的同步与互斥；
2．实现互斥的硬件机制、信号量机制及应用；
3．进程间通信概念及实现；
4．死锁防止、死锁避免、死锁检测和解除。
第五章 存储管理
主要内容：
1．存储管理的功能、地址变换、固定分区存储管理、可变分区存储管理、分页存储管理；
2．虚拟存储器的概念、请求分页虚拟存储管理原理与实现技术；
3．典型页面淘汰策略。
第六章 设备管理
主要内容：
1．设备分类及管理、I/O控制方式及控制接口、I/O软件层次及主要功能、字符设备与块设备接口、驱动程序组成；
2．缓冲技术、磁盘请求调度及算法；
3．独占设备虚拟化技术。
第七章 文件系统
主要内容：
1．文件概念、文件访问方法；
2．文件逻辑结构；文件物理结构；
3．文件控制块FCB（索引节点）、文件目录与目录项；
4．各种目录结构的组织、特性；目录项检索与操作；
5．文件类系统调用、mmap文件访问、文件共享、保护和保密；文件存储空间管理、文件系统层次结构与设计；
第八章 并行与分布式系统
主要内容：
1．对称多处理机、多核系统、进程与线程、线程应用、线程状态、用户级和核心级线程的实现技术、多处理器环境下线程调度算法；
2．分布式系统特性、分布式应用模型、分布式系统实现模型。
F0202计算机体系结构：
1．计算机体系结构的基本概念
计算机体系结构的概念以及体系结构和并行性概念的发展，影响计算机系统设计的成本和价格因素，定量分析技术
2．指令系统
寻址方式，指令集的功能设计，操作数的类型和大小，指令格式，RISC指令集结构的实例
3．流水线技术
流水线的基本概念和性能分析，典型RISC流水线，流水线中的相关
4．存储层次
Cache的基本知识，降低Cache失效率的方法，减少Cache失效开销的方法，减少命中时间的方法，虚拟存储器，虚存保护和虚存实例
5．输入输出系统
外部存储设备，I/O设备与CPU和存储器的连接，廉价冗余磁盘阵列RAID，I/O系统性能分析
6．多处理机
多处理机的存储器体系结构，互连网络，同步机制，同时多线程技术，典型的多处理机
7．机群计算机
机群的结构，软件模型和机群的分类，典型的机群系统
