研究方向 |
计算机科学国家重点实验室:9(8)人
01.并发系统分析与验证
02.信息物理融合系统CPS
03.数据挖掘、人工智能
04.软件设计与分析方法,新型计算模型与应用
05.概率并发系统的建模与检验
06.算法与计算复杂性
07.软件的形式化分析与验证
08.分布式算法
09.算法设计与分析
10.并发程序分析
11.硬件系统的形式化验证
并行软件与计算科学实验室:4(4)人
12.并行算法与并行软件
13. 数据挖掘和机器学习
14 数据挖掘和大数据
基础软件国家工程研究中心:11(8)人
15.高安全等级操作系统、数据库与知识库系统、云计算、基础软件与应用
16.程序语言设计与编译技术,软件测试方法和工具
17.系统安全、可信计算与数字取证
18.文本信息处理与信息检索
互联网软件技术实验室:3(2)人
19.软件知识工程
软件工程技术研究开发中心:8(5)人
20.网络分布计算理论与技术
|
考试科目 |
101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合(专业)
|
复试科目、复试参考书 |
|
参考书目、参考教材 |
863计算机学科综合(专业)
一、主要参考书目
1、计算机网络(第五版). [美] 特南鲍姆,[美] 韦瑟罗尔 著 严伟,潘爱民 译,北京:清华大学出版社,2012年。
2、计算机网络(第六版). 谢希仁编著,电子工业出版社,2013年。
二、试卷结构
题型,如:概念题(填空、选择、判断、简答),应用题(计算、画图、分析、设计)等。 |
更多研究方向 |
计算机科学国家重点实验室:9(8)人
01.并发系统分析与验证
02.信息物理融合系统CPS
03.数据挖掘、人工智能
04.软件设计与分析方法,新型计算模型与应用
05.概率并发系统的建模与检验
06.算法与计算复杂性
07.软件的形式化分析与验证
08.分布式算法
09.算法设计与分析
10.并发程序分析
11.硬件系统的形式化验证
并行软件与计算科学实验室:4(4)人
12.并行算法与并行软件
13. 数据挖掘和机器学习
14 数据挖掘和大数据
基础软件国家工程研究中心:11(8)人
15.高安全等级操作系统、数据库与知识库系统、云计算、基础软件与应用
16.程序语言设计与编译技术,软件测试方法和工具
17.系统安全、可信计算与数字取证
18.文本信息处理与信息检索
互联网软件技术实验室:3(2)人
19.软件知识工程
软件工程技术研究开发中心:8(5)人
20.网络分布计算理论与技术
|
更多考试科目信息 |
101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合(专业)
|
更多复试科目参考书信息 |
|
更多参考书目、参考教材 |
863计算机学科综合(专业)
一、主要参考书目
1、计算机网络(第五版). [美] 特南鲍姆,[美] 韦瑟罗尔 著 严伟,潘爱民 译,北京:清华大学出版社,2012年。
2、计算机网络(第六版). 谢希仁编著,电子工业出版社,2013年。
二、试卷结构
题型,如:概念题(填空、选择、判断、简答),应用题(计算、画图、分析、设计)等。 |