北理计算机研究方向

北理计算机研究方向计算机科学与技术081200（一级学科：计算机科学与技术）北京理工大学计算机科学与技术学科源于1959年设立的计算机专业，是我国最早建立计算机专业的院校之一。1980年成立计算机科学与工程系；1984年获得计算机应用技术硕士学位授予权，1993年获得计算机应用技术博士学位授予权，1996年获得计算机软件与理论硕士学位授予权；2001年批准设立计算机科学与技术博士后流动站；2002年计算机应用技术成为北京市重点学科，并建立智能信息技术北京市重点实验室；2003年获得计算机软件与理论博士学位授予权和计算机系统结构硕士学位授予权。本学科是我校“211工程”和“985工程”重点建设学科。本专业主要研究计算机科学与技术的基础理论和应用技术，主要研究方向包括：软件理论与工程、计算理论、嵌入式计算、高性能计算与先进计算机体系结构、网络与分布式计算、计算机信息安全、智能信息处理、人机交互技术。本学科主要研究方向有：1.软件理论与工程：主要包括软件形式化与自动化技术、软件工具与环境、软件体系结构、软件可靠性、软件测试、操作系统、编译技术、异构信息源集成、多媒体数据库、Web数据库、数据仓库、电子商务、数字图书馆等。2.计算理论：主要包括算法学、计算复杂性理论、可计算理论、自动机理论、形式语言理论、量子计算、生物计算理论等。3.嵌入式计算：主要包括数字系统自动设计理论、ASIC设计与方法学、嵌入式处理器、可重构芯片设计技术、嵌入式操作系统、嵌入式系统应用技术、嵌入式数据库、嵌入式浏览器/服务器、嵌入式中间件、多核处理器技术、音视频编解码技术等。4.高性能计算与先进计算机体系结构：主要包括并行/分布式系统、计算机集群系统、计算机系统性能评价技术、对等计算、高性能存储系统、新型计算机接口技术、计算机系统测试技术、计算机病毒预防及处理技术、因特网及接口技术等。5.网络与分布式计算：主要包括网格计算、网络化感知、互联网QoS、组播通信、移动计算、无线传感器网络、无线自组织网络、语义Web及Web服务技术、自主计算和多智能体系统、机器人网络遥操作技术等。6.计算机信息安全：主要包括可信计算、网络信息安全、入侵监测与防御、群组通信安全、网络攻防与对抗技术、分布式访问控制、分布式信任管理和协商、信息隐藏、网格安全、群组安全通信、无线通信安全、网络安全管理、无线网络安全、Web服务安全等。7.智能信息处理：主要研究包括人工智能及其应用技术，重点研究模式识别、图像处理、机器学习、计算机视觉、人工神经网络、媒体计算、自然语言处理、数据挖掘、智能感知、智能辅助决策、智能机器人技术、智能系统等。8.人机交互技术：主要包括计算机图形学、可视化计算、建模与仿真技术、虚拟现实技术、增强现实技术、虚拟仪器技术、穿戴计算、智能人机互动、人机交互系统设计与评价等。一、培养目标本专业培养德、智、体全面发展的计算机科学与技术领域的专门人才。本专业硕士学位获得者应在计算机科学与技术学科上掌握坚实的基础理论与系统的专门知识，深入了解本学科的发展状况和发展趋势，具有从事科学研究和独立担负专门技术工作的能力，能够胜任计算机科学与技术的教学、科研、系统与软件开发等工作。二、课程设置类别课程编码课程名称学时学分学期考核方式备注学位课21-000001-001-09科学技术哲学5421、2考试全部必选21-00000科学社会主义3611、2考试1-00*-09理论与实践21-000002-00*-13第一外国语(外语Ⅰ)54+5421、2考试21-081200-001-12计算理论5431考试21-081200-002-12高级计算机体系结构5431考试任选三门21-081200-003-12计算机网络体系结构5431考试21-081200-004-12ASIC设计导论5431考试21-081200-005-12软件体系结构5432考试21-081200-006-12分布式数据库系统5431考试21-081200-007-12软件工程与软件自动化5431考试21-081200-008-12人工智能5431考试21-081200-009-12媒体计算5431考试21-081200-010-12计算机图形学5431考试21-081200-011-12计算机信息安全5432考试21-08120并行计算5432考试0-012-12选修课20-081200-001-12分布式人工智能3622考查20-081200-002-12嵌入式系统3622考查20-081200-003-12高性能计算技术3621考查20-081200-004-12下一代互连网技术3622考查20-081200-005-12微处理器及其支持技术3622考查20-081200-006-12无线网络与移动计算3622考查20-081200-007-12网络交换与路由技术3622考查20-081200-008-12分布式系统技术3622考查20-081200-009-12高级操作系统3621考查20-081200-010-12软件形式化方法与形式语义学3622考查20-081200-011-12高级程序设计3622考查20-081200-012-12数据挖掘3622考查20-08120数据库理论3621考查0-013-1220-081200-014-12面向对象技术与方法3622考查20-081200-015-12模式识别与图象处理3621考查20-081200-016-12多媒体通信技术3622考查20-081200-017-12系统建模与仿真3622考查20-081200-018-12计算分子生物学3622考查20-081200-019-12智能计算技术3622考查20-081200-020-12计算机视觉3622考查20-081200-021-12虚拟现实技术3621考查20-081200-022-12自然语言处理3622考查20-081200-023-12人机交互技术3622考查20-081200-024-12内容管理与数字图书馆技术3622考查20-081200-025-12信息系统技术3621考查20-08120机器学习3622考查三、必修环节1．文献综述报告（1学分）：本学科硕士学位研究生的文献阅读要结合课题研究方向和具体的研究领域进行，参考文献应在20篇以上，文献综述报告要反映国际和国内在本领域的研究历史、现状和发展趋势。文献综述报告应不少于4000字。2．学术活动（1学分）：在学期间至少应参加6次以上学术活动，其中本人进行正规性的学术报告或学位论文阶段性报告1次以上。每次参加学术活动要有500字左右的总结报告，注明参加学术活动的时间、地点、报告人、学术报告题目，简述内容并阐明自己对相关问题的学术观点或看法。3．专业外语（1学分）：使研究生了解、熟悉外语论文的写作及如何在国际会议上发表论文和进行学术报告。由指导教师负责指导研究生选读和笔译相关专业外文文献，学院组织考试。四、科学研究与学位论文1．学位论文选题和开题报告：学位论文选题应根据当前本学科方向科学技术的发展水平和趋势进行，选题涉及基础理论的研究内容具有较高的理论价值和先进性，一般应有相应的实验数据支持；选题涉及工程应用的研究内容应具有明显的实用价值，技术上在国内具有先进性。0-026-1220-081200-027-12最优化理论3622考查20-081200-028-12组合数学3622考查20-081200-029-12人工神经网络3622考查20-081200-030-12计算几何3622考查2．发表论文：应满足校学位评定委员会的要求。3．学位论文：硕士学位论文应当表明作者具有从事科学研究工作的能力，论文成果具有新意。五、课程简介21-081200-001-12计算理论3(54)适用专业：计算机科学与技术先修课程：高等数学,离散数学,自动机理论内容概要：正则语言；上下文无关语言；丘奇－图灵论题；可判定性；可归约性；可计算性高级专题；时间复杂性；空间复杂性；难解性；复杂性高级专题。参考文献：1.Sipser.计算理论导论.北京:机械工业出版社(中译,影印版).20012.Hopcroft,Motwani,Ullman.自动机理论、语言和计算导论.北京：清华大学出版社(影印).20023.Lewis,Papadimitriou.计算理论基础.北京：清华大学出版社(影印,中译).199921-081200-002-12高级计算机体系结构3(54)适用专业：计算机科学与技术先修课程：计算机原理，操作系统内容概要：主要包括：高级流水线、指令性并行、超标量、超流水、超长指令、并行编译等RISC微处理器芯片高性能技术；基于共享和分布主存的两类多处理机涉及的关键技术；MPP和机群系统关键技术；并行计算。参考文献：1.（美）KaiHwang,王鼎兴等译.高等计算机系统结构[M].北京：清华大学出版社,19952.（美）KaiHwang.高等计算机系统结构[M].北京：机械工业出版社,19993.陈国良.并行计算机体系结构[M].北京:高等教育出版社,2002.921-081200-003-12计算机网络体系结构3(54)适用专业：计算机科学与技术，其他专业先修课程：计算机组成原理，操作系统，计算机系统结构，程序设计内容概要：计算机网络及体系结构概述；ISO/OSI体系结构与各层功能及协议；局域网体系结构与协议；TCP/IP体系结构与协议；无线网络与移动网络；网络互连；交换与路由体系结构；下一代互连网络；网络管理与网络安全；网络应用编程。参考文献：1．AndrewS.Tanenbaum著，潘爱民等译.计算机网络（第4版）.北京：清华大学出版社，20042．LarryL.Peterson,BruceS.Davie.ComputerNetworks–ASystemApproach(3rdEdition).北京：机械工业出版社，20053.BehrouzA.Forouzan.TCP/IP协议族(2ndEdition).北京：清华大学出版社，20034.WilliamStallings.Wireless21-081200-004-12ASIC设计导论3(54)适用专业：计算机科学与技术先修课程：数字电路基础，硬件描述语言内容概要：数字集成电路设计概论；大规模数字集成电路基础(结构与功能)；电子设计自动化（EDA）系统；常用可编程逻辑器件应用；设计实例参考文献：1．张兴，黄如，刘晓彦.微电子学概论.北京：北京大学出版社，20002．JohF.Wakerly.DigitalDesign(数字设计).高等教育出版社，200121-081200-005-12软件体系结构3(54)适用专业：计算机科学与技术先修课程：软件工程基础,面向对象的方法和技术内容概要：软件体系结构的概念；软件的结构基础和设计原则；软件体系结构风格；软件设计模式；软件体系结构的描述。参考文献：1.张友生.《软件体系结构》.北京：清华大学出版社，2004年1月2.万建成、卢雷.《软件体系结构的原理、组成与应用》.科学出版社，2002年8月3.覃征，何坚等.《软件体系结构》.西安交通大学出版社,2002年2月4.MaryShaw,DavidGarlan.SoftwareArchitecture(软件体系结构).清华大学出版社，1998年9月5.牛振东，江鹏，金福生编译.《软件体系结构》.清华大学出版社，2007年3月6.Service-OrientedArchitecture,ThomasErl.PenticeHall.200521-081200-006-12分布式数据库系统3(54)适用专业：计算机科学与技术先修课程：数据库原理内容概要：分布式数据库系统概述；分布式数据存储；分布式查询优化；分布式事务管理；分布式数据库的完整性和安全性；分布式数据库系统设计；多数据库系统技术；Web数据库技术。参考文献：1．贾焰等.分布式数据库技术[M].北京：国防工业出版社，20002．郑振楣等.分布式数据库[M