2012級碩士生培養(yǎng)方案.doc

信息學(xué)院2012級攻讀碩士學(xué)位培養(yǎng)方案一、適用學(xué)科專業(yè)計算機(jī)應(yīng)用技術(shù) （學(xué)科門類：工學(xué) 一級學(xué)科：計算機(jī)科學(xué)與技術(shù)）二、培養(yǎng)目標(biāo)1、熱愛祖國，具有良好的道德品質(zhì)、較強的事業(yè)心、創(chuàng)新能力和獻(xiàn)身精神，愿為社會主義現(xiàn)代化建設(shè)服務(wù)的高層次、高素質(zhì)的專門人才。 2、掌握計算機(jī)科學(xué)與技術(shù)的堅實的基礎(chǔ)理論和系統(tǒng)的專門知識，具有從事科學(xué)研究工作或獨立承擔(dān)技術(shù)工作的能力，對所研究的課題有新的見解，取得新的成果，了解相關(guān)的學(xué)術(shù)研究動態(tài)。掌握一門外國語。三、學(xué)科專業(yè)研究方向 研究方向一 數(shù)據(jù)庫與智能信息檢索 研究方向二 數(shù)據(jù)倉庫與商務(wù)智能 研究方向三 信息系統(tǒng)工程 研究方向四 系統(tǒng)與信息安全 四、學(xué)習(xí)年限基本學(xué)習(xí)年限3年。五、課程設(shè)置和學(xué)分要求（見附表）攻讀碩士學(xué)位研究生期間，需要獲得學(xué)位課程總學(xué)分不少于40學(xué)分。 公共課不少于6學(xué)分 ，方法課不少于4學(xué)分 ，學(xué)科基礎(chǔ)課不少于12學(xué)分 ，專業(yè)課不少于11學(xué)分 ，選修課不少于6學(xué)分 ，社會實踐不少于1學(xué)分。六、社會實踐社會實踐安排第二或第三學(xué)年。主要內(nèi)容是調(diào)查所在研究領(lǐng)域的國內(nèi)進(jìn)展情況等，并寫出調(diào)查報告。計1學(xué)分。七、論文撰寫碩士生在學(xué)期間應(yīng)完成的論文包括：課程論文和學(xué)位論文。碩士生必須按規(guī)定時間完成有關(guān)的論文寫作。碩士生修滿學(xué)分并考核合格后，進(jìn)入學(xué)位論文寫作階段。學(xué)位論文在導(dǎo)師指導(dǎo)下，由碩士生本人按計劃進(jìn)度獨立完成。學(xué)位論文必須是一篇系統(tǒng)完整的學(xué)術(shù)論文，使用規(guī)范的語言。學(xué)位論文應(yīng)表明學(xué)生在本學(xué)科上掌握堅實的理論基礎(chǔ)和系統(tǒng)的專門知識，具有從事科學(xué)研究工作或獨立擔(dān)負(fù)專業(yè)技術(shù)工作的能力，對所研究的課題有新見解新成果。論文的準(zhǔn)備工作應(yīng)盡早開始。研究生應(yīng)在導(dǎo)師指導(dǎo)下制訂學(xué)位論文工作計劃。內(nèi)容包括文獻(xiàn)閱讀、開題報告、科學(xué)研究、社會調(diào)查等。研究生一般應(yīng)在論文答辯一年前完成書面文獻(xiàn)綜述與開題報告，并在一定范圍的會議上報告。碩士學(xué)位論文工作應(yīng)不少于1年。在學(xué)位論文工作中期，以系或所為單位組織檢查小組對研究生的綜合能力、論文工作進(jìn)度及工作態(tài)度、精力投入等方面進(jìn)行檢查。通過者，準(zhǔn)予繼續(xù)進(jìn)行論文工作。碩士生應(yīng)在核心刊物上發(fā)表或錄用1篇論文。附：課程設(shè)置和學(xué)生課程學(xué)習(xí)的學(xué)分要求 1、公共課（6學(xué)分）(1)政治理論課中國特色社會主義理論與實踐研究2學(xué)分PUM5051學(xué)期(The Theories and Practice of Socialism with Chinese Characteristic)自然辯證法概論1學(xué)分PUP5041學(xué)期(Introduction of dialectics of nature)馬克思主義與社會科學(xué)方法論1學(xué)分PUP5051學(xué)期(Marxism and method social sciences)(2)第一外國語語言基礎(chǔ)3學(xué)分PUF5001學(xué)期(Foreign Language)2、方法課（4學(xué)分）運籌學(xué)3學(xué)分CST6081學(xué)期(Operational research)(目的是讓學(xué)生掌握線性規(guī)劃,運輸問題,整數(shù)規(guī)劃,動態(tài)規(guī)劃等幾種重要而成熟的運籌學(xué)模型為以后的應(yīng)用及研究提供必要的基礎(chǔ)。)計算理論導(dǎo)論3學(xué)分CST6101學(xué)期(Introduction To The Theory Of Computation)(介紹自動機(jī)與語言、可計算性理論和計算復(fù)雜性理論.)現(xiàn)代統(tǒng)計方法3學(xué)分SYT6012學(xué)期(Modern Statistics Methods)(本課程主要涉及現(xiàn)代統(tǒng)計方法及其應(yīng)用。主要內(nèi)容包括：統(tǒng)計的基本概念、數(shù)據(jù)的收集、數(shù)據(jù)文件的建立，基本統(tǒng)計分析，主成分分析和因子分析，聚類分析，判別分析，時間序列分析，多選變量分析等。)軟件形式化方法3學(xué)分SYT6022學(xué)期(Formal Methods for Software)(形式化方法是設(shè)計和開發(fā)正確、可信的計算機(jī)系統(tǒng)的重要手段。本課程幫助學(xué)生建立形式化方法的全局觀念，重點從形式化規(guī)約說明語言Z、基于時態(tài)邏輯的方法、基于進(jìn)程代數(shù)的方法等方面講授具有代表性的形式化方法和工具的思想和技術(shù)以及它們在實際應(yīng)用中的應(yīng)用方法。)3、學(xué)科基礎(chǔ)課（12學(xué)分）算法復(fù)雜性及近似算法設(shè)計3學(xué)分CST6011學(xué)期(Algorithm and Computational Complexity)(介紹基本的算法復(fù)雜性理論以及算法設(shè)計.包括P問題,NP完全問題的證明以及近似算法的設(shè)計等.先修課為圖論與線性規(guī)劃。)數(shù)據(jù)庫管理系統(tǒng)原理與實現(xiàn)4學(xué)分CST6021學(xué)期(Principle and Implementation of Database Management Systems)(深入介紹數(shù)據(jù)庫管理系統(tǒng)的實現(xiàn)技術(shù)，包括數(shù)據(jù)存儲、索引、查詢執(zhí)行、查詢編譯、恢復(fù)、并發(fā)控制等技術(shù)。)高級操作系統(tǒng)4學(xué)分CST6031學(xué)期(Advanced Operating System)(結(jié)合操作系統(tǒng)內(nèi)核分析重點講解：分布式系統(tǒng)的概念與設(shè)計，同時介紹前沿的分布式系統(tǒng)：Peer-to-Peer系統(tǒng)，Web服務(wù)，網(wǎng)格計算，移動和普適計算等。)網(wǎng)絡(luò)與通信4學(xué)分CST6041學(xué)期(Network and Communication)(本課程以無線通信為背景，系統(tǒng)地介紹了現(xiàn)代移動通信網(wǎng)絡(luò)的基本概念、基本組成、基本原理、基本技術(shù)和典型系統(tǒng)等。)學(xué)術(shù)報告1學(xué)分FUM6041學(xué)期(Seminar)(學(xué)生應(yīng)在第四學(xué)期前參加10個與本專業(yè)相關(guān)的學(xué)術(shù)報告。(必修）)高級信息系統(tǒng)3學(xué)分SYT6032學(xué)期(Advanced Information Systems)(本課程目的是在本科“信息系統(tǒng)的分析與設(shè)計”課程的基礎(chǔ)上，介紹信息系統(tǒng)建設(shè)和管理中的新技術(shù)、新發(fā)展、新的前沿課題，從而擴(kuò)大學(xué)生對該領(lǐng)域了解的廣度和深度。)4、專業(yè)課（不少于11學(xué)分）數(shù)據(jù)倉庫與數(shù)據(jù)挖掘3學(xué)分CST7011學(xué)期(Data Warehouse and Data Mining)(圍繞數(shù)據(jù)倉庫、聯(lián)機(jī)分析處理、數(shù)據(jù)挖掘、商務(wù)智能等內(nèi)容，介紹該領(lǐng)域的基本理論、算法、系統(tǒng)以及應(yīng)用情況。)分布與并行數(shù)據(jù)庫2學(xué)分CST7022學(xué)期(Distributed and Parallel Database System)(分布式數(shù)據(jù)庫和并行數(shù)據(jù)庫是新一代數(shù)據(jù)庫技術(shù)的兩個分支，分別介紹分布式數(shù)據(jù)庫和并行數(shù)據(jù)庫的基本概念與核心技術(shù)。)數(shù)據(jù)庫性能調(diào)優(yōu)與實踐2學(xué)分CST7032學(xué)期(Database Performance Tuning and Practice)(數(shù)據(jù)庫調(diào)優(yōu)基本原理及事務(wù)調(diào)優(yōu)、索引調(diào)優(yōu)、關(guān)系系統(tǒng)調(diào)優(yōu)及外部借口調(diào)用、華爾街案例研究及故障排除、電子商務(wù)應(yīng)用的調(diào)優(yōu)等。)高級數(shù)據(jù)管理2學(xué)分CST7043學(xué)期(Advanced Data Management)(本課程主要講述高級事務(wù)處理，Web數(shù)據(jù)管理等內(nèi)容。)機(jī)器學(xué)習(xí)2學(xué)分CST7053學(xué)期(Machine Learning)(涉及機(jī)器學(xué)習(xí)的核心算法和理論、高級應(yīng)用技術(shù)和最新研究領(lǐng)域。)形式語言與自動機(jī)2學(xué)分CST7063學(xué)期(Formal Language and Automaton)(主要涉及有關(guān)形式語言、自動機(jī)理論、圖靈機(jī)、不可判定性、Chomsky譜系、語言族的封閉性質(zhì)、計算復(fù)雜性理論等問題。)軟件工程與方法3學(xué)分CST7072學(xué)期(Software Engineering and Methods)(涉及軟件工程的理論與實踐、對于不同的軟件需求研究和討論新的方法和思路。)軟件過程改進(jìn)2學(xué)分CST7082學(xué)期(Improvement of the Process of Software)(主要涉及過程思維方式、軟件過程改進(jìn)的模型與標(biāo)準(zhǔn)和軟件過程的度量。)智能信息檢索2學(xué)分CST7093學(xué)期(Intelligent Information Retrievals)(涉及智能信息檢索基本原理、基本方法和最新研究成果。)語音信號數(shù)字處理2學(xué)分CST7102學(xué)期(Speech Signal Digital Processing)(語音信號數(shù)字處理是多媒體信息處理的核心技+F29術(shù)之一。其先修課程包括：數(shù)字信號處理、模式識別、人工神經(jīng)網(wǎng)絡(luò)等。)XML數(shù)據(jù)管理2學(xué)分CST7161學(xué)期(XML Data Management)(XML的基本概念和相關(guān)標(biāo)準(zhǔn)，即XML，DTD，XMLSchema，XPath和XQuery等。)信息系統(tǒng)安全2學(xué)分CST7172學(xué)期(Information System Security)(課程講授以主機(jī)為中心的系統(tǒng)安全的基本思想、技術(shù)和方法，幫助學(xué)生認(rèn)識每個人手上、家里、工作單位中、甚至龐大的數(shù)據(jù)處理中心深處的計算機(jī)主機(jī)系統(tǒng)的安全問題及其解決途徑。課程的主要內(nèi)容包括信息系統(tǒng)安全緒論、可信計算平臺基礎(chǔ)、操作系統(tǒng)的基礎(chǔ)安全性、操作系統(tǒng)的增強安全性和系統(tǒng)完整性保護(hù)等方面。課程的特色是透過網(wǎng)絡(luò)空間的安全體系結(jié)構(gòu)看待主機(jī)系統(tǒng)的安全問題，通過主機(jī)與信息安全知識體系的融合認(rèn)識系統(tǒng)的安全問題。)操作系統(tǒng)內(nèi)核設(shè)計與實現(xiàn)2學(xué)分CST7212學(xué)期(Operating System Kernel Design and Implementation)(本課程推行既統(tǒng)領(lǐng)全局又兼顧細(xì)節(jié)的原則，以開放源碼的Linux操作系統(tǒng)為原型，引導(dǎo)研究生學(xué)習(xí)現(xiàn)實操作系統(tǒng)內(nèi)核源代碼的分析方法，目標(biāo)是培養(yǎng)研究生掌握現(xiàn)實操作系統(tǒng)內(nèi)核設(shè)計與實現(xiàn)的基本技能。)高級數(shù)據(jù)挖掘技術(shù)3學(xué)分CST7223學(xué)期(Advanced Data Mining Technology)(使學(xué)生能夠較深入地了解數(shù)據(jù)挖掘技術(shù)的一些最新理論、研究和應(yīng)用，包括其理論思想、涉及的主要算法思想、應(yīng)用以及當(dāng)前的最新研究進(jìn)展。 先修課是數(shù)據(jù)庫，信息檢索，數(shù)據(jù)挖掘。)商務(wù)智能3學(xué)分CST7232學(xué)期(Business Intelligence)(商務(wù)智能是為了解決商業(yè)活動中遇到的各種問題，利用各種信息系統(tǒng)進(jìn)行的高質(zhì)量和有價值的信息收集、分析、處理過程，其基本功能包括個性化的信息分析、預(yù)測、輔助決策。通過商務(wù)智能，可以把全公司多個來源的數(shù)據(jù)集成在一起，以提高競爭能力。商務(wù)智能的主要技術(shù)是數(shù)據(jù)挖掘 Intelligent Miner、數(shù)據(jù)倉庫 Visual Warehouse 和多維分析 OLAP 方法。)軟件安全分析與測試3學(xué)分CST7251學(xué)期(Software Security Analysis and Testing)(從軟件系統(tǒng)面臨的安全威脅出發(fā)，探討如何通過分析測試增強軟件的安全性和提升惡意代碼的分析能力，使學(xué)生能夠掌握軟件安全分析與測試的基本原理技術(shù)，了解掌握相關(guān)領(lǐng)域的技術(shù)進(jìn)展。)PostgreSQL源代碼深入分析3學(xué)分CST7263學(xué)期(Computer Science Research Methods Overview)(面向計算機(jī)應(yīng)用技術(shù)以及計算機(jī)軟件與理論專業(yè)研究生的一門專業(yè)課。課程將使得學(xué)生了解開源關(guān)系數(shù)據(jù)庫系統(tǒng)PostgreSQL的體系架構(gòu)、技術(shù)特點，特別是通過對系統(tǒng)的源代碼的大量閱讀和深入分析掌握RDBMS系統(tǒng)實現(xiàn)的關(guān)鍵技術(shù)和方法，提高學(xué)生的系統(tǒng)設(shè)計和開發(fā)能力。)統(tǒng)計機(jī)器學(xué)習(xí)3學(xué)分CST7271學(xué)期(Statistical Machine Learning)(信息時代面臨問題的規(guī)模和復(fù)雜性都有了急劇增加，基于統(tǒng)計的機(jī)器學(xué)習(xí)算法成為解決這些問題的主流工具。本課程將機(jī)器學(xué)習(xí)領(lǐng)域中許多重要的新思想?yún)R集在一起，并且在統(tǒng)計學(xué)的框架下解釋它們。課程強調(diào)機(jī)器學(xué)習(xí)方法和它們的概念基礎(chǔ)，而不是理論性質(zhì)及其數(shù)學(xué)細(xì)節(jié)。本課程涵蓋有指導(dǎo)的學(xué)習(xí)（預(yù)測）到無指導(dǎo)的學(xué)習(xí)，包括統(tǒng)計模型、函數(shù)逼近，回歸、分類的線性方法，基展開與正則化，核方法，模型評估與選擇，模型推理和平均，加法模型、樹和相關(guān)方法，提升和加法樹，神經(jīng)網(wǎng)絡(luò)，支持向量機(jī)和柔性判別等。 課程要求本科程度的概率統(tǒng)計知識。)5、選修課（不少于6學(xué)分）面向e-Science的工具與技術(shù)2學(xué)分CST7151學(xué)期(Tools and Technology for Computational)(向?qū)W生介紹計算性科學(xué)所使用的基本的計算機(jī)基礎(chǔ)設(shè)施、工作平臺、典型計算機(jī)技術(shù)以及軟件工具。)高級算法設(shè)計與分析2學(xué)分CST7182學(xué)期(Advanced Algorithm Design and Analysis)(包括近似算法、數(shù)論算法、搜索技術(shù)、遺傳算法和現(xiàn)代優(yōu)化算法。使學(xué)生掌握算法設(shè)計與分析方法。)計算機(jī)科學(xué)前沿2學(xué)分CST7192學(xué)期(Advances in Computer Science and Technology)(本課程是針對計算機(jī)應(yīng)用技術(shù)和計算機(jī)軟件與理論專業(yè)的碩士生開設(shè)的前沿課。以講授計算機(jī)科學(xué)技術(shù)的前沿知識為主旨。)分布式系統(tǒng)與云計算2學(xué)分CST7241學(xué)期(Distributed System and Cloud Computing)(分布式系統(tǒng)的定義和分類，分布式系統(tǒng)實例，分布式對象，客戶-服務(wù)器端架構(gòu)與公共對象請求代理結(jié)構(gòu)（CORBA），云計算技術(shù)概述，云計算編程和實現(xiàn)技術(shù)，云計算平臺應(yīng)用技術(shù)。)計算機(jī)科學(xué)研究方法概論3學(xué)分CST7252學(xué)期(Computer Science R