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