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

五. 編程語言 Programming Languages

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

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

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

七. 圖形學與多媒體 Graphics and Multimedia

圖形學的研究包含對自然景象的建模和動畫生成(modeling and animation of natural phenomena)，計算拓撲學(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)。因為多媒體數(shù)據(jù)包含不同格式的數(shù)據(jù)(如文本，音頻，視頻)，所以它的研究包含很多不同領域的技術和理論。

>>免費領全球留學白皮書，了解各大學報考條件、費用、開學時間、含金量<<