2012年考研計算機擇校指南——北京大學(xué)_跨考網(wǎng)

　　北京大學(xué)計算機科學(xué)技術(shù)系正式創(chuàng)建于1978年，主要由計算機軟件、計算機及應(yīng)用和微電子學(xué)等三個專業(yè)組成。這三個專業(yè)又分別北京大學(xué)原數(shù)學(xué)力學(xué)系的計算數(shù)學(xué)專業(yè) (建立于1955年)、無線電電子學(xué)系的計算機專業(yè)(建立于1959年)和物理學(xué)系的半導(dǎo)體物理專業(yè)(建立于1956年)發(fā)展而來。1969年至1978年期間這三個專業(yè)設(shè)在是北京大學(xué)電子儀器廠。培養(yǎng)了程序?qū)I(yè)學(xué)生140名;計算機專 業(yè)學(xué)生226名;半導(dǎo)體專業(yè)學(xué)生200余名。計算機專業(yè)和計算機軟件專業(yè)的教師與738廠、石油部等單位合作，于1973年自行設(shè)計、研制成功我國第一臺百萬次電子數(shù)字計算機DJS11機(即150機)，1974年又研制成功中型機DJS18機(即6912機) ，同時完成了我國第一個多道操作系統(tǒng)和編譯系統(tǒng)的設(shè)計，取得了令人振奮的成就。為 我國石油勘探、氣象預(yù)報、軍事研究、科學(xué)計算等領(lǐng)域作出了很大的貢獻。半導(dǎo)體專業(yè)的教師、技術(shù)人員和工人開展了集成電路的研究工作，于1975年研制成功了我國第一塊三種類型大規(guī)模 集成電路1024位MOS隨機存儲器。這兩項成果雙雙獲得了1978年全國科學(xué)大會獎。教學(xué)、科研的 實踐，不僅為我國計算機科學(xué)技術(shù)的發(fā)展做出了貢獻，而且培養(yǎng)了人才，鍛煉了隊伍，為我系的創(chuàng)建奠定了基礎(chǔ)。

　　現(xiàn)在計算機科學(xué)技術(shù)系已經(jīng)和原來的電子學(xué)系、信息科學(xué)中心和微電子所合并構(gòu)成北京大學(xué)信息科學(xué)技術(shù)學(xué)院。

　　培育時代英才

　　北京大學(xué)計算機科學(xué)技術(shù)系擁有雄厚的教學(xué)和科研隊伍。目前有教職員工206人，其中中國 科學(xué)院院士2人，教授 ( 研究員、正高工 )34人，副教授 ( 高級工程師、高級實驗師 )49人，講師 (助 研、工程師)67人。 這支隊伍在教學(xué)工作中，重視基礎(chǔ)課教學(xué)，注意培養(yǎng)學(xué)生良好的學(xué)風(fēng)和活躍的學(xué)術(shù)思想，是 一支理論水平較高、實踐能力很強、學(xué)風(fēng)嚴謹、勤懇敬業(yè)的師資隊伍。多年來為我國培養(yǎng)了一批 又一批優(yōu)秀的計算機與微電子科學(xué)技術(shù)的專門人才，為我國計算機與微電子事業(yè)的發(fā)展作出了重 要貢獻，是我國培養(yǎng)高質(zhì)量計算機科學(xué)技術(shù)人才的搖籃。 計算機科學(xué)技術(shù)系設(shè)有2個本科生專業(yè):計算機科學(xué)技術(shù)專業(yè)、微電子學(xué)專業(yè)。其中計算機科 學(xué)與技術(shù)專業(yè)由原計算機及應(yīng)用、計算機軟件、軟件工程三個專業(yè)合并調(diào)整成。1996 年，經(jīng)國務(wù) 院學(xué)位委員會批準，計算機科學(xué)技術(shù)系成為首批按計算機科學(xué)與技術(shù)一級學(xué)科授予碩士、博士學(xué) 位的單位之一。經(jīng)過調(diào)整合并后設(shè)立的碩士、博士學(xué)位授予點為：計算機科學(xué)與技術(shù)(含計算機 軟件與理論、計算機組織與體系結(jié)構(gòu)、計算機應(yīng)用技術(shù)三個二級學(xué)科)、微電子與固體電子學(xué)。從1982年第一批本科生畢業(yè)到1997年共培養(yǎng)本科畢業(yè)生1465名?，F(xiàn)有在校生694名。已畢業(yè) 碩士生520名、兩年制研究生113名，現(xiàn)有在校碩士生211名。有博士生導(dǎo)師16人、已畢業(yè)博士生51名，現(xiàn)有在校博士生56名。計算機科學(xué)技術(shù)系還設(shè)有博士后科研流動站，有16人已完成博士后研 究出站，現(xiàn)有10人正在站進行博士后科學(xué)研究工作。計算機科學(xué)技術(shù)系還采用多種途徑辦學(xué)為社會服務(wù)。幾年來為兄弟院校培養(yǎng)進修教師80名，培養(yǎng)大專生135人，為煤炭部等單位舉辦各種中長期培訓(xùn)班、輔導(dǎo)班數(shù)十次，培訓(xùn)人員達1800人次以上。此外還承擔(dān)了北京成人教育計算機軟件專業(yè)的自學(xué)考試主考單位的任務(wù)，為培養(yǎng)國民經(jīng) 濟建設(shè)急需的計算機軟件人才積極貢獻力量。在組織好各項教學(xué)工作的同時，系領(lǐng)導(dǎo)非常重視教材的建設(shè)，組織有豐富教學(xué)經(jīng)驗的老師編 寫了大量教材。幾年來，出版了《操作系統(tǒng)結(jié)構(gòu)分析》、《數(shù)據(jù)結(jié)構(gòu)》、《離散數(shù)學(xué)》、《多晶硅薄膜及其在集成電路中的應(yīng)用》、《集成電路工藝基礎(chǔ)》、《固態(tài)物理學(xué)》、《半導(dǎo)體 物理學(xué)》等34本專著，并編寫教材54本。其中5本獲國家級和部委級獎，很多教材被兄弟院校采 用作為教科書。

