序号 |
项目批准号 |
负责人 |
依托单位 |
项目名称 |
申请代码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 |