CCF2020-2021中国计算机科学技术发展报告

CCF2020-2021中国计算机科学技术发展报告
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
2021-11
ISBN: 9787111693796
定价: 199.00
2人买过
  • 《中国计算机科学技术发展报告》(以下简称《发展报告》)全面展示了中国计算机科学技术领域近一年的发展情况-所涉及的内容涵盖计算技术的诸多重要领域-包括体系结构、计算机视觉、理论计算机科学、信息系统、网络与数据通信等方向-并从碳中和体系结构、视觉-语言交互技术、生物信息学组合优化、新一代知识图谱信息系统、Sketch 驱动的网络测量等多角度阐述了不断创新的主题-详细介绍了相应研究方向的现状、国内研究进展、国内外研究进展对比、发展趋势以及各自的创新见解等。通过《发展报告》-我们能更完整地认识到我们在新时期所面临的挑战和机遇-也能更清晰地展望各学科发展趋势。 

    同时-我国计算机科学技术不仅在现有方向不断发展、深化-也在新兴方向上不断涌现。《发展报告》中反映了这一喜人趋势-也提出了新兴方向上的新问题。因此-相关领域人士对计算技术发展中的新问题、前沿技术的思考-也至关重要。 

    目 录 前言碳中和体系结构关键技术与系统研究发展报告 CCF 体系结构专业委员会 

    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 

    智能感知的边缘计算芯片的研究进展与发展趋势 CCF 集成电路设计专业组 

    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 众测理论与方法的研究进展与趋势 CCF 容错计算专业委员会 

    1 引言 88 

    11 众测背景 88 

    1 2 众测的基本工作流程与服务模式 90 

    1 3 本文内容和组织结构 92 

    2 国内外研究现状 93 

    21 众测的激励机制 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 

    安全攸关系统的领域建模与形式化验证方法的研究进展与趋势 CCF 抗恶劣环境计算机专业委员会 

    1 安全攸关软件系统的领域建模方法 142 

    1 1 安全攸关软件系统的领域建模研究进展 142 

    1 2 国外安全攸关软件的建模应用进展 145 

    2 安全攸关软件系统的形式化验证方法 149 

    2 1 操作系统的形式化验证方法 149 

    2 2 CPU 的形式化验证方法 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 

    视觉-语言交互技术的研究进展与发展趋势 CCF 计算机视觉专业委员会 

    1 引言 179 

    2 国内外研究现状 181 

    2 1 方法研究进展 181 

    2 2 应用研究现状 197 

    3 国内研究进展 230 

    4 发展趋势与展望 232 

    5 结束语 233 

    参考文献 233 

    作者简介 250 

    中国计算机教育发展报告 CCF 教育专业委员会 

    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 驱动的网络被动测量研究进展与趋势 CCF 网络与数据通信专业委员会 

    1 引言 302 

    2 基于 Sketch 的网络被动测量框架 303 

    2 1 网络被动测量面临的挑战 303 

    2 2 网络测量任务的性能要求 304 

    2 3 基于 Sketch 的网络测量方法 305 

    3 网络被动测量系统的配置优化 306 

    3 1 测量环境准备 306 

    3 2 测量数据准备 309 

    4 Sketch 数据结构的设计和优化 311 

    4 1 哈希策略 311 

    4 2 计数器级优化 313 

    4 3 Sketch 级优化 320 

    5 网络测量后处理阶段的优化 323 

    5 1 Sketch 压缩及合并技术 323 

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

    同时-我国计算机科学技术不仅在现有方向不断发展、深化-也在新兴方向上不断涌现。《发展报告》中反映了这一喜人趋势-也提出了新兴方向上的新问题。因此-相关领域人士对计算技术发展中的新问题、前沿技术的思考-也至关重要。 

  • 目录:
    目 录 前言碳中和体系结构关键技术与系统研究发展报告 CCF 体系结构专业委员会 

    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 

    智能感知的边缘计算芯片的研究进展与发展趋势 CCF 集成电路设计专业组 

    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 众测理论与方法的研究进展与趋势 CCF 容错计算专业委员会 

    1 引言 88 

    11 众测背景 88 

    1 2 众测的基本工作流程与服务模式 90 

    1 3 本文内容和组织结构 92 

    2 国内外研究现状 93 

    21 众测的激励机制 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 

    安全攸关系统的领域建模与形式化验证方法的研究进展与趋势 CCF 抗恶劣环境计算机专业委员会 

    1 安全攸关软件系统的领域建模方法 142 

    1 1 安全攸关软件系统的领域建模研究进展 142 

    1 2 国外安全攸关软件的建模应用进展 145 

    2 安全攸关软件系统的形式化验证方法 149 

    2 1 操作系统的形式化验证方法 149 

    2 2 CPU 的形式化验证方法 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 

    视觉-语言交互技术的研究进展与发展趋势 CCF 计算机视觉专业委员会 

    1 引言 179 

    2 国内外研究现状 181 

    2 1 方法研究进展 181 

    2 2 应用研究现状 197 

    3 国内研究进展 230 

    4 发展趋势与展望 232 

    5 结束语 233 

    参考文献 233 

    作者简介 250 

    中国计算机教育发展报告 CCF 教育专业委员会 

    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 驱动的网络被动测量研究进展与趋势 CCF 网络与数据通信专业委员会 

    1 引言 302 

    2 基于 Sketch 的网络被动测量框架 303 

    2 1 网络被动测量面临的挑战 303 

    2 2 网络测量任务的性能要求 304 

    2 3 基于 Sketch 的网络测量方法 305 

    3 网络被动测量系统的配置优化 306 

    3 1 测量环境准备 306 

    3 2 测量数据准备 309 

    4 Sketch 数据结构的设计和优化 311 

    4 1 哈希策略 311 

    4 2 计数器级优化 313 

    4 3 Sketch 级优化 320 

    5 网络测量后处理阶段的优化 323 

    5 1 Sketch 压缩及合并技术 323 

    5
