00博士研究生公共課課程簡介

1、PAGE PAGE 1100 博士研究生公共課課程簡介序 號：1 課程編號：00D001課程名稱：學(xué)術(shù)道德規(guī)范與知識產(chǎn)權(quán)概論 任課教師： 序 號：2 課程編號：10D001課程名稱：計算的數(shù)學(xué)理論 任課教師：吳健英文譯名：Mathematical Theory of Computation先修要求：離散數(shù)學(xué)、程序設(shè)計原理、形式語言與自動機(jī)、算法設(shè)計與分析內(nèi)容簡介：本課程主要講授與計算機(jī)科學(xué)密切相關(guān)的一些理論問題。1、可計算性理論（圖靈機(jī)極其變種，遞歸函數(shù)論等）；2、不動點理論（泛函的不動點，遞歸程序，程序驗證）；3、計算的復(fù)雜度。主要參考書：（1）計算的數(shù)學(xué)理論Z.Manna著，李玉茜等譯，科

2、學(xué)出版社，1986； （2）程序設(shè)計的數(shù)學(xué)基礎(chǔ)F.Beckman著，曹德和等譯，科學(xué)出版社，1991。序 號：3 課程編號：11D002課程名稱：物理化學(xué)前沿 任課教師：胡小玲 蘇克和英文譯名：Physic and Chemistry內(nèi)容簡介：“物理化學(xué)前沿”是運(yùn)用數(shù)學(xué)、物理學(xué)的理論和實驗方法，從三個層次，即宏觀的層次、從微觀到宏觀的層次以及微觀的層次來研究化學(xué)變化、相變化、平衡規(guī)律與物質(zhì)微觀結(jié)構(gòu)的關(guān)系。本課程分為平衡篇、速率篇、結(jié)構(gòu)篇和擴(kuò)展篇四部分。平衡篇著重在宏觀層次上討論平衡態(tài)與非平衡態(tài)在性質(zhì)與規(guī)律，主要分為平衡態(tài)唯象熱力學(xué)、平衡態(tài)統(tǒng)計熱力學(xué)、非平衡態(tài)唯象熱力學(xué)、非平衡態(tài)統(tǒng)計熱力學(xué)以及相

3、平衡和化學(xué)平衡。 速率篇在宏觀層次上研究化學(xué)動態(tài)學(xué)、化學(xué)振蕩與混沌、過渡狀態(tài)理論、單分子反應(yīng)理論以及傳遞現(xiàn)象和多相催化過程前沿等理論和方法。 結(jié)構(gòu)篇在微觀層次上闡明化學(xué)鍵、分子的熱運(yùn)動和分子間相互作用的本質(zhì)，在分子水平上預(yù)測物質(zhì)的各種宏觀特性。拓展篇將物理化學(xué)理論和研究方法，擴(kuò)展并應(yīng)用于界面現(xiàn)象、膠體、電解質(zhì)溶液以及化學(xué)電源和電化學(xué)反應(yīng)等，綜合討論這些系統(tǒng)的相平衡、化學(xué)平衡、傳遞速率和反應(yīng)速率的規(guī)律。主要參考書：（1）化學(xué)熱力學(xué) 韓德剛編著，高等教育出版社； （2）化學(xué)動力學(xué)和歷程 美 J.W.Moore 著，科學(xué)出版社； （3）結(jié)構(gòu)和物性周公度編著，高等教育出版社； （4）膠體與界面化學(xué)沈鐘

4、、王果庭編著，化學(xué)工業(yè)出版社；（5）物理化學(xué)參考胡英主編，高等教育出版社；（6）應(yīng)用電化學(xué)賈夢秋、楊文勝主編，高等教育出版社。序 號：4 課程編號：11D003課程名稱：近代統(tǒng)計方法 任課教師：師義民 徐偉 許勇英文譯名：An Introduction to Modern Mathematics Statistics先修要求：線性代數(shù)、概率論、數(shù)理統(tǒng)計內(nèi)容簡介：本課程主要介紹近代數(shù)理統(tǒng)計的基本理論、基本方法與在工程實際中的應(yīng)用，內(nèi)容包括抽樣分布、參數(shù)估計、統(tǒng)計決策與貝葉斯分析、可靠性統(tǒng)計等。主要參考書：（1）高等數(shù)理統(tǒng)計，茆詩松，王靜龍，濮小龍編，高等教育出版社，施普林格出版社，1998年。

