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

目 錄 前言碳中和體系結(jié)構(gòu)關(guān)鍵技術(shù)與系統(tǒng)研究發(fā)展報告 CCF 體系結(jié)構(gòu)專業(yè)委員會
1 引言 2
2 面向體系結(jié)構(gòu)的碳足跡量化模型 3
2 1 綜述 4
2 2 案例分析 14
2 3 愿景、 趨勢與挑戰(zhàn) 18
3 領(lǐng)域獨(dú)特的低碳體系結(jié)構(gòu)研究進(jìn)展 20
3 1 綜述 20
3 2 案例分析 26
3 3 愿景、 趨勢與挑戰(zhàn) 29
4 面向碳中和的基礎(chǔ)系統(tǒng)軟件與裝備研究進(jìn)展 30
4 1 綜述 30
4 2 案例分析 36
4 3 愿景、 趨勢與挑43
5 結(jié)束語 45
參考文獻(xiàn) 46 作者簡介 58
智能感知的邊緣計算芯片的研究進(jìn)展與發(fā)展趨勢 CCF 集成電路設(shè)計專業(yè)組
1 引言 60
2 國際研究現(xiàn)狀 62
2 1 一體化處理的感算共融架構(gòu) 62
2 2 簡化優(yōu)化的深度神經(jīng)網(wǎng)絡(luò) 64
2 3 深度神經(jīng)網(wǎng)絡(luò)加速器架構(gòu) 67
3 國內(nèi)研究現(xiàn)狀 72
3 1 一體化處理的感算共融架構(gòu) 72
3 2 簡化優(yōu)化的深度神經(jīng)網(wǎng)絡(luò) 73
3 3 深度神經(jīng)網(wǎng)絡(luò)加速器架構(gòu) 73
4 國內(nèi)外研究進(jìn)展比較 75
4 1 一體化處理的感算共融架構(gòu)
4 2 簡化優(yōu)化的深度神經(jīng)網(wǎng)絡(luò) 75
4 3 深度神經(jīng)網(wǎng)絡(luò)加速器架構(gòu) 76
5 發(fā)展趨勢與展望 77
5 1 一體化處理的感算共融架構(gòu) 77
5 2 簡化優(yōu)化的深度神經(jīng)網(wǎng)絡(luò) 78
5 3 深度神經(jīng)網(wǎng)絡(luò)加速器架構(gòu) 78
6 結(jié)束語 79
致謝 79
參考文獻(xiàn) 79
作者簡介 85 眾測理論與方法的研究進(jìn)展與趨勢 CCF 容錯計算專業(yè)委員會
1 引言 88
11 眾測背景 88
1 2 眾測的基本工作流程與服務(wù)模式 90
1 3 本文內(nèi)容和組織結(jié)構(gòu) 92
2 國內(nèi)外研究現(xiàn)狀 93
21 眾測的激勵機(jī)制 93
2 2 眾測的協(xié)同機(jī)制 98
2 3 眾測的信任機(jī)制 103
2 4 眾測的質(zhì)量評估技術(shù) 106
2 5 眾測的測試適應(yīng)性技術(shù) 109
2 6 眾測服務(wù)平臺 115
3 發(fā)展趨勢與展望 119
3 1 眾測的共性理論 119
3 2 可信眾測 120
3 3 眾測的新領(lǐng)域與新技術(shù) 122
4 結(jié)束語 124
致謝 124
參考文獻(xiàn) 125
作者簡介 138
安全攸關(guān)系統(tǒng)的領(lǐng)域建模與形式化驗證方法的研究進(jìn)展與趨勢 CCF 抗惡劣環(huán)境計算機(jī)專業(yè)委員會
1 安全攸關(guān)軟件系統(tǒng)的領(lǐng)域建模方法 142
1 1 安全攸關(guān)軟件系統(tǒng)的領(lǐng)域建模研究進(jìn)展 142
1 2 國外安全攸關(guān)軟件的建模應(yīng)用進(jìn)展 145
2 安全攸關(guān)軟件系統(tǒng)的形式化驗證方法 149
2 1 操作系統(tǒng)的形式化驗證方法 149
2 2 CPU 的形式化驗證方法 150
2 3 編譯器的形式化驗證方法 151
2 4 安全攸關(guān)任務(wù)軟件模型的形式化驗證方法 153
2 5 未來研究方向 154
3 領(lǐng)域模型和形式化驗證方法在航空領(lǐng)域的應(yīng)用和需求 155
3 1 應(yīng)用現(xiàn)狀與成果 155
3 2 領(lǐng)域未來需求及建議 156
3 3 充分利用現(xiàn)有成果的建議 157
4 領(lǐng)域模型和形式化驗證方法在航天領(lǐng)域的應(yīng)用和需求 158
4 1 應(yīng)用現(xiàn)狀與成果 159
4 2 領(lǐng)域未來需求及建議 162
5 領(lǐng)域模型和形式化驗證方法在航海領(lǐng)域的應(yīng)用和需求 164
5 1 應(yīng)用現(xiàn)狀與成果 164
5 2 領(lǐng)域未來需求及建議 167
6 結(jié)束語 168
參考文獻(xiàn) 168
作者簡介 175
視覺-語言交互技術(shù)的研究進(jìn)展與發(fā)展趨勢 CCF 計算機(jī)視覺專業(yè)委員會
1 引言 179
2 國內(nèi)外研究現(xiàn)狀 181
2 1 方法研究進(jìn)展 181
2 2 應(yīng)用研究現(xiàn)狀 197
3 國內(nèi)研究進(jìn)展 230
4 發(fā)展趨勢與展望 232
5 結(jié)束語 233
參考文獻(xiàn) 233
作者簡介 250
中國計算機(jī)教育發(fā)展報告 CCF 教育專業(yè)委員會
1 引言 252
1 1 本科學(xué)位教育 252
1 2 研究生學(xué)位教育 254
1 3 從外延發(fā)展轉(zhuǎn)向內(nèi)涵式發(fā)展 256
2 計算機(jī)類專業(yè)教育 258
2 1 依據(jù) “標(biāo)準(zhǔn)” 培養(yǎng)人才 258
2 2 校企協(xié)同提高人才培養(yǎng)質(zhì)量和水平 261
2 3 依據(jù)認(rèn)證培養(yǎng)學(xué)生能力 264
2 4 教材建設(shè) 267
2 5 課程建設(shè) 269
3 計算機(jī)學(xué)科建設(shè)與研究生教育 275
3 1 基本情況 275
3 2 研究生教育的整體情況 277
3 3 博士教育 278
3 4 工學(xué)碩士教育 282
3 5 工程碩士教育 286
4 社會團(tuán)體及教學(xué)研究與交流 288
4 1 主要教育組織 288
4 2 廣泛的教育教學(xué)研究與交流 293
致謝 295
參考文獻(xiàn) 295
作者簡介 299
Sketch 驅(qū)動的網(wǎng)絡(luò)被動測量研究進(jìn)展與趨勢 CCF 網(wǎng)絡(luò)與數(shù)據(jù)通信專業(yè)委員會
1 引言 302
2 基于 Sketch 的網(wǎng)絡(luò)被動測量框架 303
2 1 網(wǎng)絡(luò)被動測量面臨的挑戰(zhàn) 303
2 2 網(wǎng)絡(luò)測量任務(wù)的性能要求 304
2 3 基于 Sketch 的網(wǎng)絡(luò)測量方法 305
3 網(wǎng)絡(luò)被動測量系統(tǒng)的配置優(yōu)化 306
3 1 測量環(huán)境準(zhǔn)備 306
3 2 測量數(shù)據(jù)準(zhǔn)備 309
4 Sketch 數(shù)據(jù)結(jié)構(gòu)的設(shè)計和優(yōu)化 311
4 1 哈希策略 311
4 2 計數(shù)器級優(yōu)化 313
4 3 Sketch 級優(yōu)化 320
5 網(wǎng)絡(luò)測量后處理階段的優(yōu)化 323
5 1 Sketch 壓縮及合并技術(shù) 323
5