中國計算機科學技術發(fā)展報告2007

語義網(wǎng)格的基礎理論、模型與方法研究諸葛海等
1 語義網(wǎng)格
2 核心科學問題
3 課題研究進展
3.1 語義資源空間模型的理論、模型與方法研究
3.2 語義網(wǎng)格的過程語義及其驗證理論與服務集成技術
3.3 基于語義網(wǎng)格的語義關聯(lián)存儲模型及管理和通信平臺
3.4 語義網(wǎng)格資源描述模型、形式化理論和支撐技術
3.5 語義網(wǎng)格環(huán)境下支持產(chǎn)品創(chuàng)新設計的知識供應理論與技術
3.6 語義網(wǎng)格在中醫(yī)藥知識共享與服務中的應用研究
3.7 基于語義的網(wǎng)絡信息檢索、集成與應用
3.8 基于語義的資源服務協(xié)同和管理研究
4 總結
代表論著

新一代互聯(lián)網(wǎng)體系結構理論研究吳建平等
1 新一代互聯(lián)網(wǎng)發(fā)展面臨的主要矛盾和基本科學問題
1.1 下一代互聯(lián)網(wǎng)及其基本特征
1.2 新一代互聯(lián)網(wǎng)絡發(fā)展面臨的主要矛盾
1.3 四個基本的科學問題
參考文獻
2 新一代互聯(lián)網(wǎng)體系結構基礎理論
2.1 互聯(lián)網(wǎng)和下一代互聯(lián)網(wǎng)的基礎理論研究逐步受到人們的重視
2.2 新一代互聯(lián)網(wǎng)體系結構的基本科學問題及內(nèi)在聯(lián)系
2.3 多維可擴展的新一代互聯(lián)網(wǎng)體系結構
2.4 多維可擴展的新一代互聯(lián)網(wǎng)體系結構中的五個基本要素
2.5 基于IPv6真實地址的可信任新一代互聯(lián)網(wǎng)
參考文獻
3 新一代互聯(lián)網(wǎng)路由交換理論
3.1 引言
3.2 主要研究成果
3.3 代表性成果1——基于ForCES的開放路由器體系結構
3.4 代表性成果2——可擴展的交換設備模型
3.5 代表性成果3——域間路由優(yōu)化理論與技術
3.6 結論和下一步的工作
參考文獻
4 網(wǎng)絡動態(tài)行為和傳輸控制理論
4.1 引言
4.2 主要研究成果
4.3 代表性成果1——高性能傳輸系統(tǒng)的性能分析與優(yōu)化設計
4.4 代表性成果2——超點檢測研究
4.5 結論和下一步的工作
參考文獻
5 可信任的互聯(lián)網(wǎng)安全體系結構和安全監(jiān)控理論
5.1 引言
5.2 主要研究成果
5.3 代表性成果1——真實IPv6源地址尋址體系結構及驗證方法
5.4 代表性成果2——基于源地址認證的組播安全認證
5.5 結論和下一步的工作
參考文獻
6 新一代互聯(lián)網(wǎng)服務模型和服務管理理論
6.1 引言
6.2 主要研究成果
6.3 代表性成果——分布式環(huán)境中服務組合的迭代選擇算法
6.4 結論和下一步的工作
參考文獻
7 新一代網(wǎng)絡遠程實驗室DRAGONLab
7.1 引言
7.2 主要研究成果
7.3 代表性成果1——DRAGONLab網(wǎng)絡數(shù)據(jù)共享平臺的設計與實現(xiàn)
7.4 代表性成果2——地址隨機化算法研究
7.5 結論和下一步的工作
參考文獻
8 總結與展望

現(xiàn)代設計大型應用軟件的共性基礎孫家廣
1 概述
2 研究工作主要進展
2.1 智能設計理論與方法研究
2.2 產(chǎn)品定制設計與優(yōu)化設計研究
2.3 產(chǎn)品設計中的幾何計算理論與方法
2.4 從二維信息重構相應三維形體理論與方法研究
2.5 產(chǎn)品協(xié)同設計理論與方法研究
2.6 協(xié)同設計大型應用軟件體系結構及形式化機理研究
3今后的研究工作
參考文獻