5、（2）自編講義。序 號：5 課程編號：11D004課程名稱：近代數(shù)值分析 任課教師：車剛民 歐陽潔英文譯名：Modern Numerical Analysis先修要求：數(shù)值分析、線性代數(shù)、高等數(shù)學(xué)、泛函分析內(nèi)容簡介：1、求解線性方程組的并行算法；2、快速傅立葉變換以及小波分析；3、基于變分原理求解線性方程組以及矩陣特征值；4、非線性方程組求解算法；5、剛性常微分方程求解算法；6、常微分方程組求解算法；7、偏微分方程有限差分法；8、動力系統(tǒng)的離散化方法。主要參考書：（1）高等數(shù)值分析蔡大用、白峰杉，清華大學(xué)出版社，1997； （2）自編講義。序 號：6 課程編號：13D001課程名稱：英 語（一

6、外） 任課教師：王新國等英文譯名：English（The First Foreign Language for Doctor Degree）內(nèi)容簡介：按博士生第一外國語教學(xué)大綱要求序 號：7 課程編號：13D002課程名稱：德 語（一外） 任課教師：張鴻剛等英文譯名：German（The First Foreign Language for Doctor Degree）內(nèi)容簡介：按博士生第一外國語教學(xué)大綱要求。序 號：8 課程編號：13D003課程名稱：俄 語（一外） 任課教師：朱慧君等英文譯名：Russian（The First Foreign Language for Doctor Deg

7、ree）先修要求：大學(xué)俄語二、三、四、五冊內(nèi)容簡介：通過本課程的學(xué)習(xí)，使學(xué)生進(jìn)一步擴(kuò)大閱讀范圍，特別是專業(yè)俄語和報刊雜志的閱讀和翻譯能力，提高閱讀速度；提高口語會話能力及聽力理解能力；寫作水平有更大提高。主要參考書：（1）大學(xué)俄語六，外語教學(xué)與研究出版社，1998年1月； （2）俄原版雜志： , , 等, （3）俄原版報紙: , , , 等 （4）俄原版電影： , , , , , , 等序 號：9 課程編號：13D004課程名稱：日 語（一外） 任課教師：贠玉婷等英文譯名：High Japanese Reading先修要求：有一定的日語基礎(chǔ)內(nèi)容簡介：本課程的目的是為了幫助我校其他專業(yè)的博士生，

8、在已經(jīng)掌握一定日語語法的基礎(chǔ)上，進(jìn)一步豐富專業(yè)詞匯，擴(kuò)充語法知識，熟悉科技文章的翻譯技巧，以便能夠流暢自如地閱讀有關(guān)專業(yè)的日語文章。主要參考書：（1）日語中級閱讀（日）富岡純子、（日）高岡共著，上海外語教育出版社，2001年03月； （2）日語高級閱讀（日）柿倉郁子等共著，上海外語教育出版社，2001年03月； （3）現(xiàn)代科技日語楊秋香等編，北京語言學(xué)院出版社，2006年06月； （4）科技日語翻譯楊秋香等編，北京語言學(xué)院出版社，2008年04月。序 號：10 課程編號：13D005課程名稱：法 語（一外） 任課教師：史曉琴英文譯名：French（The First Foreign Langu

