2014年中国科学院软件研究所获得国家基金委资助项目清单
文章来源： | 发布时间：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 |