下一代互聯(lián)網(wǎng)信息存儲的組織模式和核心技術研究馮丹
1 基于對象的海量存儲系統(tǒng)關鍵問題研究 馮丹等
1.1 引言
1.2 主動存儲對象模型
1.3 高可用性研究
1.4 高效元數(shù)據(jù)管理
1.5 結論
參考文獻
2 下一代網(wǎng)絡存儲的高速通道研究韓冀中賀勁韓承德
2.1 引言
2.2 下一代網(wǎng)絡存儲的高速通道
2.3 分布式緩存的研究
2.4 輕量級通信協(xié)議及相關通信機制
2.5 應用加速引擎機制
2.6 總結與未來展望
參考文獻
3 海量數(shù)據(jù)網(wǎng)絡存儲系統(tǒng)的研究曹強謝長生
3.1 引言
3.2 海量數(shù)據(jù)網(wǎng)絡存儲系統(tǒng)總體結構
3.3 存儲系統(tǒng)的軟件結構
3.4 數(shù)據(jù)的組織方式
3.5 存儲安全技術研究
3.6 原理性研究
參考文獻
4 P2P存儲系統(tǒng)關鍵問題研究 楊智田敬代亞非
4.1 引言
4.2 P2P存儲系統(tǒng)需要研究的關鍵問題
4.3 深入理解P2P環(huán)境的動態(tài)性
4.4 數(shù)據(jù)的持久性研究
4.5 數(shù)據(jù)的安全性研究
4.6 UPStore:一個開放的P2P存儲平臺
參考文獻
5 網(wǎng)絡存儲對象化及其動態(tài)部署的核心技術研究
5.1 引言
5.2 總體思路及主要研究內(nèi)容
5.3 服務動態(tài)部署技術
5.4 虛擬存儲技術
5.5 數(shù)據(jù)備份和恢復技術
5.6 未來工作
參考文獻
6 大規(guī)模網(wǎng)絡存儲系統(tǒng)服務質(zhì)量的研究舒繼武
6.1 引言
6.2 主要研究內(nèi)容與進展
6.3 進一步的工作
參考文獻
7 分布式存儲系統(tǒng)的應用——多媒體網(wǎng)絡GIS及其關鍵技術的研究喻占武李忠民
7.1 引言
7.2 基于雙重集群的網(wǎng)絡GIS體系結構
7.3 按PB級處理能力設計大型GIS應用系統(tǒng)
7.4 基于對象存儲的空間數(shù)據(jù)存儲模型
7.5 地形數(shù)據(jù)的分布策略
7.6 所取得的進展
7.7 總結
參考文獻

延長摩爾定律的微處理芯片新原理、新結構與新方法研究李國杰胡偉武
1 研究背景
2 主要研究內(nèi)容
2.1 可擴展、可重構片上并行體系結構及原型芯片設計
2.2 片上并行系統(tǒng)的編程模型與支撐環(huán)境
2.3 低功耗體系結構、電路設計與功耗管理
2.4 高性能處理芯片的可靠性設計
2.5 高性能處理芯片的設計驗證與測試
3 研究進展
3.1 片上并行體系結構研究進展
3.2 片上并行編程系統(tǒng)與支撐環(huán)境
3.3 低功耗體系結構、電路設計與功耗管理
3.4 高性能處理芯片的可靠性設計
3.5 高性能處理芯片的設計驗證與測試
4 總結和未來工作
參考文獻

虛擬計算環(huán)境聚合與協(xié)同機理研究盧錫城
1 研究背景
2 科學問題、概念模型與體系結構
2.1 科學問題
2.2 概念模型
2.3 體系結構
3 虛擬計算環(huán)境的關鍵技術
3.1 資源虛擬化
3.2 資源按需聚合
3.3 自主協(xié)同
3.4 可信保障
3.5 編程開發(fā)和運行環(huán)境
4 實驗與驗證
4.1 實驗床
4.2 應用案例分析
5 相關工作比較
6 結論和進一步研究
參考文獻