9、age for Doctor Degree）先修要求：具備完整的法語語音，掌握基本詞匯，基本語法知識，具有一定的閱讀能力，初步的聽、說、寫、譯的能力。內(nèi)容簡介：繼續(xù)鞏固、擴(kuò)充學(xué)生的法語語言知識，通過聽、說、讀、寫、譯五項技能的綜合訓(xùn)練，培養(yǎng)學(xué)生綜合運(yùn)用法語的能力。注重理解和速度這兩項基本功的訓(xùn)練。掌握基本而有效的閱讀技巧，擴(kuò)大詞匯量；加強(qiáng)培養(yǎng)學(xué)生在閱讀過程中的分析、推理和判斷能力。培養(yǎng)學(xué)生書寫各類應(yīng)用文、撰寫記事作文等能力，做到語言規(guī)范，句型結(jié)構(gòu)正確，用詞恰當(dāng)。熟練地掌握筆譯技巧。主要參考書：（1）法國語言與文化童佩智編，外語教學(xué)與研究出版社，2005年； （2）法語快速閱讀部分課文及各類測試

10、題，北京語言學(xué)院等編，北京語言學(xué)院出版社，1989年； （3）Reflet2，Gui Capelle, Nolle Gidon,2002.6； （4）法漢翻譯教程許鈞主編，上海外語教育出版社，2007年； （5）法語3，4 馬曉宏等編，外研社，1992.9。 序 號：11 課程編號：13D007課程名稱：國際會議交流英語 任課教師：孫瑜等英文譯名：English for International Conference Communication先修要求：高級英語寫作、科技英語論文寫作、高級英語口語內(nèi)容簡介：通過英語語言技能的綜合訓(xùn)練，結(jié)合大量的實例，圍繞國際學(xué)術(shù)會議的組織與主持，學(xué)術(shù)論文演講

11、稿的組織，論文演講的技能與技巧，即席提問與答辯等方面，為碩士、博士研究生參加國際學(xué)術(shù)會議進(jìn)行系統(tǒng)的指導(dǎo)與訓(xùn)練，提高學(xué)生的學(xué)術(shù)英語表達(dá)能力。主要參考書：（1）國際會議交流英語高等教育出版社，主編：胡庚申。序 號：12 課程編號：13D009課程名稱：英語科技論文寫作 任課教師：王新國 孟慶豐英文譯名：English Professional Paper Writing先修要求：英語寫作，具有大學(xué)英語四級水平以上內(nèi)容簡介：通過本課程的教學(xué)，使學(xué)生了解英語科技論文的基本結(jié)構(gòu)、寫作要求、語言特點、寫作技巧等，以及國內(nèi)外投稿、目標(biāo)刊物的選擇、投稿發(fā)表的基本程序、作者與刊物聯(lián)系等，進(jìn)一步提高其學(xué)術(shù)英語寫作

12、能力，特別是使用英語寫作和發(fā)表專業(yè)學(xué)術(shù)論文的實際能力。主要參考書：（1）英語論文寫作與發(fā)表，（English Paper Writing & Publication）胡庚申高等教育出版社, 2000.8； （2）英語科技論文撰寫與投稿（How to Write and Publish Scientific Papers in English） 任勝利，科學(xué)出版社 2001。序 號：13 課程編號：13D011課程名稱：中國馬克思主義與當(dāng)代 任課教師：員智凱英文譯名：Chinese Marxism & Modern Time先修要求：馬克思主義基本原理內(nèi)容簡介：主要運(yùn)用當(dāng)代中國馬克思主義的基本觀

13、點，深入分析當(dāng)代世界重大的社會問題、國際經(jīng)濟(jì)政治問題、當(dāng)代科學(xué)技術(shù)前沿問題、科學(xué)技術(shù)社會問題、當(dāng)代重大社會思潮問題。幫助博士生進(jìn)一步提高運(yùn)用馬克思主義的立場、觀點和方法分析解決問題的能力，增強(qiáng)科學(xué)文化與人文文化的融合，提高科學(xué)精神、科學(xué)思維、科學(xué)道德和科學(xué)責(zé)任的綜合素質(zhì)。主要參考書：（1）教育部編，中國馬克思主義與當(dāng)代，高等教育出版社，2011年； （2）員智凱、李輝編著，現(xiàn)代科技革命與馬克思主義，西北工業(yè)大學(xué)出版社，2004年序 號：14 課程編號：13N001課程名稱：英 語（二外） 任課教師：外語教師待定英文譯名：English (The Second Foreign Language)

