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

文章来源:  |  发布时间:2016-10-24  |  【打印】 【关闭

  
  查询日期:2016-10-24        金额:万元      
    
序号 项目批准号 负责人 项目名称 项目类别 批准金额 开始日期 结题日期
1 61602449 杜长营 高效贝叶斯最大间隔特征空间变换方法研究 青年科学基金项目 21 2017.1.1 2019.12.31
2 61602450 王俊杰 众测环境下测试报告的智能筛选方法研究 青年科学基金项目 20 2017.1.1 2019.12.31
3 61602451 牛树梓 面向移动应用的个性化排序学习研究 青年科学基金项目 20 2017.1.1 2019.12.31
4 61602452 卢献 基于量子游走的子图结构量子搜索算法研究 青年科学基金项目 21 2017.1.1 2019.12.31
5 61602453 高扬 面向用户评论的论辩挖掘方法研究 青年科学基金项目 21 2017.1.1 2019.12.31
6 61602454 徐继伟 基于分片复用的多版本容器镜像加载方法研究 青年科学基金项目 20 2017.1.1 2019.12.31
7 61602455 冯伟 面向智能嵌入式设备的轻量级证明机制研究 青年科学基金项目 20 2017.1.1 2019.12.31
8 61602456 朱娜斐 支持多源信息多重访问的隐私泄露定量研究 青年科学基金项目 20 2017.1.1 2019.12.31
9 61602457 和亮 面向二进制程序的内存敏感数据泄露问题研究 青年科学基金项目 20 2017.1.1 2019.12.31
10 61602458 聂楚江 工业控制系统环境下的软件兼容性分析与判定方法研究 青年科学基金项目 20 2017.1.1 2019.12.31
11 61603372 白延成 复杂场景下基于卷积神经网络目标跟踪算法研究 青年科学基金项目 20 2017.1.1 2019.12.31
12 61603373 苏冰 基于最大化时序可分性的序列数据特征变换理论和方法研究 青年科学基金项目 22 2017.1.1 2019.12.31
13 61672501 王浩 基于位置的社会化网络多尺度用户建模方法研究 面上项目 63 2017.1.1 2020.12.31
14 61672502 吴恩华 基于频谱与几何细节分析的流体动态仿真自适应方法研究 面上项目 63 2017.1.1 2020.12.31
15 61672503 李勇坚 基于归纳不变式的带参协议验证 面上项目 62 2017.1.1 2020.12.31
16 61672504 张文辉 限界正确性检查及相关模型检测技术 面上项目 63 2017.1.1 2020.12.31
17 61672505 严俊 Android 应用软件的高效率静态分析 面上项目 62 2017.1.1 2020.12.31
18 61672506 高楚舒 面向动态Web应用的错误分析与定位技术研究 面上项目 63 2017.1.1 2020.12.31
19 61672507 王丹力 基于分布式认知的儿童实物增强现实编程研究 面上项目 16 2017.1.1 2017.12.31
20 61672508 张常有 面向异构众核平台的交通图像车型检索并行计算模式研究 面上项目 63 2017.1.1 2020.12.31
21 61672509 吴文玲 认证加密算法的设计与分析 面上项目 63 2017.1.1 2020.12.31
 22 61625206  詹乃军 复杂安全攸关嵌入式系统形式设计 国家杰出青年科学基金 350  2017.1.1 2021.12.31