pmes_体系所研究生培养方案

附件3厦门大学硕士研究生培养方案（报表）一级学科名称计算机科学与技术专业名称计算机系统结构专业代码081201厦门大学研究生院制表填表日期：2006年6月25日一、主要研究方向序号号研究方向名称主要研究内容、特色与意义研究生导师（博导注明）1现代计算机体系结构主要开展多处理机系统的通信技术,SCI串行通信协议的实现,计算机控制系统的智能接口的研究。陆达达力2计算机检测与控制主要开展微型计算机机控制技术及应用、智能仪器仪表、嵌入式系统的设计；制造业信息化领域的研究、开发。陆达达力3计算机在医学工程中的应用技术主要研究生物医学信息的获取、处理、显示、传输的新理论、新技术；研究设计人体生理信息，医学图像的监测诊断仪器；综合应用计算机、电子、信息等工程技术与方法，解决生物医学的问题。还在脑神经核团三维重建、眼科成像与图像处理方面取得了一定的研究成果。王博亮程明菊颖4计算机网络与通信从网络、操作系统和应用层,研究智能网络和实时系统的高安全和高可靠保障技术。郑建德黎忠文5嵌入式系统及其应用运用EDA技术开展嵌入式应用系统的设计、开发；嵌入式系统软件的研究与开发。陆达黎忠文注：本表不够可加页。二、培养目标、学习年限及学分要求培养目标：（本表可不填政治标准）培养德智体全面发展，能够独立承担计算机学科的教学、理论研究、计算机系统设计与开发的高层次科技工作者。毕业生适宜到高等院校、科研院所和企事业单位从事教学、科研、科技开发和高级技术管理工作；也可以继续攻读计算机科学与技术或相近专业的博士学位。本专业研究生要努力学习马列主义、毛泽东思想和邓小平理论，掌握必要的社会科学知识，具有良好的政治素质、道德品质和法律素养；系统深入地掌握计算机科学和技术的理论基础、专业知识和基本技能，熟练应用一门外语，参与科研与工程项目，为独立从事研究和新技术开发打下坚实的基础；全面了解高等院校计算机专业的人才培养过程；坚持体育锻炼，以健康的体魄，迎接未来IT业的挑战。学习年限：全日制硕士生一般为二至三年，在职硕士生可以延至四年。学分要求：共32-36学分其中公共学位：10学分专业学位：12学分选修：10-14学分三、课程设置（不包括公共学位课）序号课程编码课程名称课程类型学分开课学期周学时/总学时是否双语教学任课教师（职称）1SZ3120101高等计算机体系结构学位314/80否陆达教授杨晨晖教授2SZ3120102计算理论学位314/80是雷蕴奇、倪子伟副教授3SZ3120103计算智能学位324/80否李翠华教授4SX3120101形式语义学选修223/56否赵致琢教授5SX3120102分布式数据库选修223/56否薛永生教授6SX3120103软件工程方法学选修223/56否冯少荣副教授7SX3120104高级操作系统选修223/56否卢伟副教授8SX3120105程序设计语言理论选修223/56否史晓东教授9SX3120106并行与分布式计算选修223/56否赵致琢教授10SX3120108软件工具与环境选修223/56否陈启安副教授11SX3120111现代网络技术选修223/56否李名世副教授12SX3120112现代软件技术选修223/56否李绍滋教授13SX3120113人工智能前沿选修223/56否周昌乐教授14SX3120114计算语言学选修223/56是史晓东教授15SX3120115医用传感器接口技术选修223/56否王博亮教授16SX3120116医学电子仪器原理与设计选修223/56否王博亮教授17SX3120117数字视频信息处理选修223/56否李翠华教授18SX3120118数字图象处理选修223/56否李翠华教授19SX3120119计算机视觉选修223/56否杨晨晖教授20SX3120120电子政务基础设施选修223/56否郑建德教授21SX3120121密码编码与网络安全选修223/56否黎忠文副教授22SX3120122安全软件的理论及技术选修223/56否黎忠文副教授23SX3120123软件工程与项目管理选修223/56否卢伟清高工24SX3120124网络安全与加密技术选修223/56否洪景新高工25SX3120125专题报告选修23－42否各指导教师注：本表不够可加页。CoursesDescriptionsforMastersProgramSheetsN0.SerialNo.TheTitleofCoursesTheTypeofcourses*CreditSemester**totalclasshoursBilingualTeachingcourseTeacher/Title1SZ3120101AdvanceComputerArchitectureR.C3First4/80NoProf.LuDaDr.YangChenhui2SZ3120102ComputingTheoryR.C3First4/80YesAssociateProf.LeiYunqi&NiZiwei3SZ3120103ComputionalIntelligenceR.C3First4/80NoProf.LiChuihua4SX3120101FormalSemanticsO.C2Second3/56NoProf.ZhaoZhizhuo5SX3120102DistributedDatabaseO.C2Second3/56NoProf.XueYongsheng6SX3120103MethodologyofSoftwareEngineeringO.C2Second3/56NoAssociateProf.FengShaorong7SX3120104AdvancedOperatingSystemO.C2Second3/56NoAssociateProf.Luwei8SX3120105ProgrammingLanguageTheoryO.C2Second3/56NoProf.ShiXiaodong9SX3120106ParallelandDistributedComputingO.C2Second3/56NoProf.ZhaoZhizhuo10SX3120108SoftwaretoolsandEnvironmentsO.C2Second3/56NoAssociateProf.ChenQian11SX3120111ModernnetworkTechnologyO.C2Second3/56NoAssociateProf.LiMinSHi12SX3120112ModernSoftwareTechnologyO.C2Second3/56noProf.LiShaozi13SX3120113ForegoingartificialintelligengceO.C2Second3/56NoProf.ZhouChangle14SX3120114ComputationallinguisticsO.C2Second3/56NoProf.ShiXiaodong15SX3120115MedicalTranciducersAndInterfacingTechnicsO.C2Second3/56NoProf.WangBoliang16SX3120116MedicalImagingPrincipleO.C2Second3/56NoProf.WangBoliang17SX3120117DigitalVideoProcessingO.C2Second3/56NoProf.LiCuihua18SX3120118DigitalImageProcessingO.C2Second3/56NoProf.LiCuihua19SX3120119ComputerVisionO.C2Second3/56NoProf.YangChenhui20SX3120120E-GovernmentInfrastructureO.C2Second3/56NoProf.ZhengJiande21SX3120121O.C2Second3/56NoAssociateProf.LiZongwen22SX3120122O.C2Second3/56NoAssociateProf.LiZongwen23SX3120123O.C2Second3/56NoAssociateProf.LuWeiqing24SX3120124O.C2Second3/56NoAssociateProf.HongJingxinSX3120125SeminarO.C2*.R.C.—requiredcourse;O.C.—othercourse.**.S—Springsemester;A—Autumnsemester课程内容纲要课程编码：SZ3120304开课学期：1周学时/总学时：4/80学分：3课程名称：高级计算机体系结构英文名称：AdvanceComputerArchitecture教学方式：课堂讲授考试方式：开卷或闭卷考试内容提要：1、概述。简要介绍高级计算机发展的技术状况2、高级流水线及指令性并行。主要讲授超标量、超流水、超长指令、动态调度、分支预测、软件流水线、并行编译等最新用于RISC芯片构成的高性能计算机技术。3、多处理机。主要讲授集中共享主存两大类多处理机所涉及到的关键技术问题。4、MPP系统。主要讨论MPP系统设计、分析和使用中所涉用到的关键技术问题。上述内容的讲授都将采用具体的系统例子和计算过程，从而对所讲授内容获得深入分析和理解。教材：参考书：1、黄铠：高级计算机体系结构2、JohnJ.Hennessy.ComputerArchitecture:AQuantitativeApproach.SecondEdition.注：每门课程都须填写此表。本表不够可加页。课程内容纲要课程编码：开课学期：1周学时/总学时：4/80学分：3课程名称：计算理论英文名称：TheTheoryofComputation教学方式：课堂讲授，双语教学考试方式：开卷或闭卷考试内容提要：计算理论系统地介绍了计算理论的三个主要内容：自动机与语言、可即使性和计算复杂性。绝大部分内容是基本的，它包括计算机硬件、软件以及某些应用的基本数学特性，对可计算性和计算复杂性理论中的某些高级内容作了重点介绍。通过学习这一科目，我们试图解决什么是能计算的，什么是不能计算的，有多快，要用多少存储，以及采用什么计算模型等。该科目与工程实践有着明显的联系，也具有纯理论的一面。本课程的主要内容包括：第一部分：自动机与语言1．正则语言2．上下文无关语言第二部分：自动机与语言3．丘奇—图灵论题4．可判定性5．可归约性第三部分：复杂性理论6．时间复杂性7．空间复杂性8．高级专题教材：ElementsofTheTheoryofComputation,HarryR.Lewis/ChristosHPapadimitriousSecondEdition参考书：1.IntroductiontotheTheoryofComputation,MichaelSipser2.IntroductiontoComputerTheory,DanielI.A.Cohen注：每门课程都须填写此表。本表不够可加页。课程内容纲要课程编码：SZ3120301开课学期：1周学时/总学时：4/80学分：3课程名称：现代人工智能英文名称：ArtificialIntelligence教学方式：课堂讲授，穿插主题讨论3-5次考试方式：3-5个大型作业+闭卷考试内容提要：现代人工智能主要研究那些人比机器做得好的领域内的问题及其算法，机器学习是其重要的实现途径。本课程将学习下列主要内容：（1）现代搜索技术，包括启发式搜索、梯度搜索、模拟退火搜索、博弈搜索、极小极大搜索以及-剪枝过程等；（2）符号逻辑，包括知识的逻辑表示、逻辑推理、语义演绎系统、合式公式及反驳判定，命题逻辑和谓词逻辑的归结推理方法；（3）机器学习，包括学习的种类、模型及算法；（4）人工神经网络，包括人脑的基本特征、前馈网络、学习规则、多层前馈网络的反向传播（BP）学习算法；（5）模拟进化搜索