14、內(nèi)容簡介：按博士生第二外國語教學(xué)大綱要求。序 號：15 課程編號：13N002課程名稱：德 語（二外） 任課教師：張鴻剛等英文譯名：German（The Second Foreign Language）先修要求：內(nèi)容簡介：按博士生第二外國語教學(xué)大綱要求。序 號：16 課程編號：13N003課程名稱：俄 語（二外） 任課教師：朱慧君等英文譯名：Russian（The Second Foreign Language）內(nèi)容簡介：學(xué)生在俄語二外班的學(xué)習(xí)，學(xué)完第一冊，包括俄語基本語法，日常會話及詞匯一千多，為以后的專業(yè)俄語閱讀打下基礎(chǔ)。主要參考書：（1）大學(xué)俄語一，外語教學(xué)與研究出版社，1996年9月；

15、 （2）俄原版宣傳電影： -, »。 序 號：17 課程編號：13N004課程名稱：日 語（二外） 任課教師：賀曉蓉等英文譯名：Japanese（The Second Foreign Language）內(nèi)容簡介：本課程的教學(xué)目的是培養(yǎng)學(xué)生學(xué)習(xí)日語的方法和對日語的全方位了解，通過100學(xué)時的學(xué)習(xí)，掌握日語基礎(chǔ)語法體系的概貌，打下比較堅實的自學(xué)基礎(chǔ)。同時，在授課中通過對日本的風(fēng)土人情和社會狀況的介紹，使學(xué)生對所學(xué)語言的文化背景知識有一個比較充分的了解。在授課方法上，注重通過中、日兩國語言的對比，在提高學(xué)生語言能力的同時，培養(yǎng)學(xué)生從不同角度看問題的思維方式。主要參考書： 采用教材:人民教育

16、出版社、日本光村圖書出版株式會社合編，中日交流標(biāo)準(zhǔn)日本語（初級上），人民教育出版社 2005.4；（1）人民教育出版社、日本光村圖書出版株式會社合編中日交流標(biāo)準(zhǔn)日本語初級上，人民教育出版社 2005.4； （2）人民教育出版社、日本光村圖書出版社合編，中日交流標(biāo)準(zhǔn)日本語會話篇 ，人民教育出版社，2002.4； （3）中日交流標(biāo)準(zhǔn)日本語語法詳解初級，劉曉華、羅麗杰主編，大連出版社，2006.6； （4）賀曉蓉等，初級日語試題及詳解上海交通大學(xué)出版社，2008.1；（5）王蜀豫等，進(jìn)級日語閱讀4-3級上海交通大學(xué)出版社，2007.8。序 號：18 課程編號：13N005課程名稱：法 語（二外） 任

17、課教師：史曉琴英文譯名：French (The First Foreign Language for Master Degree)先修要求：具備完整的語音知識，掌握基本詞匯和基本語法。內(nèi)容簡介：本課程教學(xué)旨在進(jìn)一步培養(yǎng)學(xué)生的語言技能和語言交際能力，使學(xué)生全面掌握基本的法語語法、詞匯等知識，并且能較熟練的運(yùn)用這些知識。貫徹實踐性與學(xué)以致用的原則，訓(xùn)練學(xué)生的快速閱讀能力、口筆譯能力和基本的寫作能力。主要參考書：（1）法語1，2，3，4，馬曉宏等編，外研社，1992.9 （2）新編大學(xué)法語1，2，3，4李志清等編，高等教育出版社，2003.6 （3）Reflet1,Gui Capelle, Noll

