CCF 2021-2022中國計算機科學(xué)技術(shù)發(fā)展報告

前言
持續(xù)學(xué)習(xí)的研究進展與趨勢 CCF 大數(shù)據(jù)專家委員會
1 引言 2
1. 1 持續(xù)學(xué)習(xí)的背景介紹 2
1. 2 持續(xù)學(xué)習(xí)的設(shè)定 3
1. 3 本文的組織安排 4
2 研究現(xiàn)狀 5
2. 1 基于回放的方法 5
2. 2 基于約束的方法 9
2. 3 基于結(jié)構(gòu)的方法 12
3 國內(nèi)外研究現(xiàn)狀分析 15
3. 1 基于回放的研究現(xiàn)狀 15
3. 2 基于約束的研究現(xiàn)狀 16
3. 3 基于結(jié)構(gòu)的研究現(xiàn)狀 16
4 發(fā)展趨勢與展望 17
5 結(jié)束語 18
致謝 18
參考文獻 18
作者簡介 23
圖計算體系結(jié)構(gòu)和系統(tǒng)軟件關(guān)鍵技術(shù)研究進展與趨勢
CCF 分布式計算與系統(tǒng)專業(yè)委員會
1 引言 26
1. 1 圖計算———大數(shù)據(jù)處理的關(guān)鍵使能技術(shù)和賦能手段 26
1. 2 基礎(chǔ)理論與關(guān)鍵技術(shù) 27
2 國際研究現(xiàn)狀 28
2. 1 面向圖遍歷類應(yīng)用的體系結(jié)構(gòu)和系統(tǒng)軟件 28
2. 2 面向圖挖掘類應(yīng)用的體系結(jié)構(gòu)和系統(tǒng)軟件 33
2. 3 面向圖學(xué)習(xí)類應(yīng)用的體系結(jié)構(gòu)和系統(tǒng)軟件 40
3 國內(nèi)研究現(xiàn)狀 45
3. 1 面向圖遍歷類應(yīng)用的體系結(jié)構(gòu)和系統(tǒng)軟件 45
3. 2 面向圖挖掘類應(yīng)用的體系結(jié)構(gòu)和系統(tǒng)軟件 50
3. 3 面向圖學(xué)習(xí)類應(yīng)用的體系結(jié)構(gòu)和系統(tǒng)軟件 52
4 國內(nèi)外研究進展比較 58
4. 1 面向圖遍歷類應(yīng)用的體系結(jié)構(gòu)和系統(tǒng) 58
4. 2 面向圖挖掘類應(yīng)用的體系結(jié)構(gòu)和系統(tǒng) 58
4. 3 面向圖學(xué)習(xí)類應(yīng)用的體系結(jié)構(gòu)和系統(tǒng) 59
5 發(fā)展趨勢與展望 59
6 結(jié)束語 61
參考文獻 61
作者簡介 72
無人集群網(wǎng)絡(luò)技術(shù)研究進展與趨勢 CCF 互聯(lián)網(wǎng)專業(yè)委員會
1 引言 75
2 無人集群網(wǎng)絡(luò)的概念及發(fā)展概況 76
2. 1 概念及能力需求 76
2. 2 無人集群網(wǎng)絡(luò)的技術(shù)需求 77
2. 3 發(fā)展概況 78
3 無人集群網(wǎng)絡(luò)的體系架構(gòu) 84
3. 1 平面網(wǎng)絡(luò)架構(gòu) 84
3. 2 分層分簇網(wǎng)絡(luò)架構(gòu) 85
3. 3 分層聯(lián)盟網(wǎng)絡(luò)架構(gòu) 86
3. 4 軟件定義網(wǎng)絡(luò)架構(gòu) 87
4 無人集群網(wǎng)絡(luò)鏈路層協(xié)議 89
4. 1 協(xié)議設(shè)計挑戰(zhàn) 89
4. 2 競爭型 MAC 協(xié)議 89
4. 3 調(diào)度型 MAC 協(xié)議 92
4. 4 新型 MAC 協(xié)議 96
5 無人集群網(wǎng)絡(luò)路由協(xié)議 98
5. 1 協(xié)議設(shè)計挑戰(zhàn) 98
5. 2 現(xiàn)有路由協(xié)議的適用性研究進展 98
5. 3 針對無人集群網(wǎng)絡(luò)設(shè)計的路由協(xié)議研究進展 102
6 無人集群網(wǎng)絡(luò)群體協(xié)同規(guī)劃優(yōu)化機制 108
6. 1 二維地面場景中的 MEC 任務(wù)調(diào)度研究 108
6. 2 三維空間場景中的 UAV-MEC 任務(wù)調(diào)度研究 109
7 無人集群網(wǎng)絡(luò)可靠傳輸與安全機制 111
7. 1 多路徑傳輸協(xié)議 112
7. 2 安全機制 115
8 無人集群網(wǎng)絡(luò)技術(shù)展望 118
8. 1 網(wǎng)絡(luò)架構(gòu)方面 118
8. 2 組網(wǎng)技術(shù)方面 119
8. 3 網(wǎng)絡(luò)協(xié)議方面 119
8. 4 集群智能方面 120
8. 5 網(wǎng)絡(luò)安全方面 120
參考文獻 121
作者簡介 132
深度認知網(wǎng)絡(luò)的研究進展與趨勢 CCF 計算機視覺專業(yè)委員會
1 引言 133
2 國內(nèi)外研究現(xiàn)狀 134
2. 1 注意機制建模 134
2. 2 記憶機制建模 139
2. 3 推理機制建模 143
3 國內(nèi)外研究進展比較 147
4 發(fā)展趨勢與展望 147
5 結(jié)束語 148
參考文獻 149
作者簡介 164
從區(qū)塊鏈到 Web 3. 0: 研究現(xiàn)狀與趨勢 CCF 區(qū)塊鏈專業(yè)委員會
1 引言 166
2 Web 3. 0 概述 168
2. 1 自主權(quán)回歸用戶的互聯(lián)網(wǎng)基礎(chǔ)設(shè)施 168
2. 2 安全可信的價值互聯(lián)網(wǎng) 169
2. 3 用戶與建設(shè)者共建共享的新型經(jīng)濟系統(tǒng) 169
3 區(qū)塊鏈賦能 Web 3. 0 170
3. 1 基礎(chǔ)層 171
3. 2 數(shù)據(jù)層 174
3. 3 網(wǎng)絡(luò)層 179
3. 4 應(yīng)用層 182
4 發(fā)展趨勢與展望 185
4. 1 建設(shè)面向 Web 3. 0 的高質(zhì)量分布式基礎(chǔ)設(shè)施 186
4. 2 建立適用于 Web 3. 0 的分布式網(wǎng)絡(luò)標準 186
4. 3 推動 Web 3. 0 技術(shù)的治理與發(fā)展 186
4. 4 推進 Web 3. 0 的相關(guān)立法和教育普及 187
5 結(jié)束語 188
參考文獻 189
作者簡介 194
存內(nèi)計算研究進展與發(fā)展趨勢 CCF 容錯計算專業(yè)委員會 &CCF 集成電路設(shè)計專業(yè)委員會
1 引言 196
2 國外研究現(xiàn)狀 197
2. 1 應(yīng)用 197
2. 2 電路 201
2. 3 架構(gòu) 207
2. 4 工具 210
3 國內(nèi)研究現(xiàn)狀 212
3. 1 應(yīng)用 213
3. 2 電路 215
3. 3 架構(gòu) 220
3. 4 工具 222
4 國內(nèi)外研究現(xiàn)狀比較 223
4. 1 應(yīng)用 223
4. 2 電路 224
4. 3 架構(gòu) 226
4. 4 工具 227
5 發(fā)展趨勢與展望 227
5. 1 發(fā)展趨勢 227
5. 2 展望 232
6 結(jié)束語 233
參考文獻 233
作者簡介 250
數(shù)字孿生信息系統(tǒng)的研究進展與趨勢
CCF 信息系統(tǒng)專業(yè)委員會 &CCF 虛擬現(xiàn)實與可視化技術(shù)專業(yè)委員會
1 引言 254
1. 1 數(shù)字孿生信息系統(tǒng)介紹 254
1. 2 數(shù)字孿生信息系統(tǒng)的關(guān)鍵技術(shù) 254
Ⅶ 目 錄
1. 3 數(shù)字孿生信息系統(tǒng)的應(yīng)用現(xiàn)狀 255
2 國內(nèi)外研究現(xiàn)狀 256
2. 1 模型與建模方法 256
2. 2 數(shù)據(jù)的采集與傳輸 258
2. 3 數(shù)據(jù)的管理 259
2. 4 數(shù)據(jù)和模型雙驅(qū)動的管理控制 261
2. 5 虛擬現(xiàn)實與可視化交互 263
2. 6 數(shù)字孿生信息系統(tǒng)安全 268
3 國內(nèi)外研究比較 270
3. 1 模型與建模方法 270
3. 2 數(shù)據(jù)的采集與傳輸 271
3. 3 數(shù)據(jù)的管理 271
3. 4 數(shù)據(jù)和模型雙驅(qū)動的管理控制 272
3. 5 虛擬現(xiàn)實與可視化交互 272
3. 6 數(shù)字孿生信息系統(tǒng)安全 273
4 典型數(shù)字孿生信息系統(tǒng)的應(yīng)用 273
4. 1 數(shù)字孿生城市 273
4. 2 數(shù)字孿生交通 276
4. 3 數(shù)字孿生醫(yī)療 278
4. 4 工業(yè)數(shù)字孿生 281
5 發(fā)展趨勢與展望 283
6 結(jié)束語 284
參考文獻 285
作者簡介 294
情感分析研究進展與趨勢 CCF 自然語言處理專業(yè)委員會
1 引言 297
2 情感分析的任務(wù)體系 299
2. 1 基于輸出形式的劃分 299
2. 2 基于分析粒度的劃分 300
3 情感分析領(lǐng)域的研究熱點 301
4 細粒度情感分析 302
4. 1 屬性抽取 303
4. 2 屬性級情感要素抽取 304
4. 3 情感元組抽取 305
5 多模態(tài)情感分析 307
5. 1 文檔/ 句子級多模態(tài)情感分析 307
5. 2 屬性級多模態(tài)情感分析 308
5. 3 獨白或?qū)υ拡鼍岸嗄B(tài)情感分析 309
6 可解釋情感分析 312
6. 1 面向新聞文本的情緒溯因分析 312
6. 2 面向微博文本的情緒溯因分析 314
6. 3 面向?qū)υ拡鼍暗那榫w溯因分析 314
6. 4 其他場景下的情緒溯因分析 315
7 情感分析的應(yīng)用現(xiàn)狀 315
8 未來研究趨勢展望 317
9 結(jié)束語 318
參考文獻 318
作者簡介 329
類腦計算技術(shù)研究進展與發(fā)展趨勢 CCF 體系結(jié)構(gòu)專業(yè)委員會
1 引言 331
1. 1 人工智能的發(fā)展 331
1. 2 類腦計算 333
1. 3 本報告內(nèi)容梗概 333
2 國際研究現(xiàn)狀 334
2. 1 類腦計算模型和算法 334
2. 2 新型神經(jīng)形態(tài)器件和陣列 337
2. 3 類腦處理器 340
2. 4 類腦處理器的工具鏈 342
2. 5 類腦計算技術(shù)的應(yīng)用 344
2. 6 國際科研力量及專利成果對比 345
3 國內(nèi)研究現(xiàn)狀 347
3. 1 類腦計算模型和算法 347
3. 2 新型神經(jīng)形態(tài)器件和陣列 349
3. 3 類腦處理器 350
3. 4 類腦處理器的工具鏈 357
3. 5 類腦計算技術(shù)的應(yīng)用 359
3. 6 國內(nèi)科研力量及專利成果對比 359
4 國內(nèi)外研究情況對比 361
4. 1 從文獻檢索角度看國內(nèi)外現(xiàn)狀對比 361
4. 2 從實際應(yīng)用角度看國內(nèi)外現(xiàn)狀對比 363
5 類腦計算技術(shù)的發(fā)展趨勢 364
6 結(jié)束語 365
參考文獻 365
作者簡介 372
面向安全泛在計算的系統(tǒng)軟件的研究進展與趨勢
CCF 系統(tǒng)軟件專業(yè)委員會 &CCF 軟件工程專業(yè)委員會 &CCF 形式化方法專業(yè)委員會
1 引言 376
2 國際研究現(xiàn)狀 377
2. 1 形式驗證 377
2. 2 程序設(shè)計語言 387
2. 3 操作系統(tǒng) 391
2. 4 軟件工程 394
3 國內(nèi)研究進展 397
3. 1 學(xué)術(shù)界進展 397
3. 2 產(chǎn)業(yè)界進展 407
4 國內(nèi)外研究進展比較 409
4. 1 形式驗證 409
4. 2 程序設(shè)計語言 411
4. 3 操作系統(tǒng) 411
4. 4 軟件工程 411
5 發(fā)展趨勢與展望 412
5. 1 形式驗證 412
5. 2 程序設(shè)計語言 414
5. 3 操作系統(tǒng) 416
5. 4 軟件工程 417
6 結(jié)束語 418
致謝 419
參考文獻 419
作者簡介 451
元宇宙中的人機交互技術(shù)研究進展與趨勢 CCF 人機交互專業(yè)委員會
1 引言 459
1. 1 元宇宙概述 459
1. 2 元宇宙中的人機交互技術(shù) 459
2 國內(nèi)外研究現(xiàn)狀 460
2. 1 拓展現(xiàn)實 460
2. 2 輸入輸出接口技術(shù) 465
2. 3 面向特定情境的交互技術(shù) 475
3 國內(nèi)外研究進展比較 481
3. 1 拓展現(xiàn)實 481
3. 2 輸入輸出接口技術(shù) 483
3. 3 面向特定情境的交互技術(shù) 484
4 發(fā)展趨勢與展望 487
4. 1 拓展現(xiàn)實 487
4. 2 輸入輸出接口技術(shù) 489
4. 3 面向特定情境的交互技術(shù) 491
5 結(jié)束語 493
參考文獻 494
作者簡介 501
關(guān)鍵詞索引 505
作者索引 507