　　勇攀科學(xué)技術(shù)高峰

　　計算機科學(xué)技術(shù)系現(xiàn)在設(shè)有計算機系統(tǒng)與軟件研究所、計算語言學(xué)研究所、微電子學(xué)研究 所。主要研究方向包括：系統(tǒng)軟件、軟件工程及軟件工程環(huán)境、軟件工業(yè)化生產(chǎn)技術(shù)及系統(tǒng)、軟 件復(fù)用與軟件構(gòu)件技術(shù)、(分布)對象技術(shù)及應(yīng)用、計算機網(wǎng)絡(luò)技術(shù)及應(yīng)用、信息安全技術(shù)及應(yīng) 用、計算機圖形圖像技術(shù)、計算機體系結(jié)構(gòu)、人工智能、多媒體技術(shù)、數(shù)據(jù)庫技術(shù)、數(shù)據(jù)倉庫技 術(shù)及應(yīng)用、并行計算、計算機科學(xué)理論、計算機語言學(xué)、機器翻譯及自然語言理解、大規(guī)模集成 電路與微電子系統(tǒng)計算機輔助設(shè)計、微電子學(xué)新工藝新器件和新結(jié)構(gòu)集成電路及其物理基礎(chǔ)等。 計算機科學(xué)技術(shù)系以其雄厚的技術(shù)科研力量，勇攀科學(xué)技術(shù)高峰，承擔(dān)了包括國家重點科技 攻關(guān)、國家自然科學(xué)基金、863高科技計劃、攀登計劃、軍事預(yù)研在內(nèi)的各種科研項目共106項。 在攻克了一道道技術(shù)難關(guān)之后，取得了豐碩的科研成果，其中 44 項獲得國家級和部委級的表彰和 獎勵，6項取得發(fā)明專利。成為國家科學(xué)技術(shù)攻關(guān)和高新技術(shù)研究的重要基地。 在做好教學(xué)和科研工作的同時，為進一步培養(yǎng)和提高教師的業(yè)務(wù)水平，自1980年以來，計算機科學(xué)技術(shù)系分別派出近60名教師赴美國、日本、加拿大、原德意志民主共和國、德意志聯(lián)邦共 和國、瑞典、新加坡、英國、澳大利亞、香港等國家和地區(qū)學(xué)習(xí)、進修、工作。學(xué)成歸來后，他們正在教學(xué)科研第一線施展才華。為加強國際學(xué)術(shù)交流和國際合作、提高學(xué)術(shù)水平，每年都有許多海外專家、學(xué)者來我系進行 學(xué)術(shù)交流。二十年來我系先后派出教師參加國際學(xué)術(shù)會議達百余人次，在國內(nèi)外刊物發(fā)表學(xué)術(shù)論 文千余篇。