18、e Gidon,2002.6。序 號：19 課程編號：13N006課程名稱：英語寫作與口語 任課教師：外教英文譯名：English Writing and Speaking序 號：20 課程編號：13N00X課程名稱：第二外國語 任課教師：有關(guān)教師英文譯名：The Secend Foreign Language10院 計算機(jī)學(xué)院博士研究生課程簡介序 號：319 課程編號：107002課程名稱：并行計算理論 任課教師：朱怡安英文譯名：Parallel Computer System先修要求：計算機(jī)系統(tǒng)結(jié)構(gòu)、并行計算原理內(nèi)容簡介：主要講授并行計算機(jī)與并行處理領(lǐng)域的基本理論、最新的理論研究成果和工程

19、實踐成果。主要內(nèi)容有：1、并行計算理論；2、并行計算模型；3、并行算法；4、并行編程；5、并行計算機(jī)性能評價。6、并行計算應(yīng)用實例。主要參考書：（1）并行處理基本原理Harry F. Jordan Gita Alaghband 著，遲利華劉杰譯。清華大學(xué)出版社；（2）現(xiàn)代并行計算機(jī)原理康繼昌，朱怡安，西北工業(yè)大學(xué)出版社，1996；（3）K. Hwang, Z. Xu, Scalable Parallel Computing Technology, Architecture，Programming, McGraw-Hill, 1998 序 號：320 課程編號：107004課程名稱：現(xiàn)代分布計算

20、理論與技術(shù) 任課教師：周興社 谷建華英文譯名：Advanced Theory and Techniques on Distributed Computing先修要求：分布式計算系統(tǒng)、高級計算機(jī)網(wǎng)絡(luò)技術(shù)、普適計算系統(tǒng)內(nèi)容簡介：新型分布式計算模型，現(xiàn)代分布式計算系統(tǒng)結(jié)構(gòu)演化，分布式服務(wù)資源管理算法，分布式實時資源管理算法，分布式計算系統(tǒng)性能評測以及現(xiàn)代分布式計算應(yīng)用系統(tǒng)設(shè)計與實現(xiàn)等。主要參考書：最新相關(guān)學(xué)術(shù)期刊和學(xué)術(shù)會議文獻(xiàn)序 號：321 課程編號：107005課程名稱：現(xiàn)代數(shù)據(jù)管理理論與技術(shù) 任課教師：李戰(zhàn)懷英文譯名：Advanced Theory and Techniques on Data

21、Management先修要求：數(shù)據(jù)庫系統(tǒng)原理內(nèi)容簡介：數(shù)據(jù)管理是信息處理系統(tǒng)中的核心技術(shù)。本課程的主要內(nèi)容如下：1、空間數(shù)據(jù)庫技術(shù)；2、多媒體數(shù)據(jù)庫；3、分布式數(shù)據(jù)庫；4、WEB 與數(shù)據(jù)庫；5、數(shù)據(jù)庫管理系統(tǒng)的實現(xiàn)技術(shù)；6、數(shù)據(jù)庫領(lǐng)域的其他專題。主要參考書：（1）Jeffrey D.Ullman “數(shù)據(jù)庫系統(tǒng)實現(xiàn)” 機(jī)械工業(yè)出版社,2001；（2）Jeffrey D.Ullman “Principles of Database and Knowledge base Systems” Computer Science Press ,1988。（3）其他本領(lǐng)域新出版的專著與教材。 序 號：322

22、課程編號：107007課程名稱：專用微電子系統(tǒng)設(shè)計 任課教師：樊曉椏英文譯名：Microelectronics System Design先修要求：數(shù)字電路、計算機(jī)原理及系統(tǒng)結(jié)構(gòu)、VLSI系統(tǒng)及電路設(shè)計內(nèi)容簡介：1、微電子系統(tǒng)簡介：微電子發(fā)展、系統(tǒng)集成的概念、技術(shù)關(guān)鍵、研究前沿、發(fā)展趨勢。2、多發(fā)射技術(shù)：超標(biāo)量、超長指令字、并行譯碼及執(zhí)行、亂序執(zhí)行、相關(guān)及解決技術(shù)。3、多線程技術(shù)：線程調(diào)度、資源管理、沖突解決、線程優(yōu)化。4:、多核架構(gòu)：多核SMT、CMP結(jié)構(gòu)、眾核、GPU等。5、異步時序技術(shù)：異步時序問題、時序安排、時序優(yōu)化、非時序化設(shè)計。6、微系統(tǒng)軟硬件分配：界面劃分、目標(biāo)優(yōu)化、系統(tǒng)可重構(gòu)。

