計算機科學與技術(shù)學科知識體系.doc

計算機科學與技術(shù)學科知識體系 下面是14個知識領(lǐng)域（ area）及其中的知識單元（llnits）和知識點（topiCS）的描述：1離散結(jié)構(gòu)（DS）1.1函數(shù)、關(guān)系和集合（核心）DS11.1.1函數(shù)DS滿射到內(nèi)的映射逆函數(shù)復(fù)合函數(shù)1.1.2關(guān)系自反對稱傳遞等價關(guān)系1.1.3集合文氏圖補集笛卡兒集冪集1.1.4鴿籠原理1.1.5基數(shù)性和可數(shù)性1.2基本邏輯（核心）1.2.1命題邏輯1.2.2邏輯連接詞1.2.3真值表1.2.4范式合取式析取式1.2.5永真性1.2.6謂詞邏輯1.2.7全稱量詞和存在量詞1.2.8假言推理、否定式推理1.2.9謂詞邏輯的局限性1.3證明技巧（核心）1.3.1蘊涵、逆、逆反、置換、非、永假等概念1.3.2形式證明結(jié)構(gòu)1.3.3直接證明1.3.4反例證法1.3.5逆反式證明法1.3.6反證法1.3.7數(shù)學歸納法1.3.8強歸納法1.3.9遞歸數(shù)學定義1.3.10良序1.4計數(shù)基礎(chǔ)（核心）1.4.1計數(shù)變元1.4.2求和與相乘的規(guī)則1.4.3包含排斥1.4.4算術(shù)和幾何級數(shù)1.4.5斐波那契（Fibonacci）數(shù)列1.4.6排列組合1.4.7基本定義1.4.8恒等式1.4.9二項式定理1.4.10遞歸關(guān)系1.4.11實例1.4.12 Master原理1.5圖與樹（核心）1.5.1樹1.5.2無向圖1.5.3有向圖1.5.4生成樹1.5.5遍歷策略1.6離散概率1.6.1有限概率空間、概率度量、事件1.6.2條件概率、獨立性、貝葉斯規(guī)則1.6.3 整型隨機變量、期望2程序設(shè)計基礎(chǔ)（PF）2.1程序設(shè)計基本結(jié)構(gòu)（核心）2.1.1變量、類型、表達式和語句2.1.2高級語言的基本語法和語義2.1.3輸人和輸出基礎(chǔ)2.1.4順序、條件和循環(huán)控制結(jié)構(gòu)2.1.5函數(shù)定義、函數(shù)調(diào)用和參數(shù)傳遞2.1.6程序結(jié)構(gòu)分解基礎(chǔ)2.2算法與問題求解（核心）2.2.1問題求解策略2.2.2問題求解算法2.2.3算法實現(xiàn)策略2.2.4調(diào)試策略2.2.5算法的概念和特性2.3基本數(shù)據(jù)結(jié)構(gòu)（核心）2.3.1基本類型2.3.2數(shù)組2.3.3記錄2.3.4字符串和字符串處理2.3.5數(shù)據(jù)在存儲器中的表示2.3.6靜態(tài)分配、棧式分配和堆式分配2.3.7運行時的存儲器管理2.3.8指針和引用2.3.9鏈式結(jié)構(gòu)2.3.10棧、隊列和哈希表的實現(xiàn)策略2.3.11樹和圖的實現(xiàn)策略2.3.12數(shù)據(jù)結(jié)構(gòu)的應(yīng)用和選擇策略2.4遞歸（核心）2.4.1遞歸的概念2.4.2遞歸數(shù)學函數(shù)2.4.3遞歸過程2.4.4分治法2.4.5回溯法2.4.6遞歸的實現(xiàn)2.5事件驅(qū)動程序設(shè)計（核心）2.5.1事件處理方法2.5.2事件傳播2.5.3異常處理3算法與復(fù)雜性（AL）3.1算法分析基礎(chǔ)（核心）3.1.1復(fù)雜性上界和平均復(fù)雜性的漸近分析3.1.2最佳、最差和平均情況下的復(fù)雜性差異3.1.3大O，小o，和符號3.1.4標準復(fù)雜性類3.1.5性能的經(jīng)驗度量3.1.6算法時間、空間復(fù)雜性的權(quán)衡3.1.7用遞歸關(guān)系分析遞歸算法3.2算法策略（核心）3.2.1窮舉算法3.2.2貪心算法3.2.3分治算法3.2.4回溯法3.2.5分支界限法3.2.6試探法3.2.7模式匹配和字符串文本匹配算法3.2.8數(shù)值逼近算法3.3基本算法（核心）3.3.1簡單數(shù)值算法3.3.2順序查找算法和折半查找算法3.3.3二次排序算法選擇排序插人排序3.3.4復(fù)雜度為 O（N log N）排序算法快速排序堆排序歸并排序3.3.5哈希（ Hash）表，包括沖突消解策略3.3.6二叉查找樹3.3.7圖的表示鄰接表鄰接矩陣3.3.8深度優(yōu)先遍歷3.3.9廣度優(yōu)先遍歷3.3.10最短路徑算法（Dijkstra和Floyd算法3.3.11傳遞閉包（FIoyd算法）3.3.12最小生成樹（Prim算法和Kruskal算法）3.3.13拓撲排序3.4分布式算法（核心）3.4.1一致性和選擇3.4.2終止探測3.4.3容錯3.4.4穩(wěn)定性3.5可計算性理論基礎(chǔ)（核心）3.5.1有限狀態(tài)自動機3.5.2上下文無關(guān)文法3.5.3易解問題和難解問題3.5.4不可計算函數(shù)3.5.5停機問題3.5.6不可計算性的含義3.6復(fù)雜性類：P類和NP類（選修）3.6.1 P類和NP類的定義3.6.2 NP完全性3.6.3基本的NP完全問題3.6.4歸約技術(shù)3.7自動機理論（選修）3.7.1確定的有限自動機（DFA）3.7.2非確定的有限自動機（NFA）3.7.3 DFA和NFA的等價性3.7.4正則表達式3.7.5正則表達式的泵引理3.7.6下推自動機（PDA）3.7.7 PDA和上下文無關(guān)文法的關(guān)系3.7.8上下文無關(guān)文法的特性3.7.9圖靈機3.7.10非確定的圖靈機3.7.11集合和語言3.7.12 Chomsky文法分類3.7.13 ChurchTuring論題3.8高級算法分析（選修）3.8.1退火算法分析3.8.2聯(lián)機算法和脫機算法3.8.3隨機算法3.8.4動態(tài)程序設(shè)計3.8.5組合優(yōu)化3.9加密算法（選修）3.9.1密碼學史回顧3.9.2私鑰密碼和密鑰交換問題3.9.3公鑰密碼3.9.4數(shù)字簽名3.9.5安全協(xié)議3.9.6應(yīng)用（零知識證明，認證系統(tǒng)等等）3.10幾何算法（選修）3.10.1線段的性質(zhì)和線段相交性3.10.2求凸包算法3.11并行算法（選修）3.11.1 PRAM模型3.11.2互斥讀寫與并發(fā)讀寫3.11.3指針跳轉(zhuǎn)3.11.4 Brent定理和工作效率4計算機組織與體系結(jié)構(gòu)(AR)4.1數(shù)字邏輯與數(shù)字系統(tǒng)（核心）4.1.1計算機發(fā)展歷史回顧4.1.2基本的組成元件（邏輯門，觸發(fā)器，計數(shù)器，寄存器，PLA）4.1.3邏輯表達式，最小化，寄存器傳輸?shù)谋硎?，物理特性（門延遲，扇入，扇出）4.1.4計算機的基本組成，硬件結(jié)構(gòu)，軟件的概念，計算機語言及其編譯4.1.5計算機系統(tǒng)結(jié)構(gòu)的概念，性能評價4.2數(shù)據(jù)的機器級表示（核心）4.2.1數(shù)值表示和數(shù)制4.2.2定點數(shù)和浮點數(shù)系統(tǒng)4.2.3有符號數(shù)的表示方法和基本運算方法4.2.4非數(shù)值數(shù)據(jù)的表示（如字符代碼和圖象數(shù)據(jù)）4.2.5系統(tǒng)可靠性與糾錯碼4.2.6數(shù)據(jù)運算器的結(jié)構(gòu)4.3匯編級機器組織（核心）4.3.1指令格式4.3.2數(shù)據(jù)的存儲方式與尋址方式4.3.3指令集及其分類（數(shù)據(jù)操作，控制，輸入輸出）4.3.4子程序調(diào)用和返回機制4.3.5匯編語言和機器語言編程基礎(chǔ)4.4存儲系統(tǒng)組織和結(jié)構(gòu)（核心）4.4.1存儲器件類型及其工作原理4.4.2主存儲器的組織和操作4.4.3存儲器的延遲，工作周期，帶寬提高和交叉存儲技術(shù)4.4.4層次化存儲系統(tǒng)4.4.5高速緩沖存儲器（地址映射，塊大小，替換和更新機制）4.4.6虛擬存儲器（頁表，TLB快表）4.5接口和通信（核心）4.5.1輸人輸出基本原理，信號交換，緩沖存儲4.5.2程序控制 IO，中斷驅(qū)動 IO，DMA4.5.3中斷結(jié)構(gòu)，向量化和優(yōu)先級化，中斷識別4.5.4外部存儲器的物理組織及驅(qū)動4.5.5總線和總線協(xié)議，仲裁機構(gòu)和直接存儲器存取（DMA）4.5.6多媒體支持4.5.7 RAID系統(tǒng)結(jié)構(gòu)4.6功能組織（核心）4.6.1簡單的數(shù)據(jù)通路實現(xiàn)4.6.2控制單元，硬連線實現(xiàn)和微程序?qū)崿F(xiàn)4.6.3指令讀取、解碼和執(zhí)行4.6.4異常與中斷4.6.5指令流水技術(shù)，指令級并行（ ILP）技術(shù)與循環(huán)級并行技術(shù)4.7多處理和其他系統(tǒng)結(jié)構(gòu)（核心）4.7.1 SIMD，MIMD，VLIW和 EPIC4.7.2網(wǎng)絡(luò)互聯(lián)（超立方體，混洗交換，網(wǎng)格結(jié)構(gòu)，交叉開關(guān)結(jié)構(gòu)）4.7.3共享存儲系統(tǒng)4.7.4 cache一致性4.7.5存儲模型和存儲一致性4.8性能提高技術(shù)（選修）4.8.1超標量體系結(jié)構(gòu)4.8.2分支預(yù)測4.8.3指令預(yù)取4.8.4推測執(zhí)行4.8.5多線程4.9網(wǎng)絡(luò)與分布式系統(tǒng)結(jié)構(gòu)（選修）4.9.1 LAN與 WAN4.9.2網(wǎng)絡(luò)的分層協(xié)議4.9.3分布式算法對系統(tǒng)結(jié)構(gòu)的影響4.9.4網(wǎng)絡(luò)計算4.9.5分布式多媒體5操作系統(tǒng)（OS）5.1操作系統(tǒng)概述（核心）5.1.1操作系統(tǒng)的作用和目的5.1.2操作系統(tǒng)的發(fā)展歷史5.1.3操作系統(tǒng)的特征和功能5.1.4支持客戶服務(wù)器模型和手提設(shè)備的機制5.1.5有關(guān)有效性、健壯性、靈活性、可移植性、安全性、兼容性的設(shè)計問題5.1.6安全性、網(wǎng)絡(luò)化、多媒體、視窗所帶來的影響5.2操作系統(tǒng)原理（核心）5.2.1結(jié)構(gòu)化方法（整體的、分層的、模塊化的、微內(nèi)核模型）5.2.2抽象、進程、資源5.2.3應(yīng)用程序接口（API）的基本概念5.2.4應(yīng)用的需求以及軟、硬件技術(shù)的發(fā)展5.2.5設(shè)備的組織5.2.6中斷的方法和實現(xiàn)5.2.7用戶系統(tǒng)狀態(tài)及其保護，以及用戶系統(tǒng)狀態(tài)轉(zhuǎn)換到核心態(tài)的原理5.3并發(fā)性（核心）5.3.1狀態(tài)和狀態(tài)圖5.3.2就緒隊列、進程控制塊等的結(jié)構(gòu)5.3.3調(diào)度和狀態(tài)轉(zhuǎn)換5.3.4中斷的作用5.3.5并發(fā)執(zhí)行的優(yōu)點和缺點5.3.6互斥問題和一些解決的方法5.3.7死鎖的產(chǎn)生、條件及其預(yù)防措施5.3.8信號量、監(jiān)控、條件變量、聚集的模型和機制5.3.9生產(chǎn)者消費者問題和同步5.3.10多處理器自旋鎖定和重入的問題5.4調(diào)度與分派（核心）5.4.1搶占和非搶占調(diào)度5.4.2調(diào)度和策略5.4.3進程和線程5.4.4里程碑和實時問題5.5內(nèi)存管理（核心）5.5.1物理內(nèi)存和內(nèi)存管理硬件的回顧5.5.2覆蓋、交換、分區(qū)5.5.3內(nèi)存分頁和分段5.5.4分配和淘汰策略5.5.5工作集和系統(tǒng)顛簸5.5.6高速緩存5.6設(shè)備管理（核心）5.6.1串行和并行設(shè)備的特點5.6.2設(shè)備的分類5.6.3緩沖策略5.6.4直接存儲器訪問（DMA）5.6.5故障恢復(fù)5.7安全與保護（核心）5.7.1系統(tǒng)安全概論5.7.2策略機制分離5.7.3安全方法和設(shè)備5.7.4保護、訪問、身份驗證5.7.5保護模型5.7.6內(nèi)存保護5.7.7加密技術(shù)5.7.8恢復(fù)管理5.8文件系統(tǒng)（核心）5.8.1文件中的數(shù)據(jù)和元數(shù)據(jù)，文件的操作、組織及緩沖，順序文件和非順序文件5.8.2目錄的內(nèi)容和結(jié)構(gòu)5.8.3文件系統(tǒng)（磁盤分區(qū)、文件的安裝卸載、虛擬文件系統(tǒng)）5.8.4標準的實現(xiàn)技術(shù)5.8.5內(nèi)存映像文件5.8.6特定用途的文件系統(tǒng)5.8.7文件的命名、搜索、訪問、備份5.9實時和嵌入式系統(tǒng)（選修）5.9.1進程和任務(wù)調(diào)度5.9.2實時環(huán)境中內(nèi)存硬盤管理所需要的條件5.9.3故障、風險、恢復(fù)5.9.4實時系統(tǒng)中需考慮的特殊問題5.10容錯（選修）5.10.1基本概念（可靠性和可用性系統(tǒng)）5.10.2空間和時間冗余5.10.3實現(xiàn)容錯的方法5.10.4可靠系統(tǒng)的實例5.11系統(tǒng)性能評價（選修）5.11.1系統(tǒng)性能評價的意義5.11.2評價的內(nèi)容5.11.3高速緩存、內(nèi)存分頁、調(diào)度安排、內(nèi)存管理、安全等策略5.11.4確定型的、分析型的、仿真型的、具體實現(xiàn)型的評估模型5.11.5收集評估數(shù)據(jù)的方法（剖析和追蹤機制）5.12腳本（選修）5.12.1腳本和腳本語言的作用5.12.2基本系統(tǒng)命令5.12.3建立腳本、傳遞參數(shù)5.12.4執(zhí)行一個腳本5.12.5腳本對編程的影響6網(wǎng)絡(luò)及其計算（ NC ）6.1網(wǎng)絡(luò)及其計算介紹（核心）6.1.1網(wǎng)絡(luò)和因特網(wǎng)發(fā)展的歷史和背景6.1.2網(wǎng)絡(luò)體系結(jié)構(gòu)6.1.3網(wǎng)絡(luò)及其計算的主要內(nèi)容6.1.4網(wǎng)絡(luò)和協(xié)議6.1.5網(wǎng)絡(luò)多媒體系統(tǒng)6.1.6分布式計算6.1.7移動和無線計算6.2通信與網(wǎng)絡(luò)（核心）6.2.1網(wǎng)絡(luò)標準與相關(guān)標準化組織6.2.2 ISO七層參考模型和 TCPIP模型6.2.3電路交換和分組交換6.2.4流和數(shù)據(jù)報6.2.5網(wǎng)絡(luò)物理層概念：理論基礎(chǔ)、傳輸媒體、標準以及接口6.2.6數(shù)據(jù)鏈路層概念：組幀、差錯控制、流量控制和協(xié)議6.2.7互聯(lián)和路由：路由算法、擁塞控制以及網(wǎng)絡(luò)互聯(lián)6.2.8傳輸層服務(wù)：連接的建立與釋放、性能問題、傳輸層的基本元素6.3網(wǎng)絡(luò)安全（核心）6.3.1密碼學基礎(chǔ)6.3.2密鑰算法6.3.3公鑰算法6.3.4認證協(xié)議6.3.5數(shù)字簽名6.3.6舉例6.4客戶服務(wù)器計算舉例（核心）6.4.1 Web技術(shù)6.4.2服務(wù)器端程序6.4.3公共網(wǎng)關(guān)接口（CGI）程序6.4.4客戶端腳本6.4.5 Applet概念6.4.6 Web服務(wù)器特征6.4.7處理許可6.4.8文件管理6.4.9常用服務(wù)器體系的性能6.4.10客戶計算機的角色6.4.11客戶服務(wù)器聯(lián)系的性質(zhì)6.4.12 Web協(xié)議6.4.13 Web站點創(chuàng)建和Web管理的支持工具6.4.14開發(fā)因特網(wǎng)信息服務(wù)器6.4.15客戶端程序開發(fā)6.5構(gòu)建Web應(yīng)用（核心）6.5.1應(yīng)用層協(xié)議6.5.2 Web工程原理6.5.3數(shù)據(jù)庫驅(qū)動的Web站點6.5.4遠程過程調(diào)用（RPC）6.5.5輕量分布式對象6.5.6中間件的角色6.5.7支持工具6.5.8分布式對象系統(tǒng)的安全問題6.5.9基于Web的企業(yè)級應(yīng)用6.6網(wǎng)絡(luò)管理（核心）6.6.1網(wǎng)絡(luò)管理問題概述6.6.2口令和訪問控制技術(shù)的使用6.6.3域名和名字服務(wù)6.6.4因特網(wǎng)服務(wù)提供者（ISP）問題6.6.5安全問題和防火墻6.6.6服務(wù)質(zhì)量問題：性能、故障恢復(fù)6.7壓縮與解壓縮（選修）6.7.1模擬和數(shù)字表示法6.7.2編碼和解碼算法6.7.3有損和無損壓縮6.7.3數(shù)據(jù)壓縮：Huffman編碼、Ziv-Lempel算法6.7.4視頻壓縮和解壓縮6.7.5圖像壓縮和解壓縮6.7.6音頻壓縮和解壓縮6.7.7定時、壓縮因子以及實時應(yīng)用的適宜性6.8多媒體數(shù)據(jù)技術(shù)（選修）6.8.1聲音和音頻、圖像和圖形、動畫和視頻6.8.2多媒體標準（音頻、音樂、圖形、圖像、電話、視頻以及TV）6.8.3容量計劃和性能問題6.8.4輸入輸出設(shè)備（掃描儀、數(shù)碼相機、觸摸屏、語音識別）6.8.5 MIDI鍵盤、合成6.8.6存儲標準（CD-ROM、DVD）6.8.7多媒體服務(wù)器和文件系統(tǒng)6.8.8支持多媒體開發(fā)的工具6.9無線和移動計算（選修）6.9.1概述歷史、發(fā)展以及無線標準的兼容性6.9.2無線和移動計算的特殊問題6.9.3無線局域網(wǎng)和基于衛(wèi)星的網(wǎng)絡(luò)6.9.4無線本地回路6.9.5移動因特網(wǎng)協(xié)議6.9.6擴展客戶服務(wù)器模型，以適應(yīng)移動的特征6.9.7移動數(shù)據(jù)訪問：服務(wù)器數(shù)據(jù)分發(fā)和客戶緩沖管理6.9.8支持移動和無線計算的軟件包6.9.9中間件和支持工具的角色6.9.10性能問題6.9.11新技術(shù)7程序設(shè)計語言（ PL）7.1程序設(shè)計語言概論（核心）7.1.1程序設(shè)計語言的歷史7.1.2程序設(shè)計語言范型概述過程式語言面向?qū)ο笳Z言函數(shù)語言說明性，非算法式語言腳本式語言7.1.3程序設(shè)計方法學的規(guī)模效應(yīng)7.2虛擬機（核心）7.2.1虛擬機的概念7.2.2虛擬機層次結(jié)構(gòu)7.2.3中間語言7.2.4不同機器上運行代碼的安全性問題7.3語言翻譯簡介（核心）7.3.1解釋器和編譯器的比較7.3.2語言翻譯步驟（詞法分析，語法分析，代碼生成，優(yōu)化）7.3.3機器相關(guān)翻譯，機器無關(guān)翻譯7.4聲明和類型（核心）7.4.1類型的值集和操作集的概念7.4.2聲明模式（綁定、可見性、作用域與生存期）7.4.3類型檢查概論7.4.4垃圾回收7.5抽象機制（核心）7.5.1過程和函數(shù)等抽象機制7.5.2參數(shù)化機制（引用調(diào)用和值調(diào)用）7.5.3活動記錄和內(nèi)存管理7.5.4類型參數(shù)和參數(shù)化類型7.5.5程序設(shè)計語言模型7.6面向?qū)ο蟪绦蛟O(shè)計（核心）7.6.1面向?qū)ο笤O(shè)計7.6.2封裝與信息隱藏7.6.3行為與實現(xiàn)的分離7.6.4類與子類7.6.5繼承（支配，動態(tài)派生）7.6.6多態(tài)性（子類型多態(tài)和繼承）7.6.7類的層次7.6.8類的收集與重用協(xié)議7.6.9對象和方法的內(nèi)部表示7.7函數(shù)程序設(shè)計（選修）7.7.1函數(shù)語言概述和機能7.7.2遞歸表，自然數(shù)，樹和其他遞歸定義數(shù)據(jù)7.7.3語用學（通過劃分和占用進行調(diào)試，數(shù)據(jù)結(jié)構(gòu)的延續(xù)）7.7.4函數(shù)數(shù)據(jù)結(jié)構(gòu)的分期清償效應(yīng)7.7.5數(shù)據(jù)函數(shù)的關(guān)閉和使用（有限集，流）7.8語言翻譯系統(tǒng)（選修）7.8.1正規(guī)表達式在詞法分析中的應(yīng)用7.8.2分析（具體和抽象語法分析，抽象語法分析樹）7.8.3表驅(qū)動和遞歸下降分析法中上下文無關(guān)文法的應(yīng)用7.8.4符號表管理7.8.5通過走樹生成代碼7.8.6優(yōu)化技術(shù)7.8.7特定體系結(jié)構(gòu)的處理：指令選擇和寄存器分配7.8.8翻譯處理支撐工具的使用及其優(yōu)點7.8.9程序庫和分別編譯7.8.10語法制導工具的構(gòu)造7.9類型系統(tǒng)（選修）7.9.1具有操作集的值集的數(shù)據(jù)類型7.9.2數(shù)據(jù)類型：基本數(shù)據(jù)類型構(gòu)造和副構(gòu)造類型代數(shù)類型遞歸類型向量（函數(shù)）類型參數(shù)類型數(shù)據(jù)類型和用戶自定義數(shù)據(jù)類型7.9.3數(shù)據(jù)類型的劃分7.9.4基本數(shù)據(jù)類型、結(jié)構(gòu)數(shù)據(jù)類型和用戶自定義數(shù)據(jù)類型7.9.5類型檢查模型7.9.6用戶自定義類型的語義模型：類型省略抽象數(shù)據(jù)類型類型等價7.9.7參數(shù)的多態(tài)性7.9.8子類型的多態(tài)性7.9.9類型檢查算法7.10程序設(shè)計語言的語義（選修）7.10.1非形式語義學7.10.2形式語義學概述7.10.3指稱語義學7.10.4公理化語義學7.10.5操作語義學7.11程序設(shè)計語言的設(shè)計（選修）7.11.1程序設(shè)計語言的設(shè)計總則及目標7.11.2設(shè)計目標7.11.3類型機制7.11.4數(shù)據(jù)結(jié)構(gòu)模型7.11.5控制結(jié)構(gòu)模型7.11.6抽象機制8人機交互（ HC）8.1人機交互基礎(chǔ)（核心）8.1.1動機：為什么關(guān)心人8.1.2 HCI的內(nèi)容（工具、 Web超媒體和通信）8.1.3以人為本的開發(fā)和評估8.1.4人的行為模型：感知、行動和認知8.1.5人的行為模型：文化、交流和組織8.1.6適應(yīng)人群的多樣性8.1.7好的設(shè)計和設(shè)計者的原則；工程評價8.1.8可用性測試介紹8.2簡單圖形用戶界面的創(chuàng)建（核心）8.2.1圖形用戶界面（GUI）的原理8.2.2 GUI套件8.3以人為本的軟件評估（選修）8.3.1設(shè)置評價目標8.3.2不考慮用戶的評價：預(yù)演，擊鍵模型（ KLM），準則和標準8.3.3考慮用戶的評價：可用性測試，采訪，調(diào)查，實驗8.4以人為本的軟件開發(fā)（選修）8.4.1方法、特征和處理的概況8.4.2功能性和可用性：任務(wù)分析、對話、調(diào)查8.4.3詳細說明交互和演示8.4.4建模的技術(shù)和工具：故事板繼承和動態(tài)調(diào)度建模語言和GUI生成器8.5圖形用戶界面的設(shè)計（選修）8.5.1交互方式和交互技術(shù)的選擇8.5.2 HCI常用界面工具8.5.3 HCI屏幕設(shè)計：布局、顏色、字體、標簽8.5.4對人的疏忽大意進行處理8.5.5高級屏幕設(shè)計：可視化、演示性和隱喻性8.5.6交互的多樣性：圖形、聲音等8.5.7三維立體式交互和虛擬現(xiàn)實8.6圖形用戶界面的編程（選修）8.6.1 UIMS，對話和層次分析8.6.2配件類8.6.3事件管理和用戶交互8.6.4幾何管理8.6.5 GUI生成器和UI編程環(huán)境8.6.6跨平臺設(shè)計8.7多媒體系統(tǒng)的人機交互（選修）8.7.1信息分類和結(jié)構(gòu)：層次，超媒體8.7.2信息檢索和人的行為 Web搜索數(shù)據(jù)庫查詢語言的可用性圖形聲音8.7.3多媒體信息系統(tǒng)的HCI設(shè)計8.7.4語音識別和自然語言處理8.7.5信息設(shè)備和移動計算8.8協(xié)作和通信的人機交互（選修）8.8.1支持專用的群件：資料準備，多人游戲8.8.2異步通信：email、告示牌8.8.3同步通信：聊天室、會議召開8.8.4在線社區(qū)：MUDsMODs8.8.5軟件特征和智能化9圖形學和可視化計算（ G V）9.1圖形學的基本技術(shù)（核心）9.1.1各種層次上的圖形軟件9.1.2使用圖形 API（應(yīng)用編程接口）9.1.3簡單的彩色模型（RGB，HSB，CMYK）9.1.4齊次坐標9.1.5仿射變換（縮放、旋轉(zhuǎn)、平移）9.1.6取景變換9.1.7裁剪9.2圖形系統(tǒng)（核心）9.2.1光柵和向量圖形系統(tǒng)9.2.2視頻顯示設(shè)備9.2.3物理輸人設(shè)備和邏輯輸人設(shè)備9.2.4圖形系統(tǒng)開發(fā)者所面臨的一些問題9.3圖形通信（選修）9.3.1色彩心理動力學及色彩問的相互作用9.3.2色彩修正以彌補視覺效果的不足9.3.3不同色彩的文化內(nèi)涵9.3.4使用偽彩色調(diào)色板以滿足特殊觀眾的需要9.3.5構(gòu)造能深刻理解的視圖9.3.6對實際視頻和硬拷貝進行圖像修改9.3.7使用表示色彩和其他可視數(shù)據(jù)中關(guān)鍵信息的圖標符號9.3.8在圖像中使用表示上下文關(guān)系及背景信息的文字9.3.9可視化用戶對圖像操作的信息反饋9.4幾何建模（選修）9.4.1三維物體的多邊形表示9.4.2參數(shù)化的多項式曲線和曲面9.4.3構(gòu)造實體幾何（CSG）表示法9.4.4曲線和曲面的隱式表示9.4.5空間細分技巧9.4.6過程模型9.4.7可變形模型9.4.8曲面的細分9.4.9有多重分辨率的建摸9.4.10圖像重建9.5基本的圖形繪制方法（選修）9.5.1直線生成算法（Bresenham法）9.5.2字形生成法（輪廓法、位圖法）9.5.3光源和材料性質(zhì)9.5.4環(huán)境光、漫射光和鏡面反射光9.5.5 Phong反射模型9.5.6多邊形表面的著色處理（直截了當?shù)奶幚矸?、Gouraud明暗處理法、Phong明暗處理法）9.5.7紋理映射、擾動紋理、環(huán)境圖9.5.8光線跟蹤人門9.5.9圖像合成、采樣技術(shù)及反走樣9.6高級的圖形繪制方法（選修）9.6.1轉(zhuǎn)換方程9.6.2光線跟蹤算法9.6.3光子跟蹤9.6.4整體光照輻射度的計算及形狀因子9.6.5整體光照模型的有效方法9.6.6整體光照模型的 Monte Carlo算法9.6.7基于圖像的著色、全景透視、多功能建模9.6.8復(fù)雜自然現(xiàn)象的繪制9.6.9非照片式現(xiàn)實感圖形的繪制9.7先進技術(shù)（選修）9.7.1色彩量化9.7.2對二維圖形基元的掃描轉(zhuǎn)換，前推差分法9.7.3曲面的拼接9.7.4隱藏面的消除方法9.7.5 Z-緩沖和幀緩沖、色彩通道9.7.6高級的幾何建模技術(shù)9.8計算機動畫（選修）9.8.1關(guān)鍵幀動畫9.8.2攝影動畫9.8.3腳本編排系統(tǒng)9.8.4關(guān)節(jié)結(jié)構(gòu)的動畫：逆向運動學9.8.5運動捕捉9.8.6動畫程序的制作9.8.7變形9.9可視化（選修）9.9.1可視化的基本視圖和查詢功能9.9.2向量場、張量、流數(shù)據(jù)的可視化9.9.3標量場的可視化9.9.4直接的體數(shù)據(jù)描繪法：射線投射、轉(zhuǎn)移函數(shù)、分割、硬件9.9.5信息可視化（投影法和平行坐標法）9.10虛擬現(xiàn)實（選修）9.10.1立體顯示9.10.2力反饋模擬、觸覺裝置9.10.3視覺跟蹤9.10.4沖突檢測9.10.5可視化計算9.10.6快速的著色、多級細節(jié)的處理9.10.7圖像庫VR系統(tǒng)9.10.8分布式VR系統(tǒng)，在計算機網(wǎng)絡(luò)上的合作9.10.9交互式建模9.10.10用戶界面問題9.10.11在醫(yī)學、仿真和訓練等領(lǐng)域中的應(yīng)用9.11計算機視覺（選修）9.11.1圖像獲取9.11.2數(shù)字圖像及其特性9.11.3圖像預(yù)處理。9.11.4圖像分割（以閾值、邊緣、區(qū)域等為基礎(chǔ)的分割）9.11.5形狀表示和目標識別9.11.6運動分析9.11.7實例研究（目標識別、目標跟蹤）10智能系統(tǒng)索引10.1智能系統(tǒng)基本問題（核心）10.1.1人工智能史10.1.2哲學問題圖靈試驗 Searle的“中國屋”思想實驗 AI中的倫理問題10.1.3基本定義最優(yōu)推理VS類人推理最優(yōu)行為VS類人行為10.1.4哲學問題10.1.5現(xiàn)實世界建模10.1.6啟發(fā)式的作用10.2搜索和約束滿足（核心）10.2.1問題空間10.2.2盲目搜索（寬度優(yōu)先搜索，深度優(yōu)先搜索）10.2.3最佳優(yōu)先搜索（一般最佳優(yōu)先，Dijkstra算法，A算法，A算法的可采納）與或樹搜索10.2.4雙方博奔（minimax搜索，alpha-beta剪枝）10.2.5約束滿足（回潮和局部搜索法）10.3知識表示和知識推理（核心）10.3.1命題邏輯和謂詞邏輯回顧10.3.2歸結(jié)和定理證明10.3.3非單調(diào)推理10.3.4概率推理10.3.5貝葉斯定理10.3.6知識表示的其他方法（產(chǎn)生式、框架、面向?qū)ο蟮龋?0.4高級搜索（選修）10.4.1遺傳算法10.4.2模擬退火10.4.3局部搜索10.5高級知識表示和知識推理（選修）10.5.1結(jié)構(gòu)化表示框架，對象描述邏輯繼承系統(tǒng)10.5.2非單調(diào)推理非經(jīng)典邏輯缺省邏輯信念修正優(yōu)先邏輯知識源的集成沖突信念的聚合10.5.3按動作和改變情況進行的推理狀態(tài)演算事件演算分支問題10.5.4時態(tài)推理和空間推理10.5.5不確定性概率推理 Bayes網(wǎng)模糊集合和可能性理論決策理論10.5.6診斷知識表示，定性表示10.6主體（選修）10.6.1主體的定義10.6.2最新基于主體的系統(tǒng)及其應(yīng)用10.6.3主體結(jié)構(gòu)簡單的反映式主體反映式規(guī)劃器層次結(jié)構(gòu)結(jié)構(gòu)實例及其應(yīng)用10.6.4主體理論承諾意圖理性決策主體 Markov決策過程（MDP）10.6.5軟件主體，個人助手和信息存取合作主體信息收集主體10.6.6可信主體（性格合成，主體的情感造型）10.6.7學習主體10.6.8多主體系統(tǒng)面向商務(wù)的多主體系統(tǒng)合作主體主體班組主體造型多主體學習10.6.9機器人主體人門10.6.10移動主體10.7自然語言處理技術(shù)（選修）10.7.1確定性文法和隨機文法10.7.2語法分析算法10.7.3基于語料庫的方法10.7.4信息檢索10.7.5語言翻譯10.7.6語音識別10.8機器學習和神經(jīng)網(wǎng)絡(luò)（選修）10.8.1機器學習定義與示例10.8.2有監(jiān)督學習10.8.3學習決策樹10.8.4學習神經(jīng)網(wǎng)絡(luò)10.8.5學習信念網(wǎng)絡(luò)10.8.6最近鄰算法10.8.7學習理論10.8.8過適問題10.8.9無監(jiān)督學習10.8.10強化學習10.9人工智能規(guī)劃系統(tǒng)（選修）10.9.1規(guī)劃系統(tǒng)的定義和實例10.9.2規(guī)劃即搜索10.9.3基于算子的規(guī)劃10.9.4命題規(guī)劃10.9.5擴充規(guī)劃系統(tǒng)（基于案例的推理、學習、概率系統(tǒng)）10.9.6靜態(tài)世界規(guī)劃系統(tǒng)10.9.7規(guī)劃和執(zhí)行10.9.8規(guī)劃和機器人技術(shù)10.10機器人（選修）10.10.1概論最新機器人技術(shù)規(guī)劃VS反映式控制控制的不確定性感測世界模型10.10.2構(gòu)造空間10.10.3規(guī)劃10.10.4感測10.10.5機器人程序設(shè)計10.10.6制導和控制11信息管理（ IM）11.1信息模型和信息系統(tǒng)（核心）11.1.1信息系統(tǒng)簡介，組織中的信息系統(tǒng)11.1.2信息存儲和信息檢索11.1.3信息獲取和信息表示11.1.4信息管理應(yīng)用程序11.1.5業(yè)務(wù)信息系統(tǒng)11.1.6信息系統(tǒng)中的搜索、檢索、連接、導航11.1.7信息保密、信息完整性、信息安全性11.1.8信息的重要特征與特性（如：可伸縮性、有效性和可行性）11.2數(shù)據(jù)庫系統(tǒng)（核心）11.2.1數(shù)據(jù)庫系統(tǒng)簡介11.2.2數(shù)據(jù)庫系統(tǒng)的組件11.2.3 DBMS功能11.2.4數(shù)據(jù)庫的體系結(jié)構(gòu)和數(shù)據(jù)完整性11.2.5數(shù)據(jù)庫查詢語言概述11.3數(shù)據(jù)模型化（核心）11.3.1數(shù)據(jù)模型11.3.2概念模型（如：實體一聯(lián)系模型、UML）11.3.3面向?qū)ο竽Ｐ停ㄕZ義對象模型）11.3.4關(guān)系數(shù)據(jù)模型11.4關(guān)系數(shù)據(jù)庫（核心）11.4.1概念模式映射為關(guān)系模式11.4.2實體完整性與參照完整性11.4.3關(guān)系代數(shù)與關(guān)系演算算11.5數(shù)據(jù)庫查詢語言（核心）11.5.1數(shù)據(jù)庫查詢語言概述（DDL、DML、DCL）11.5.2 SQL（數(shù)據(jù)定義、查詢模式、更新子語言、約束及完整性控制）11.5.3查詢優(yōu)化策略11.5.4 QBE和第4代環(huán)境11.5.5嵌入式SQL11.5.6對象查詢初步11.6關(guān)系數(shù)據(jù)庫設(shè)計（核心）11.6.1數(shù)據(jù)庫設(shè)計的概念11.6.2函數(shù)依賴與范式（INF、ZNF、3NF、BCNF）11.6.3用多值依賴作規(guī)范化（4NF）11.6.4用連接依賴作規(guī)范化（投影連接范式）11.7事務(wù)處理（核心）11.7.1事務(wù)處理11.7.2故障和恢復(fù)11.7.3并發(fā)控制11.8分布式數(shù)據(jù)庫（選修）11.8.1分布式數(shù)據(jù)存儲11.8.2分布式查詢處理11.8.3分布式事務(wù)模型11.8.4并發(fā)控制11.8.5分布式提交與分布式封鎖11.8.6客戶機一服務(wù)器機制11.9物理數(shù)據(jù)庫設(shè)計（選修）11.9.1存儲結(jié)構(gòu)和文件結(jié)構(gòu)11.9.2索引結(jié)構(gòu)（順序文件上的索引、輔助索引）11.9.3 B樹11.9.4散列表11.9.5簽名文件11.9.6稠密索引文件11.9.7變長記錄文件11.9.8數(shù)據(jù)庫效率和協(xié)調(diào)11.10數(shù)據(jù)挖掘（選修）11.10.1數(shù)據(jù)挖掘的作用11.10.2關(guān)聯(lián)模式和順序模式11.10.3數(shù)據(jù)聚類技術(shù)11.10.4市場菜籃數(shù)據(jù)分析11.10.5數(shù)據(jù)清洗11.10.6數(shù)據(jù)可視化11.11信息存儲和信息檢索（選修）11.11.1字符，字符串，編碼，正文11.11.2文檔，電子出版，標識，標識語言11.11.3三叉樹，倒置文件，PAT樹，簽名文件，索引建立11.11.4詞法分析，詞干，短語，非用詞表11.11.5檢索詞頻表分布，不確定性，模糊性，加權(quán)11.11.6向量空間，概率，邏輯和高級模型11.11.7信息需要，本體論，分類和歸類，元數(shù)據(jù)11.11.8文獻系統(tǒng)，文獻計量學，引證11.11.9路由選擇和過濾11.11.10搜索和搜索策略，信息查找，用戶模型化，反饋11.11.11信息概括和信息可視化11.11.12引證完整性，關(guān)鍵詞，分類方案和其他11.11.13協(xié)議和系統(tǒng)11.11.14有效的信息檢索11.12超文本和超媒體（選修）11.12.1超文本模型（歷史，web，Dexter，Amsterdam HyTlme）11.12.2鏈路服務(wù)，引擎和（分布式）超文本體系結(jié)構(gòu)11.12.3結(jié)點，復(fù)合，定位點11.12.4維，單元，位置，跨度11.12.5測覽，導航，視圖，縮放11.12.6自動鏈路生成11.12.7信息的表示，變換，同步11.12.8設(shè)計者，讀者，注釋11.12.9協(xié)議和系統(tǒng)（包括web，HTTP）11.13多媒體信息和系統(tǒng)（選修）11.13.1設(shè)備，設(shè)備驅(qū)動器，控制信號和協(xié)議11.13.2應(yīng)用程序，媒體編輯器，寫作系統(tǒng)11.13.3流結(jié)構(gòu)，俘獲表示變換，空間域，壓縮編碼11.13.4基于內(nèi)容分析，索引建立，音頻檢索，圖像檢索，視頻檢索11.13.5表現(xiàn)，繪制，同步，多模型集中接口11.13.6實時交付，服務(wù)質(zhì)量，音頻視頻會議11.14數(shù)字圖書館（選修）11.14.1數(shù)字化，存儲和交換11.14.2數(shù)字對象，復(fù)合和包11.14.3元數(shù)據(jù)，編目，作者提交11.14.4命名，存儲庫，檔案庫11.14.5空間（概念的，地理的，23D，VR）11.14.6體系結(jié)構(gòu)（主體，總線，包裝），互操作性11.14.7服務(wù)（搜索，鏈路，例覽等）11.14.8智能財產(chǎn)權(quán)利管理，隱私權(quán)，保護（水?。?1.14.9歸檔和保存，完整性12社會和職業(yè)問題12.1信息技術(shù)史（核心）12.1.1 1946年計算機產(chǎn)生以前的世界12.1.2計算機硬件、軟件和網(wǎng)絡(luò)的歷史12.1.3信息技術(shù)的先驅(qū)者12.1.4我國信息技術(shù)的發(fā)展12.2信息技術(shù)的社會環(huán)境（核心）12.2.1信息技術(shù)及互聯(lián)網(wǎng)的使用對社會的影響12.2.2互聯(lián)網(wǎng)的成長，控制和訪問12.2.3信息技術(shù)與國家現(xiàn)代化12.2.4與性別有關(guān)的問題12.2.5國際化問題12.3分析方法和分析工具（核心）12.3.1做出并評價道德論據(jù)12.3.2辨別并評價道德選擇12.3.3理解設(shè)計的社會環(huán)境12.3.4確定假設(shè)和價值12.4職業(yè)責任和道德責任（核心）12.4.1社會價值和我們應(yīng)遵守的法律12.4.2職業(yè)的屬性12.4.3各種形式的職業(yè)證明及其優(yōu)缺點12.4.4專家在公共政策中的角色12.4.5對后果保持清醒的認識12.4.6道德分歧和警示12.4.7道德、行為準則12.4.8工作場所計算機使用的政策12.5基于計算機的系統(tǒng)的風險和責任（核心）12.5.1歷史上軟件風險的例子(如，Therac-25案件)12.5.2軟件復(fù)雜性的意義12.5.3風險評估和管理12.6知識產(chǎn)權(quán)（核心）12.6.1知識產(chǎn)權(quán)基礎(chǔ)12.6.2版權(quán)、專利和交易秘密12.6.3軟件盜版12.6.4軟件專利12.6.5與知識產(chǎn)權(quán)相關(guān)的跨國問題12.7隱私和公民自由（核心）12.7.1隱私保護的道德和法律基礎(chǔ)12.7.2公共數(shù)據(jù)庫系統(tǒng)的隱私含義12.7.3隱私保護的技術(shù)策略12.7.4網(wǎng)絡(luò)言論自由12.7.5國際間不同文化的影響12.8計算機犯罪（選修）12.8.1計算機犯罪的歷史和例子12.8.2黑客及其影響12.8.3病毒、蠕蟲和特洛伊木馬12.8.4犯罪防范策略12.9與信息技術(shù)相關(guān)的經(jīng)濟問題（選修）12.9.1壟斷及對經(jīng)濟的影響12.