　　先進的教學(xué)科研環(huán)境

　　隨著計算機科學(xué)技術(shù)系的不斷壯大，教學(xué)科研環(huán)境也逐步得到改善和提高，目前已經(jīng)發(fā)展成 為北京大學(xué)具有一流教學(xué)科研環(huán)境的大系。計算機科學(xué)技術(shù)系現(xiàn)有計算機軟件教學(xué)實驗室、微電 子超凈廠房、計算機體系結(jié)構(gòu)實驗室等大型實驗室。另外，還建立了以計算機軟件和 ASIC 技術(shù)為 支撐基礎(chǔ)的高技術(shù)實驗室--北京市軟件固化實驗室;成立了由世界銀行貸款支持建設(shè)的軟件工程國家工程研究中心;國家有關(guān)部門支持的微米 / 納米加工技術(shù)國家重點實驗室;211工程支持的軟 件平臺與環(huán)境實驗室。最近又與國外著名公司合作，建立了北京大學(xué)Intel新技術(shù)實驗室;北京大學(xué)貝爾軟件技術(shù)聯(lián)合實驗室;北京大學(xué)摩托羅拉半導(dǎo)體聯(lián)合實驗室。這些具有先進技術(shù)和先進 設(shè)備的實驗室為我系的科研和教學(xué)提供了良好的環(huán)境。 為了有助于教學(xué)、科研工作的開展，系里還設(shè)有專業(yè)圖書資料室，現(xiàn)有專業(yè)中外書刊26000多冊，14200多種，為我系的教學(xué)科研及時提供了先進的技術(shù)資料。

　　為經(jīng)濟建設(shè)戰(zhàn)場服務(wù)

　　北大計算機科學(xué)技術(shù)系也十分注意科學(xué)技術(shù)為經(jīng)濟建設(shè)主戰(zhàn)場服務(wù)，努力促使科研成果向生 產(chǎn)力的轉(zhuǎn)化。1994年，以北大計算機科學(xué)技術(shù)系的科研成果及技術(shù)力量為依托，成立了北京北大青鳥有限責(zé)任公司。三年來，北大青鳥公司堅持"以人才為根本、以技術(shù)為核心、以產(chǎn)品為依托、立足市場、面向行業(yè)"的經(jīng)營方針，扎扎實實的努力拼搏，目前已經(jīng)形成以 軟件為主體的信息企業(yè)集團，并推出青鳥系列產(chǎn)品軟件。1997年產(chǎn)值達1.2億元。北大青鳥公司 已展翅騰飛。以微電子研究所為依托和發(fā)展基礎(chǔ)的北大宇環(huán)公司也已初具規(guī)模。計算機領(lǐng)域內(nèi)的 教學(xué)、科研、產(chǎn)業(yè)相結(jié)合的體制正在北大計算機科學(xué)技術(shù)系形成，為培養(yǎng)一代又一代理論聯(lián)系實 際的杰出人才提供了重要保障，將為我國軟件業(yè)和芯片設(shè)計業(yè)"爆炸性增長"作出更 大貢獻。

　　任重而道遠

　　科學(xué)、技術(shù)、產(chǎn)業(yè)的競爭歸根結(jié)底是人才的競爭。計算機軟件產(chǎn)業(yè)的發(fā)展更需要一批高素質(zhì) 的軟件人才。1996年，211工程評審組在考察北京大學(xué)時對我系計算機軟件的教學(xué)和科研成果給 予了高度肯定，被學(xué)校確定為211建設(shè)重點方向，作為培養(yǎng)計算機人才基地的北大計算機科學(xué)技 術(shù)系的全體師生深切地感到任重道遠。北大計算機科學(xué)技術(shù)系全體師生必將團結(jié)一致，為把北大 建設(shè)成世界一流大學(xué)，為把北大計算機科學(xué)技術(shù)系建設(shè)成世界一流的系而努力奮斗。 北京大學(xué)計算機科學(xué)技術(shù)系從孕育到誕生，從一個小系到步入學(xué)校大系的行列，包含了幾十 年來在北京大學(xué)計算機教育這塊土地上辛勤耕耘的各級領(lǐng)導(dǎo)、師生員工的勞動成果和海內(nèi)外各方 朋友的大力支持，值此慶賀我系成立二十周年之際，向一切為北京大學(xué)計算機教育事業(yè)作出貢獻 的志士仁人致以崇高的敬意!

