/附件3廈門大學碩士研究生培養(yǎng)方案（報表）一級學科名稱計算機科學與技術專業(yè)名稱計算機系統結構專業(yè)代碼081201廈門大學研究生院制表填表日期：2006年6月25日一、主要研究方向序號號研究方向名稱主要研究內容、特色與意義研究生導師（博導注明）1現代計算機體系結構主要開展多處理機系統的通信技術,SCI串行通信協議的實現,計算機控制系統的智能接口的研究。陸達達力2計算機檢測與控制主要開展微型計算機機控制技術及應用、智能儀器儀表、嵌入式系統的設計；制造業(yè)信息化領域的研究、開發(fā)。陸達達力3計算機在醫(yī)學工程中的應用技術主要研究生物醫(yī)學信息的獲取、處理、顯示、傳輸的新理論、新技術；研究設計人體生理信息，醫(yī)學圖像的監(jiān)測診斷儀器；綜合應用計算機、電子、信息等工程技術與方法，解決生物醫(yī)學的問題。還在腦神經核團三維重建、眼科成像與圖像處理方面取得了一定的研究成果。王博亮程明菊穎4計算機網絡與通信從網絡、操作系統和應用層,研究智能網絡和實時系統的高安全和高可靠保障技術。鄭建德黎忠文5嵌入式系統及其應用運用EDA技術開展嵌入式應用系統的設計、開發(fā)；嵌入式系統軟件的研究與開發(fā)。陸達黎忠文注：本表不夠可加頁。二、培養(yǎng)目標、學習年限及學分要求培養(yǎng)目標：（本表可不填政治標準）培養(yǎng)德智體全面發(fā)展，能夠獨立承擔計算機學科的教學、理論研究、計算機系統設計與開發(fā)的高層次科技工作者。畢業(yè)生適宜到高等院校、科研院所和企事業(yè)單位從事教學、科研、科技開發(fā)和高級技術管理工作；也可以繼續(xù)攻讀計算機科學與技術或相近專業(yè)的博士學位。本專業(yè)研究生要努力學習馬列主義、毛澤東思想和鄧小平理論，掌握必要的社會科學知識，具有良好的政治素質、道德品質和法律素養(yǎng)；系統深入地掌握計算機科學和技術的理論基礎、專業(yè)知識和基本技能，熟練應用一門外語，參與科研與工程項目，為獨立從事研究和新技術開發(fā)打下堅實的基礎；全面了解高等院校計算機專業(yè)的人才培養(yǎng)過程；堅持體育鍛煉，以健康的體魄，迎接未來IT業(yè)的挑戰(zhàn)。學習年限：全日制碩士生一般為二至三年，在職碩士生可以延至四年。學分要求：共32-36學分其中公共學位：10學分專業(yè)學位：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軟件工具與環(huán)境選修223/56否陳啟安副教授11SX3120111現代網絡技術選修223/56否李名世副教授12SX3120112現代軟件技術選修223/56否李紹滋教授13SX3120113人工智能前沿選修223/56否周昌樂教授14SX3120114計算語言學選修223/56是史曉東教授15SX3120115醫(yī)用傳感器接口技術選修223/56否王博亮教授16SX3120116醫(yī)學電子儀器原理與設計選修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教學方式：課堂講授考試方式：開卷或閉卷考試內容提要：概述。簡要介紹高級計算機發(fā)展的技術狀況高級流水線及指令性并行。主要講授超標量、超流水、超長指令、動態(tài)調度、分支預測、軟件流水線、并行編譯等最新用于RISC芯片構成的高性能計算機技術。多處理機。主要講授集中共享主存兩大類多處理機所涉及到的關鍵技術問題。MPP系統。主要討論MPP系統設計、分析和使用中所涉用到的關鍵技術問題。上述內容的講授都將采用具體的系統例子和計算過程，從而對所講授內容獲得深入分析和理解。教材：參考書：黃鎧：高級計算機體系結構JohnJ.Hennessy.ComputerArchitecture:AQuantitativeApproach.SecondEdition.注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：開課學期：1周學時/總學時：4/80學分：3課程名稱：計算理論英文名稱：TheTheoryofComputation教學方式：課堂講授，雙語教學考試方式：開卷或閉卷考試內容提要：計算理論系統地介紹了計算理論的三個主要內容：自動機與語言、可即使性和計算復雜性。絕大部分內容是基本的，它包括計算機硬件、軟件以及某些應用的基本數學特性，對可計算性和計算復雜性理論中的某些高級內容作了重點介紹。通過學習這一科目，我們試圖解決什么是能計算的，什么是不能計算的，有多快，要用多少存儲，以及采用什么計算模型等。該科目與工程實踐有著明顯的聯系，也具有純理論的一面。本課程的主要內容包括：第一部分：自動機與語言正則語言上下文無關語言第二部分：自動機與語言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個大型作業(yè)+閉卷考試內容提要：現代人工智能主要研究那些人比機器做得好的領域內的問題及其算法，機器學習是其重要的實現途徑。本課程將學習下列主要內容：（1）現代搜索技術，包括啟發(fā)式搜索、梯度搜索、模擬退火搜索、博弈搜索、極小極大搜索以及-剪枝過程等；（2）符號邏輯，包括知識的邏輯表示、邏輯推理、語義演繹系統、合式公式及反駁判定，命題邏輯和謂詞邏輯的歸結推理方法；（3）機器學習，包括學習的種類、模型及算法；（4）人工神經網絡，包括人腦的基本特征、前饋網絡、學習規(guī)則、多層前饋網絡的反向傳播（BP）學習算法；（5）模擬進化搜索與學習算法，包括生物進化過程、模擬進化原理與算法、模擬進化算法的典型執(zhí)行策略（Geneticalgorithm,Evolutionstragies,Evolutionaryprograming）、模擬進化策略的改進途徑、各種執(zhí)行策略的比較和評注；（6）非單調邏輯及其推理、不確定性推理、模態(tài)邏輯、知識的結構化表示與產生式系統等。教材：參考書：1．N.J.Nilsson,ArtificialIntelligence━ANewSynthesis,MorganKaufmannPublishers,Inc.,19982.S.RusselandP.Norvig,ArtificialIntelligence:AModernApproach,EnglewoodCliffs,NJ:PrenticeHall,1995/19983．ThomasDeanandJamesAllen,andYiannisAloimonos,ArtificialIntelligence,TheoryandPractice,19954．史忠植，現代人工智能，1998注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：開課學期：2周學時/總學時：4/80學分：3課程名稱：高等邏輯英文名稱：AdvancedMathematicalLogic教學方式：講授考試方式：閉卷考試內容提要：本課程主要講授經典邏輯演算、模型論基礎知識和幾種典型的非經典邏輯知識。主要內容包括：一階邏輯的形式演算及其語義性質；數學系統、不完全性定理、形式系統的判定；形式語言及其模型、緊致性定理和LST定理；兩種典型的非經典邏輯。教材：參考書：A.G.Hanilton.Logicformathematicians.CambridgeUniversityPress,London,1978.王世強。模型論基礎。北京：科學出版社，2001。M.R.Genesereth,N.J.Nilsson.LogicalfoundationsofArtificialintelligence.MorganKaufmannPublishers,1987.王國俊。非經典數理邏輯與近似推理。北京：科學出版社，2000。注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：SX3120305開課學期：2周學時/總學時：3/56學分：2課程名稱：分布式數據庫英文名稱：DistributedDatabase教學方式：考試方式：開卷或閉卷考試內容提要：分布式數據庫是數據庫技術和計算機網絡技術的互為滲透與融合,形成一種更新型的信息處理技術,然而也形成其自身的特色和自成系統的理論基礎。是一段時間來的計算機科學技術及其應用的主要研究方向之一。本課程將討論以下內容:第一部分介紹分布式數據庫系統概念、特性及所研究的問題,以及分布式數據庫系統的系統結構。第二部分討論分布式數據庫系統的原理、實現技術和一系列算法,討論分布式數據庫系統的分布透明性、分布式數據庫系統的數據查詢的正確性、運行的安全和高效性,以及數據查詢、數據控制、事務管理、數據源管理等。第三部分討論異構性分布式數據庫系統〈多數據庫系統〉的特點、概念和實現技術。第四部分是對分布式數據庫系統的發(fā)展的展望,介紹與分布式數據庫系統有關的當前研究的熱門課題,為研究生的進一步學習和研究打下基礎。教材：參考書：《分布式數據庫》,鄭振據、于戈、郭敏,科學出版社《分布數據庫》,鄭懷遠、楊成忠,科學出版社《分布式數據庫管理系統實現技術》,周龍壤等,科學出版社《數據庫系統教程》,施伯樂、丁寶康、周傲英、田增平,高等教育出版社《數據庫系統概論》,薩師娼、王珊,高等教育出版社《決策支持系統及其開發(fā)》,陳文偉,清華大學出版社《AnIntroductiontoDatabaseSystems》,[美]C.J.Date清華大學出版社《DistributedSystemsDesign》,[美]JieWe電子工業(yè)出版社《DecisionSupportandDataWarehouseSystems》,[美]EfremG.Mallach清華大學出版社注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：開課學期：2周學時/總學時：3/56學分：2課程名稱：軟件工程方法學英文名稱：MethodologyofSoftwareEngineering教學方式：課堂講授考試方式：開卷或閉卷考試內容提要：本課程主要講述軟件工程的基本概念、基本原理以及實用的開發(fā)方法和技術，使學生了解用工程化的方法開發(fā)軟件項目，以及在開發(fā)過程中應遵循的流程、準則、標準和規(guī)范可行性論證技術。涉及的內容包括：1.半形式化和形式化規(guī)范技術;2.軟件項目質量、配置管理及軟件項目的特征量;3.模塊化原理、系統結構優(yōu)化設計;4.輸入/輸出接口優(yōu)化設計;結構程序設計;5.測試案例設計;6.某些開發(fā)階段特征量的概念、計算和應用;7.面向對象原理;面向對象的建模;8.OO系統設計與測試;針對目前軟件工程教材所包含的計算和形式化內容太少的現狀,加入了相當部分的計算和半形式化和形式化內容。增加了一些定量的描述內容;代碼行/功能點估計程序規(guī)模；利用COCOMO模型計算工作量、開發(fā)時間、進度、開發(fā)隊伍結構；最成本有效解/最大可行解加強可行性論證；有限狀態(tài)機/Petri網/數據流程圖(代數公理和Z規(guī)范)進行需求分析和規(guī)范；總體設計中使用耦合、內聚及復雜性度量；“安排適度方法”確定人-機界面及優(yōu)化；測試案例的設計保證測試結果教材：《軟件工程》王家華東北大學出版社,2001參考書：1．《軟件工程導論》第三版張海藩清華大學出版社19982．《軟件需求》譯者麥中凡等電子工業(yè)出版社20023．《基于復用的軟件工程—技術、組織與控制》譯者韓柯電子工業(yè)出版社20024．《系統分析與設計》(第二版)譯者朱群雄等電子工業(yè)出版社5．《面向對象系統分析與設計》周之英肖奔放等譯清華大學出版社6．S.R.Schach.SoftwareEngineeringwithJava.北京：機械工業(yè)出版社，19997．A.Davis.201principlesofsoftwareDevelopment.McGraw-Hill,1995注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：開課學期：2周學時/總學時：3/56學分：2課程名稱：程序設計語言理論英文名稱：ProgrammingLanguageTheory教學方式：課堂講授考試方式：作業(yè)+project+閉卷考試內容提要：本課程分為三個部分：（1）介紹程序設計語言的一般概念、設計原理和內在機制，包括程序設計語言的語法和語義，涉及命令式語言、面向對象語言、函數式語言、邏輯式語言等多種范例；（2）介紹程序設計語言的理論基礎，從演算的角度來形式化程序設計語言，包括語法、操作語義、類型系統等。（3）從程序設計的角度來看待程序語言，包括一些新的語言（Java等）以及新的程序設計范式（如Literateprogramming等）。教材：參考書：1EllisHorowitz,FundamentalsofProgrammingLanguages2KennethC.Louden,程序設計語言—原理與實踐,電子工業(yè)出版社20033RobertHarper,ProgrammingLanguages:TheoryandPractice20034DanielFriedman,EssentialsofProgrammingLanguages,secondedition5DonaldE.Knuth,TheArtofComputerProgramming6DonaldE.Knuth,LiterateProgramming,ISBN0-937073-80-6注：每門課程都須填寫此表。本表不夠可加頁。

