2015年中国科学院软件研究所获得国家基金委资助项目清单

文章来源:  |  发布时间:2015-12-13  |  【打印】 【关闭

  
查询日期:2015-09-02        金额:万元      
序号 项目批准号 负责人 依托单位 项目名称 申请代码1 项目类别 批准金额 开始日期 结题日期
1 11502275 赵海涛 中国科学院软件研究所 三维爆炸问题高精度大规模高可扩展计算方法研究 A020601 青年科学基金项目 22 2016-01-01 2018-12-31
2 61502464 蔡少伟 中国科学院软件研究所 最大可满足性问题的局部搜索算法 F020509 青年科学基金项目 21 2016-01-01 2018-12-31
3 61502465 蔡彦 中国科学院软件研究所 数据竞争的主动检测技术 F020202 青年科学基金项目 20 2016-01-01 2018-12-31
4 61502466 王微 中国科学院软件研究所 基于信息论的度量学习在不同约束下的理论和方法研究 F020508 青年科学基金项目 21 2016-01-01 2018-12-31
5 61502467 李杨佳 中国科学院软件研究所 小规模量子混成系统的验证 F020102 青年科学基金项目 20 2016-01-01 2018-12-31
6 61502468 应凌云 中国科学院软件研究所 面向应用商店的移动智能终端恶意软件检测关键技术研究 F020705 青年科学基金项目 20 2016-01-01 2018-12-31
7 61502469 杨轶 中国科学院软件研究所 虚拟化混淆代码逆向分析方法研究 F020705 青年科学基金项目 20 2016-01-01 2018-12-31
8 61503365 张慧 中国科学院软件研究所 基于多级显著性纹理特征的虹膜图像半监督聚类与分类研究 F030406 青年科学基金项目 22 2016-01-01 2018-12-31
9 61532019 张立军 中国科学院软件研究所 大规模概率并发实时系统模型检验 F020106 重点项目 285 2016-01-01 2020-12-31
10 61550110249 Turrini Andrea 中国科学院软件研究所 LP-Based Reduction Techniques for Analyzing Cost Probabilistic Automata F020106 国际(地区)合作与交流项目 17 2016-01-01 2016-12-31
11 61550110506  Hahn Ernst Moritz 中国科学院软件研究所 Model Checking of Complex and Hybrid Stochastic Systems F020106 国际(地区)合作与交流项目 34 2016-01-01 2016-12-31
12 61572477 韩先培 中国科学院软件研究所 开放域语义关系抽取、表示和计算关键技术研究 F020606 面上项目 63 2016-01-01 2019-12-31
13 61572478 朱雪阳 中国科学院软件研究所 同步数据流模型优化研究 F020207 面上项目 64 2016-01-01 2019-12-31
14 61572479 张凤军 中国科学院软件研究所 面向多显示环境的分布式用户界面研究 F020506 面上项目 67 2016-01-01 2019-12-31
15 61572480 黄涛 中国科学院软件研究所 云应用迁移配置和在线运行管理关键技术研究 F020206 面上项目 68 2016-01-01 2019-12-31
16 61572481 刘剑 中国科学院软件研究所 融合动态执行和语义推理的软件演化错误定位及应用研究 F020202 面上项目 67 2016-01-01 2019-12-31
17 61572482 张斌 中国科学院软件研究所 典型流密码的安全性分析 F020701 面上项目 66 2016-01-01 2019-12-31
18 61572483 苏璞睿 中国科学院软件研究所 安全协议实现的逆向分析与安全评估方法研究 F020704 面上项目 65 2016-01-01 2019-12-31
19 61572484 张立廷 中国科学院软件研究所 认证加密工作模式研究 F020701 面上项目 65 2016-01-01 2019-12-31
20 61572485 徐静 中国科学院软件研究所 匿名认证协议的设计理论与分析方法研究 F020702 面上项目 64 2016-01-01 2019-12-31
21 91530103 杨超 中国科学院软件研究所 大型异构系统上数百万核可扩展的新型区域分裂隐式求解器研究 A011711 重大研究计划 42 2016-01-01 2018-12-31
22 91530109 曹建文 中国科学院软件研究所 基于 PDE 特性的特征值计算新型计算模式研究 A011705 重大研究计划 25  2016-1-1 2016-12-31
23 91530323 杨超 中国科学院软件研究所 基于国产神威100PF系统的高性能算法库研究 A011711 重大研究计划 260 2016-1-1 2018-12-31
24 U1536205 张振峰 中国科学院软件研究所 基于格的抗量子计算公钥密码理论与技术研究 L05 联合基金项目 252 2016-1-1 2019-12-31