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

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