　　1、CS各實驗室簡介——計算機系統(tǒng)研究室

　　研究領(lǐng)域：基于單處理器的計算機體系結(jié)構(gòu)與計算機組織，HPF 編譯器及其運行支持(從這里可下載一個HPF編譯器)，基于網(wǎng)絡(luò)的分布式計算

　　成員：李曉明教授

　　學(xué)術(shù)活動：2000 年世界計算機大會，目前與網(wǎng)絡(luò)教研室合并。

　　主頁：http://arch.cs.pku.edu.cn/

　　2、CS各實驗室簡介——計算機結(jié)構(gòu)研究室

　　北京大學(xué)微處理器研發(fā)組充分利用北大計算機科學(xué)技術(shù)系集計算機科學(xué)與微電子學(xué)于 一系的優(yōu)勢，以發(fā)展我國微處理器事業(yè)為己任，在現(xiàn)代微處理器結(jié)構(gòu)、編譯優(yōu) 化、計算機模擬和性能評測、軟硬件協(xié)同設(shè)計等方向開展了一系列科研和教學(xué)工作 。其前身是北京大學(xué)計算機科學(xué)技術(shù)系系統(tǒng)結(jié)構(gòu)教研室。

　　目前，承擔(dān)著國家九五重點科技攻關(guān)、863計劃、國家自然科學(xué)基金、國家教委博士點 專項基金等支持的 九項科研任務(wù)。同時還負責(zé)北京大學(xué)計算機科技系計算機體系結(jié)構(gòu) 相關(guān)課程的基礎(chǔ)教學(xué)和實驗教學(xué)工作。

　　科研領(lǐng)域：

　　指令級并行處理

　　線程級并行處理

　　現(xiàn)代微處理器結(jié)構(gòu)

　　微處理器設(shè)計方法學(xué)

　　編譯優(yōu)化技術(shù)

　　軟硬件協(xié)同設(shè)計

　　計算機模擬和性能評測

　　并行計算機系統(tǒng)結(jié)構(gòu)

　　教師

　　程 旭 崔光佐 王克義 佟 冬 張海洋

　　目前使用的機器是 Dell 牌的，是 intel 的贈機， PIII 處理器

　　主頁：http://jbsim.cs.pku.edu.cn/

　　3、CS 各實驗室簡介——信息安全研究室

　　北京大學(xué)計算機系信息安全研究室是在楊芙清院士關(guān)心指導(dǎo)下于 1996 年成立的。實驗室自成立起就一直致力于跟蹤國內(nèi)外技術(shù)發(fā)展的趨勢，關(guān)注日益增長的計算機安全問題，結(jié)合國內(nèi)的特點，開展了一系列的科學(xué)和研究工作。同時和國家公安部、安全部和保密局等安全單位積極合作，承擔(dān)著國產(chǎn)安全軟件的研究開發(fā)工作。

　　研究室現(xiàn)在由陳鐘博士(教授)領(lǐng)導(dǎo),包括段云所博士 (副教授)，現(xiàn)有博士研究生3名，碩士研究生12名。

　　研究項目：青鳥保密網(wǎng)關(guān)，JB-Search

　　師資力量

　　楊芙清 (院士)，　陳鐘 (教授，室主任)，段云所 (副教授，室副主任)，唐禮勇 (博士)，王昭 (博士)

　　實驗室主頁：

　　http://infosec.cs.pku.edu.cn/

　　實驗室地址：理樓 1533

　　4、CS各實驗室簡介——圖形室

　　北京大學(xué)計算機系圖形研究室于1984年建立。主要從事研究方向：圖形軟件與可視化、人機交互與用戶界面、虛擬現(xiàn)實、超文本與多媒體、網(wǎng)絡(luò)及軟件工具等。有教師 5人。研究室主任為董士海教授。

　　已培養(yǎng)本科生(畢業(yè)論文)72人，碩士生29人，博士生2人，共103人。正培養(yǎng)碩士生3人，博士生6人，共9人。