課程內容綱要課程編碼：開課學期：3周學時/總學時：2/60學分：2課程名稱：自動推理技術英文名稱：AutomatedReasoning教學方式：講授考試方式：開卷考試內容提要：本課程主要講述經典邏輯中的自動推理技術，主要內容包括：歸結原理及其完備性；語義歸結，線性歸結，鎖歸結；調解原理；廣義歸結；廣義調解；HORN集上的歸結方法。教材：劉敘華?；跉w結方法的自動推理。北京：科學出版社，1994。參考書：C.L.Chang&R.C.T.Lee.SymbolicLogicandMechanicalTheoremProving.AcademicPress,NewYork,1973.陸汝鈴。人王智能(上、下冊)。北京：科學出版社，1989。注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：SB3120208開課學期：3周學時/總學時：3/56學分：2課程名稱：軟件工具與環(huán)境英文名稱：SoftwaretoolsandEnvironments教學方式：課堂講授+項目討論考試方式：小組項目+個人項目及報告內容提要：本課程主要研究軟件工具與環(huán)境的應用與開發(fā)，課程的目的是使學生在學習了軟件工程的基本理論知識之后，進一步掌握當前流行的軟件開發(fā)工具與環(huán)境，將所學的理論知識應用于實踐之中，全面地掌握軟件開發(fā)的過程與組織等技術，從而提高軟件開發(fā)的能力與水平，以適應未來工作的需要。本課程以MSVisualStudio為環(huán)境，介紹了如何利用可視化技術、多媒體技術、面向對象技術及組件技術等開發(fā)多媒體軟件系統。課程主要內容包括：（1）軟件開發(fā)工具與環(huán)境概述；（2）多媒體概覽；（3）多媒體基礎知識；（4）多媒體項目的開發(fā)；（5）VB多媒體程序設計概要；（6）多媒體應用軟件中的人機界面設計；（7）圖形、圖像程序設計技術；（8）數字音頻軟件開發(fā)技術；（9）數字視頻軟件開發(fā)技術；（10）動畫軟件開發(fā)技術等。教材：參考書：“多媒體軟件設計技術”，ISBN7-5606-0819-3/TP.0415，西安電子科技大學出版社。參考資料：以發(fā)放相關的電子文檔為主。注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：SX3120307開課學期：2周學時/總學時：3/56學分：2課程名稱：數據挖掘技術與應用英文名稱：DataMining:TechniquesandApplications教學方式：課堂講授，穿插主題討論3-5次考試方式：3-5個大型作業(yè)+開卷考試內容提要：本課程主要介紹數據挖掘的基本概念、基本方法和基本技術以及數據挖掘的應用和發(fā)展方向。內容包括：關于數據挖掘的多學科領域的導論。簡略介紹數據庫技術的發(fā)展以及數據挖掘潛在應用的重要性；特別強調發(fā)現隱藏在大型數據集中有趣數據模式的基本概念和技術。同時，也將探討數據挖掘如何成為數據庫技術自然演化的一部分，為什么數據挖掘是重要的，以及如何定義數據挖掘。數據預處理技術。包括數據清理、數據集成和轉換、數據歸納的方法。數據挖掘方法。包括分類、預測、關聯和聚類等基礎概念及技術。復雜類型數據的挖掘技術。包括面向對象數據庫、空間數據庫、多媒體數據庫、時間序列數據庫、文本數據庫和萬維網中的數據挖掘。數據挖掘的應用和發(fā)展趨勢。教材：JiaweiHanandMichelineKamber,DataMining:ConceptsandTechniques,AcademicPress,2001參考書：PaoloGiudici,AppliedDataMining-StatisticalMethodsforBusinessandIndustry,JohnWiley,2003TrevorHastie,RobertTibshirani,JeromeFriedman,TheElementsofStatisticalLearning-DataMining,Inference,andPrediction,SpringVerlag,2001PierreBaldi,PaoloFrasconi,PadhraciSmyth,ModelingtheInternetandtheWeb–ProbabilisticMethodsandAlgorithms,JohnWiley,2003.注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：SB3120301開課學期：2周學時/總學時：3/60學分：2課程名稱：現代網絡技術英文名稱：AdvancedNetworkTechnology教學方式：課堂講授考試方式：開卷或閉卷考試內容提要：本課程主要介紹現代網絡與通信的基本理論與最新技術。主要包括計算機網絡體系結構、網絡分層體系的垂直接口關系分析、TCP/IP的設計、實現和內部構成、IEEE802及CSMA/CD協議、快速和交換以太網、幀中繼（FR）、異步傳輸模式（ATM）、同步光纖網（SONET）/同步數字層次結構（SDH）、移動通訊技術、網絡系統集成技術、網絡性能分析、網絡管理原理與實現技術、網絡高級應用技術等。教材：參考書：WilliamStallings,HighSpeedNetworksandInternets:PerformanceandQualityofService,PearsonEducation,Inc.2002.J.F.Kurose,K.W.Ross,ComputerNetworking,ATopDownApproachFeaturingtheInternet,PearsonEducation,Inc.20013．D.E.COMER,用TCP/IP進行網際互連，第2卷：設計、實現和內部構成，電子工業(yè)出版社，1998.74．楊家海等，網絡管理原理與實現技術，清華大學出版社，2000.95.李名世等，計算機網絡實驗教程，機械工業(yè)出版社，2003.6注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：SB3120212開課學期：2周學時/總學時：3/56學分：3課程名稱：現代軟件技術英文名稱：ModernSoftwareTechnology教學方式：課堂講授與討論結合?？荚嚪绞剑捍笮妥鳂I(yè)與設計。課程內容簡介該課程主要講授現代軟件發(fā)展的最新理論與技術。主要內容包括：軟件工程與面相對象概述；面相對象的軟件分析與設計技術；UML及基于UML的軟件分析與設計方法分布對象計算技術概述；基于Agent的分布計算；軟件體系結構；軟件設計模式；軟件中間件技術J2EE及工作流技術。教材：參考書：1、《面向對象的分析》,P.Coad&E.Yourdon,Prentice-Hall,19902、《面向對象的設計》,P.Coad&E.Yourdon,Prentice-Hall,19913、《MasteringUMLwithRationalRose》,電子工業(yè)出版社,20004、TheArtofObjectsObject-OrientedDesignandArchitecture,Dr.LiuYunDong,MarylandUniversity,20015、DesignPatterns:ElementsofReusableObject-OrientedSoftware,Gamma,E.etal.,Addison-Wesley,19956、ApplyingUMLandPatterns:AnIntroductiontoObject-OrientedAnalysisandDesign,Larman,Craig,PrenticeHall,1998.7、DocumentationforUML,from注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：開課學期：2周學時/總學時：3/60學分：3課程名稱：人工智能前沿英文名稱：Foregoingartificialintelligengce教學方式：講授、討論考試方式：論文內容提要：本課程主要介紹人工智能前沿理論與技術，方向包括人工意識、情感計算、覺知計算、隱喻邏輯、機器感興、認知科學等。采用討論與報告相結合的方法進行。教材：參考書：[1]周昌樂，心腦計算舉要，北京：清華大學出版社，2003年3月。注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：開課學期：第一學期周學時/總學時：3/60學分：3課程名稱：計算語言學英文名稱：Computationallinguistics教學方式：講授、討論考試方式：論文內容提要：自然語言理解的介紹：自然語言理解的應用、系統評價，語言分析的不同層次、理解與表達，理解系統的組織。語法與語法分析：語法與句子結構，什么是好的語法。自頂向下解析器和自底向上圖剖析器，自頂向下的圖剖析器，有限狀態(tài)機模型和詞形處理。特征與擴展的語法：特征系統與擴展語法，英語的一些基本特征系統，詞形分析與詞條，使用特殊的簡單語法，用特征進行語法剖析，廣義特殊系統和合一語法。自然語言的語法：助動詞與動詞短語，語言中的移位現象，用帶特征的上下文無關語法處理疑問句、關系子句、缺口與套接。高效的語法剖析：人類語法剖析的能力，非確定性的編碼：移位－歸結語言剖析器，確定性語法剖析器，高效歧義編碼技術，部分語法剖析。歧義的消解、統計的方法：統計的基礎理論，估計概率，獲取詞條概率，帶概率的上下文無關語法，最好優(yōu)先的語法剖析，一個簡單的上下文相關的最好優(yōu)先語法剖析器語義與邏輯公式：語義與邏輯公式，詞義與歧義，語言基本的邏輯式，在邏輯公式中體現歧義，用邏輯公式表示動詞與狀態(tài)，語義角色，動作與嵌套句，用模式理論定義語義結構。語義與語義的聯接：語義解釋與組合性，帶語義解釋的詞條與簡單詞法，介詞短語與動詞短語，詞條化的語義解釋和語義規(guī)則，處理簡單問句，用特征合一進行語義解釋，從邏輯形式生成句子。歧義的消除：選擇的限制，用選擇限制進行語義過濾，語義網絡，統計詞義消歧性，統計語義優(yōu)選，結合多種方法進行歧義消除。語義解釋的其他策略：語法關系，語義語法，摸板匹配，語義驅動的語法剖析名詞短語的解釋與定義域：定域限制，確定性描述與定域，在語法剖析時定域，共指成分間的約束，形容詞短語，關系名詞與名詞化，語義的其他問題。教材：NaturalLanguageUnderstanding,JamesAllen.UniversityofRochester參考書：1、FoundationsofComputationalLinguistics.Mom-MachineCommunicationinNaturalLanguageRolandHausser2、FoundationsofstatisticalNaturalLanguageProcessing.STOPHERD.ManningAndHinRichSchutze,TheMITPressCambridge,Massachusetts.LandonEngland.注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：開課學期：3周學時/總學時：3/56學分：2課程名稱：醫(yī)用傳感器與接口技術英文名稱：MEDICALTRANCIDUCERSANDINTERFACINGTECHNICS教學方式：課堂講授+討論考試方式：筆試及報告內容提要：醫(yī)用傳感器技術是一門多學科交叉、知識密集型的應用技術，是獲取人體生理、病理信息的關鍵技術，是生物醫(yī)學工程的重要分支學科。隨著現代新材料科學,微電子科學,微計算機和微處理技術發(fā)展,而不斷有了新的突破。醫(yī)用傳感器與接口技術在介紹了醫(yī)用傳感器的作用、原理、特性的基礎上，側重介紹各類傳感器應用的接口技術。為設計和研制以醫(yī)用傳感器為基礎的醫(yī)學電子儀器奠定基礎。也是醫(yī)學電子工程研究方向研究生必修教學內容：1.緒論2.醫(yī)用傳感器模擬接口電路設計基礎3.傳感器與微機接口基礎4.常見醫(yī)用傳感器原理5.常見醫(yī)用傳感器應用設計6.光電傳感器接口及其在醫(yī)用儀器中的應用7.壓電式傳感器和超聲探測器8.固態(tài)圖象傳感器9.電化學傳感器和生物傳感器實驗內容和要求：1.使用壓阻傳感器檢測人體血壓2.使用熱電傳感器檢測呼吸信息3.使用光電傳感器檢測人體血氧飽和度4.使用檢測電極檢測人體心電圖5.結合綜合實驗，學習傳感器接口設計和調試教材：王博亮等，醫(yī)用傳感器及接口技術，國防工業(yè)出版社，1998參考書：金篆芷、王明時主編.現代傳感技術.北京:電子工業(yè)出版社，19952、Willis.J.Tompkins,“InterfacingSensorstotheIBMPC"，19873、王明時，“醫(yī)用傳感器原理”天津大學出版社，19814、劉迎春，“傳感器原理設計與原理”，國防科技大學出版社，1989注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：開課學期：3周學時/總學時：3/56學分：2課程名稱：醫(yī)學成像原理英文名稱：MedicalImagingPrinciple教學方式：課堂講授+報告討論考試方式：筆試與報告相結合內容提要：本課程是計算機在醫(yī)學工程中應用專業(yè)研究生的專業(yè)必修課程。介紹目前在醫(yī)學臨床上廣泛使用的各種醫(yī)學成像系統的成像機理，包括投影X射線成像、X射線計算機斷層成像系統、超聲成像系統以及核磁共振成像。介紹這些系統的性能。本課程以線性系統理論為基礎，分析成像過程機理。同時學習本領域醫(yī)學成像的新方法與新技術。為研究新的成像技術和醫(yī)學圖象處理技術奠定良好基礎。課程主要內容包括：（1）醫(yī)學成像概述；（2）投影X射線成像；（3）反射性核素成像系統；（4）X射線計算機斷層成像系統；（5）超聲成像系統；（6）核磁共振成像系統；（7）醫(yī)學圖象處理技術；（7）醫(yī)學成像的新方法與新技術等。教材：高上凱編著，《醫(yī)學成像系統》清華大學出版社，2000年3月第一版參考書：羅述謙、周果宏編著，《醫(yī)學圖像處理與分析》，科學出版社，2003年8月第一版莊天戈編著，《計算機在生物醫(yī)學中的應用》，東南大學出版社，1991年3月第一版參考資料：相關的電子文檔。注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：SX3120309開課學期：2周學時/總學時：3/56學分：2課程名稱：數字視頻處理英文名稱：DigitalVideoProcessing教學方式：課堂講授考試方式：大型作業(yè)+閉卷考試內容提要：數字視頻處理是控制科學與技術、電子通訊以及計算機科學與技術等專業(yè)的一門重要的專業(yè)基礎課，是從事IT業(yè)各類技術人員不可或缺的一門技術。本課程的主要內容包括：第一部分：數字視頻的表示1．視頻基礎；2．時變圖像模型；3．時空采樣；4．采樣結構變換第二部分：二維運行估計5．光流方法6．塊基方法；7．遞歸方法；8．貝葉斯方法第三部分：三維運行估計9．點相關方法10．光流和方向11．運行分割12．立體視覺和跟蹤第四部分：視頻濾波13．運行補償濾波14噪聲濾波15恢復16標準轉換17超分辨率第五部分：靜態(tài)圖像壓縮18無損壓縮19DPCM和變換編碼20靜態(tài)圖像壓縮標準第六部分：視頻壓縮21幀間壓縮22視頻壓縮標準。教材：參考書：主要參考書目：MuratTekalp：《DigitalVideoProcessing》；注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：SX3120309開課學期：2周學時/總學時：3/56學分：2課程名稱：數字圖象處理英文名稱：DigitalImageProcessing教學方式：課堂講授考試方式：大型作業(yè)+閉卷考試內容提要：數字圖象處理是控制科學與技術、電子通訊以及計算機科學與技術等專業(yè)的一門重要的專業(yè)基礎課，是從事IT業(yè)各類技術人員不可或缺的一門技術。本課程的主要內容包括：1．圖像基礎；2．人類視覺特性；3．圖像變換；4．圖像增強技術5．圖像恢復和重建技術6．圖像分割技術；7．圖像數據編碼和壓縮技術；8．目標表達和景物描述9．計算機初級視覺。教材：參考書：主要參考書目：CastlemanK.R.：《DigitalImageProcessing》；2．GonzalezR.C.：《DigitalImageProcessing》。注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：SX3120310開課學期：2周學時/總學時：3/56學分：2課程名稱：信息安全與加密技術英文名稱：教學方式：課堂講授考試方式：作業(yè)+期末論文內容提要：主要講述密碼學及其在信息安全領域的應用。使學生在掌握信息安全基礎理論的同時讓較全面地了解在不同應用領域中常用的信息保護手段，正確地理解密碼學與安全通信協議的關系，掌握在實際應用領域中如何根據不同的需求選用相應的密碼學算法和安全通信協議，使其具備如何在實際工程應用中如何靈活地應用所學知識的能力。課程內容簡介1.網絡信息安全與保密的內涵、技術特征、存在的威脅；2.網絡信息安全與保密的實現；3.網絡信息安全與保密的標準化進程；4.常規(guī)加密的經典技術和現代技術；5.使用常規(guī)加密的機密性；6.數論和公鑰加密；7.鑒別和散列函數；8.鑒別應用程序；9.電子郵件的安全性；10.IP的安全性11.Web的安全性。教材：參考書：1、《密碼編碼學與網絡安全：原理與實踐（第二版）》，[美]WilliamStallings著，楊明等譯，電子工業(yè)出版社出版，2001年2、《計算機密碼學——計算機網絡中的數據保密與安全（第2版）》，盧開澄編著，清華大學出版社出版，1998年3、《應用密碼學——協議、算法與C源程序》，[美]BruceSchneier著，吳世雄等譯，機械工業(yè)出版社出版，2000年4、《公開密鑰基礎設施——概念、標準和實施》，[美]CarlisleAdams等著，馮登國等譯，人民郵電出版社出版，2001年5、《密碼學與計算機網絡安全》，卿斯?jié)h著，清華大學出版社、廣西科學技術出版社出版，2001年6、《PKCS》，RSA7、RFC資料8、《X系列標準》，ITU-T注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：SX3120314開課學期：2周學時/總學時：3/56學分：2課程名稱：軟件工程與項目管理英文名稱：教學方式：課堂講授考試方式：大型作業(yè)內容提要：主要講授大型軟件項目的實踐方法、現代軟件開發(fā)過程和項目管理理論，討論軟件工程理論如何在項目實踐中有效應用。1、大型項目開展過程介紹2、軟件需求分析方法3、軟件開發(fā)規(guī)范4、項目管理方法5、項目文擋及方案設計方法6、項目案例講解教材：參考書：1．MANAGINGSOFTWAREREQUIREMENTS━AUnifiedApproach,DeanLeffingwellandDonwidrig2.SOFTWAREPROJECTMANAGEMENT━AUnifiedFramework,WalkerRoyce3.軟件項目管理：過程控制與人員管理：processesandpeople,PhilipMetzger,JohnBoddie注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：SX3120309開課學期：2周學時/總學時：3/56學分：2課程名稱：計算機視覺英文名稱：ComputerVision教學方式：課堂講授考試方式：大型作業(yè)+閉卷考試內容提要：計算機視覺是控制科學與技術、電子通訊以及計算機科學與技術等專業(yè)的一門重要的專業(yè)基礎課，是從事IT業(yè)各類技術人員不可或缺的一門技術。本課程的主要內容包括：1．生物視覺特性與計算視覺理論；2．邊緣檢測3．射影幾何與幾何元素表達4．攝像機定標5．立體視覺；6．運動與不確定性表達；7．基于光流場的運動分析8．長序列運動圖像特征跟蹤9．基于二維特征對應的運動分析10．基于三維特征對應的運動分析11．由圖像灰度恢復三維物體形狀12．建模與識別13距離圖像獲取與識別14計算機視覺系統體系結構討論與展望。教材：《計算機視覺》馬頌德、張正友著，科學出版社2003-9第二版參考書：主要參考書目：《計算機視覺》，高文等著，清華大學出版社注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：開課學期：2周學時/總學時：3/60學分：2課程名稱：電子政務基礎設施英文名稱：E-GovernmentInfrastructure教學方式：課堂教授考試方式：開卷或閉卷考試內容提要：本課程介紹電子政務的基礎設施，包括網絡基礎設施與安全基礎設施。主要內容包括:電子政務網絡體系結構、電子政務應用支撐平臺、公鑰密碼技術、公鑰基礎設施PKI、數字證書認證中心CA等。教材：參考書：國家信息安全工程技術/基礎設施研究中心，“電子政務總體設計與技術實現”，北京：電子工業(yè)出版社，2003李名世等，計算機網絡基礎，北京：機械工業(yè)出版社，2003B.Schneier著，吳世忠等譯，應用密碼學，北京：機械工業(yè)出版社，2002注：每門課程都須填寫此表。本表不夠可加頁。課程內容綱要課程編碼：開課學期：第一學期周學時/總學時：3/60學分：3課程名稱：密碼編碼學與網絡安全英文名稱：教學方式：課堂教授+專題講座+實驗考試方式：開卷或閉卷考試內容提要：主要講解三部分內容：1.密碼算法和協議，包括對稱密碼算法和公鑰密碼算法、以及哈希函數、密鑰分配與交換、數字簽名等；2．目前幾種主要的網絡安全工具、協議及應用如：Kerberos,x.509v3證書，PGP，IP安全，SSL/TLS等；3．系統級安全問題，包括網絡入侵及病毒的危害及對策，防火墻、WEB安全和可信系統等。專題講座向學生介紹本課程重要內容的研究前沿和發(fā)展方向。教材：參考書：網絡安全基礎教程：應用與標準（英文影印版），NetworkSecurityEssentials:ApplicationsandStandards，出版社:清華大學出版，出版日期:2002-06-01密碼編碼學與網絡安全：原理與實踐（第三版），CryptographyandNetworkSecurityPrinciplesandPractices,ThirdEdition，作者:（美）WilliamStallings，譯者：劉玉珍王麗娜傅建明等，出版社:電子工業(yè)出版社，2004,1信息網絡安全，作者:張紅旗等，出版社:清華大學出版社，出版日期:2002-11-01TCP/IP網絡安全篇，作者:（日）寺田真敏萱島信，

