序&韩启德 3
前言&中国计算机学会 3
综综合报告 3
计算机科学与技术学科发展研究 3
一、引言 3
二、最新研究进展 5
三、国内外研究进展比较 26
四、发展趋势及展望 35
参考文献 40
专题报告 45
国产通用处理器发展研究 45
不确定数据管理技术发展研究 56
高性能计算发展研究 72
计算机图形学发展研究 89
互联网领域学科发展研究 103
软件生产工具与集成环境发展研究 136
海量信息存储系统及技术发展研究 150
模型检测发展研究 169
物联网发展研究 187
中间件技术发展现状与热点问题 197
人工智能发展研究 213
ABSTRACTSINENGLISH 237
ComprehensiveReport 237
AdvancesinComputerScienceandTechnology 237
Reports on Special Topics 241
Report on Advances in Chinese CPUs 241
Report on Advances in Uncertain Data Management 241
Report on Advances in High Performance Computing 242
Report on Advances in Computer Graphics 242
Report on Advances in Internet Development 242
Report on Advances in Software Production Tools and Integrated Development Environment 243
Report on Advances in Mass Storage System and Technology 244
Report on Advances in Model Checking 244
Report on Advances in Internet of Things 245
Report on Advances in Middleware Technology 245
Report on Advances in Artificial Intelligence 246