| 序号 |
项目批准号 |
负责人 |
依托单位 |
项目名称 |
申请代码1 |
项目类别 |
批准金额 |
开始日期 |
结题日期 |
| 1 |
11471312 |
李会元 |
中国科学院软件研究所 |
高性能谱/谱元方法研究及其在多相复杂流体中的应用 |
A011707 |
面上项目 |
65 |
2015-01-01 |
2018-12-31 |
| 2 |
41401409 |
王琰 |
中国科学院软件研究所 |
基于感知编组规则的遥感影像分析马尔柯夫随机场图模型研究 |
D0106 |
青年科学基金项目 |
25 |
2015-01-01 |
2017-12-31 |
| 3 |
61401439 |
温佳 |
中国科学院软件研究所 |
基于字典学习及压缩感知的干涉高光谱数据压缩重建算法研究 |
F011303 |
青年科学基金项目 |
22 |
2015-01-01 |
2017-12-31 |
| 4 |
61402447 |
张晨 |
中国科学院软件研究所 |
基于形成演化机理的事件探测、推理与感知方法研究 |
F020511 |
青年科学基金项目 |
26 |
2015-01-01 |
2017-12-31 |
| 5 |
61402448 |
何小伟 |
中国科学院软件研究所 |
基于粒子的碎裂及大规模颗粒流仿真 |
F020501 |
青年科学基金项目 |
25 |
2015-01-01 |
2017-12-31 |
| 6 |
61402449 |
郭黎敏 |
中国科学院软件研究所 |
大数据环境下轨迹破案中的移动对象数据挖掘关键技术研究 |
F020204 |
青年科学基金项目 |
23 |
2015-01-01 |
2017-12-31 |
| 7 |
61402450 |
王焘 |
中国科学院软件研究所 |
基于统计学习的云计算系统故障检测与诊断方法研究 |
F020208 |
青年科学基金项目 |
24 |
2015-01-01 |
2017-12-31 |
| 8 |
61402451 |
于佳耕 |
中国科学院软件研究所 |
虚拟机不确定错误的溯源方法研究 |
F020205 |
青年科学基金项目 |
24 |
2015-01-01 |
2017-12-31 |
| 9 |
61402452 |
朱嘉奇 |
中国科学院软件研究所 |
互联网文档流上的不确定复杂事件检测方法 |
F020512 |
青年科学基金项目 |
25 |
2015-01-01 |
2017-12-31 |
| 10 |
61402453 |
陈伟 |
中国科学院软件研究所 |
复杂网络应用的配置错误诊断及修复关键技术研究 |
F020202 |
青年科学基金项目 |
24 |
2015-01-01 |
2017-12-31 |
| 11 |
61402454 |
王立泽 |
中国科学院软件研究所 |
基于程序综合的符号执行环境建模方法研究 |
F020202 |
青年科学基金项目 |
25 |
2015-01-01 |
2017-12-31 |
| 12 |
61402455 |
初晓博 |
中国科学院软件研究所 |
移动终端平台中的基础可信服务和高效安全协议研究 |
F020705 |
青年科学基金项目 |
25 |
2015-01-01 |
2017-12-31 |
| 13 |
61402456 |
李昊 |
中国科学院软件研究所 |
面向大数据的访问控制关键技术研究 |
F020705 |
青年科学基金项目 |
25 |
2015-01-01 |
2017-12-31 |
| 14 |
61422212 |
田丰 |
中国科学院软件研究所 |
人机界面技术 |
F020506 |
优秀青年科学基金项目 |
100 |
2015-01-01 |
2017-12-31 |
| 15 |
61428208 |
冯元 |
中国科学院软件研究所 |
量子通信协议的自动化验证 |
F020102 |
海外及港澳学者合作研究基金 |
20 |
2015-01-01 |
2016-12-31 |
| 16 |
61433015 |
孙乐 |
中国科学院软件研究所 |
汉语认知加工机制与计算模型研究 |
F0307 |
重点项目 |
350 |
2015-01-01 |
2019-12-31 |
| 17 |
61471344 |
张阳 |
中国科学院软件研究所 |
操作系统访问控制错误修复方法研究 |
F010202 |
面上项目 |
82 |
2015-01-01 |
2018-12-31 |
| 18 |
61472405 |
陈海明 |
中国科学院软件研究所 |
确定性表达式及其子类的理论问题与工具研究 |
F020101 |
面上项目 |
80 |
2015-01-01 |
2018-12-31 |
| 19 |
61472406 |
李广元 |
中国科学院软件研究所 |
度量区间时序逻辑MITL的模型检测与控制器合成 |
F020106 |
面上项目 |
80 |
2015-01-01 |
2018-12-31 |
| 20 |
61472407 |
吴国全 |
中国科学院软件研究所 |
基于捕获/重放机制的客户端JavaScript应用调试与分析研究 |
F020202 |
面上项目 |
86 |
2015-01-01 |
2018-12-31 |
| 21 |
61472408 |
金蓓弘 |
中国科学院软件研究所 |
车联网环境下的事件检测和分发研究 |
F020206 |
面上项目 |
80 |
2015-01-01 |
2018-12-31 |
| 22 |
61472409 |
张立武 |
中国科学院软件研究所 |
云身份管理及认证授权服务技术研究 |
F020702 |
面上项目 |
83 |
2015-01-01 |
2018-12-31 |
| 23 |
61472473 |
张立军 |
中国科学院软件研究所 |
概率系统的模型检验与其应用 |
F020106 |
面上项目 |
62 |
2015-01-01 |
2018-12-31 |
| 24 |
61472474 |
吴志林 |
中国科学院软件研究所 |
动态数据结构的形状性质与数据约束：基于分离逻辑的自动分析与验证 |
F020106 |
面上项目 |
60 |
2015-01-01 |
2018-12-31 |
| 25 |
61473276 |
邓小明 |
中国科学院软件研究所 |
基于全向深度视觉的高精度人体肢体运动三维重建研究 |
F030410 |
面上项目 |
83 |
2015-01-01 |
2018-12-31 |
