本书是由中国计算机学会学术工作委员会组织编写的具有权威性的计算机科学技术年度发展报告，总结了2009年度计算机科学技术发展的热点问题和现状，展望了未来的发展趋势。包括信息物理融合系统、云计算、编译技术、嵌入式系统低功耗技术、软件需求工程、数据质量、泛在设备互操作与协同技术、信息安全、工作流管理技术、并行型图顶点着色DNA计算模型10篇报告。

计算机科学已经成为支撑现代社会经济发展、社会进步和科技创新的最重要信息基础科学，计算机科学技术的水平是衡量一个国家基本国力和经济竞争力的重要标志之一。我国的计算机科学技术也正在发生着日新月异的变化，从专业人才培养、技术自主创新，到信息产业升级均发展到一个重要时期。
　　2009年是 “十一五”发展规划关键攻关的一年，是信息产业实施自主创新战略，加快增长方式转变，推进产业结构升级的关键一年，信息领域的多个方面技术创新和产业发展均产生了较大突破。今年的发展报告组织并选择了信息物理融合系统、云计算、编译技术、嵌入式系统低功耗技术、软件需求工程、数据质量、泛在设备互操作与协同技术、信息安全、工作流管理技术、并行型图顶点着色DNA计算模型10篇报告。这些报告分别由活跃在各个研究方向从事一线研究的科研人员撰写，详细介绍了相应研究方向在研究、开发和应用等方面取得的进展并分析了未来发展趋势。
　　本报告总结了2009年我国计算机科学技术发展的成果，从不同角度反映了我国计算机科学和技术工作当前的研究进展，对进一步推动我国计算机科学技术的发展，推动我国信息化进程将起到重要作用。同时，本报告也可以作为广大计算机科学技术人员了解当前计算机科学技术发展动态的一个渠道。
　　由于策划组稿时间较短，报告在形式和内容安排上都有待进一步改进，希望广大读者对本报告的编写工作多提宝贵意见和建议，特别希望广大计算机学会会员献计献策，以便在今后的年度报告中逐步改进。报告中的观点虽仅代表撰稿人的个人意见，但仍具有非常重要的参考价值。
　　最后，谨向为本年度报告贡献稿件的所有专家表示感谢。中国计算机学会学术工作委员会的委员们为本报告的出版付出了辛勤的劳动，其中，学术工委副主任、哈尔滨工业大学李建中教授负责组织和策划工作，学术工委委员、哈尔滨工业大学高宏教授在稿件组织中付出了大量辛苦的劳动，学术工委秘书徐恪教授和中国计算机学会办公室主任朱征瑜女士协助处理了烦杂的事务性工作。中国计算机学会郑纬民副理事长、杜子德秘书长等对本报告的出版给予许多指导和支持，学会各个相关专委会的主任和秘书长在百忙中审阅了报告并提出了修改建议，在此一并向他们表示感谢。

胡事民
中国计算机学会学术工作委员会主任
2010年8月

计算机科学及应用

2009中国计算机科学技术发展报告

前言
信息物理融合系统（CPS）的概念、特点、挑战和研究进展李建中等
1CPS的基本概念
2CPS的特点和挑战
21CPS的特点
22CPS的挑战
3国内外研究进展
31国外研究进展
32国内研究进展
4结论
参考文献
云计算的发展与挑战金海等
1前言
2发展概述
21云平台
22云终端
23云安全
24云存储
3国际发展现状
31云平台
32云终端
33云安全
34云存储
4国内发展现状
41云平台
42云终端
43云安全
44云存储
5发展趋势与挑战
参考文献
编译技术年度进展报告董渊等
1编译技术面临的问题
2编译技术前沿研究进展
21面向多核架构的编程模型
22大规模并行计算的管理
23程序性能优化
24检测与分析
25形式化验证和可信编译
26量子程序设计语言及其处理系统
3产品编译系统进展
31支持国产处理器的高质量编译系统
32服务于应用兼容的二进制翻译系统
33编译系统测试验证工具
34嵌入式编译系统和其他系统
4开源软件平台和教育
41开源编译软件平台
42编译课程教育
5总结和展望
参考文献
嵌入式系统低功耗技术研究发展状况与进展王奇等
1引言
2嵌入式硬件低功耗技术
21电路级功耗优化
22逻辑级功耗优化
23微结构级功耗优化
3嵌入式软件低功耗技术
31源程序结构级功耗优化
32算法级功耗优化
33软件体系结构级功耗优化
4系统级功耗优化
5功耗优化相关工具
6展望
参考文献
软件需求工程研究进展金芝等
1软件需求工程及其面临的问题
2软件需求工程研究现状
21非功能性需求的研究
22服务需求建模和分析
23软件需求工程与社会技术和人文环境的关系
3国内需求工程研究进展
31面向特征的需求建模
32基于环境建模的软件需求工程
33不一致软件需求管理
34面向服务的需求工程
35基于协同的需求工程
4展望
参考文献
数据质量的理论和实用技术樊文飞李建中
1引言
2条件依赖理论
21条件函数依赖
22条件包含依赖
23条件依赖的扩展
24条件依赖上的推理
3支持相似性比较的匹配约束
4基于约束的提高数据质量的实用技术
5不完全信息
6待解决的问题及新兴应用
参考文献
泛在设备互操作与协同技术研究进展陈渝等
1引言
2泛在设备互联互通
21有线组网技术
22无线组网技术
3泛在设备互操作
31泛在设备的描述
32泛在设备互操作技术
33特定领域泛在设备层互操作标准与协议
4技术发展趋势与展望
41语法互操作技术
42实现语义互操作的标准化
43标准技术的融合
44应用与开发趋势
45学术研究发展趋势
5总结
参考文献
2009年度信息安全发展综述严明等
1国内信息安全发展动态
11电子信息产业发展规划公布
12“十二五”信息化规划前期研究工作启动
13信息安全等级保护建设整改工作开展
14整治互联网和手机媒体淫秽色情及低俗信息专项行动全面展开
15工信部将推进手机实名制、打击手机色情
16信息安全学术交流活跃
17信息安全“国家漏洞库”投入运行
18国庆60周年网络安全保卫工作出色完成
19信息安全等级保护建设整改工作开展
110云计算、虚拟化、3G成为信息安全的新热点
2国外信息安全发展动态
21RSA会议
22第四届互联网治理论坛
23美国
24欧盟
25俄罗斯
26日本
27韩国
28澳大利亚
29英国
210印度
3结语
参考文献
工作流管理技术若干进展王建民闻立杰
1引言
2核心概念与基础理论
21核心概念
22基础理论
3工作流模型仓库
31模型相似性度量
32模型检索与查询
33典型模型仓库系统
4工作流挖掘技术
41基本概念
42典型方法
43工作流挖掘的代表系统
5回顾与展望
参考文献
并行型图顶点着色DNA计算模型许进等
1引言
2预备知识
3模型及算法分析
31算法步骤
32子图划分
33子图顶点排序与子图中每个顶点颜色集的确定
34DNA序列的编码
35探针的确定
36初始解空间的合成
37非解删除
38子图合并及新子图中的非解删除
4实例与实现
41子图划分及颜色集确定
42编码
43构建初始解空间
44子图删除非解
45子图合并并删除非解
5结论与讨论
参考文献
关键词索引
作者索引