美國計(jì)算機(jī)專業(yè)分支（二）

五. 編程語言 Programming Languages

包括開發(fā)新型編程語言以實(shí)用高效地開發(fā)可靠的軟件，計(jì)算機(jī)輔助語言學(xué)習(xí)，計(jì)算語言學(xué)，從初階的打字理論，自動(dòng)定理證明，語義學(xué)等發(fā)展到如今的基于語言的途徑以解決計(jì)算機(jī)安全與分布式編程中的重大問題，語言應(yīng)用，編程分析與優(yōu)化等，可以從根本上提高軟件可靠性與安全性。包含如下一些課題：(1)程序語言設(shè)計(jì)和實(shí)現(xiàn)(Programming Language Design and Implementation)：編譯器優(yōu)化(Compiler optimization)，語義(Semantics)，即時(shí)編譯器(JIT complier)，域特定語言(DSL：Domain-specific languages)。(2)編程環(huán)境和工具(Programming Environments and Tools)：監(jiān)控(Monitoring)，程序員搜索引擎(Programmer search engines)，基于模型的設(shè)計(jì)(Model-based design)。(3)程序分析和驗(yàn)證(Program Analysis and Verification)：模型檢測(cè)(Model checking)，靜態(tài)和動(dòng)態(tài)分析(Static and dynamic analysis)，定理證明(Theorem proving)，實(shí)時(shí)系統(tǒng)的任務(wù)調(diào)度分析(Schedulability analysis for real-time systems)。

六. 數(shù)據(jù)庫與信息系統(tǒng) Database and Information Systems

與數(shù)據(jù)管理相關(guān)的所有方面，包括數(shù)據(jù)存儲(chǔ)，數(shù)據(jù)檢索，數(shù)據(jù)分析和視覺化，如為超大型數(shù)據(jù)組開發(fā)高效算法，為各種新型的應(yīng)用領(lǐng)域建立大型的數(shù)據(jù)系統(tǒng)，也有與其他領(lǐng)域進(jìn)行跨學(xué)科的研究，可應(yīng)用的領(lǐng)域有電腦游戲設(shè)計(jì)，數(shù)據(jù)隱私與安全等。包括以下研究內(nèi)容：(1)數(shù)據(jù)庫(Database)：數(shù)據(jù)模型，數(shù)據(jù)查詢、集成，各種數(shù)據(jù)庫系統(tǒng)的設(shè)計(jì)、實(shí)現(xiàn)等。(2)數(shù)據(jù)挖掘(Data Mining)：從數(shù)據(jù)中提取模式的處理過程。它在很多領(lǐng)域有廣泛的應(yīng)用，例如市場(chǎng)營銷、監(jiān)測(cè)、入侵檢測(cè)和科學(xué)發(fā)現(xiàn)。數(shù)據(jù)挖掘和機(jī)器學(xué)習(xí)很相關(guān)，但是數(shù)據(jù)挖掘更關(guān)注實(shí)際應(yīng)用。(3)信息檢索(Information Retrieval)：研究如何提取各種媒體(文本、音頻、視頻等，目前的研究以文本居多)中的信息，同時(shí)還搜索與之關(guān)聯(lián)的數(shù)據(jù)庫和萬維網(wǎng)。(4)自然語言處理(Natural language processing)：構(gòu)建一種可以分析、理解和生成自然語言的計(jì)算機(jī)系統(tǒng)。研究課題包含自動(dòng)摘要(automatic summarization)，語篇分析(discourse analysis)，機(jī)器翻譯(machine translation)，命名實(shí)體識(shí)別(named entity recognition)，自然語言生成(natural language generation)和語音識(shí)別(speech recognition)等。

七. 圖形學(xué)與多媒體 Graphics and Multimedia

圖形學(xué)的研究包含對(duì)自然景象的建模和動(dòng)畫生成(modeling and animation of natural phenomena)，計(jì)算拓?fù)鋵W(xué)(computational topology)，圖形硬件的使用(graphics hardware utilization)，渲染(rendering)，網(wǎng)格處理和簡化(mesh processing and simplification)，形狀建模(shape modeling)，曲面參數(shù)化(surface parameterization)和可視化處理(visibility processing)等。

多媒體研究包括圖像處理(image processing)，視頻處理(video processing)，音頻分析(audio analysis)，文本檢索和理解(text retrieval and understanding)，數(shù)據(jù)挖掘和分析，以及數(shù)據(jù)融合(data fusion)。因?yàn)槎嗝襟w數(shù)據(jù)包含不同格式的數(shù)據(jù)(如文本，音頻，視頻)，所以它的研究包含很多不同領(lǐng)域的技術(shù)和理論。

>>免費(fèi)領(lǐng)全球留學(xué)白皮書，了解各大學(xué)報(bào)考條件、費(fèi)用、開學(xué)時(shí)間、含金量<<