开放课题

申请指南

计算机科学国家重点实验室开放课题主要支持下列方向的研究。对于不直接属于这些范围,但具有重要科学意义的、有创意的项目,也将考虑择优支持。

  1. 并发和实时系统的理论与应用
    • 并发与实时系统的形式理论和分析方法
    • 模型检测的理论、技术与应用
    • 新型计算模型
  2. 软件技术原理
    • 形式描述与检验方法
    • Web数据挖掘及语义Web
    • 软件测试与验证
    • 互联网环境下的中间件与软件开发理论与方法
    • 软件过程与质量保障的理论与方法
  3. 计算机图形学及人机交互理论与技术
    • 高效的图形绘制技术与基于物理的实时动画仿真
    • 超大规模数据的优化处理技术及高效可视化
    • 基于现代图形硬件的通用计算
    • 多通道人机交互理论与方法
    • 分布式用户界面和交互技术
  4. 并行算法与并行软件
    • 万亿次规模的数值并行计算方法
    • 万亿次并行计算性能评价、分析与优化关键技术
    • 万亿次大型数值模拟的并行可视化