中國計算機科學技術發展報告2007

《中國計算機科學技術發展報告2007》是2008年清華大學出版社出版的圖書。

基本介紹

• ISBN：9787302188148
• 頁數：490頁
• 裝幀：平裝
• 開本：16

圖書信息

出版社: 清華大學出版社; 第1版 (2008年11月1日)

平裝: 490頁

正文語種: 簡體中文

開本: 16

ISBN: 9787302188148

條形碼: 9787302188148

尺寸: 25.8 x 18.2 x 2.4 cm

重量: 862 g

內容簡介

《中國計算機科學技術發展報告2007》是由中國計算機學會學術工作委員會組織編寫的、權威性的計算機科學技術年度發展報告。本報告匯總了2003年以來，關於可信網路與普適服務、可視媒體、大型套用軟體、微處理晶片、新一代網際網路、無線感測網路、網路存儲、虛擬計算環境、計算系統虛擬化、語義格線等主題的11個“973”項目，分別由活躍在各個方向上的科研人員撰寫項目進展報告，詳細介紹了對應項目在理論研究和技術實現等方面取得的進展。從一定角度反映了我國計算機科學和技術工作者當前的研究進展，對學術研究有重要參考價值。

《中國計算機科學技術發展報告2007》可作為廣大計算機科學技術人員了解當前計算機科學技術發展動態的一個渠道，適合本領域決策人員和科研人員來參考，並可作為高等院校碩士生、博士生的參考書。

目錄

語義格線的基礎理論、模型與方法研究諸葛海等

1 語義格線

2 核心科學問題

3 課題研究進展

3.1 語義資源空間模型的理論、模型與方法研究

3.2 語義格線的過程語義及其驗證理論與服務集成技術

3.3 基於語義格線的語義關聯存儲模型及管理和通信平台

3.4 語義格線資源描述模型、形式化理論和支撐技術

3.5 語義格線環境下支持產品創新設計的知識供應理論與技術

3.6 語義格線在中醫藥知識共享與服務中的套用研究

3.7 基於語義的網路信息檢索、集成與套用

3.8 基於語義的資源服務協同和管理研究

4 總結

代表論著

新一代網際網路體系結構理論研究吳建平等

1 新一代網際網路發展面臨的主要矛盾和基本科學問題

1.1 下一代網際網路及其基本特徵

1.2 新一代網際網路發展面臨的主要矛盾

1.3 四個基本的科學問題

參考文獻

2 新一代網際網路體系結構基礎理論

2.1 網際網路和下一代網際網路的基礎理論研究逐步受到人們的重視

2.2 新一代網際網路體系結構的基本科學問題及內在聯繫

2.3 多維可擴展的新一代網際網路體系結構

2.4 多維可擴展的新一代網際網路體系結構中的五個基本要素

2.5 基於IPv6真實地址的可信任新一代網際網路

參考文獻

3 新一代網際網路路由交換理論

3.1 引言

3.2 主要研究成果

3.3 代表性成果1——基於ForCES的開放路由器體系結構

3.4 代表性成果2——可擴展的交換設備模型

3.5 代表性成果3——域間路由最佳化理論與技術

3.6 結論和下一步的工作

參考文獻

4 網路動態行為和傳輸控制理論

4.1 引言

4.2 主要研究成果

4.3 代表性成果1——高性能傳輸系統的性能分析與最佳化設計

4.4 代表性成果2——超點檢測研究

4.5 結論和下一步的工作

參考文獻

5 可信任的網際網路安全體系結構和安全監控理論

5.1 引言

5.2 主要研究成果

5.3 代表性成果1——真實IPv6源地址定址體系結構及驗證方法

5.4 代表性成果2——基於源地址認證的組播安全認證

5.5 結論和下一步的工作

參考文獻

6 新一代網際網路服務模型和服務管理理論

6.1 引言

6.2 主要研究成果

6.3 代表性成果——分散式環境中服務組合的疊代選擇算法

6.4 結論和下一步的工作

參考文獻

7 新一代網路遠程實驗室DRAGON?Lab

7.1 引言

7.2 主要研究成果