譯者：王慶，出版社:科學出版社

ISBN：7-03-011205-9，出版日期:2003-04-01黃錫滋.軟件可靠性、安全性與質量保證，電子工業(yè)出版社，2002EricMaiwald,WilliamSieglein，SecurityPlanning&DisasterRecovery，McGraw-Hill,1996注：每門課程都須填寫此表。本表不夠可加頁。

課程內容綱要課程編碼：開課學期：第二學期周學時/總學時：3/60學分：3課程名稱：安全軟件的理論及技術英文名稱：教學方式：課堂教授+專題講座考試方式：開卷或閉卷考試內容提要：本課程以全新視角直面軟件安全性問題，其前半部分講述了軟件安全的理論和風險管理的思想；焦點是如何將安全性融入軟件工程的實踐中；重點是在軟件開發(fā)周期中采用一系列的安全風險規(guī)避的規(guī)則、方法和技術。后半部分深入到實現的細節(jié)中，以編寫安全程序所需的基本技巧來武裝開發(fā)人員，向開發(fā)人員闡述如何識別和避免軟件開發(fā)中形形色色的安全陷阱，以及跳出漏洞和補丁的怪圈。專題講座向學生介紹本課程重要內容的研究前沿和發(fā)展方向。教材：參考書：BuildingSecureSoftware:HowtoAvoidSecurityProblemstheRightWay，作者:（美）JohnViega;GaryMcGraw，譯者：鐘向群王鵬出版社:清華大學出版社，出版日期:2003-04-01HandbookofSoftwareQualityAssurance(ThirdEdition)，作者HYPERLINK"/sea