 |
|
||||||||||||||
 |
 |
 |
 |
 |
 |
||||||||||
|
|
||||||||||||||
|
|||||||||||||||
|
|
||||||||||||||
在研项目
| 课题名称 | 负责人 | 起止时间 | 类别 |
| 面向可信和服务质量的网构软件中间件模型及运行机制 | 黄 涛 | 2009.1-2013.12 | 九七三课题 |
| 增强虚拟型混合环境的呈现 |
吴恩华 | 2009.1-2013.12 | 九七三课题 |
| 支持虚实混合环境的交互技术与界面 | 王宏安 | 2009.1-2013.12 | 九七三课题参与 |
| 曙光6000千万亿次高效能计算机系统研制 | 张云泉 | 2010.1-2011.12 | 八六三重点课题参与 |
| 基于认知科学的人机交互智能信息处理基础理论 | 戴国忠 | 2008.1-2011.12 | 重点基金-广东联合 |
| 量子软件的理论与方法 | 季铮锋 | 2008.1-2011.12 | 重点基金参与 |
| 模型检测的理论、技术与工具 | 林惠民 | 2009.1-2011.12 | 重点基金 |
| 高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究 | 李广元詹乃军周巢尘 | 2008.1-2011.12 | 重点基金参与 |
| 基于物理的虚拟场景建模与实时计算 | 吴恩华
|
2009.1-2012.12 | 重点基金 |
| 近似算法，参数搜寻，离散Fréchet 距离及其应用 | 朱滨海王文成 | 2010.1-2011.12 | 海外基金 |
| 并发系统的Petri网结构化分析与综合研究 | 焦莉 | 2010.1-2012.12 | 面上基金 |
| 软件构件的精化、组合和粘合理论研究 | 詹乃军 | 2010.1-2012.12 | 面上基金 |
| 抽象约束回答集程序关键问题及在语义Web中的应用研究 | 沈一栋 | 2010.1-2012.12 | 面上基金 |
| 大规模动态场景的实时光线跟踪计算 | 李 静 | 2009.1-2011.12 | 面上基金 |
| 基于GPGPU的高性能计算系统Linpack性能评测软件包研制合作研究 | 张云泉 | 2009.5-2011.12 | 科研装备研制参与 |
| 自动验证理论与技术 | 张文辉 | 2009.9-2012.9 | 软件所创新 |
| 软件的形式说明和验证技术 | 詹乃军 | 2009.9-2014.9 | 软件所杰青 |
| 并行算法与并行软件 | 张云泉 | 2009.9-2013.9 | 软件所杰青 |
| 网络算法与数字信息 | 李昂生 | 2010.1-2012.12 | 软件所重大 |
| 龙芯CPU多核并行国产高性能数学库研究开发 | 张云泉 | 2010.1-2011.12 | 重大专项课题分课题 |
| C语言程序静态检测工具 | 许中兴 | 2010.3-2012.3 | 横向 |
| 多核内存索引算法的正确性 | 陈海明 | 2010-2012 | 横向 |