7.3 代表性成果1——DRAGON?Lab網路數據共享平台的設計與實現

7.4 代表性成果2——地址隨機化算法研究

7.5 結論和下一步的工作

參考文獻

8 總結與展望

現代設計大型套用軟體的共性基礎孫家廣

1 概述

2 研究工作主要進展

2.1 智慧型設計理論與方法研究

2.2 產品定製設計與最佳化設計研究

2.3 產品設計中的幾何計算理論與方法

2.4 從二維信息重構相應三維形體理論與方法研究

2.5 產品協同設計理論與方法研究

2.6 協同設計大型套用軟體體系結構及形式化機理研究

3今後的研究工作

參考文獻

下一代網際網路信息存儲的組織模式和核心技術研究馮丹

1 基於對象的海量存儲系統關鍵問題研究馮丹等

1.1 引言

1.2 主動存儲對象模型

1.3 高可用性研究

1.4 高效元數據管理

1.5 結論

參考文獻

2 下一代網路存儲的高速通道研究韓冀中賀勁韓承德

2.1 引言

2.2 下一代網路存儲的高速通道

2.3 分散式快取的研究

2.4 輕量級通信協定及相關通信機制

2.5 套用加速引擎機制

2.6 總結與未來展望

參考文獻

3 海量數據網路存儲系統的研究曹強謝長生

3.1 引言

3.2 海量數據網路存儲系統總體結構

3.3 存儲系統的軟體結構

3.4 數據的組織方式

3.5 存儲安全技術研究

3.6 原理性研究

參考文獻

4 P2P存儲系統關鍵問題研究楊智田敬代亞非

4.1 引言

4.2 P2P存儲系統需要研究的關鍵問題

4.3 深入理解P2P環境的動態性

4.4 數據的持久性研究

4.5 數據的安全性研究

4.6 UPStore:一個開放的P2P存儲平台

參考文獻

5 網路存儲對象化及其動態部署的核心技術研究

5.1 引言

5.2 總體思路及主要研究內容

5.3 服務動態部署技術

5.4 虛擬存儲技術

5.5 數據備份和恢復技術

5.6 未來工作

參考文獻

6 大規模網路存儲系統服務質量的研究舒繼武

6.1 引言

6.2 主要研究內容與進展

6.3 進一步的工作

參考文獻

7 分散式存儲系統的套用——多媒體網路GIS及其關鍵技術的研究喻占武李忠民

7.1 引言

7.2 基於雙重集群的網路GIS體系結構

7.3 按PB級處理能力設計大型GIS套用系統

7.4 基於對象存儲的空間數據存儲模型

7.5 地形數據的分布策略

7.6 所取得的進展

7.7 總結

參考文獻

延長摩爾定律的微處理晶片新原理、新結構與新方法研究李國傑胡偉武

1 研究背景

2 主要研究內容

2.1 可擴展、可重構片上並行體系結構及原型晶片設計

2.2 片上並行系統的編程模型與支撐環境

2.3 低功耗體系結構、電路設計與功耗管理

2.4 高性能處理晶片的可靠性設計

2.5 高性能處理晶片的設計驗證與測試

3 研究進展

3.1 片上並行體系結構研究進展

3.2 片上並行編程系統與支撐環境

3.3 低功耗體系結構、電路設計與功耗管理

3.4 高性能處理晶片的可靠性設計

3.5 高性能處理晶片的設計驗證與測試

4 總結和未來工作

參考文獻

虛擬計算環境聚合與協同機理研究盧錫城

1 研究背景

2 科學問題、概念模型與體系結構

2.1 科學問題

2.2 概念模型

2.3 體系結構

3 虛擬計算環境的關鍵技術

3.1 資源虛擬化

3.2 資源按需聚合

3.3 自主協同

3.4 可信保障

3.5 編程開發和運行環境

4 實驗與驗證

4.1 實驗床

4.2 套用案例分析

5 相關工作比較

6 結論和進一步研究

參考文獻

海量信息的協同性和可生存性的理論與實踐研究李未

1 緒論

1.1 引言

1.2 研究目標

1.3 工作基礎和條件

