计算机科学与技术学科发展报告 2011-2012PDF电子书下载

序&韩启德 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