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

    本书是由中国计算机学会学术工作委员会组织编写的、很好不错性的计算机科学技术年度发展报告。本报告汇总了2003年以来，关于可信网络与普适服务、可视媒体、大型应用软件、微处理芯片、新一代互联网、无线传感网络、网络存储、虚拟计算环境、计算系统虚拟化、语义网格等主题的11个“973”项目，分别由活跃在各个方向上的科研人员撰写项目进展报告，详细介绍了对应项目在理论研究和技术实现等方面取得的进展。从一定角度反映了我国计算机科学和技术工作者当前的研究进展，对学术研究有重要参考价值。
    本书可作为广大计算机科学技术人员了解当前计算机科学技术发展动态的一个渠道，适合本领域决策人员和科研人员来参考，并可作为高等院校硕士生、博士生的参考书。

语义网格的基础理论、模型与方法研究
1 语义网格
2 核心科学问题
3 课题研究进展
3.1 语义资源空间模型的理论、模型与方法研究
3.2 语义网格的过程语义及其验证理论与服务集成技术
3.3 基于语义网格的语义关联存储模型及管理和通信平台
3.4 语义网格资源描述模型、形式化理论和支撑技术
3.5 语义网格环境下支持产品创新设计的知识供应理论与技术
3.6 语义网格在中医药知识共享与服务中的应用研究
3.7 基于语义的网络信息检索、集成与应用
3.8 基于语义的资源服务协同和管理研究
4 总结
代表论著
新一代互联网体系结构理论研究
1 新一代互联网发展面临的主要矛盾和基本科学问题
1.1 下一代互联网及其基本特征
1.2 新一代互联网络发展面临的主要矛盾
1.3 四个基本的科学问题
参考文献
2 新一代互联网体系结构基础理论
2.1 互联网和下一代互联网的基础理论研究逐步受到人们的重视
2.2 新一代互联网体系结构的基本科学问题及内在联系
2.3 多维可扩展的新一代互联网体系结构
2.4 多维可扩展的新一代互联网体系结构中的五个基本要素
2.5 基于IPv6真实地址的可信任新一代互联网
参考文献
3 新一代互联网路由交换理论
3.1 引言
3.2 主要研究成果
3.3 代表性成果l??基于For(：Es的开放路由器体系结构
3.4 代表性成果2??可扩展的交换设备模型
3.5 代表性成果3??域问路由优化理论与技术
3.6 结论和下一步的工作
参考文献
4 网络动态行为和传输控制理论
4.1 引言
4.2 主要研究成果
4.3 代表性成果1??高性能传输系统的性能分析与优化设计
4.4 代表性成果2??超点检测研究
4.5 结论和下一步的工作
参考文献
5 可信任的互联网安全体系结构和安全监控理论
5.1 引言
5.2 主要研究成果
5.3 代表性成果1??真实IPv6源地址寻址体系结构及验证方法
5.4 代表性成果2??基于源地址认证的组播安全认证
5.5 结论和下一步的工作
参考文献
6 新一代互联网服务模型和服务管理理论

6.1 引言
6.2 主要研究成果
6.3 代表性成果??分布式环境中服务组合的迭代选择算法
6.4 结论和下一步的工作
参考文献
7 新一代网络远程实验室DRAGON-Lab
7.1 引言
7.2 主要研究成果
7.3 代表性成果1??DRAGON-Lab网络数据共享平台的设计与实现
7.4 代表性成果2??地址随机化算法研究
7.5 结论和下一步的工作
参考文献
8 总结与展望
现代设计大型应用软件的共性基础
1 概述
2 研究工作主要进展
2.1 智能设计理论与方法研究
2.2 产品定制设计与优化设计研究
2.3 产品设计中的几何计算理论与方法
2.4 从二维信息重构相应三维形体理论与方法研究
……
下一代互联网信息存储的组织模式和核心技术研究
延长摩尔定律的微处理芯片新原理、新结构与新方法研究
虚拟计算环境聚合与协同机理研究
海量信息的协同性和可生存性的理论与实践研究
可视媒体智能处理的研究进展
无线传感网络的基础理论及关键技术研究
一体化可信网络与普适合服务体系基础研究
计算系统虚拟化：挑战与机遇
索引