查看详情
相关图书 / 更多
CCF2020-2021中国计算机科学技术发展报告
CCUS-EOR实用技术/中国石油提高采收率技术新进展丛书
王高峰、祝孝华、潘若生、林海波 编
CCF2020-2021中国计算机科学技术发展报告
CCF 2021-2022中国计算机科学技术发展报告
中国计算机学会
CCF2020-2021中国计算机科学技术发展报告
CCF CSP认证考试历年真题解
中国计算机学会
CCF2020-2021中国计算机科学技术发展报告
CCSP云安全专家认证All-in-One(第2版)
[美]丹尼尔·卡特(Daniel Carter)著 栾浩 陈英杰 张瑞恒 译;河北翎贺计算机信息技术有限公司 审
CCF2020-2021中国计算机科学技术发展报告
CCF中国教练联盟核心能力解读
FDCL五维教练团 著
CCF2020-2021中国计算机科学技术发展报告
CC的一天(精)/CC成长记
智象 编
CCF2020-2021中国计算机科学技术发展报告
CCSK云安全知识认证考试完全指南
方红琴 译;[美]格雷汉姆·汤普森(Graham Thompson)
CCF2020-2021中国计算机科学技术发展报告
CCNP企业高级路由ENARSI 300-410认证考试指南
[加拿大]雷蒙德·拉科斯特(Raymond Lacoste) (美)布拉德·埃奇沃思
CCF2020-2021中国计算机科学技术发展报告
CC2530单片机原理及应用
王海珍、廉佐政 著
CCF2020-2021中国计算机科学技术发展报告
CC2530单片机技术与应用第2版
北京新大陆时代教育科技有限公司 著
CCF2020-2021中国计算机科学技术发展报告
CCTV 八集专题片:必由之路 (1978-2018 庆祝改革开放四十周年) 8DVD
中央电视总台
CCF2020-2021中国计算机科学技术发展报告
CC2530单片机应用技术
曾妍 张凤仪
您可能感兴趣 / 更多
CCF2020-2021中国计算机科学技术发展报告
中国石油石化计量论坛论文集(2022)
中国计量协会石油石化专业委员会 组织编写
CCF2020-2021中国计算机科学技术发展报告
公路工程试验检测仪器设备计量校准指南
中国计量测试学会交通计量测试分会
CCF2020-2021中国计算机科学技术发展报告
2021全国信息学奥林匹克年鉴
中国计算机学会
CCF2020-2021中国计算机科学技术发展报告
CCF 2021-2022中国计算机科学技术发展报告
中国计算机学会
CCF2020-2021中国计算机科学技术发展报告
数字政府 服务社会——2021、2022年度数据政府治理应用主题优秀案例汇编
中国计算机用户协会政务信息化分会
CCF2020-2021中国计算机科学技术发展报告
计量仪表在线校准规范
中国计量协会能源计控工作委员会 组织编写;中国石油化工股份有限公司化工事业部
CCF2020-2021中国计算机科学技术发展报告
市政工程消耗量ZYA1-31-2021第十册拆除工程
中国计划出版社 编
CCF2020-2021中国计算机科学技术发展报告
信息系统审计
中国计算机用户协会政务信息化分会
CCF2020-2021中国计算机科学技术发展报告
中国数据中心发展蓝皮书(2020)
中国计算机用户协会数据中心分会
CCF2020-2021中国计算机科学技术发展报告
CCF CSP认证考试历年真题解
中国计算机学会
CCF2020-2021中国计算机科学技术发展报告
中国电子政务年鉴(2020)
中国计算机用户协会政务信息化分会 (电子政务理事会
CCF2020-2021中国计算机科学技术发展报告
计算机科学与技术专业培养方案编制指南(修订版)
中国计算机学会 著