23、主要參考書：（1）IEEE Transactions on Computers； （2）Electronics； （3）IEEE Micros； （4）IEEE Design & Test of Computers； （5）IEEE Transactions on Very Large Scale (VLSI) Systems； （6）International Symposium of Computer Architecture。序 號：323 課程編號：107008課程名稱：EDA設(shè)計方法學(xué) 任課教師：張盛兵英文譯名：Electronics Design Automation Techno

24、logy先修要求：數(shù)字電路、VLSI系統(tǒng)與電路設(shè)計、硬件描述語言內(nèi)容簡介：1、電子設(shè)計自動化概述：電子設(shè)計自動化的發(fā)展、數(shù)字系統(tǒng)設(shè)計的流程、主要研究領(lǐng)域、HDL語言等。2、邏輯綜合：布爾函數(shù)的立方體表示與運(yùn)算、單輸出函數(shù)和多輸出函數(shù)的自動綜合、組合邏輯電路的變換、時序邏輯電路的綜合等。3、高層次綜合：控制數(shù)據(jù)流圖、調(diào)度技術(shù)、分配技術(shù)、優(yōu)化技術(shù)等。4、模擬：模擬的目的和方法、邏輯模擬的模型和算法、高層次模擬等。5、測試：測試技術(shù)簡介、常用測試圖案生成算法、故障仿真、可測試性設(shè)計、可測試性綜合等。6、形式驗證：形式驗證的目的和基本方法、基于符號處理的形式推理方法、基于時序邏輯的驗證等。7、低功耗設(shè)

25、計：功耗來源與模型、功耗分析方法、低功耗設(shè)計技術(shù)等。主要參考書：（1）數(shù)字系統(tǒng)設(shè)計自動化薛宏熙，邊計年，蘇明，清華大學(xué)出版社，1996； （2）DAC、ICCAD、DATE、ITC等國際會議論文集，IEEE Design & Test of Computers、IEEE Transactions on Very Large Scale (VLSI) Systems等期刊。 序 號：324 課程編號：107009課程名稱：計算機(jī)視覺 任課教師：張艷寧 鄭江濱英文譯名：Computer Vision先修要求：數(shù)字圖象處理內(nèi)容簡介：計算機(jī)視覺（機(jī)器視覺或機(jī)器人視覺）是研究使計算機(jī)或機(jī)器具有類似于人眼

26、視覺功能的，為博士研究生開設(shè)的一門課程，它不僅在計算機(jī)智能接口的研究中具有重要作用，而且在智能機(jī)器人研制及其他需要利用機(jī)器觀察三維景物的場合，也都是必不可少的。計算機(jī)視覺課程的研究內(nèi)容如下：1、圖像表示與攝像機(jī)標(biāo)定；2、深度與表面方向信息的獲?。?、立體視覺；4、深度數(shù)據(jù)的處理；5、三維場景的描述與表示；6、視覺信息的知識表示和應(yīng)用；7、基于模型的圖像理解；8、時間序列（視頻）圖像分析；9、主動視覺。主要參考書：（1）計算機(jī)視覺，David A. Forsyth, Jean Donce, 著，林學(xué)閭，王宏等譯，電子工業(yè)出版社，2004； （2）機(jī)器視覺，賈云得，科學(xué)出版社，2000； （3）計

