中國(guó)計(jì)算機(jī)科學(xué)技術(shù)發(fā)展報(bào)告2007

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

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

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

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

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

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

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

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

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

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

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