查字典查字典考研网快讯,据国防科学技术大学研究生院消息,2015年国防科学技术大学计算机科学与技术考研大纲已发布,详情如下:
科目代码:861科目名称:计算机原理
一、考试要求
主要考查学生对单处理器计算机系统中各部件的基本概念、组成结构和互连方式、以及软件和硬件之间联系的理解;能够综合运用计算机的工作原理和基本方法,分析、解决本专业领域硬件系统中的理论和实际问题,并能够对计算机系统中的基本部件进行简单的设计。
二、考试内容
1.计算机系统概述
计算机系统层次结构,包括计算机硬件的基本组成、计算机软件的分类;性能指标,包括主频(CPU时钟周期)、运算速度(CPI、CPU执行时间、MIPS、MFLOPS)等。
2.指令系统
计算机中的数据表示,包括定点数和浮点数的表示、校验码;计算机的指令格式,包括指令的基本格式、扩展操作码的指令格式;指令的寻址方式,包括数据寻址和指令寻址、常用寻址方式等。
3.计算机中的运算
计算机中的基本运算,包括逻辑及移位运算;定点数的加(减)、乘、除法运算;浮点数的加(减)、乘、除法运算;运算器的设计,包括算术逻辑单元ALU、串/并行加法器、浮点运算器等。
4.中央处理器
流水线的基本概念;硬连线控制器的基本概念及设计;微程序控制器的基本概念及实现方法。
5.存储层次结构
主存储器的基本概念及设计使用;高速缓冲存储器(Cache)、虚拟存储器的基本概念和性能评估。
6.输入输出(I/O)系统
输入输出系统的基本概念;三种I/O控制方式,包括程序查询、中断驱动和DMA方式。
7.总线
总线的基本概念及性能指标;总线的设计,包括总线仲裁、总线的操作和定时方式等。
三、考试形式
考试形式为闭卷、笔试,考试时间为3小时,满分150分。
题型包括:选择题、填空题、简答题、综合应用题。
四、参考书目
1.《计算机组成与设计-硬件/软件接口》,DavidA.Patterson、JohnL.Hennessy著,机械
工业出版社,2013,第四版
2.《计算机原理和设计》,王保恒等编,高等教育出版社,2005,第一版
科目代码:863科目名称:离散数学
一、考试要求
主要考察学生对离散数学中集合、关系、函数、图论、命题逻辑、一阶谓词逻辑、推理系统、布尔代数等计算机数学的基本概念、计算和证明方法的理解与掌握情况,以及应用上述概念和方法进行应用问题离散建模、计算求解和逻辑推理的能力。注重概念的深入理解、知识的综合运用,以及现实问题分析和解决。
二、考试内容
1.逻辑和证明基础
命题、逻辑联接词、真值表、位操作和位串、命题符号化及应用、逻辑等价和蕴含、命题可满足性及应用、谓词、量词、量词表达式等价及否定、嵌套量词、谓词逻辑符号化、推理规则、归结、逻辑证明、证明方法、证明策略、逻辑语义。要求熟练掌握命题逻辑和谓词逻辑的基本概念,掌握逻辑等价和蕴含分析方法,掌握逻辑推理方法和证明方法,能够熟练运用命题逻辑和谓词逻辑求解逻辑问题,了解可满足性问题。
2.基本结构:集合、函数、序列、求和
集合基本概念、集合描述方法、常见集合、集合相等、属于、子集、空集、幂集、集合的基数、n元组、笛卡尔乘积、集合运算(交、并、差、补)、集合恒等式、广义交、广义并、集合的计算机表示、(全)函数、函数算术、1对1函数、1-1对应、内射、满射、双射、函数运算(逆函数、函数的合成)、若干重要函数、部分函数、序列、算术级数、几何级数、递推关系、一些特殊序列、累加、基数比较关系(=,.,.,<,>)、可数集、不可数集、基数关系证明。要求熟练掌握集合的基本概念、集合的运算;熟练掌握函数、函数的运算及其证明;熟练掌握级数、累加;掌握基数比较和函数的关系、可数集。
3.归纳和递归
数学归纳法原理、数学归纳法运用、强归纳法原理、强归纳法运用、良序性质、递归定义函数、归纳定义法、递归定义的集合和结构、结构归纳法、结构归纳法的运用、广义归纳法、递归算法、递归算法正确性证明、递归和迭代。要求熟练掌握数学归纳法、强归纳法和结构归纳法,能够熟练运用归纳定义法;掌握递归和递归算法的基本概念,能够较熟练编写递归算法;了解递归算法正确性证明。
4.关系
二元关系基本概念、关系与函数、二元关系的性质(自反、对称、反对称、传递)及其证明、关系的运算、n-元关系基本概念、n-元关系的运算、关系与数据库、关系的表示(关系矩阵、关系图)、关系的闭包、等价关系、等价类、划分、偏序、全序、良序归纳原理、哈斯图、最大(小)元、极大(小)元、上(下)界、上(下)确界、格、拓扑排序。要求熟悉集合、关系和函数的关联关系;掌握关系的性质判定和运算;熟悉关系与关系数据库的关系;掌握等价关系、序关系,能够证明相关性质;了解格和拓扑排序。
5.图
图的基本概念、图模型、图的基本术语和特殊类型图、二部图和匹配、图的应用、图的运算、图的表示、图同构、路径和连通性、欧拉路径和哈密顿路径及其应用、最短路径算法、平面图及其应用、欧拉公式、库拉托瓦斯基定理、图的着色问题。要求熟悉图的基本概念和术语;掌握最短路径算法;熟悉路径和连通性;较熟练掌握图的性质证明;较好掌握二部图和平面图。
6.树
树的基本概念和术语、树建模、树的性质及其证明、树的应用、二叉树、树的遍历算法、树的编码、生成树、最小生成树、回溯。要求熟悉树的基本概念;掌握树的算法和性质证明;能够使用树进行建模和应用;掌握各种树的遍历算法;掌握回溯法。
7.布尔代数
布尔函数、布尔表达式、布尔代数恒等式、对偶、布尔代数定义、范式展开、逻辑门、电路、电路极小化。要求掌握布尔表达式变换方法;熟悉布尔代数与电路的关联关系;了解布尔代数。
三、考试形式
考试形式为闭卷、笔试,考试时间为3小时,满分150分。
题型包括:计算题、证明题、分析题、推理题等。
四、参考书目
1.DiscreteMathematicsandItsApplications(7thedition),KennethH.Rosen,
ISBN:978-0-07-338309-5,McGraw-Hill,2012.
2.《离散数学》,王兵山、张强、毛晓光主编,国防科技大学出版社,2001.
科目代码:F62科目名称:计算机体系结构
一、考试要求
主要考查学生对计算机体系结构的概念、基本原理、基本结构和基本分析方法(特别是量化分析方法)的理解和掌握,以及应用这些知识解决计算机体系结构相关设计问题的能力。
二、考试内容
1.计算机体系结构的基本概念
计算机体系结构的概念以及体系结构和并行性概念的发展,影响计算机系统设计的成本和价格因素,定量分析技术
2.指令系统
寻址方式,指令集的功能设计,操作数的类型和大小,指令格式,RISC指令集结构的实例
3.流水线技术
流水线的基本概念和性能分析,典型RISC流水线,流水线中的相关
4.存储层次
Cache的基本知识,降低Cache失效率的方法,减少Cache失效开销的方法,减少命中时间的
方法,虚拟存储器,虚存保护和虚存实例
5.输入输出系统
外部存储设备,I/O设备与CPU和存储器的连接,廉价冗余磁盘阵列RAID,I/O系统性能分析
6.多处理机
多处理机的存储器体系结构,互连网络,同步机制,同时多线程技术,典型的多处理机
7.机群计算机
机群的结构,软件模型和机群的分类,典型的机群系统
三、考试形式
考试形式为闭卷、笔试,考试时间为3小时,满分150分。
题型包括:填空题、选择题、综合题等。
四、参考书目
1.《计算机体系结构》.王志英等编著.清华大学出版社,2010。第一版
科目代码:F65科目名称:操作系统
一、考试要求
主要考查学生对操作系统基本概念、结构、策略,以及一些基本的算法、处理过程的理解与掌握;对并发程序设计技术的掌握,对构成系统的进程管理、存储管理、设备管理、文件系统及命令解释器等各模块的工作机理及设计方法的掌握。学生应具备一定的设计能力。
二、考试内容
第一章绪论
主要内容:
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.分布式系统特性、分布式应用模型、分布式系统实现模型。
三、考试形式
考试形式为闭卷、笔试,考试时间为1.5小时,满分100分。
题型包括:选择题、简答题、分析题、设计应用题等。
四、参考书目
《操作系统》第三版,罗宇等,电子工业出版社,2011年。