　　教師： 董士海 吳良芝 汪國平 倪明田 龍曉苑

　　正承擔(dān)項目

　　1) 基于因特網(wǎng)的多通道用戶界面:

　　** 國家自然科學(xué)基金項目 (69773024)

　　** 博士點基金(98000133)

　　2) 面向 Internet的3D地形瀏覽 (九五攻關(guān)項目98-780-01-02)

　　3) 北佳公司協(xié)作項目(Linux 系統(tǒng)研究)

　　4) 北大地質(zhì)系地?？梢暬芯?。

　　5) 中國高速互聯(lián)研究試驗網(wǎng)(國家自然科學(xué)基金重大項目)的子課題《高速網(wǎng)上的數(shù)字地球試驗系統(tǒng)》。

　　實驗室主頁：http://graphics.pku.edu.cn/

　　5、CS各實驗室簡介——數(shù)據(jù)庫實驗室

　　研究項目：

　　空間信息共享平臺，關(guān)系數(shù)據(jù)庫管理系統(tǒng) COBASE，中文數(shù)據(jù)庫查詢系統(tǒng)，信息系統(tǒng)研究，數(shù)據(jù)倉庫和數(shù)據(jù)挖掘技術(shù)

　　教師：

　　唐世渭 楊冬青 譚少華 徐其鈞 張銘 陳立軍 劉崇義 謝昆青 李紅燕

　　lab 主頁： www.db.pku.edu.cn

　　6、CS各實驗室簡介——網(wǎng)絡(luò)研究室

　　計算機網(wǎng)絡(luò)和分布式系統(tǒng)實驗室 (CNDSL)

　　計算機網(wǎng)絡(luò)和分布式系統(tǒng)實驗室的主要研究方向是：計算機通信和分布式系統(tǒng)。并且，開發(fā)軟件產(chǎn)品，承擔(dān)大型綜合系統(tǒng)的開發(fā)，進行計算機網(wǎng)絡(luò)管理和分布式計算技術(shù)研究等實踐活動。

　　研究項目：

　　中英文 WWW 方式的搜索引擎

　　通信導(dǎo)向中間件

　　X.400 支持多媒體、多語言、多方法的電子郵件系統(tǒng)

　　Lightweigth 目錄訪問協(xié)議

　　教師：

　　Prof. Baojue Chen(Director)

　　Jianguo Liu(Vice director)

　　Jianyong Wang

　　實驗室主頁：http://csnetlib.pku.edu.cn/

　　7、CS各實驗室簡介——理論實驗室

　　研究方向：

　　Petri Net

　　(Petri 網(wǎng)是使用網(wǎng)狀結(jié)構(gòu)模擬通信系統(tǒng)(最初的用途)

　　后來，Petri Net的研究以孤立的網(wǎng)系統(tǒng)為對象，尋求分析技術(shù)和應(yīng)用方法(特殊網(wǎng)論)70年代，又以網(wǎng)系統(tǒng)的全體作為對象，研究其分類和各類網(wǎng)之間的關(guān)系(通用網(wǎng)論)，如并發(fā)論、同步論、網(wǎng)邏輯、網(wǎng)拓撲

　　80年代后，開始Petri Net的綜合發(fā)展，以理論與應(yīng)用相結(jié)合及CAI的開發(fā)為主要內(nèi)容90年代，開始了Timed Petri Net理論實驗室研究還是以理論為主，但是 Petri Net 可以用于解決很多實際問題的 :)

　　我們每年春季開Petri Net的課，袁崇義老師講課 )

　　計算復(fù)雜性

　　CAI

　　另外還有一個方向為形式語義及驗證，

　　可以認為是計算機系統(tǒng)的形式化表示以及計算機程序的正確性證明

　　96(7?) 年度圖靈獎得主 Amir Pnueli 從事的就是這方面的工作。

　　教師：

　　袁崇義 張立昂 屈婉玲 王捍貧 耿素云 趙麗琴 劉田

　　實驗室主頁：http://theory.cs.pku.edu.cn/

　　8、關(guān)于一些實驗室的情況的說明

　　目前北大cs的實驗室的條件是非常好的, 在理科1號樓, 這是剛建成使用的 . 機器也都非常好 ,dell機和方正聯(lián)想的機器占大部分.