海量信息的協(xié)同性和可生存性的理論與實踐研究李未
1 緒論
1.1 引言
1.2 研究目標
1.3 工作基礎和條件
1.4 問題劃分
1.5 研究團隊
2 國內(nèi)外研究現(xiàn)狀和發(fā)展趨勢
2.1 面向服務的網(wǎng)格計算和對等網(wǎng)計算
2.2 海量信息協(xié)同系統(tǒng)
2.3 分布式軟件系統(tǒng)可生存性研究
2.4 我國的相關研究工作
3 海量信息協(xié)同性和可生存性的信息科學特征研究
3.1 系統(tǒng)信息更新的基礎理論研究
3.2 海量信息傳輸?shù)挠^測試驗研究
3.3 海量信息計算的統(tǒng)計特征研究——RB模型的研究
3.4 小結
4 海量信息系統(tǒng)協(xié)同性隨機模型與可生存性復雜性分析
4.1 SpinGlasses理論與海量信息協(xié)同的算法和復雜性研究
4.2 海量信息系統(tǒng)協(xié)同性的隨機模型研究
4.3 海量信息系統(tǒng)可生存性的代數(shù)學研究
4.4 網(wǎng)絡環(huán)境下協(xié)同計算的形式化模型與行為研究
4.5 小結
5 實時協(xié)同可生存的海量信息系統(tǒng)的試驗與驗證平臺
5.1 海量協(xié)同服務網(wǎng)絡的體系結構
5.2 基于內(nèi)容的海量協(xié)同服務
5.3 可生存的協(xié)同服務網(wǎng)絡
5.4 面向復雜協(xié)同網(wǎng)絡的試驗平臺
5.5 小結
6 可生存的海量信息系統(tǒng)軟件設計理論
6.1 需求分析
6.2 研究模型與技術
6.3 小結
7 海量信息系統(tǒng)可生存性分析方法及軟件可生存性增強技術
7.1 軟件體系結構與服務分布
7.2 軟件運行狀態(tài)分析
7.3 可生存性增強技術
7.4 小結
8 海量信息系統(tǒng)軟件可生存性策略和測評方法研究
8.1 研究范圍
8.2 SAP模型與關鍵算法
8.3 可生存性策略研究
8.4 與國內(nèi)外同類研究工作相比的創(chuàng)新性
8.5 小結

可視媒體智能處理的研究進展胡事民
1 可視媒體智能處理研究的科學意義
2 研究思路和研究內(nèi)容
2.1 可視媒體的認知特征
2.2 可視媒體的計算理論與方法
2.3 可視媒體的表示、分析與利用
2.4 基于內(nèi)容的可視媒體安全
2.5 可視媒體的交互與融合處理
2.6 可視媒體的高效計算與系統(tǒng)
3 研究成果及展望
3.1 項目研究工作的突出進展
3.2 項目隊伍建設和人才培養(yǎng)
3.3 科研獲獎情況
4 結束語
參考文獻

無線傳感網(wǎng)絡的基礎理論及關鍵技術研究倪明選李明祿薛廣濤
1 項目意義
1.1 國家需求
1.2 科學意義
2 國內(nèi)外研究現(xiàn)狀和發(fā)展趨勢
2.1 國外研究現(xiàn)狀和發(fā)展趨勢
2.2 國內(nèi)研究現(xiàn)狀
2.3 小結
3 關鍵科學問題與研究內(nèi)容
3.1 關鍵科學問題
3.2 主要研究內(nèi)容
3.3 課題設置
4 項目進展
4.1 項目進展
4.2 學術影響
4.3 小結
參考文獻

一體化可信網(wǎng)絡與普適服務體系基礎研究張宏科
1 前言
2 國內(nèi)外研究現(xiàn)狀和發(fā)展趨勢
參考文獻
3 科學問題、研究內(nèi)容和研究目標
3.1 關鍵科學問題
3.2 主要研究內(nèi)容
3.3 研究目標
4 研究方案和課題設置
4.1 學術思路
4.2 技術途徑
4.3 項目的創(chuàng)新點與特色
4.4 課題設置
5 研究基礎、工作條件和研究隊伍
5.1 總體情況
5.2 研究基礎
5.3 工作條件
5.4 研究隊伍
6 研究進展
6.1 原型系統(tǒng)
6.2 論文
6.3 特邀報告
6.4 專利
6.5 人才培養(yǎng)

計算系統(tǒng)虛擬化：挑戰(zhàn)與機遇金海廖小飛邵志遠
1 引言
2 虛擬化技術的發(fā)展與分類
2.1 發(fā)展歷程
2.2 虛擬化技術的分類
3 虛擬化的相關研究內(nèi)容
3.1 虛擬計算體系結構
3.2 多計算系統(tǒng)的虛擬化
3.3 虛擬用戶使用環(huán)境
3.4 虛擬化系統(tǒng)的安全可信機制
3.5 虛擬計算系統(tǒng)的性能評測
3.6 虛擬化應用
4 虛擬化研究進展
4.1 虛擬機基礎研究
4.2 虛擬機快速部署系統(tǒng)
4.3 虛擬工作環(huán)境
4.4 虛擬集群管理與維護
5 總結
參考文獻
索引