27、算機(jī)視覺中的數(shù)學(xué)方法，吳福朝，科學(xué)出版社，2010； （4）機(jī)器視覺算法與應(yīng)用，Carster Steger，楊少榮等譯，清華大學(xué)出版社，2010。 序 號：325 課程編號：107013課程名稱：數(shù)字視頻分析 任課教師：王慶 鄭江濱英文譯名：Digital Video Analysis先修要求：數(shù)字圖象處理內(nèi)容簡介：1.數(shù)字視頻處理基礎(chǔ) 2.時變圖像構(gòu)成模型 3.二維運(yùn)動估計 4.三維運(yùn)動估計與分割 5.目標(biāo)跟蹤 6.數(shù)字視頻濾波 7.數(shù)字視頻編碼 8.數(shù)字視頻水印 9.多視角視頻分析 10.基于內(nèi)容的視頻分析與檢索主要參考書：（1）黎洪松，數(shù)字視頻處理，北京郵電大學(xué)出版社，2006； （2

28、）A.MURAT TEKALP，數(shù)字視頻處理，電子工業(yè)出版社，1998.7； （3）劉富強(qiáng)編，數(shù)字視頻信息處理與傳輸教程，機(jī)械工業(yè)出版社，2004.8； （4）Alan Bovik，圖像與視頻處理手冊，電子工業(yè)出版社，2006.12。序 號：326 課程編號：107015課程名稱：多媒體通信技術(shù) 任課教師：李偉華英文譯名：Multimedia Communication Technology先修要求：計算機(jī)網(wǎng)絡(luò)，多媒體技術(shù)，數(shù)據(jù)庫概論內(nèi)容簡介：1、概論 2、多媒體信息壓縮編碼 3、支持多媒體傳輸?shù)母咚倬W(wǎng)絡(luò)技術(shù) 4、支持多媒體通信的網(wǎng)絡(luò)協(xié)議 5、多媒體存儲技術(shù) 6、多媒體數(shù)據(jù)庫 7、多媒體通信傳

29、輸 8、多媒體服務(wù)質(zhì)量管理 9、多媒體通信應(yīng)用 10、全互多媒體通信系統(tǒng)實例。主要參考書：（1）Multimedia : Computing Communication & Applications 清華大學(xué)出版社 1996； （2）多媒體技術(shù)原理及應(yīng)用馬華東，清華大學(xué)出版社 2002.8； （3）分布式多媒體技術(shù)導(dǎo)論劉積仁，電子工業(yè)出版社 1999.7； （4）多媒體通信技術(shù)蔡皖東，西安電子科技大學(xué)出版社 2000。序 號：327 課程編號：107017課程名稱：形式語義學(xué) 任課教師：趙政文英文譯名：The Formal Semantics先修要求：程序設(shè)計語言原理、編譯原理、離散數(shù)學(xué)、組合

30、數(shù)學(xué)內(nèi)容簡介：主要介紹支撐程序設(shè)計語言形式語義的數(shù)學(xué)理論，方法和概念，涉及集合論、指稱語義、操作語義、公理定義、歸納原理、完備性、域論、不確定性和并行性等方面的知識。本課程重點介紹以下內(nèi)容：1、集合論基礎(chǔ)；2、操作語義；3、歸納原理；4、歸納定義；5、指稱語義；6、公理定義；7、霍爾規(guī)則的完備性；8、域論；9、高階類型語言；10、遞歸類型；不確定性和并行性主要參考書：（1）程序設(shè)計語言的形式語義Glynn Winskel 著宋國新邵志清等譯; 機(jī)械工業(yè)出版社；（2）The Formal Semantics of Programming Languages An IntroductionGlyn

31、n Winskel。 序 號：328 課程編號：107018 課程名稱：可信計算與信息安全 任課教師：蔡皖東 李勇軍英文譯名：Trusted Computing and Information Security先修要求：計算機(jī)網(wǎng)絡(luò)、網(wǎng)絡(luò)信息安全內(nèi)容簡介：1、可信計算平臺技術(shù)；2、可信度量理論與方法；3、可信計算系統(tǒng)認(rèn)證技術(shù)；4、可信軟件設(shè)計與評估技術(shù)；5、可信移動計算理論與算法；6、信息安全保障技術(shù)；7、信息系統(tǒng)安全測評技術(shù)；8、數(shù)字內(nèi)容版權(quán)保護(hù)技術(shù)。 主要參考書：可信計算與信息安全文獻(xiàn)匯編。序 號：329 課程編號：107019課程名稱：統(tǒng)計學(xué)習(xí)理論及應(yīng)用 任課教師：李映 張艷寧英文譯名：S

