在研项目

课题名称 负责人 起止时间 类别
面向可信和服务质量的网构软件中间件模型及运行机制 黄 涛 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 横向