附件2厦门大学硕士研究生培养方案(从2014级开始适用)一级学科名称计算机科学与技术(0812)专业名称计算机系统结构(081201)计算机软件与理论(081202)计算机应用技术(081203)专业代码0812(081201/081202/081203)培养单位(公章)研究生院2012年05月制表2014年7月2日修订一、主要研究方向序号研究方向名称主要研究内容、特色与意义研究生导师(博导注明)1计算机视觉与图象处理主要开展计算机视觉、图象处理与分析、图像检索理论与技术、基于视频的事件检测与智能监控、运动目标检测与识别、人体行为分析、立体视觉理论与应用等专门方向上的应用研究与系统设计开发。李翠华(博导)王菡子(博导)王程(博导)雷蕴奇杨晨晖(博导)曲延云王其聪严严曹刘娟2数据库与数据挖掘技术数据库理论及其应用、分布式数据库、大数据库技术研究。金融数据挖掘、生物信息挖掘、web数据挖掘、文本挖掘、海量数据挖掘等算法的研究及其应用。张德富(博导),冯少荣,张东站,陈锦秀,江弋,林子雨,邹权,林琛,曾湘祥3计算机网络与信息安全主要开展计算机网络及其应用技术、网络与信息安全、网络性能测量与优化、自组织网络路由、应用层网络协议、数字通信等研究。雷蕴奇郑建德陈启安陈怡疆谢怡4云计算技术主要开展云计算环境下基础算法研究、大规模优化算法、分布式存储、各种新型分布式计算模型、分布式基础算法、分布式软件技术理论和容错计算技术应用于未来网络与分布式计算的研究、并行算法、智能计算等。张德富(博导)雷蕴奇赵致琢卢伟刘向荣郑炜吴素贞曾湘祥李慧琪5大数据技术研究分布式数据库技术,分布式存储技术,分布式数据挖掘技术,分布式大规模优化算法,大数据安全等。张德富(博导)邹权林琛吴素贞林子雨6数字医学技术主要研究生物医学信息的获取、处理、显示、传输的新理论、新技术;包括医学图像处理与成像、数字中医与健康工程、虚拟器官与手术仿真等方面的应用,综合应用计算机、电子、信息等工程技术与方法,针对医学尤其是临床实践中遇到的科学问题或关键技术,实现跨学科的合作交流与联合攻关。鞠颖程明刘向荣闵小平黄绍辉吴梅红黄晓阳王连生7移动计算与智能终端技术开展嵌入式系统及LUNIX开发应用、移动计算与手机平台应用开发、游戏动漫技术应用等。陈启安杨晨晖(博导)曲延云陈中贵赵冲8现代计算机体系结构与嵌入式应用主要开展多处理机系统的通信技术,SCI串行通信协议的实现,计算机控制系统的智能接口的研究;计算机存储技术;运用EDA技术开展嵌入式应用系统的设计、开发;嵌入式系统软件的研究与开发。陈启安刘向荣程明闵小平吴素贞9多媒体与人机交互技术多媒体技术应用、研究通过计算机输入、输出设备,以有效的方式实现人与计算机对话的技术。陈启安刘向荣程明闵小平10软件工程研究软件工程技术、软件开发工具、集成化软件开发环境、面向对象技术、嵌入式技术、程序设计语言理论、软件开发方法学、形式语义学等。赵致琢郑建德陈启安冯少荣张东站11计算机控制技术以数字信号处理、数字控制、实时系统、多媒体信号处理研究为基础,主要开展实时数字控制系统、智能控制系统的研究与开发,交通实时监控系统研发,网络与多媒体信息系统的研究开发等。研发成果取到较好应用效果。雷蕴奇杨晨晖(博导)郑建德王其聪刘向荣12空间感知与计算主要研究2D/3D图像、3D激光雷达点云、遥感数据、空间位置数据的处理与分析技术,多传感器融合技术,3D新媒体技术,以及空间大数据王程(博导)程明陈中贵分析技术;面向智慧城市空间信息应用,工业测量与建模应用,卫星/航天遥感应用,成像探索与识别应用以及移动互联网应用,开展理论和工程技术研究。曹刘娟13图形学与增强现实研究如何在计算机中表示图形、以及利用计算机进行图形的计算、处理和显示的相关原理与算法,3D图形处理技术以及增强现实等相关技术杨晨晖(博导)陈中贵曲延云赵冲14生物计算与计算生物研究生物分子或生物系统以及其抽象模型进行信息处理的计算模式,开发和应用数据分析及理论的方法、数学建模、计算机仿真技术等,用于处理各种生物数据。刘向荣邹权闵小平曾湘祥注:本表不够可加页。二、培养目标、学制及学分要求培养目标(本表可不填政治标准):计算机科学与技术学科硕士生应掌握坚实的计算机系统结构、计算机软件与理论、计算机应用技术、计算机网络与信息安全等计算机科学与技术的基础理论,并在上述至少一个方面掌握系统的专门知识,了解学科的发展现状、趋势及研究前沿,较熟练地掌握一门外国语:具有严谨求实的科学态度和作风,能够运用计算机科学与技术学科的方法、技术与工具从事该领域的基础研究、应用基础研究、应用研究、技术创新或系统的设计、开发与管理工作,具有从事本学科和相关学科领域的科学研究或担负专门技术工作的能力。培养德智体全面发展,能够独立承担计算机学科的教学、理论研究、计算机系统设计与开发的高层次科技工作者。毕业生适宜到高等院校、科研院所和企事业单位从事教学、科研、科技开发和技术管理工作;也可以继续攻读计算机科学与技术或相近专业的博士学位。获本学科硕士学位应具备基本的素质:1.学术素养具有良好的科学素养,诚实守信,严格遵守科学技术研究学术规范;具有科学严谨和求真务实的创新精神和工作作风。具有基本的知识产权意识。具有良好的身心素质和环境适应能力,注重人文精神与科学精神的结合;具有积极乐观的生活态度和价值观,善于处理人与人、人与社会及人与自然的关系,能够正确对待成功与失败。2.学术道德热爱祖国,遵纪守法,具有社会责任感和历史使命感,维护国家和人民的根本利益,推进人类社会的进步与发展。恪守学术道德与规范,不以任何方式剽窃他人成果,不篡改、假造、选择性使用实验和观测数据。学制:3年,最长学习年限:5年。至少应修满22学分:其中公共学位课程5学分;专业必修课程8学分;选修课程7学分;其他培养环节2学分。三、课程设置序号课程类型课程名称学期学分总学时授课语言任课教师(职称)1公共学位(5学分)234专业必修(选二)计算理论基础秋354中/英雷蕴奇教授、曾湘祥助理教授5计算智能秋354中文李翠华教授、曲延云副教授6高性能算法春354中文赵致琢教授、张德富教授7选修(选四)大数据处理技术春236中文林子雨助理教授8数据挖掘与分析秋236中文陈锦秀副教授、林琛副教授9计算机视觉秋236中文王菡子教授、严严助理教授10信息安全春236中文郑建德教授11分布式编程技术秋236中文邹权副教授12高等计算机体系结构春236中文杨晨晖教授、吴素贞助理教授其他培养环节学术报告与学术讲座N/A1相关要求详见后页。社会、教学、科研实践活动N/A1相关要求详见后页。开题报告相关要求详见后页。注:1.硕士生与博士课程打通,实行资源共享。研究生选修博士生课程,可计算选修学分。老师工作量的计算,按照学校规定执行。III.CurriculumNo.CategoryNameoftheCourseSemester*CreditTotalHoursWorkingLanguageFacultymember(s)(withprofessionaltitles)1Generalcourses234CorecoursesIntroductiontotheTheoryofComputationA354Chinese/EnglishProf.YunqiLei,Dr.XiangxiangZeng5ComputationalIntelligenceA354ChineseProf.CuihuaLi,Associateprof.YanyunQu6HighPerformanceAlgorithmsS354ChineseProf.ZhizhuoZhao,Prof.DefuZhang7OptionalcoursesBigDataProcessingTechnologyS236ChineseDr.ZiyuLin8DataMiningandAnalysisA236ChineseAssociateProf.JinxiuChen,AssociateProf.ChenLin9ComputerVisionA236ChineseProf.HanziWang,Dr.YanYan10AdvancedComputerArchitectureS236ChineseProf.ChenhuiYang,SuzhenWu11InformationSecurityA236ChineseProf.JiandeZheng12DistributedProgrammingS236ChineseAssociateProf.QuanZouOtheracademicsectionsAttendingacademiclecturesN/A1Detailsareinthefollowingpages.Teachingpractice,researchandinternship1Detailsareinthefollowingpages.ThesisproposalDetailsareinthefollowingpages.*.S—Springsemester;A—Autumnsemester;SS—Summersemester.课程内容纲要课程名称计算理论基础课程英文名称IntroductiontotheTheoryofComputation课程代码总学时54课程层次核心课程授课语言双语/全英文教学方式理论讲授+其他等中文内容简介本课程系统地介绍计算理论的三个主要方面:自动机与语言、可计算性和计算复杂性。其内容对计算科学具有基础上的重要性,包括了计算系统以及复杂计算应用中的精要数学特性。课程解决哪些类型的问题是图灵可计算的,哪些不能;可计算时能有多快或要用多少存储空间,以及采用不同的计算模型会有何种效能等等。该课程与工程实践有着明显的联系,但基本上是纯理论性的。I:形式语言与自动机理论:数学概念和术语;正则语言,上下文无关语言,文法与语言;确定性和非确定性;计算的形式定义等。II:可计算性理论:Turing机及Church-Turing论题;计算问题的可判定性及可归约性;递归定理;逻辑理论的可判定性;Turing可归约性.III:计算复杂性理论:时间复杂性;空间复杂性;层次定理;难解性;复杂性理论中的深入专题.英文内容简介Thesubjectincludesthreeessentialaspectsofthetheoryofcomputation:automata,computabilityandcomplexity,itrevealsthefundamentalmathematicalpropertiesofcomputationsystemsandapplicationsthereof.Thetheoryisaboutwhatcanandcannotbecomputed,howfast,withhowmuchspace,andonwhichtypeofmodels.Itisatheoreticalcourseyetithasclearrelevancewithengineeringpractice.I.AutomataandLanguages.MathematicalNotionsandTerminology.RegularLanguages;Context-FreeLanguages;GrammarsandLanguages;DeterminismandNon-determinism;Theformaldefinitionofcomputation.II:ComputabilityTheory:TuringMachines,TheChurch-TuringThesis;DecidabilityandReducibility;TheRecursionTheorem,DecidabilityofLogicTheories,TuringReducibility.III:ComplexityTheory:TimeComplexity,SpaceComplexity,I