请使用浏览器自带的分享功能，把这篇资料分享出去
CCF官网
加入CCF
登录CCF
首页
文章
视频
音频
图片
PPT
专辑
高级检索
CCF
首页
文章
视频
音频
图片
PPT
专辑
首页
>
文章
>
2021-2022中国计算机科学技术发展报告（电子出版）
2021-2022中国计算机科学技术发展报告（电子出版）
主管单位：
中国科学技术协会
主办单位：
中国计算机学会
出版单位：
机械工业出版社
出版周期：
年刊
图书浏览
年份刊次
2022-2023
2021-2022
2021-2021
2020-2021
2019-2020
2018-2019
2017-2018
2016-2017
2015-2016
2014-2015
2013-2014
2012
2011
下载
试看
收藏
目录
约束求解技术与应用
CCF 形式化方法专业委员会
1 引言
8
2 经典约束求解算法与约束编程
9
3 命题逻辑约束
12
4 谓词逻辑约束SMT
17
5 约束求解技术的典型应用
22
6 硬件设计自动化
27
7 软件分析与验证
29
8 发展趋势与展望
34
9 结束语
35
软件供应链安全的研究进展与趋势
CCF 计算机安全专业委员会
1 引言
56
2 国际研究现状
58
3 国内研究进展
73
4 国内外研究进展比较
77
5 发展趋势与展望
78
6 结束语
80
开源软件生态治理技术:现状、问题与展望
CCF 开源发展委员会
1 引言
100
2 开源软件生态系统的形成和可持续发展机制机理
101
3 开源软件胜智开发支檀技术
112
4 开源软件供应链的质量保障技术
119
5 国产开源软件生态的探索与实践
136
6 结束语
145
组合优化问题的机器学习求解研究进展与趋势
CCF 人工智能与模式识别专业委员会
1 引言
164
2 研究动态
168
3 组合优化 (CO)问题机器学习求解的典型范式
171
4 组合优化问题的典型实例及学习求解方法
176
5 组合优化问题机器学习求解的工业场景应用实例
186
6 总结与展堕
190
编译器构造、验证与测试
CCF 系统软件专业委员会
1 引言
211
2 国际研究现状
212
3 国内研究进展
228
4 国内外研究进展比较
234
5 发展趋势与展望
235
6 结束语
238
音乐人工智能的研究进展与趋势
CCF 语音对话与听觉专业委员会
1 引言
252
2 音乐科技概述
256
3 音乐人工智能:音乐信息检索 MIR
260
4 国内外研究进展比较
294
5 总结与展堕
298
智能社会协同治理:研究现状与发展趋势
CCF 协同计算专业委员会
1 引言
328
2 国际研究现状
334
3 国内研究进展
342
4 国内外研究进展比较
348
5 发展趋势与展望
350
6 结束语
351
2021-2022中国计算机科学技术发展报告（电子出版）
主管单位：
中国科学技术协会
主办单位：
中国计算机学会
出版周期：
年刊
开本：
16开
图书浏览
2021-2021
年份刊次
2022-2023
2021-2022
2021-2021
2020-2021
2019-2020
2018-2019
2017-2018
2016-2017
2015-2016
2014-2015
2013-2014
2012
2011
目录
下载
约束求解技术与应用
CCF 形式化方法专业委员会
1 引言
8
2 经典约束求解算法与约束编程
9
3 命题逻辑约束
12
4 谓词逻辑约束SMT
17
5 约束求解技术的典型应用
22
6 硬件设计自动化
27
7 软件分析与验证
29
8 发展趋势与展望
34
9 结束语
35
软件供应链安全的研究进展与趋势
CCF 计算机安全专业委员会
1 引言
56
2 国际研究现状
58
3 国内研究进展
73
4 国内外研究进展比较
77
5 发展趋势与展望
78
6 结束语
80
开源软件生态治理技术:现状、问题与展望
CCF 开源发展委员会
1 引言
100
2 开源软件生态系统的形成和可持续发展机制机理
101
3 开源软件胜智开发支檀技术
112
4 开源软件供应链的质量保障技术
119
5 国产开源软件生态的探索与实践
136
6 结束语
145
组合优化问题的机器学习求解研究进展与趋势
CCF 人工智能与模式识别专业委员会
1 引言
164
2 研究动态
168
3 组合优化 (CO)问题机器学习求解的典型范式
171
4 组合优化问题的典型实例及学习求解方法
176
5 组合优化问题机器学习求解的工业场景应用实例
186
6 总结与展堕
190
编译器构造、验证与测试
CCF 系统软件专业委员会
1 引言
211
2 国际研究现状
212
3 国内研究进展
228
4 国内外研究进展比较
234
5 发展趋势与展望
235
6 结束语
238
音乐人工智能的研究进展与趋势
CCF 语音对话与听觉专业委员会
1 引言
252
2 音乐科技概述
256
3 音乐人工智能:音乐信息检索 MIR
260
4 国内外研究进展比较
294
5 总结与展堕
298
智能社会协同治理:研究现状与发展趋势
CCF 协同计算专业委员会
1 引言
328
2 国际研究现状
334
3 国内研究进展
342
4 国内外研究进展比较
348
5 发展趋势与展望
350
6 结束语
351
京公网安备 11010802032778号