2011～2012计算机科学与技术学科发展报告

序

前言

综合报告

计算机科学与技术学科发展研究

一、引言

二、最新研究进展

三、国内外研究进展比较

四、发展趋势及展望

参考文献

专题报告

国产通用处理器发展研究

不确定数据管理技术发展研究

高性能计算发展研究

计算机图形学发展研究

互联网领域学科发展研究

软件生产工具与集成环境发展研究

海量信息存储系统及技术发展研究

模型检测发展研究

物联网发展研究

中间件技术发展现状与热点问题

人工智能发展研究

ABSTRACTS IN ENGLISH

Comprehensive Report

Advances in Computer Science and Technology

Reports on Special Topics

Report on Advances in Chinese CPUs

Report on Advances in Uncertain Data Management

Report on Advances in High Performance Computing

Report on Advances in Computer Graphics

Report on Advances in Internet Development

Report on Advances in Software Production Tools and Integrated

Development Environment

Report on Advances in Mass Storage System and Technology

Report on Advances in Model Checking

Report on Advances in Internet of Things

Report on Advances in Middleware Technology

Report on Advances in Artificial Intelligence

《中国科协学科发展研究系列报告：计算机科学与技术学科发展报告（2011-2012）》包括1份综合报告和11份专题报告。综合报告回顾、总结和科学评价了近两年来本学科的最新进展和研究成果，对比了国内外技术的发展状况，并分析了未来发展趋势。11份专题报告分别详细介绍了本学科在计算机系统结构、计算机软件与理论、计算机应用技术方面的核心技术等方面所取得的巨大进步。