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

文章来源:  |  发布时间:2014-08-18  |  【打印】 【关闭

  
查询日期:2014-08-18        金额:万元      

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