32、tatistical Learning Theory and Application 先修要求：概率論與數(shù)理統(tǒng)計，人工智能內(nèi)容簡介：本課程旨在對目前主流的統(tǒng)計學(xué)習(xí)理論，方法及算法，應(yīng)用做總體介紹。包括（1）統(tǒng)計學(xué)習(xí)總論；（2）監(jiān)督學(xué)習(xí)；（3）非監(jiān)督學(xué)習(xí)；（4）半監(jiān)督學(xué)習(xí)；（4）貝葉斯學(xué)習(xí)；（5）提升學(xué)習(xí)；（6）正則化方法；（7）核方法；（8）集成學(xué)習(xí)。詳細(xì)闡述各種學(xué)習(xí)的理論，模型及算法，應(yīng)用。課程強(qiáng)調(diào)理論與應(yīng)用結(jié)合，要求學(xué)生對國際上統(tǒng)計學(xué)習(xí)理論研究及應(yīng)用領(lǐng)域的現(xiàn)狀和發(fā)展有較全面地把握和及時了解，掌握其中的主流學(xué)習(xí)方法和模型，并能根據(jù)實際問題的需要選擇并實現(xiàn)相應(yīng)的算法。主要參考書：（1）T. H

33、astie, R. Tibshirani et al, 統(tǒng)計學(xué)習(xí)基礎(chǔ), 電子工業(yè)出版社, 2001；（2） HYPERLINK /mn/detailApp/ref=sr_1_1?_encoding=UTF8&s=books&qid=1292036379&asin=B001XUR62G&sr=8-1 統(tǒng)計學(xué)習(xí)理論 Vladimir N.Vapnik、許建華、張學(xué)工，電子工業(yè)出版社 2009.3。序 號：330 課程編號：107020課程名稱：混合信號VLSI設(shè)計 任課教師：魏廷存英文譯名：Mixed-Signal VLSI Design先修要求：模擬CMOS集成電路設(shè)計、VLSI系統(tǒng)與電路設(shè)計內(nèi)

34、容簡介：主要介紹混合信號VLSI系統(tǒng)的構(gòu)成、所面臨的設(shè)計挑戰(zhàn)、混合信號VLSI設(shè)計方法學(xué)以及典型的混合信號VLSI設(shè)計。主要內(nèi)容有：1）混合信號VLSI系統(tǒng)的構(gòu)成；2）混合信號VLSI系統(tǒng)所面臨的設(shè)計挑戰(zhàn)；3）混合信號VLSI設(shè)計方法學(xué)；4）高速ADC與DAC；5）Sigma-delta ADC與DAC；6）RF CMOS電路；7）PLL與DLL電路；8）CMOS Image Sensor與LCD driver IC；9）前端微弱信號讀出與處理電路。主要參考書：(1）CMOS: 混合信號電路設(shè)計，(美) R.J.貝克(R. Jacob Baker) 編，沈樹群等譯，科學(xué)出版社，2005年(2）

35、“Principles of Top-Down Mixed-Signal Design”，Ken Kundert，The Designers Guide Community，2003.(3）“Embedding Mixed-Signal Design in Systems-on-Chip”，Jan M. Rabaey，etc，2006.(4）“Design of Mixed-Signal Systems on Chip”，Ken Kundert，etc. The Designers Guide Community，2000(5）“A top down mixed-signal design methodology using a mixed-signal simulator and analog HDL”，Toshio Murayama (Sony)，etc. 1996.序 號：331 課程編號：107021課程名稱：社會化感知計算 任課教師：於