1.4 問題劃分

1.5 研究團隊

2 國內外研究現狀和發展趨勢

2.1 面向服務的格線計算和對等網計算

2.2 海量信息協同系統

2.3 分散式軟體系統可生存性研究

2.4 我國的相關研究工作

3 海量信息協同性和可生存性的信息科學特徵研究

3.1 系統信息更新的基礎理論研究

3.2 海量信息傳輸的觀測試驗研究

3.3 海量信息計算的統計特徵研究——RB模型的研究

3.4 小結

4 海量信息系統協同性隨機模型與可生存性複雜性分析

4.1 SpinGlasses理論與海量信息協同的算法和複雜性研究

4.2 海量信息系統協同性的隨機模型研究

4.3 海量信息系統可生存性的代數學研究

4.4 網路環境下協同計算的形式化模型與行為研究

4.5 小結

5 實時協同可生存的海量信息系統的試驗與驗證平台

5.1 海量協同服務網路的體系結構

5.2 基於內容的海量協同服務

5.3 可生存的協同服務網路

5.4 面向複雜協同網路的試驗平台

5.5 小結

6 可生存的海量信息系統軟體設計理論

6.1 需求分析

6.2 研究模型與技術

6.3 小結

7 海量信息系統可生存性分析方法及軟體可生存性增強技術

7.1 軟體體系結構與服務分布

7.2 軟體運行狀態分析

7.3 可生存性增強技術

7.4 小結

8 海量信息系統軟體可生存性策略和測評方法研究

8.1 研究範圍

8.2 SAP模型與關鍵算法

8.3 可生存性策略研究

8.4 與國內外同類研究工作相比的創新性

8.5 小結

可視媒體智慧型處理的研究進展胡事民

1 可視媒體智慧型處理研究的科學意義

2 研究思路和研究內容

2.1 可視媒體的認知特徵

2.2 可視媒體的計算理論與方法

2.3 可視媒體的表示、分析與利用

2.4 基於內容的可視媒體安全

2.5 可視媒體的互動與融合處理

2.6 可視媒體的高效計算與系統

3 研究成果及展望

3.1 項目研究工作的突出進展

3.2 項目隊伍建設和人才培養

3.3 科研獲獎情況

4 結束語

參考文獻

無線感測網路的基礎理論及關鍵技術研究倪明選李明祿薛廣濤

1 項目意義

1.1 國家需求

1.2 科學意義

2 國內外研究現狀和發展趨勢

2.1 國外研究現狀和發展趨勢

2.2 國內研究現狀

2.3 小結

3 關鍵科學問題與研究內容

3.1 關鍵科學問題

3.2 主要研究內容

3.3 課題設定

4 項目進展

4.1 項目進展

4.2 學術影響

4.3 小結

參考文獻

一體化可信網路與普適服務體系基礎研究張宏科

1 前言

2 國內外研究現狀和發展趨勢

參考文獻

3 科學問題、研究內容和研究目標

3.1 關鍵科學問題

3.2 主要研究內容

3.3 研究目標

4 研究方案和課題設定

4.1 學術思路

4.2 技術途徑

4.3 項目的創新點與特色

4.4 課題設定

5 研究基礎、工作條件和研究隊伍

5.1 總體情況

5.2 研究基礎

5.3 工作條件

5.4 研究隊伍

6 研究進展

6.1 原型系統

6.2 論文

6.3 特邀報告

6.4 專利

6.5 人才培養

計算系統虛擬化：挑戰與機遇金海廖小飛邵志遠

1 引言

2 虛擬化技術的發展與分類

2.1 發展歷程

2.2 虛擬化技術的分類

3 虛擬化的相關研究內容

3.1 虛擬計算體系結構

3.2 多計算系統的虛擬化

3.3 虛擬用戶使用環境

3.4 虛擬化系統的安全可信機制

3.5 虛擬計算系統的性能評測

3.6 虛擬化套用

4 虛擬化研究進展

4.1 虛擬機基礎研究

4.2 虛擬機快速部署系統

4.3 虛擬工作環境

4.4 虛擬集群管理與維護

5 總結

參考文獻

索引