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