《中国计算机科学技术发展报告》（以下简称《发展报告》）全面展示了中国计算机科学技术领域近一年的发展情况，所涉及的内容涵盖计算技术的诸多重要领域，包括体系结构、计算机视觉、理论计算机科学、信息系统、网络与数据通信等方向，并从碳中和体系结构、视觉-语言交互技术、生物信息学组合优化、新一代知识图谱信息系统、Sketch驱动的网络测量等多角度阐述了不断创新的主题，详细介绍了相应研究方向的现状、国内研究进展、国内外研究进展对比、发展趋势以及各自的创新见解等。通过《发展报告》，我们能更完整地认识到我们在新时期所面临的挑战和机遇，也能更清晰地展望各学科发展趋势。同时，我国计算机科学技术不仅在现有方向不断发展、深化，也在新兴方向上不断涌现。《发展报告》中反映了这一喜人趋势，也提出了新兴方向上的新问题。因此，相关领域人士对计算技术发展中的新问题、前沿技术的思考，也至关重要。

前言碳中和体系结构关键技术与系统研究发展报告
1引言2
2面向体系结构的碳足迹量化模型3
2.1综述4
2.2案例分析14
2.3愿景、趋势与挑战18
3领域独特的低碳体系结构研究进展20
3.1综述20
3.2案例分析26
3.3愿景、趋势与挑战29
4面向碳中和的基础系统软件与装备研究进展30
4.1综述30
4.2案例分析36
4.3愿景、趋势与挑43
5结束语45
参考文献46
作者简介58
智能感知的边缘计算芯片的研究进展与发展趋势
1引言60
2国际研究现状62
2.1一体化处理的感算共融架构62
2.2简化优化的深度神经网络64
2.3深度神经网络加速器架构67
3国内研究现状72
3.1一体化处理的感算共融架构72
3.2简化优化的深度神经网络73
3.3深度神经网络加速器架构73
4国内外研究进展比较75
4.1一体化处理的感算共融架构
4.2简化优化的深度神经网络75
4.3深度神经网络加速器架构76
5发展趋势与展望77
5.1一体化处理的感算共融架构77
5.2简化优化的深度神经网络78
5.3深度神经网络加速器架构78
6结束语79
致谢79
参考文献79
作者简介85众测理论与方法的研究进展与趋势
1引言88
1.1众测背景88
1.2众测的基本工作流程与服务模式90
1.3本文内容和组织结构92
2国内外研究现状93
2.1众测的激励机制93
2.2众测的协同机制98
2.3众测的信任机制103
2.4众测的质量评估技术106
2.5众测的测试适应性技术109
2.6众测服务平台115
3发展趋势与展望119
3.1众测的共性理论119
3.2可信众测120
3.3众测的新领域与新技术122
4结束语124
致谢124
参考文献125
作者简介138
安全攸关系统的领域建模与形式化验证方法的研究进展与趋势
1安全攸关软件系统的领域建模方法142
1.1安全攸关软件系统的领域建模研究进展142
1.2国外安全攸关软件的建模应用进展145
2安全攸关软件系统的形式化验证方法149
2.1操作系统的形式化验证方法149
2.2CPU的形式化验证方法150
2.3编译器的形式化验证方法151
2.4安全攸关任务软件模型的形式化验证方法153
2.5未来研究方向154
3领域模型和形式化验证方法在航空领域的应用和需求155
3.1应用现状与成果155
3.2领域未来需求及建议156
3.3充分利用现有成果的建议157
4领域模型和形式化验证方法在航天领域的应用和需求158
4.1应用现状与成果159
4.2领域未来需求及建议162
5领域模型和形式化验证方法在航海领域的应用和需求164
5.1应用现状与成果164
5.2领域未来需求及建议167
6结束语168
参考文献168
作者简介175
视觉-语言交互技术的研究进展与发展趋势
1引言179
2国内外研究现状181
2.1方法研究进展181
2.2应用研究现状197
3国内研究进展230
4发展趋势与展望232
5结束语233
参考文献233
作者简介250
中国计算机教育发展报告
1引言252
1.1本科学位教育252
1.2研究生学位教育254
1.3从外延发展转向内涵式发展256
2计算机类专业教育258
2.1依据“标准”培养人才258
2.2校企协同提高人才培养质量和水平261
2.3依据认证培养学生能力264
2.4教材建设267
2.5课程建设269
3计算机学科建设与研究生教育275
3.1基本情况275
3.2研究生教育的整体情况277
3.3博士教育278
3.4工学硕士教育282
3.5工程硕士教育286
4社会团体及教学研究与交流288
4.1主要教育组织288
4.2广泛的教育教学研究与交流293
致谢295
参考文献295
作者简介299
Sketch驱动的网络被动测量研究进展与趋势
1引言302
2基于Sketch的网络被动测量框架303
2.1网络被动测量面临的挑战303
2.2网络测量任务的性能要求304
2.3基于Sketch的网络测量方法305
3网络被动测量系统的配置优化306
3.1测量环境准备306
3.2测量数据准备309
4Sketch数据结构的设计和优化311
4.1哈希策略311
4.2计数器级优化313
4.3Sketch级优化320
5网络测量后处理阶段的优化323
5.1Sketch压缩及合并技术323
……