鄭州大學(xué)研究生培養(yǎng)方案

1計算機科學(xué)與技術(shù)一級學(xué)科學(xué)術(shù)型碩士研究生培養(yǎng)方案1.學(xué)科名稱、代碼：計算機科學(xué)與技術(shù)、08122.專業(yè)與學(xué)科簡介“計算機科學(xué)與技術(shù)”學(xué)科的前身是創(chuàng)建于1972年的鄭州大學(xué)計算技術(shù)專業(yè)，是河南省最早的計算機專業(yè)，其二級學(xué)科計算機軟件與理論于1992年被國家教育部批準(zhǔn)為碩士學(xué)位授權(quán)點，是1994-1996年度和1997-1999年度河南省重點學(xué)科，并在2000年被確定為2001-2003年度河南省第一層次重點學(xué)科，2003年再次確定為2004-2006年度河南省第一層次重點建設(shè)學(xué)科，2003年另一個二級學(xué)科計算機應(yīng)用技術(shù)被確定為河南省重點學(xué)科，2006年獲得計算機科學(xué)與技術(shù)一級碩士授權(quán)點和計算機軟件與理論博士授權(quán)點，2008年確定計算機科學(xué)與技術(shù)為河南省一級重點學(xué)科。經(jīng)過四十年的建設(shè)和積累，該學(xué)科已具有較好的硬件條件和學(xué)術(shù)積淀，形成了一支教學(xué)經(jīng)驗豐富，科研實力較強，職稱結(jié)構(gòu)、學(xué)歷結(jié)構(gòu)和年齡結(jié)構(gòu)比較本專業(yè)研究生必須認(rèn)真學(xué)習(xí)掌握毛澤東思想、鄧小平理論、“三個代表”重要思想和科學(xué)發(fā)展觀，熱愛祖國，品行端正，身心健康，具有自由創(chuàng)新精神，追求真理，獻身科學(xué)教育事業(yè)的敬業(yè)精神和科學(xué)道德。本專業(yè)以培養(yǎng)能在國民經(jīng)濟建設(shè)、科學(xué)技術(shù)發(fā)展和社會進步中發(fā)揮積極作用的開創(chuàng)型、復(fù)合型高層次軟件與理論型專門人才為目標(biāo)。要求學(xué)生寬口徑掌握堅實的基礎(chǔ)理論和系統(tǒng)的專業(yè)知識并能了解計算機科學(xué)與技術(shù)的最新成果和發(fā)展方向，掌握本學(xué)科的現(xiàn)代先進實驗方法和技能，熟練掌握一門外國語，能獨立從事本專業(yè)領(lǐng)域的科學(xué)研究或獨立承擔(dān)專門技術(shù)的能力，具有較強的創(chuàng)新能力和實踐能力，有嚴(yán)謹(jǐn)求實的科學(xué)態(tài)度和學(xué)風(fēng)。能勝任計算機科學(xué)與技術(shù)的教學(xué)、科研、軟件系統(tǒng)開發(fā)等工作，達到《中華人民共和國學(xué)位條例》規(guī)定的碩士學(xué)位學(xué)術(shù)水平。學(xué)術(shù)學(xué)位碩士研究生的基本學(xué)制為3年，申請學(xué)位最長年限為4年，即自研究生入學(xué)之日起到校學(xué)位委員會討論通過其學(xué)位論文的時間為4年。01計算機軟件與理論這個學(xué)科方向主要從事軟件理論、智能信息處理、數(shù)據(jù)挖掘、機器學(xué)習(xí)與智能系統(tǒng)、分布式智能計算、信息安全、自然語言處理和移動計算等領(lǐng)域的研究。02計算機應(yīng)用技術(shù)這個學(xué)科方向主要從事下一代互聯(lián)網(wǎng)技術(shù)與應(yīng)用、云計算環(huán)境下的多媒體信息處理技術(shù)、圖形圖像處理與計算機輔助設(shè)計、電子商務(wù)與電子政務(wù)、嵌入式系統(tǒng)設(shè)計、網(wǎng)格計算與分布式系統(tǒng)、虛擬現(xiàn)實、數(shù)據(jù)加密技術(shù)與網(wǎng)絡(luò)安全以及與計算機應(yīng)用技術(shù)相關(guān)的其他領(lǐng)域的研究。03計算機系統(tǒng)結(jié)構(gòu)這個學(xué)科方向主要從事并行計算、多核處理技術(shù)、高性能計算、嵌入式系統(tǒng)等計算機科學(xué)與技術(shù)學(xué)術(shù)型學(xué)位碩士研究生培養(yǎng)計劃表1:計算機科學(xué)與技術(shù)學(xué)術(shù)型碩士研究生課程設(shè)置類別課程編號課程與培養(yǎng)環(huán)節(jié)名稱學(xué)時學(xué)分開課學(xué)期學(xué)位課26學(xué)分公共必修課中國特色社會主義理論與實踐研究21英語4公共基礎(chǔ)課數(shù)理統(tǒng)計與隨機過程31專業(yè)基礎(chǔ)課計算理論(Theoryof33131engineering)32高級計算機網(wǎng)絡(luò)31必選(非學(xué)位課)計算機科學(xué)與技術(shù)(全英)(ComputeiTechnology)22公共選修課(1學(xué)分)自然辯證法概論(理工醫(yī)科)11面向?qū)ο蠓治雠c設(shè)22數(shù)據(jù)倉庫與數(shù)據(jù)挖掘(Datawarehouseanddatamining)22高級計算機系統(tǒng)結(jié)22形式語言與自動機22形式語義學(xué)(Forma22數(shù)據(jù)庫設(shè)計與應(yīng)用22Petri網(wǎng)理論(Petri222222222222高性能計算(High2222并行計算(Parallel22網(wǎng)格計算與云計算2222222222高級計算機圖形學(xué)22學(xué)術(shù)/實踐學(xué)術(shù)報告(Academic1教學(xué)實踐(Teaching論文開題報告(Opening234碩士論文(Master's2預(yù)答辯(preliminary26碩士論文畢業(yè)答辯66課程設(shè)置實行學(xué)分制。本專業(yè)碩士研究生必須修滿最低學(xué)分?jǐn)?shù)為35學(xué)分，其中必修課不低于24學(xué)分，選修課不低于8學(xué)分。即①公共學(xué)位課3門，9學(xué)分；②專業(yè)學(xué)位課5-6門，不低于15學(xué)分；③專業(yè)選修課的學(xué)分不低于8學(xué)分；④培養(yǎng)環(huán)節(jié)中參加研究生學(xué)術(shù)論壇或聽學(xué)術(shù)報告1學(xué)分，進行實踐訓(xùn)練1學(xué)分，其他此外，在第一年培養(yǎng)計劃內(nèi)，鼓勵學(xué)生在導(dǎo)師的指導(dǎo)下，跨學(xué)科、系選修其它課程，多選修本系的其它相關(guān)課程。表2:具體學(xué)分分布表碩士學(xué)位公共必修課6學(xué)分≥35學(xué)分公共選修課1學(xué)分公共基礎(chǔ)課3學(xué)分專業(yè)基礎(chǔ)課17學(xué)分專業(yè)選修課≥8學(xué)分開題報告2學(xué)分18學(xué)分中期考核2學(xué)分預(yù)答辯2學(xué)分學(xué)位論文12學(xué)分其它學(xué)術(shù)活動12學(xué)分實踐環(huán)節(jié)1說明：同等學(xué)歷必須補修該專業(yè)本科主干課程4～5門，考試及格，不計學(xué)分?？鐚W(xué)科碩士研究生至少選修該專業(yè)本科主干課程3～4門，考試及格，不計學(xué)分。碩士研究生課題研究時間不少于1年，論文要求字?jǐn)?shù)不少于3萬字，碩士學(xué)位論文對所研究的課題應(yīng)當(dāng)有新見解。在學(xué)期間發(fā)表學(xué)術(shù)論文按照《鄭州大學(xué)研究生在學(xué)期間發(fā)表論文的基本要求》執(zhí)行。研究生修滿培養(yǎng)計劃內(nèi)所有學(xué)分，并通過論文答辯，則準(zhǔn)予畢業(yè)；經(jīng)院系學(xué)位評定分委員會審核，報校學(xué)位評定委員會討論通過后授予學(xué)位。學(xué)位授予按照《鄭州大學(xué)學(xué)位授予工作實施細(xì)則》及學(xué)位管理相關(guān)文件執(zhí)行。研究生培養(yǎng)方式應(yīng)靈活多樣，充分發(fā)揮導(dǎo)師指導(dǎo)研究生的主導(dǎo)作用，建立和完善有利于發(fā)揮學(xué)術(shù)群體作用的培養(yǎng)機制。強調(diào)在培養(yǎng)過程中發(fā)揮研究生的主動性和自覺性，更多地采用啟發(fā)式、研討式的互動教學(xué)方式。研究生必須參加學(xué)術(shù)講座、學(xué)術(shù)報告、討論班、社會實踐和社會調(diào)查，并獲得相應(yīng)的學(xué)分。加強研究生的自學(xué)能力、動手能力、表達能力和寫作能力的訓(xùn)練和培養(yǎng)。8序號課程代碼課程名稱學(xué)時學(xué)分修修課程類型是否學(xué)位課1中國特色社會主義理論與實踐研究2必修公共必修課是2英語(碩士)4必修公共必修課是3自然辯證法概論選修公共選修課否4學(xué)術(shù)活動(碩士)必修學(xué)術(shù)活動否5實踐環(huán)節(jié)(碩士)必修實踐環(huán)節(jié)否6開題報告(碩士)2必修培養(yǎng)過程否7中期考核(碩士)2必修培養(yǎng)過程否8預(yù)答辯(碩士)2必修培養(yǎng)過程否9碩士論文必修培養(yǎng)過程否數(shù)理統(tǒng)計與隨機過程3必修公共基礎(chǔ)課是計算機科學(xué)與技術(shù)(全英語)2必修專業(yè)基礎(chǔ)課否計算理論3必修專業(yè)基礎(chǔ)課是組合數(shù)學(xué)3必修專業(yè)基礎(chǔ)課是高級人工智能3必修專業(yè)基礎(chǔ)課是高級軟件工程3必修專業(yè)基礎(chǔ)課是高級計算機網(wǎng)絡(luò)Advancedcomputernetw3必修專業(yè)基礎(chǔ)課是面向?qū)ο蠓治雠c設(shè)計2選修專業(yè)選修課否數(shù)據(jù)倉庫與數(shù)據(jù)挖掘2選修專業(yè)選修課否2選修專業(yè)選修課否形式語言與自動機2選修專業(yè)選修課否形式語義學(xué)2選修專業(yè)選修課否數(shù)據(jù)庫設(shè)計與應(yīng)用2選修專業(yè)選修課否Petri網(wǎng)理論2選修專業(yè)選修課否9訪問控制技術(shù)2選修專業(yè)選修課否嵌入式系統(tǒng)2選修專業(yè)選修課否網(wǎng)絡(luò)安全技術(shù)2選修專業(yè)選修課否數(shù)字圖像處理2選修專業(yè)選修課否多媒體技術(shù)Multimediatechnolo2選修專業(yè)選修課否高性能計算Highperformancecompu2選修專業(yè)選修課否密碼學(xué)2選修專業(yè)選修課否并行計算2選修專業(yè)選修課否網(wǎng)格計算與云計算2選修專業(yè)選修課否自然語言處理2選修專業(yè)選修課否信息檢索2選修專業(yè)選修課否計算機邏輯學(xué)2選修專業(yè)選修課否人工神經(jīng)網(wǎng)絡(luò)Artificialneuralnetw2選修專業(yè)選修課否高級計算機圖形學(xué)Advancedcomputergr2選修專業(yè)選修課否計算機科學(xué)與技術(shù)(全英語)課程名稱計算機科學(xué)與技術(shù)(全英語)英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)基礎(chǔ)課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式開卷考試任課教師石磊、牛常勇、鄭志蘊、徐明亮課程簡介論。教學(xué)大綱一、教學(xué)目標(biāo)與要求二、課程內(nèi)容與學(xué)時分配其中閉卷部分占70%,主要考查這門課程所涉及的基本理論、原理和經(jīng)典的結(jié)論；三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.無教材五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.王偉.計算機科學(xué)前沿技術(shù)，清華大學(xué)出版社，20122.劉藝肖成海馬小會毛倩倩.計算機科學(xué)概論，人民郵電出版社，2011計算理論課程名稱計算理論英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分3課程類型專業(yè)基礎(chǔ)課開課學(xué)期第一學(xué)年第一學(xué)期授課方式講授考核方式閉卷考試任課教師周清雷課程簡介本課程是介紹滲透在計算機科學(xué)中的這些基本思想、模型和結(jié)果，它們都是該領(lǐng)域的基本范例，它們有很多理由是值得學(xué)習(xí)的。首先，現(xiàn)代計算機科學(xué)中的很多東西直接或間接地以它們?yōu)榛A(chǔ)。其次，這些思想和模型是漂亮、有力的，是數(shù)學(xué)建模的杰出例子，是有長久價值的。討論了計算機科學(xué)中的純粹、引人注目并且普遍存在的基本內(nèi)容，介紹構(gòu)成基本計算范例的基本概念、模型、技巧、結(jié)果，闡述當(dāng)今計算機科學(xué)家用于建模、討論和預(yù)測算法與計算的思想概念與數(shù)學(xué)知識。全書共分10章，內(nèi)容包括數(shù)學(xué)基礎(chǔ)、正則語言、上下文無關(guān)語言、可計算枚舉語言、教學(xué)大綱一、教學(xué)目標(biāo)與要求通過本課程的學(xué)習(xí)使學(xué)生對計算機科學(xué)與技術(shù)理論方面的方法、模型等計算方二、課程內(nèi)容與學(xué)時分配本課程主要是針對計算機科學(xué)與技術(shù)專業(yè)的碩士生開設(shè)的一門理論課程，總學(xué)時為48學(xué)時，其主要內(nèi)容包括形式語言與自動機、Turing機的可計算性與遞歸函數(shù)，計算復(fù)雜性以及數(shù)理邏輯的相關(guān)內(nèi)容?？荚囉虚]卷考試和課程論文兩部分組成其中閉卷部分占70%,主要考查這門課程所涉及的基本理論、原理和經(jīng)典的結(jié)論；而課程論文占30%,要求大家去跟蹤目前這一領(lǐng)域中的新思想三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.唐常杰翻譯.計算理論導(dǎo)引(第2版),機械工業(yè)出版社，2006五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)2.張立昂劉田翻譯.計算理論基礎(chǔ)，清華大學(xué)出版社，20062.張立昂.可計算性與計算復(fù)雜性，北京大學(xué)出版社，2011組合數(shù)學(xué)課程名稱組合數(shù)學(xué)英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分3課程類型專業(yè)基礎(chǔ)課開課學(xué)期第一學(xué)年第一學(xué)期授課方式講授考核方式閉卷考試任課教師徐江峰、周文俊課程簡介教學(xué)大綱一、教學(xué)目標(biāo)與要求能根據(jù)需要將組合數(shù)學(xué)的基本理論和方法應(yīng)用到計算機的各二、課程內(nèi)容與學(xué)時分配其中閉卷部分占70%,主要考查這門課程所涉及的基本理論、原理和經(jīng)典的結(jié)論；三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.馮舜璽，羅平，裴偉東翻譯.組合數(shù)學(xué)(第4版),機械工業(yè)出版社，2005五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.馮速等翻譯.組合數(shù)學(xué)，機械工業(yè)出版社，20122.盧開澄.組合數(shù)學(xué)，清華大學(xué)出版社，2005高級人工智能課程名稱高級人工智能英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分3課程類型專業(yè)基礎(chǔ)課開課學(xué)期第一學(xué)年第一學(xué)期授課方式講授考核方式閉卷考試任課教師柴玉梅課程簡介習(xí)、解釋學(xué)習(xí)、知識發(fā)現(xiàn)和數(shù)據(jù)開采、分布式人工智能、進化計算和人工生命教學(xué)大綱一、教學(xué)目標(biāo)與要求二、課程內(nèi)容與學(xué)時分配理和經(jīng)典的結(jié)論；而課程論文占30%,要求大家去跟蹤目前這一領(lǐng)域中的新思想、新方法。三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.史忠植.高級人工智能(第2版),科學(xué)出版社，2006五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.丁世飛.人工智能，清華大學(xué)出版社，20112.柴玉梅、張坤麗.人工智能，機械工業(yè)出版社，2011高級軟件工程課程名稱高級軟件工程英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分3課程類型專業(yè)基礎(chǔ)課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷考試任課教師王黎明課程簡介教學(xué)大綱一、教學(xué)目標(biāo)與要求等有所了解，并能根據(jù)需要將軟件工程的基本技術(shù)方法和思想應(yīng)用到計算機的各個二、課程內(nèi)容與學(xué)時分配三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.(英)IanSommerville.軟件工程(第9版),機械出版社，2011五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.孫家廣等.軟件工程：理論、方法與實踐，高等教育出版社，20082.陳明.軟件工程導(dǎo)論，機械工業(yè)出版社，2013高級計算機網(wǎng)絡(luò)課程名稱高級計算機網(wǎng)絡(luò)英文名稱Advancedcomputernetw課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分3課程類型專業(yè)基礎(chǔ)課開課學(xué)期第一學(xué)年第一學(xué)期授課方式講授考核方式閉卷考試任課教師李向麗課程簡介教學(xué)大綱一、教學(xué)目標(biāo)與要求段等有所了解，并能根據(jù)需要將計算機網(wǎng)絡(luò)的基本技術(shù)方法和思想應(yīng)用到計算機的各個領(lǐng)域中。二、課程內(nèi)容與學(xué)時分配礎(chǔ)，以應(yīng)用為導(dǎo)向，以發(fā)展與變化為指導(dǎo)，闡述當(dāng)今高級計算機網(wǎng)絡(luò)的各種理論、思想和方法?？荚囉虚]卷考試和課程論文兩部分組成，其中閉卷部分占70%,主要考查這門課程所涉及的基本理論、原理和經(jīng)典的結(jié)論；而課程論文占30%,要求大家去跟蹤目前這一領(lǐng)域中的新思想、新方法。三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.徐恪，徐明偉.高級計算機網(wǎng)絡(luò),清華大學(xué)出版社，2012五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.吳功宜等.計算機網(wǎng)絡(luò)高級教程，清華大學(xué)出版社，20072.嚴(yán)偉潘愛民等翻譯.計算機網(wǎng)絡(luò)(第5版),清華大學(xué)出版社，2012面向?qū)ο蠓治雠c設(shè)計課程名稱面向?qū)ο蠓治雠c設(shè)計英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師謝琦課程簡介本課程結(jié)合統(tǒng)一建模語言UML和項目案例，使學(xué)生深入理解以面向?qū)ο蠓椒榻虒W(xué)大綱一、教學(xué)目標(biāo)與要求開發(fā)中。二、課程內(nèi)容與學(xué)時分配三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.麻志毅.面向?qū)ο蠓治雠c設(shè)計,機械工業(yè)出版社，2008五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.饒若楠等.面向?qū)ο蠓治雠c設(shè)計，清華大學(xué)出版社，20112.俞志翔等翻譯.面向?qū)ο蠓治雠c設(shè)計，清華大學(xué)出版社，2006數(shù)據(jù)倉庫與數(shù)據(jù)挖掘課程名稱數(shù)據(jù)倉庫與數(shù)據(jù)挖掘英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師牛常勇，邱保志課程簡介述了數(shù)據(jù)預(yù)處理、頻繁模式挖掘、分類和聚類等的內(nèi)容，還全面講述了olap和離群點檢測，并研討了挖掘網(wǎng)絡(luò)、復(fù)雜數(shù)據(jù)類型以及教學(xué)大綱一、教學(xué)目標(biāo)與要求通過本課程的學(xué)習(xí)使學(xué)生對數(shù)據(jù)挖掘的基本過程、方法和技術(shù)手段等有所了解，并能根據(jù)需要將該數(shù)據(jù)挖掘方法和思想應(yīng)用到計算機的各個應(yīng)用領(lǐng)域二、課程內(nèi)容與學(xué)時分配三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.范明等翻譯.數(shù)據(jù)挖掘：概念與技術(shù)(原書第3版),機械工業(yè)出版社，2012五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.范明等翻譯.數(shù)據(jù)挖掘?qū)д?完整版),人民郵電出版社，20112.盧輝等.數(shù)據(jù)挖掘與數(shù)據(jù)化運營實戰(zhàn)：思路、方法、技巧與應(yīng)用，機械工業(yè)出版社，2013高級計算機系統(tǒng)結(jié)構(gòu)課程名稱高級計算機系統(tǒng)結(jié)構(gòu)英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師錢曉捷課程簡介術(shù)；機群計算機，包括機群的結(jié)構(gòu)、軟件模型以及機群的分類，并介紹4個典型的機群系統(tǒng)，教學(xué)大綱一、教學(xué)目標(biāo)與要求二、課程內(nèi)容與學(xué)時分配(或開卷)考試和課程論文兩部分組成，其中考試部分占70%,主要考查這門課程所涉及的基本理論、原理和經(jīng)典的結(jié)論；而課程論文占30%,要求大家去跟蹤目前三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.王志英等.計算機體系結(jié)構(gòu),清華大學(xué)出版社，2010五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.周立等.計算機體系結(jié)構(gòu)，清華大學(xué)出版社，20062.張晨曦.計算機系統(tǒng)結(jié)構(gòu)(第2版),高等教育出版社出版社，2005形式語言與自動機課程名稱形式語言與自動機英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師莊雷，周清雷課程簡介教學(xué)大綱一、教學(xué)目標(biāo)與要求等有所了解，并能根據(jù)需要將這些形式化方法應(yīng)用到計算機的各二、課程內(nèi)容與學(xué)時分配總學(xué)時為32學(xué)時，主要講授內(nèi)容：文法的一般理論、有窮自動機、正則表達式、(k)文法?？荚囉虚]卷(或開卷)考試和課程論文兩部分組成，其中考試部分占三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.蔣宗禮,姜守旭.形式語言與自動機理論,清華大學(xué)出版社，2007五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.霍普克羅夫特等.自動機理論、語言和計算導(dǎo)論(原書第3版),機械工業(yè)出版社，20082.吳哲輝,吳振寰.形式語言與自動機理論，機械工業(yè)出版社，2007形式語義學(xué)課程名稱形式語義學(xué)英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師盧紅星，柴玉梅課程簡介本課程是程序設(shè)計理論的組成部分，主要以數(shù)學(xué)為和證明規(guī)則，從而可以描述和推導(dǎo)各類程序設(shè)計教學(xué)大綱一、教學(xué)目標(biāo)與要求了解，并能根據(jù)需要將這些形式化方法應(yīng)用到計算機的各個應(yīng)用領(lǐng)域中。二、課程內(nèi)容與學(xué)時分配語義學(xué)?？荚囉虚]卷(或開卷)考試和課程論文兩部分組成，其中考試部分占7三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.陸汝鈐.計算機語言的形式語義，科學(xué)出版社，1992五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.GlynnWinskel等.程序設(shè)計語言的形式語義，機械工業(yè)出版社，20042.周巢塵，形式語義學(xué)引論，湖南科學(xué)技術(shù)出版社，1985數(shù)據(jù)庫設(shè)計與應(yīng)用課程名稱數(shù)據(jù)庫設(shè)計與應(yīng)用英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師姜志明，郭純一課程簡介教學(xué)大綱一、教學(xué)目標(biāo)與要求二、課程內(nèi)容與學(xué)時分配總學(xué)時為32學(xué)時，主要講授內(nèi)容：數(shù)據(jù)庫系統(tǒng)基本概念、數(shù)據(jù)模型及概念模型、三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.劉秋生.數(shù)據(jù)庫設(shè)計及其應(yīng)用,機械工業(yè)出版社，2009五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.崔巍等.數(shù)據(jù)庫應(yīng)用與設(shè)計，清華大學(xué)出版社，20092.牛允鵬，數(shù)據(jù)庫及其應(yīng)用，經(jīng)濟科學(xué)出版社，2008課程名稱Petri網(wǎng)理論英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師葉陽東課程簡介本課程系統(tǒng)介紹Petri的基本理論和方法。Petri網(wǎng)是一種適合于描述異步并發(fā)描述手段和系統(tǒng)行為分析技術(shù)，又為計算機科學(xué)提供堅實的概念基礎(chǔ)。教學(xué)大綱一、教學(xué)目標(biāo)與要求二、課程內(nèi)容與學(xué)時分配試和課程論文兩部分組成，其中考試部分占70%,主要考查這門課程所涉及的基本理論、原理和經(jīng)典的結(jié)論；而課程論文占30%,要求大家去跟蹤目前這一領(lǐng)域中的新思想、新方法。三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.吳哲輝.Petri網(wǎng)導(dǎo)論,機械工業(yè)出版社，2006五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.袁崇義.Petri原理與應(yīng)用，電子工業(yè)出版社，20052.袁崇義.Petri應(yīng)用，科學(xué)出版社，2013訪問控制技術(shù)課程名稱訪問控制技術(shù)英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師李曉宇，王延年課程簡介教學(xué)大綱一、教學(xué)目標(biāo)與要求通過本課程的學(xué)習(xí)使學(xué)生對訪問控制技術(shù)的基本理論、原理和方法等有所了解，并能根據(jù)需要將訪問控制技術(shù)應(yīng)用到計算機的各個應(yīng)用領(lǐng)域二、課程內(nèi)容與學(xué)時分配三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.劉強.基于角色的訪問控制技術(shù),華南理工大學(xué)出版社，2010五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.寧葵.訪問控制安全技術(shù)及應(yīng)用，電子工業(yè)出版社，20052.汪倫偉.安全操作系統(tǒng)中基于可信度的認(rèn)證和訪問控制技術(shù)，國防科技大學(xué)出版社，2005嵌入式系統(tǒng)課程名稱嵌入式系統(tǒng)英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師李曉宇，王延年課程簡介(包括硬件與固件的系統(tǒng)集成)以及嵌入式系統(tǒng)開發(fā)的生命周期管理知識。首先介教學(xué)大綱一、教學(xué)目標(biāo)與要求解，并能根據(jù)需要將嵌入式系統(tǒng)開發(fā)技術(shù)應(yīng)用到計算二、課程內(nèi)容與學(xué)時分配及的基本理論、原理和經(jīng)典的結(jié)論；而課程論文占30%,要求大家去跟蹤目前這一領(lǐng)域中的新思想、新方法。三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.馬忠梅等.嵌入式系統(tǒng)教程,北京航空航天大學(xué)出版社，2004五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.范延濱于忠清鄭立愛.嵌入式系統(tǒng)原理與開發(fā)，機械工業(yè)出版社，20112.伍微等翻譯.嵌入式系統(tǒng)原理、設(shè)計及開發(fā)，清華大學(xué)出版社，2012網(wǎng)絡(luò)安全技術(shù)課程名稱網(wǎng)絡(luò)安全技術(shù)英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師王延年，李磊課程簡介教學(xué)大綱一、教學(xué)目標(biāo)與要求根據(jù)需要將網(wǎng)絡(luò)安全技術(shù)應(yīng)用到計算機的各個二、課程內(nèi)容與學(xué)時分配協(xié)議、TLS協(xié)議、IKE協(xié)議、OSI管理標(biāo)準(zhǔn)、SNMP協(xié)議和安全評估準(zhǔn)則?？荚囉虚]卷(或開卷)考試和課程論文兩部分組成，其中考試部分占70%,主要考查這門課程所涉及的基本理論、原理和經(jīng)典的結(jié)論；而課程論文占30%,要求大家去跟蹤目前這一領(lǐng)域中的新思想、新方法。三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.周世杰等.計算機系統(tǒng)與網(wǎng)絡(luò)安全技術(shù)，高等教育出版社，2011五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.賈鐵軍.網(wǎng)絡(luò)安全技術(shù)及應(yīng)用，機械工業(yè)出版社，2002.陳卓.網(wǎng)絡(luò)安全技術(shù)，機械工業(yè)出版社，2012數(shù)字圖像處理課程名稱數(shù)字圖像處理英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師周兵課程簡介教學(xué)大綱一、教學(xué)目標(biāo)與要求二、課程內(nèi)容與學(xué)時分配三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.阮秋琦等.數(shù)字圖像處理(第三版),電子工業(yè)出版社，2011五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.阮秋琦等翻譯.數(shù)字圖像處理(matlab版),電子工業(yè)出版社，20052.張德豐等.MATLAB數(shù)字圖像處理(第2版),機械工業(yè)出版社，2012多媒體技術(shù)課程名稱多媒體技術(shù)英文名稱Multimediatechnolo課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師謝琦課程簡介多媒體技術(shù)及其應(yīng)用是計算機技術(shù)領(lǐng)域研究熱點，隨著多媒體技術(shù)的飛速發(fā)展、網(wǎng)絡(luò)信息能力的提高和計算機處理速度的不斷增長，通過Internet使大量的教學(xué)大綱一、教學(xué)目標(biāo)與要求據(jù)需要將多媒體技術(shù)應(yīng)用到計算機的各個應(yīng)用領(lǐng)域二、課程內(nèi)容與學(xué)時分配這門課程所涉及的基本理論、原理和經(jīng)典的結(jié)論；而課程論文占30%,要求大家去跟蹤目前這一領(lǐng)域中的新思想、新方法。三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.丁貴廣，尹亞光.多媒體技術(shù),機械工業(yè)出版社，2009五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.林福宗.多媒體技術(shù)基礎(chǔ)，清華大學(xué)出版社，20102.朱潔.多媒體技術(shù)教程(第二版),機械工業(yè)出版社，2011高性能計算課程名稱高性能計算英文名稱Highperformanceco課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師石磊，張志鴻課程簡介速效應(yīng)的感性認(rèn)識；第2章主要講解初識mpi、面向服務(wù)和excel服務(wù)的開發(fā)模式、的可視化界面、命令行和powershe11、c#編程接口提交和監(jiān)控mpi,參數(shù)掃描和任務(wù)流作業(yè)；第4章通過金融衍生產(chǎn)品的定價項目實例，詳細(xì)講解hpc面向服務(wù)的編技術(shù)；第5章通過圖像對比度擴展項目實例，詳細(xì)講解mpi編程中的數(shù)據(jù)分割、進技術(shù)；第7章主要講解excel高性能計算服務(wù)；第8章主要講解windowshpcserve教學(xué)大綱一、教學(xué)目標(biāo)與要求據(jù)需要將高性能計算技術(shù)應(yīng)用到計算機的各個應(yīng)二、課程內(nèi)容與學(xué)時分配總學(xué)時為32學(xué)時，主要講授內(nèi)容：介紹如何快速安裝高性能計算集群、初識mpi、面向服務(wù)和excel服務(wù)的開發(fā)模式、作業(yè)調(diào)度器及其用戶界面，管理控制臺界面、 所涉及的基本理論、原理和經(jīng)典的結(jié)論；而課程論文占30%,要求大家去跟蹤目前三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.姜弘道，張健飛，秦忠.工程科學(xué)中的高性能計算,科學(xué)出版社，2013五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.王恩東，張清，沈鉑.MIC高性能計算編程指南，中國水利水電出版社，20122.徐明強.微軟高性能計算服務(wù)器，人民郵電出版社，2010密碼學(xué)課程名稱密碼學(xué)英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師徐江峰課程簡介基本理論的基礎(chǔ)上，初步具備使用C或C++語言編寫基本密碼算法(SHA-1、DES、AES、RC5等)的能力。教學(xué)大綱一、教學(xué)目標(biāo)與要求通過本課程的學(xué)習(xí)使學(xué)生對密碼學(xué)的基本原理和方法等有所了解，并能根據(jù)需二、課程內(nèi)容與學(xué)時分配本課程主要是針對計算機科學(xué)與技術(shù)專業(yè)的碩士生開設(shè)的一門專業(yè)選修課程，總學(xué)時為32學(xué)時，主要講授內(nèi)容：分組加密、流加密、公鑰加密、數(shù)字簽名、哈希函數(shù)、密鑰建立與管理、身份識別、認(rèn)證理論與技術(shù)、電子貨幣技術(shù)等內(nèi)容。要求學(xué)生掌握密碼學(xué)的基本概念、基本原理和基本方法等?？荚囉虚]卷(或開卷)考試和課程論文兩部分組成，其中考試部分占70%,主要考查這門課程所涉及的基本理論、原理和經(jīng)典的結(jié)論；而課程論文占30%,要求大家去跟蹤目前這一領(lǐng)域中的三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.馮登國等翻譯.密碼學(xué)原理與實踐(第3版),電子工業(yè)出版社，2009五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.王張宜等翻譯.密碼編碼學(xué)與網(wǎng)絡(luò)安全：原理與實踐(第5版),電子工業(yè)出版社，20112.楊義先，李子臣.應(yīng)用密碼學(xué)，北京郵電學(xué)院出版社，2013并行計算課程名稱并行計算英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師張志鴻課程簡介教學(xué)大綱一、教學(xué)目標(biāo)與要求根據(jù)需要將并行計算技術(shù)應(yīng)用到計算機的各個應(yīng)用領(lǐng)域中。二、課程內(nèi)容與學(xué)時分配與GS迭代算法、如何在機群上提交并行任務(wù)，腳本文件示例：myjob、MPI矩陣并行算法設(shè)計、二維Poisson方程的并行算法等?？荚囉虚]卷(或開卷)考試和課程論文兩部分組成，其中考試部分占70%,主要考查這門課程所涉及的基本理論、三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.陳國良.并行計算：結(jié)構(gòu)·算法·編程(第3版),高等教育出版社，2011五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.都志輝等翻譯.算法與并行計算，清華大學(xué)出版社，20122.陳國良.并行算法實踐，高等教育出版社，2004網(wǎng)格計算與云計算課程名稱網(wǎng)格計算與云計算英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師鄭志蘊課程簡介教學(xué)大綱一、教學(xué)目標(biāo)與要求通過本課程的學(xué)習(xí)使學(xué)生對網(wǎng)格計算與云計算的基本原理和編程方法等有所了解，并能根據(jù)需要將網(wǎng)格計算與云計算技術(shù)應(yīng)用到計算機的各個應(yīng)用領(lǐng)域中。二、課程內(nèi)容與學(xué)時分配查這門課程所涉及的基本理論、原理和經(jīng)典的結(jié)論；而課程論文占30%,要求大家去跟蹤目前這一領(lǐng)域中的新思想、新方法。三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.鄒福泰，張亮，陳曙東，王岢.對等網(wǎng)絡(luò)網(wǎng)格計算與云計算-一原理與安全清華大學(xué)出版社，2012五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.韓燕波等.互聯(lián)網(wǎng)計算的原理與實踐，科學(xué)出版社，20102.王相林翻譯.網(wǎng)格計算核心技術(shù),清華大學(xué)出版社，2006課程名稱自然語言處理英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師咎紅英，柴玉梅課程簡介處理應(yīng)用系統(tǒng)方法分析；自然語言處理相關(guān)工具；自然在信息安全中的位置；基于內(nèi)容的安全工作需要哪些技術(shù)和方法。第四、句法分析句法分析概要；早期的句法分析技術(shù)(模式匹配以及擴充轉(zhuǎn)移網(wǎng)絡(luò)技術(shù));上下文無關(guān)語法和分析算法；漢語中的句法分析問教學(xué)大綱一、教學(xué)目標(biāo)與要求二、課程內(nèi)容與學(xué)時分配題等?？荚囉虚]卷(或開卷)考試和課程論文兩部分組成，其中考試部分占70%,主要考查這門課程所涉及的基本理論、原理和經(jīng)典的結(jié)論；而課程論文占30%,要求大家去跟蹤目前這一領(lǐng)域中的新思想、新方法。三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.江銘虎.自然語言處理,高等教育出版社，2006五、主要參考書(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.宗成慶等.統(tǒng)計自然語言處理，清華大學(xué)出版社，201C2.宗成慶.統(tǒng)計自然語言處理，清華大學(xué)出版社，2008信息檢索課程名稱信息檢索英文名稱課程代碼所屬院系信息工程學(xué)院學(xué)時學(xué)分2課程類型專業(yè)選修課開課學(xué)期第一學(xué)年第二學(xué)期授課方式講授考核方式閉卷(或開卷)考試任課教師咎紅英，張坤麗，韓英杰課程簡介教學(xué)大綱一、教學(xué)目標(biāo)與要求二、課程內(nèi)容與學(xué)時分配門課程所涉及的基本理論、原理和經(jīng)典的結(jié)論；而課程論文占30%,要求大家去跟蹤目前這一領(lǐng)域中的新思想、新方法。三、實驗及實踐性環(huán)節(jié)(注：此項沒有的不填)四、教材(序號，編著者姓名，教材名稱，出版社，版次，出版日期)1.黃萱菁，張奇，邱錫鵬翻譯.現(xiàn)代信